Positive Operator Valued Probability Measure

Positive Operator Valued (Probability) Measure, abgekürzt als POVM, ist eine Beschreibung des quantenmechanischen Messprozesses in der Physik. Mathematisch gesehen ist ein POVM eine Art Wahrscheinlichkeitsmaß, dessen Werte positive Operatoren statt positiver Zahlen sind.

Ein POVM auf einem Messraum ( Ω , A ) {\displaystyle (\Omega ,{\mathcal {A}})} ist eine Abbildung μ : A → B ( H ) {\displaystyle \mu \colon {\mathcal {A}}\to B({\mathcal {H}})} mit Werten in der Menge der beschränkten linearen Operatoren eines Hilbertraumes H {\displaystyle {\mathcal {H}}} , die folgenden drei Bedingungen genügt:

• Für alle A ∈ A {\displaystyle A\in {\mathcal {A}}} gilt 0 ≤ μ ( A ) ≤ id H {\displaystyle 0\leq \mu (A)\leq \operatorname {id} _{\mathcal {H}}} (hier bezeichnet id H {\displaystyle \operatorname {id} _{\mathcal {H}}} die identische Abbildung auf dem Hilbertraum). Das heißt, μ ( A ) {\displaystyle \mu (A)} ist positiv und daher auch selbstadjungiert.
• μ ( Ω ) = id H {\displaystyle \mu (\Omega )=\operatorname {id} _{\mathcal {H}}} .
• Für jede Folge paarweise disjunkter Mengen ( A n ∈ A ) n ∈ N {\displaystyle (A_{n}\in {\mathcal {A}})_{n\in \mathbb {N} }} gilt

μ ( ⨄ n = 1 ∞ A n ) = ∑ n = 1 ∞ μ ( A n ) , {\displaystyle \mu {\bigg (}\biguplus _{n=1}^{\infty }A_{n}{\bigg )}=\sum _{n=1}^{\infty }\mu (A_{n}),}

wobei die unendliche Reihe im Sinne der starken Operatortopologie konvergiert.

Die Definition eines POVM steht in Analogie zu den Kolmogorow-Axiomen der Wahrscheinlichkeitstheorie, wobei die Wahrscheinlichkeit durch einen positiven Operator statt durch eine positive reelle Zahl beschrieben wird. POVM verallgemeinern den Begriff des Spektralmaßes, der in der Spektraltheorie selbstadjungierter Operatoren auftritt.

In der Quantenmechanik treten POVM zur Beschreibung von allgemeineren Messungen auf. Hier hat man meistens eine diskrete Menge von sogenannten Effekten E i {\displaystyle {E}_{i}} , die folgendes erfüllen:

• 0 ≤ E i ≤ I {\displaystyle 0\leq E_{i}\leq I} , hier ist I {\displaystyle I} die Einheitsmatrix. Insbesondere sind die E i {\displaystyle E_{i}} positiv semidefinit.
• ∑ i E i = I {\displaystyle \sum _{i}E_{i}=I}

Die E i {\displaystyle E_{i}} beschreiben die verschiedenen Messergebnisse: Wenn das System im Zustand ρ {\displaystyle \rho } ist, ist die Wahrscheinlichkeit des Messresultats i {\displaystyle i} gegeben durch p i = Tr ⁡ ( ρ E i ) {\displaystyle p_{i}=\operatorname {Tr} (\rho {E}_{i})} .

Dieser Ansatz ist allgemeiner als der einer Von-Neumann-Messung (sog. projektive Messung), bei einer solchen sind die E i = | ψ i ⟩ ⟨ ψ i | {\displaystyle E_{i}=|\psi _{i}\rangle \langle \psi _{i}|} Projektoren auf die Eigenvektoren der gemessenen Observablen. Man kann jedoch jedes POVM als eine Von-Neumann-Messung auf einem erweiterten System (Originalsystem + Hilfssystem) auffassen.

Insbesondere für die Quanteninformationstheorie sind POVM bei der Zustandsunterscheidung nichtorthogonaler Zustände oder bei Abhörstrategien in der Quantenkryptographie relevant.

• Diane Martinez, Jody Trout: Asymptotic Spectral Measures, Quantum Mechanics, and E-theory. In: Communications in Mathematical Physics. Band 226, Nr. 1, 2002, S. 41–60, arxiv:math/0107091.