In functional analysis and quantum measurement theory, a positive operator-valued measure (POVM) is a measure whose values are positive semi-definite operators on a Hilbert space. POVMs are a generalisation of projection-valued measures (PVM) and, correspondingly, quantum measurements described by POVMs are a generalisation of quantum measurement described by PVMs (called projective measurements).
In rough analogy, a POVM is to a PVM what a mixed state is to a pure state. Mixed states are needed to specify the state of a subsystem of a larger system (see purification of quantum state); analogously, POVMs are necessary to describe the effect on a subsystem of a projective measurement performed on a larger system.
In the simplest case, of a POVM with a finite number of elements acting on a finite-dimensional Hilbert space, a POVM is a set of positive semi-definite matrices on a Hilbert space that sum to the identity matrix,:90
In quantum mechanics, the POVM element is associated with the measurement outcome , such that the probability of obtaining it when making a measurement on the quantum state is given by
where is the trace operator. When the quantum state being measured is a pure state this formula reduces to
The probability formulas for a PVM are the same as for the POVM. An important difference is that the elements of a POVM are not necessarily orthogonal. As a consequence, the number of elements of the POVM can be larger than the dimension of the Hilbert space they act in. On the other hand, the number of elements of the PVM is at most the dimension of the Hilbert space.
In general, POVMs can also be defined in situations where the number of elements and the dimension of the Hilbert space is not finite:
Definition. Let be measurable space; that is is a σ-algebra of subsets of . A POVM is a function defined on whose values are bounded non-negative self-adjoint operators on a Hilbert space such that and for every ,
is a non-negative countably additive measure on the σ-algebra .
Its key property is that it determines a probability measure on the outcome space, so that can be interpreted as the probability (density) of outcome when making a measurement on the quantum state .
This definition should be contrasted with that of the projection-valued measure, which is similar, except that for projection-valued measures, the values of are required to be projection operators.
Naimark's dilation theorem
- Note: An alternate spelling of this is "Neumark's Theorem"
Naimark's dilation theorem shows how POVMs can be obtained from PVMs acting on a larger space. This result is of critical importance in quantum mechanics, as it gives a way to physically realize POVM measurements.:285
In the simplest case, of a POVM with a finite number of elements acting on a finite-dimensional Hilbert space, Naimark's theorem says that if is a POVM acting on a Hilbert space of dimension , then there exists a PVM acting on a Hilbert space of dimension and an isometry such that for all
Note that in this construction the dimension of the larger Hilbert space is given by . This is not the minimum possible, as a more complicated construction gives (assuming that ). :285
This construction can be turned into a recipe for a physical realisation of the POVM by extending the isometry into a unitary , that is, finding such that
This can always be done. The recipe for realizing the POVM measurement described by on a quantum state is then to prepare an ancilla in the state , evolve it together with through the unitary , and make the projective measurement on the ancilla described by the PVM . It is then easy to see that the probability of obtaining outcome with this method is the same as the probability of obtaining it with the original POVM. That is,
The post-measurement state is not determined by the POVM itself, but rather by the PVM that physically realizes it. Since there are infinitely many different PVMs that realize the same POVM, the operators alone do not determine what the post-measurement state will be. To see that, note that for any unitary the operators
will also have the property that , so that using the isometry
in the above construction will also implement the same POVM. In the case where the state being measured is in a pure state , the resulting unitary takes it together with the ancilla to state
and the projective measurement on the ancilla will collapse to the state:84
on obtaining result . When the state being measured is described by a density matrix , the corresponding post-measurement state is given by
We see therefore that the post-measurement state depends explicitly on the unitary .
Another difference from the projective measurements is that a POVM measurement is in general not repeatable. If on the first measurement result was obtained, the probability of obtaining a different result on a second measurement is
which can be nonzero if and are not orthogonal. In a projective measurement these operators are always orthogonal and therefore the measurement is always repeatable.
An example: unambiguous quantum state discrimination
Suppose you have a quantum system of dimension 2 that you know is in either the state or the state , and you want to determine which one it is. If and are orthogonal, this task is easy: the set will form a PVM, and a projective measurement in this basis will determine the state with certainty. If, however, and are not orthogonal, this task is impossible, in the sense that there is no measurement, either PVM or POVM, that will distinguish them with certainty.:87 The impossibility of perfectly discriminating between non-orthogonal states is the basis for quantum information protocols such as quantum cryptography, quantum coin flipping, and quantum money.
The task of unambiguous quantum state discrimination (UQSD) is the next best thing: to never make a mistake about whether the state is or , at the cost of sometimes having an inconclusive result. This task cannot be done by a projective measurement, because we need to have three outcomes, , , and inconclusive, and projective measurements in dimension 2 can have at most 2 outcomes.
where is the quantum state orthogonal to , and is the one orthogonal to .
Note that , so when outcome is obtained we are certain that the quantum state is , and when outcome is obtained we are certain that the quantum state is .
Assuming that the quantum system can be in state or with the same probability, the probability of having a conclusive outcome is given by
Using the above construction we can obtain a projective measurement that physically realises this POVM. The square roots of the POVM elements are given by
Labelling the three possible states of the ancilla as , , , and initializing it on the state , we see that the resulting unitary takes the state together with the ancilla to
and similarly it takes the state together with the ancilla to
A measurement on the ancilla then gives the desired results with the same probabilities as the POVM.
This POVM has been used to experimentally distinguish non-orthogonal polarisation states of a photon, using the path degree of freedom as an ancilla. The realisation of the POVM with a projective measurement was slightly different from the one described here.
- Quantum measurement
- Mathematical formulation of quantum mechanics
- Density matrix
- Quantum operation
- Projection-valued measure
- Vector measure
- Peres, Asher; Terno, Daniel R. (2004). "Quantum information and relativity theory". Reviews of Modern Physics. 76 (1): 93–123. arXiv:quant-ph/0212023. Bibcode:2004RvMP...76...93P. doi:10.1103/RevModPhys.76.93. CS1 maint: discouraged parameter (link)
- M. Nielsen and I. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, (2000)
- I. M. Gelfand and M. A. Neumark, On the embedding of normed rings into the ring of operators in Hilbert space, Rec. Math. [Mat. Sbornik] N.S. 12(54) (1943), 197–213.
- A. Peres. Quantum Theory: Concepts and Methods. Kluwer Academic Publishers, 1993.
- J. Preskill, Lecture Notes for Physics: Quantum Information and Computation, Chapter 3, http://www.theory.caltech.edu/people/preskill/ph229/#lecture
- J. Watrous. The Theory of Quantum Information. Cambridge University Press, 2018. Chapter 2.3, https://cs.uwaterloo.ca/~watrous/TQI/
- J.A. Bergou; U. Herzog; M. Hillery (2004). "Discrimination of Quantum States". In M. Paris; J. Řeháček (eds.). Quantum State Estimation. Springer. pp. 417–465. doi:10.1007/978-3-540-44481-7_11. ISBN 978-3-540-44481-7.
- Chefles, Anthony (2000). "Quantum state discrimination". Contemporary Physics. Informa UK Limited. 41 (6): 401–424. arXiv:quant-ph/0010114v1. Bibcode:2000ConPh..41..401C. doi:10.1080/00107510010002599. ISSN 0010-7514.
- Ivanovic, I.D. (1987). "How to differentiate between non-orthogonal states". Physics Letters A. Elsevier BV. 123 (6): 257–259. Bibcode:1987PhLA..123..257I. doi:10.1016/0375-9601(87)90222-2. ISSN 0375-9601.
- Dieks, D. (1988). "Overlap and distinguishability of quantum states". Physics Letters A. Elsevier BV. 126 (5–6): 303–306. Bibcode:1988PhLA..126..303D. doi:10.1016/0375-9601(88)90840-7. ISSN 0375-9601.
- Peres, Asher (1988). "How to differentiate between non-orthogonal states". Physics Letters A. Elsevier BV. 128 (1–2): 19. Bibcode:1988PhLA..128...19P. doi:10.1016/0375-9601(88)91034-1. ISSN 0375-9601.
- B. Huttner; A. Muller; J. D. Gautier; H. Zbinden; N. Gisin (1996). "Unambiguous quantum measurement of nonorthogonal states". Physical Review A. APS. 54 (5): 3783. Bibcode:1996PhRvA..54.3783H. doi:10.1103/PhysRevA.54.3783. PMID 9913923.
- R. B. M. Clarke; A. Chefles; S. M. Barnett; E. Riis (2001). "Experimental demonstration of optimal unambiguous state discrimination". Physical Review A. APS. 63 (4): 040305(R). arXiv:quant-ph/0007063. Bibcode:2001PhRvA..63d0305C. doi:10.1103/PhysRevA.63.040305.
- K. Kraus, States, Effects, and Operations, Lecture Notes in Physics 190, Springer (1983).
- E.B.Davies, Quantum Theory of Open Systems, Academic Press (1976).
- A.S. Holevo, Probabilistic and statistical aspects of quantum theory, North-Holland Publ. Cy., Amsterdam (1982).