© 2026 Aqora Quantum S.A.S.

Terms Privacy Legal Notice

arXiv:quant-ph/0408115 · Journal of Physics A Mathematical and General

Classical randomness in quantum measurements

Giacomo Mauro D’Ariano, Paoloplacido Lo Presti, Paolo Perinotti

Published Jun 15, 2005• 186 citations

Abstract

Similarly to quantum states, also quantum measurements can be 'mixed', corresponding to a random choice within an ensemble of measuring apparatuses. Such mixing is equivalent to a sort of hidden variable, which produces a noise of purely classical nature. It is then natural to ask which apparatuses are indecomposable , i.e. do not correspond to any random choice of apparatuses. This problem is interesting not only for foundations, but also for applications, since most optimization strategies give optimal apparatuses that are indecomposable. Mathematically the problem is posed describing each measuring apparatus by a positive operator-valued measure (POVM), which gives the statistics of the outcomes for any input state. The POVMs form a convex set, and in this language the indecomposable apparatuses are represented by extremal points—the analogous of 'pure states' in the convex set of states. Differently from the case of states, however, indecomposable POVMs are not necessarily rank-one, e.g. von Neumann measurements. In this paper we give a complete classification of indecomposable apparatuses (for discrete spectrum), by providing different necessary and sufficient conditions for extremality of POVMs, along with a simple general algorithm for the decomposition of a POVM into extremals. As an interesting application, 'informationally complete' measurements are analysed in this respect. The convex set of POVMs is fully characterized by determining its border in terms of simple algebraic properties of the corresponding POVMs.

DOI: 10.1088/0305-4470/38/26/010

Related papers

Clean positive operator valued measures

Francesco Buscemi, Michael Keyl, Giacomo Mauro D’Ariano +2 more

In quantum mechanics the statistics of the outcomes of a measuring apparatus is described by a positive operator valued measure (POVM). A quantum channel transforms POVMs into POVMs, generally irreversibly, thus losing some of the information retrieved from the measurement. This poses the problem of which POVMs are “undisturbed,” i.e., they are not irreversibly connected to another POVM. We will call such POVMs clean. In a sense, the clean POVMs would be “perfect,” since they would not have any additional “extrinsical” noise. Quite unexpectedly, it turns out that such a “cleanness” property is largely unrelated to the convex structure of POVMs, and there are clean POVMs that are not extremal and vice versa. In this article we solve the cleannes classification problem for number n of outcomes n⩽d (d dimension of the Hilbert space), and we provide a set of either necessary or sufficient conditions for n>d, along with an iff condition for the case of informationally complete POVMs for n=d2.

arXiv:quant-ph/0505095•Journal of Mathematical Physics•Aug 1, 2005•91 citations

Optimal quantum observables

Erkka Haapasalo, Juha-Pekka Pellonpää

Various forms of optimality for quantum observables described as normalized positive-operator-valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables that are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient conditions are imposed on informationally complete POVMs within the set of pure states. We also discuss joint and sequential measurements of optimal quantum observables.

arXiv:1705.03636•Journal of Mathematical Physics•Dec 1, 2017•16 citations

Classical and nonclassical randomness in quantum measurements

Douglas Farenick, Sarah Plosker, Jerrod Smith

The space POVM H(X) of positive operator-valued probability measures on the Borel sets of a compact (or even locally compact) Hausdorff space X with values in B(H), the algebra of linear operators acting on a d-dimensional Hilbert space H, is studied from the perspectives of classical and nonclassical convexity through a transform Γ that associates any positive operator-valued measure ν with a certain completely positive linear map Γ(ν) of the homogeneous C*-algebra C(X)⊗B(H) into B(H). This association is achieved by using an operator-valued integral in which nonclassical random variables (that is, operator-valued functions) are integrated with respect to positive operator-valued measures and which has the feature that the integral of a random quantum effect is itself a quantum effect. A left inverse Ω for Γ yields an integral representation, along the lines of the classical Riesz representation theorem for linear functionals on C(X), of certain (but not all) unital completely positive linear maps φ:C(X)⊗B(H)→B(H). The extremal and C*-extremal points of POVM H(X) are determined.

arXiv:1110.1645•Journal of Mathematical Physics•Dec 1, 2011•19 citations

Extreme quantum states and processes, and extreme points of general spectrahedra in finite dimensional algebras

