Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1811.11857 · Journal of Mathematical Physics

Approximately clean quantum probability measures

Douglas Farenick, Remus Floricel, Sarah Plosker

Published May 1, 2013• 6 citations
arXivHTMLPDF

Abstract

A quantum probability measure–or quantum measurement–is said to be clean if it cannot be irreversibly connected to any other quantum probability measure via a quantum channel. The notion of a clean quantum measure was introduced by Buscemi et al. [“Clean positive operator valued measures,” J. Math. Phys. 46(8), 082109 (2005)10.1063/1.2008996] for finite-dimensional Hilbert space, and was studied subsequently by Kahn [“Clean positive operator-valued measures for qubits and similar cases,” J. Phys. A 40(18), 4817–4832 (2007)10.1088/1751-8113/40/18/009] and Pellonpää [“Complete characterization of extreme quantum observables in finite dimensions,” J. Phys. A 44(8), 085304 (2011)10.1088/1751-8113/44/8/085304]. The present paper provides new descriptions of clean quantum probability measures in the case of finite-dimensional Hilbert space. For Hilbert spaces of infinite dimension, we introduce the notion of “approximately clean quantum probability measures” and characterise this property for measures whose range determines a finite-dimensional operator system.

DOI
10.1063/1.4803682

Related papers

Complete characterization of extreme quantum observables in infinite dimensions

Juha-Pekka Pellonpää

We give a complete characterization for extreme quantum observables, i.e. for normalized positive operator valued measures (POVMs) which are extremals in the convex set of all POVMs. The characterization is valid both in discrete and continuous cases, and also in the case of an infinite-dimensional Hilbert space. We show that sharp POVMs are pre-processing clean, i.e. they cannot be irreversibly connected to other POVMs via quantum channels.

arXiv:1007.3211•Journal of Physics A Mathematical and Theoretical•Feb 7, 2011•29 citations

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

On Operator Valued Measures

Darian McLaren, Sarah Plosker, Christopher Ramsey

We consider positive operator valued measures whose image is the bounded operators acting on an infinite-dimensional Hilbert space, and we relax, when possible, the usual assumption of positivity of the operator valued measure seen in the quantum information theory literature. We define the Radon-Nikodym derivative of a positive operator valued measure with respect to a complex measure induced by a given quantum state; this derivative does not always exist when the Hilbert space is infinite dimensional in so much as its range may include unbounded operators. We define integrability of a positive quantum random variable with respect to a positive operator valued measure. Emphasis is put on the structure of operator valued measures, and we develop positive operator valued versions of the Lebesque decomposition theorem and Johnson's atomic and nonatomic decomposition theorem. Beyond these generalizations, we make connections between absolute continuity and the "cleanness" relation defined on positive operator valued measures as well as to the notion of atomic and nonatomic measures.

arXiv:1801.00331•Dec 31, 2017•9 citations

Clean positive operator-valued measures for qubits and similar cases

Jonas Kahn

In a recent paper (Buscemi et al 2005 J. Math. Phys. 46 082109) a notion of clean positive operator-valued measures (POVMs) was defined. We characterize those POVMs which are clean in a class that we call quasi-qubit POVMs, namely POVMs whose elements are all rank-1 or full-rank elements. We give an algorithm to check whether a given quasi-qubit POVM satisfies this condition. We describe explicitly all the POVMs that are clean for the qubit. Meanwhile, we give a sufficient condition for a general POVM to be clean.

arXiv:quant-ph/0603117•Journal of Physics A Mathematical and Theoretical•Apr 17, 2007•2 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

Nondisturbing Quantum Measurement Models

Stanley Gudder