Giulio Chiribella

Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators subject to affine constraints. These examples include sets of quantum states with given expectation values of some observables of interest, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels, and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterisation of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and are used to retrieve classic results such as Choi's characterisation of the extreme quantum channels, Parhasarathy's characterisation of the extreme quantum states with given marginals, and the quantum version of Birkhoff's theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalisation, and we characterise the extremal POVMs.

arXiv:2311.10929•Nov 18, 2023•0 citations

On the convex structure of process positive operator valued measures

Anna Jenčová

Measurements on quantum channels are described by so-called process positive operator valued measures, or process POVMs. We study implementing schemes of extremal process POVMs. As it turns out, the corresponding measurement must satisfy certain extremality property, which is stronger than the usual extremality given by the convex structure. This property motivates the introduction and investigation of the A-convex structure of POVMs, which generalizes both the usual convex and C*-convex structures. We show that extremal points and faces of the set of process POVMs are closely related to A-extremal points and A-faces of POVMs, for a certain subalgebra A. We also give a characterization of A-extremal and A-pure POVMs.

arXiv:1508.00458•Journal of Mathematical Physics•Nov 12, 2015•2 citations

Characterising extremal decoherence by quantum measurement incompatibility

Daniel McNulty, William Townsend, Jukka Kiukas

Decoherence, when viewed in the Heisenberg picture, can turn incompatible measurements into jointly measurable ones. This provides an observable-level description of emergent classicality in terms of the incompatibility destroyed by a noise channel. The corresponding loss of incompatibility can be captured by the channel's \emph{compatibility region}---the observables in a probe class that become jointly measurable with every noisy observable. The geometry and volume of this region provide a refined operational way to compare noise channels. We apply this framework to decoherence channels, each of which acts by Schur multiplication with extreme points of the convex set of unit-diagonal positive semidefinite matrices. Restricting to extremals eliminates convex mixing and reveals subtle phase-dependent decoherence effects thar are not captured by damping rates or conventional coherence quantifiers. Such channels have a rigid dilation structure described by a rank-one operator frame, which reduces joint measurability to a positivity test, making the compatibility region analytically tractable, and its volume computable from the frame's Gram matrix. If the frame can be normalised to a minimal informationally complete (MIC) POVM, the compatibility region acquires a geometric interpretation in the associated probability representation of the quantum state space, familiar with Qbism. Among maximal-rank extremals, those associated with symmetric informationally complete (SIC) POVMs maximise the compatibility volume and hence destroy the greatest amount of incompatibility, providing an operational characterisation of the special role of SICs in terms of joint measurability. This leads to a new formulation of the well-known SIC existence problem as a joint measurability question for noisy mutually unbiased bases.

quant-pharXiv:2607.21169•Jul 24, 2026•0 citations

Similarly to quantum states, also quantum measurements can be 'mixed', corresponding to a random choice within an ensemble of measuring apparatuses. Such mixing is equivalent to a sort of hidden variable, which produces a noise of purely classical nature. It is then natural to ask which apparatuses are indecomposable , i.e. do not correspond to any random choice of apparatuses. This problem is interesting not only for foundations, but also for applications, since most optimization strategies give optimal apparatuses that are indecomposable. Mathematically the problem is posed describing each measuring apparatus by a positive operator-valued measure (POVM), which gives the statistics of the outcomes for any input state. The POVMs form a convex set, and in this language the indecomposable apparatuses are represented by extremal points—the analogous of 'pure states' in the convex set of states. Differently from the case of states, however, indecomposable POVMs are not necessarily rank-one, e.g. von Neumann measurements. In this paper we give a complete classification of indecomposable apparatuses (for discrete spectrum), by providing different necessary and sufficient conditions for extremality of POVMs, along with a simple general algorithm for the decomposition of a POVM into extremals. As an interesting application, 'informationally complete' measurements are analysed in this respect. The convex set of POVMs is fully characterized by determining its border in terms of simple algebraic properties of the corresponding POVMs.

In quantum mechanics the statistics of the outcomes of a measuring apparatus is described by a positive operator valued measure (POVM). A quantum channel transforms POVMs into POVMs, generally irreversibly, thus losing some of the information retrieved from the measurement. This poses the problem of which POVMs are “undisturbed,” i.e., they are not irreversibly connected to another POVM. We will call such POVMs clean. In a sense, the clean POVMs would be “perfect,” since they would not have any additional “extrinsical” noise. Quite unexpectedly, it turns out that such a “cleanness” property is largely unrelated to the convex structure of POVMs, and there are clean POVMs that are not extremal and vice versa. In this article we solve the cleannes classification problem for number n of outcomes n⩽d (d dimension of the Hilbert space), and we provide a set of either necessary or sufficient conditions for n>d, along with an iff condition for the case of informationally complete POVMs for n=d2.

Various forms of optimality for quantum observables described as normalized positive-operator-valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables that are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient conditions are imposed on informationally complete POVMs within the set of pure states. We also discuss joint and sequential measurements of optimal quantum observables.

The space POVM H(X) of positive operator-valued probability measures on the Borel sets of a compact (or even locally compact) Hausdorff space X with values in B(H), the algebra of linear operators acting on a d-dimensional Hilbert space H, is studied from the perspectives of classical and nonclassical convexity through a transform Γ that associates any positive operator-valued measure ν with a certain completely positive linear map Γ(ν) of the homogeneous C*-algebra C(X)⊗B(H) into B(H). This association is achieved by using an operator-valued integral in which nonclassical random variables (that is, operator-valued functions) are integrated with respect to positive operator-valued measures and which has the feature that the integral of a random quantum effect is itself a quantum effect. A left inverse Ω for Γ yields an integral representation, along the lines of the classical Riesz representation theorem for linear functionals on C(X), of certain (but not all) unital completely positive linear maps φ:C(X)⊗B(H)→B(H). The extremal and C*-extremal points of POVM H(X) are determined.

Convex sets of quantum states and processes play a central role in quantum theory and quantum information. Many important examples of convex sets in quantum theory are spectrahedra, that is, sets of positive operators subject to affine constraints. These examples include sets of quantum states with given expectation values of some observables of interest, sets of multipartite quantum states with given marginals, sets of quantum measurements, channels, and multitime quantum processes, as well as sets of higher-order quantum maps and quantum causal structures. This contribution provides a characterisation of the extreme points of general spectrahedra, and bounds on the ranks of the corresponding operators. The general results are applied to several special cases, and are used to retrieve classic results such as Choi's characterisation of the extreme quantum channels, Parhasarathy's characterisation of the extreme quantum states with given marginals, and the quantum version of Birkhoff's theorem for qubit unital channels. Finally, we propose a notion of positive operator valued measures (POVMs) with general affine constraints for their normalisation, and we characterise the extremal POVMs.

Measurements on quantum channels are described by so-called process positive operator valued measures, or process POVMs. We study implementing schemes of extremal process POVMs. As it turns out, the corresponding measurement must satisfy certain extremality property, which is stronger than the usual extremality given by the convex structure. This property motivates the introduction and investigation of the A-convex structure of POVMs, which generalizes both the usual convex and C*-convex structures. We show that extremal points and faces of the set of process POVMs are closely related to A-extremal points and A-faces of POVMs, for a certain subalgebra A. We also give a characterization of A-extremal and A-pure POVMs.

Decoherence, when viewed in the Heisenberg picture, can turn incompatible measurements into jointly measurable ones. This provides an observable-level description of emergent classicality in terms of the incompatibility destroyed by a noise channel. The corresponding loss of incompatibility can be captured by the channel's \emph{compatibility region}---the observables in a probe class that become jointly measurable with every noisy observable. The geometry and volume of this region provide a refined operational way to compare noise channels. We apply this framework to decoherence channels, each of which acts by Schur multiplication with extreme points of the convex set of unit-diagonal positive semidefinite matrices. Restricting to extremals eliminates convex mixing and reveals subtle phase-dependent decoherence effects thar are not captured by damping rates or conventional coherence quantifiers. Such channels have a rigid dilation structure described by a rank-one operator frame, which reduces joint measurability to a positivity test, making the compatibility region analytically tractable, and its volume computable from the frame's Gram matrix. If the frame can be normalised to a minimal informationally complete (MIC) POVM, the compatibility region acquires a geometric interpretation in the associated probability representation of the quantum state space, familiar with Qbism. Among maximal-rank extremals, those associated with symmetric informationally complete (SIC) POVMs maximise the compatibility volume and hence destroy the greatest amount of incompatibility, providing an operational characterisation of the special role of SICs in terms of joint measurability. This leads to a new formulation of the well-known SIC existence problem as a joint measurability question for noisy mutually unbiased bases.