A measurement model is a framework that describes a quantum measurement process. In this article we restrict attention to $MM$s on finite-dimensional Hilbert spaces. Suppose we want to measure an observable $A$ whose outcomes $A_x$ are represented by positive operators (effects) on a Hilbert Space $H$. We call $H$ the base or object system. We interact $H$ with a probe system on another Hilbert space $K$ by means of a quantum channel. The probe system contains a probe (or meter or pointer) observable $F$ whose outcomes $F_x$ are measured by an apparatus that is frequently (but need not be) classical in practice. The $MM$ protocol gives a method for determining the probability of an outcome $A_x$ for any state of $H$ in terms of the outcome $F_x$. The interaction channel usually entangles this state with an initial probe state of $K$ that can be quite complicated. However, if the channel is nondisturbing in a sense that we describe, then the entanglement is considerably simplified. In this article, we give formulas for observables and instruments measured by nondisturbing $MM$s. We begin with a general discussion of nondisturbing operators relative to a quantum context. We present two examples that illustrate this theory in terms of unitary nondisturbing channels.

arXiv:2009.12655•Sep 26, 2020•0 citations
A quantum probability measure–or quantum measurement–is said to be clean if it cannot be irreversibly connected to any other quantum probability measure via a quantum channel. The notion of a clean quantum measure was introduced by Buscemi et al. [“Clean positive operator valued measures,” J. Math. Phys. 46(8), 082109 (2005)10.1063/1.2008996] for finite-dimensional Hilbert space, and was studied subsequently by Kahn [“Clean positive operator-valued measures for qubits and similar cases,” J. Phys. A 40(18), 4817–4832 (2007)10.1088/1751-8113/40/18/009] and Pellonpää [“Complete characterization of extreme quantum observables in finite dimensions,” J. Phys. A 44(8), 085304 (2011)10.1088/1751-8113/44/8/085304]. The present paper provides new descriptions of clean quantum probability measures in the case of finite-dimensional Hilbert space. For Hilbert spaces of infinite dimension, we introduce the notion of “approximately clean quantum probability measures” and characterise this property for measures whose range determines a finite-dimensional operator system.
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.
We consider positive operator valued measures whose image is the bounded operators acting on an infinite-dimensional Hilbert space, and we relax, when possible, the usual assumption of positivity of the operator valued measure seen in the quantum information theory literature. We define the Radon-Nikodym derivative of a positive operator valued measure with respect to a complex measure induced by a given quantum state; this derivative does not always exist when the Hilbert space is infinite dimensional in so much as its range may include unbounded operators. We define integrability of a positive quantum random variable with respect to a positive operator valued measure. Emphasis is put on the structure of operator valued measures, and we develop positive operator valued versions of the Lebesque decomposition theorem and Johnson's atomic and nonatomic decomposition theorem. Beyond these generalizations, we make connections between absolute continuity and the "cleanness" relation defined on positive operator valued measures as well as to the notion of atomic and nonatomic measures.
In a recent paper (Buscemi et al 2005 J. Math. Phys. 46 082109) a notion of clean positive operator-valued measures (POVMs) was defined. We characterize those POVMs which are clean in a class that we call quasi-qubit POVMs, namely POVMs whose elements are all rank-1 or full-rank elements. We give an algorithm to check whether a given quasi-qubit POVM satisfies this condition. We describe explicitly all the POVMs that are clean for the qubit. Meanwhile, we give a sufficient condition for a general POVM to be clean.
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.
A measurement model is a framework that describes a quantum measurement process. In this article we restrict attention to MMMMMMs on finite-dimensional Hilbert spaces. Suppose we want to measure an observable AAA whose outcomes AxA_xAx​ are represented by positive operators (effects) on a Hilbert Space HHH. We call HHH the base or object system. We interact HHH with a probe system on another Hilbert space KKK by means of a quantum channel. The probe system contains a probe (or meter or pointer) observable FFF whose outcomes FxF_xFx​ are measured by an apparatus that is frequently (but need not be) classical in practice. The MMMMMM protocol gives a method for determining the probability of an outcome AxA_xAx​ for any state of HHH in terms of the outcome FxF_xFx​. The interaction channel usually entangles this state with an initial probe state of KKK that can be quite complicated. However, if the channel is nondisturbing in a sense that we describe, then the entanglement is considerably simplified. In this article, we give formulas for observables and instruments measured by nondisturbing MMMMMMs. We begin with a general discussion of nondisturbing operators relative to a quantum context. We present two examples that illustrate this theory in terms of unitary nondisturbing channels.