OSA's Digital Library

Advances in Optics and Photonics

Advances in Optics and Photonics

| BRINGING REVIEWS AND TUTORIALS TO LIGHT

  • Editor: Bahaa E. A. Saleh
  • Vol. 1, Iss. 2 — Apr. 15, 2009
« Show journal navigation

Quantum state discrimination

Stephen M. Barnett and Sarah Croke  »View Author Affiliations


Advances in Optics and Photonics, Vol. 1, Issue 2, pp. 238-278 (2009)
http://dx.doi.org/10.1364/AOP.1.000238


View Full Text Article

Acrobat PDF (726 KB)





Browse Journals / Lookup Meetings

Browse by Journal and Year


   


Lookup Conference Papers

Close Browse Journals / Lookup Meetings

Article Tools

Share
Citations

Abstract

It is a fundamental consequence of the superposition principle for quantum states that there must exist nonorthogonal states, that is, states that, although different, have a nonzero overlap. This finite overlap means that there is no way of determining with certainty in which of two such states a given physical system has been prepared. We review the various strategies that have been devised to discriminate optimally between nonorthogonal states and some of the optical experiments that have been performed to realize these.

© 2009 Optical Society of America

1. Introduction

The state of a quantum system is a mysterious object and has been the subject of much attention since the earliest days of quantum theory. We know that it provides a way of calculating the observed statistical properties of any desired observable but that it is not, itself, observable. This means that we cannot determine by observation the state of any single physical system. If we have some prior information, however, then we may be able to use this to determine, at least to some extent, the state. Consider, for example, a single photon that we know has been prepared with either horizontal or vertical polarization. A suitably oriented polarizing beam splitter can be used to transmit the photon if it is vertically polarized and reflect it if its polarization is horizontal. Determining the path of the photon by absorbing it with a suitable detector then determines the state to have been one of horizontal or vertical polarization.

Suppose, however, that we are told that our photon was prepared with either horizontal or with left-circular polarization. These quantum states of polarization are not orthogonal in that states of circular polarization are superpositions of those of both vertical and horizontal polarization:
L=12(H+iV)HL=120.
(1)
If we subject our photon to the polarization measurement outlined in the preceding paragraph, then a left-circularly polarized photon will appear to be horizontally polarized with probability 1/2 and vertically polarized with the same probability.

The problem of discriminating between such states is fundamental to the quantum theory of communications [1

1. C. W. Helstrom, Quantum Detection and Estimation Theory (Academic, 1976).

, 2

2. A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, 1982).

, 3

3. A. S. Holevo, Statistical Structure of Quantum Theory (Springer-Verlag, 2000).

, 4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

] and underlies the secrecy of the now well-reviewed science of quantum cryptography [5

5. S. J. D. Phoenix and P. D. Townsend, “How to beat the code breakers using quantum mechanics,” Contemp. Phys. 36, 165–195 (1995). [CrossRef]

, 6

6. H.-K. Lo, S. Popescu, and T. Spiller, eds., Introduction to Quantum Computation and Quantum Information (World Scientific, 1998).

, 7

7. D. Bouwmeester, A. Ekert, and A. Zeilinger, eds., The Physics of Quantum Information (Springer-Verlag, 2000). [CrossRef]

, 8

8. N. Gisin, G. Ribordy, W. Tittel, and H. Zbinden, “Quantum cryptography,” Rev. Mod. Phys. 74, 145–195 (2002). [CrossRef]

, 9

9. S. Loepp and W. K. Wootters, Protecting Information: from Classical Error Correction to Quantum Cryptography (Cambridge U. Press, 2006). [CrossRef]

]. Indeed, we can use the connection between quantum state discrimination and quantum communications to motivate the problem of state discrimination. We suppose that two parties, conventionally named Alice and Bob, wish to communicate by using a quantum channel. To do this Alice selects from a given set of states, ψi (or more generally mixed states with density operators ρ̂i) with a given set of probabilities pi. The selected state is encoded in the preparation of a given physical system, such as photon polarization, and this is sent to Bob. Bob will know both the set of possible states and the associated preparation probabilities. His task is to determine, by means of a suitable measurement, the state selected by Alice and hence the intended message. This, then is the quantum state discrimination problem: how can we best discriminate among a known set of possible states ψi, each having been prepared with a known probability pi.

The quantum state discrimination problem, as posed here, has been the subject of active theoretical investigation for a long time [1

1. C. W. Helstrom, Quantum Detection and Estimation Theory (Academic, 1976).

, 2

2. A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, 1982).

, 3

3. A. S. Holevo, Statistical Structure of Quantum Theory (Springer-Verlag, 2000).

, 10

10. C. W. Helstrom, “Detection theory and quantum mechanics,” Inf. Control. 10, 254–291 (1967). [CrossRef]

, 11

11. C. W. Helstrom, “Detection theory and quantum mechanics II,” Inf. Control. 13, 156–171 (1968). [CrossRef]

, 12

12. A. S. Holevo, “Statistical decision theory for quantum systems,” J. Multivariate Anal. 3, 337–394 (1973). [CrossRef]

, 13

13. H. P. Yuen, R. S. Kennedy, and M. Lax, “Optimum testing of multiple hypotheses in quantum detection theory,” IEEE Trans. Inf. Theory IT-21, 125–134 (1975). [CrossRef]

, 14

14. E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]

], but it is only comparatively recently that experiments have been performed, and most of these have been based on optics. There exist in the literature a number of reviews of and introductions to quantum state discrimination [4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

, 15

15. S. M. Barnett, “Quantum information via novel measurements,” Philos. Trans. R. Soc. London, Ser. A 355, 2279–2290 (1997). [CrossRef]

, 16

16. A. Chefles, “Quantum state discrimination,” Contemp. Phys. 41, 401–424 (2000). [CrossRef]

, 17

17. S. M. Barnett, “Quantum limited state discrimination,” Fortschr. Phys. 49, 909–913 (2001). [CrossRef]

, 18

18. S. M. Barnett, “Optical demonstrations of statistical decision theory for quantum systems,” Quantum Inf. Comput. 4, 450–459 (2004).

, 19

19. J. A. Bergou, U. Herzog, and M. Hillery, “Discrimination of quantum states,” Lect. Notes Phys. 649, 417–465 (2004). [CrossRef]

, 20

20. A. Chefles, “Quantum states: discrimination and classical information transmission. A review of experimental progress,” Lect. Notes Phys. 649, 467–511 (Springer, 2004). [CrossRef]

, 21

21. J. A. Bergou, “Quantum state discrimination and selected applications,” J. Phys.: Conf. Ser. 84, 012001 (2007). [CrossRef]

]. Our purpose in preparing this review is twofold: first, to bring the rapidly developing field up to date and, second, to introduce the idea of state discrimination to a wider audience in optics. It seems especially appropriate to do this as it is in simple optical experiments that the ideas are most transparent and where most of the important practical developments have been made.

2. Generalized Measurements

Most of us are introduced to the idea of measurements in quantum theory in a manner that is, essentially, that formulated by von Neumann [22

22. J. Von Neumann, Mathematical Foundations of Quantum Mechanics (Princeton U. Press, 1983).

]. Each observable property O is associated with a Hermitian operator Ô (or more precisely a self-adjoint one), the eigenvalues of which are the possible results of a measurement of O. If the eigenvalues and eigenvectors are om and om, then we can write the operator Ô in the diagonal form
Ô=momomom.
(2)
If the system to be measured has been prepared in the state ψ, then the probability that a measurement of O will give the result om is
P(om)=omψ2.
(3)
Consider, for example, a measurement to determine whether the polarization of a single photon is horizontal or vertical. A suitable operator, corresponding to this measurement, would be
Pol̂=HHH+VVV.
(4)
The probability that a measurement of this property on a photon prepared in the circularly polarized state L will give the result H, corresponding to horizontal polarization, is
P(H)=HL2=12.
(5)

It is helpful, in what follows, to rewrite the above probabilities as the expectation value of an operator. In this way the probability that a measurement of optical polarization shows the photon to be horizontally polarized is
P(H)=HH=P̂H,
(6)
where P̂H=HH, the projector onto the state H, is the required operator. More generally, for our operator Ô, the probability that a measurement gives the value om is
P(om)=omom=P̂m.
(7)
We note that the measured value, itself, makes no explicit appearance in this probability; it is not the eigenvalue but only the corresponding eigenvector that determines the form of the projector and hence the probability for the associated measurement outcome.

The projectors have four important mathematical properties, and it is helpful to list these:
  • The projectors are Hermitian operators, P̂m=P̂m. This property is associated with the fact that probabilities are, themselves, observable quantities.
  • They are positive operators, which means that ψP̂mψ0 for all possible states ψ. This reflects the fact that the expectation value of the projector is a probability and must, therefore, be positive or zero.
  • They are complete in that mP̂m=1̂, so that the sum of the probabilities for all possible measurement outcomes is unity.
  • They are orthonormal in that P̂mP̂n=0 unless m=n. This property is sometimes associated with the fact that measurement outcomes must be distinct (you can only get one of them). This view is, as we shall see, not correct. You can indeed only get one outcome, but this does not require the orthonormality property.

The theory of generalized measurements can be formulated simply by dropping the final requirement. To see how this works, we introduce a set of probability operators {π̂m}, each of which we wish to associate with a measurement outcome such that the probability that our measurement gives the result labeled m is
P(m)=π̂m.
(8)
We insist on the first three of the properties of the projectors, as these are required if we are to maintain the probability interpretation (8), but we drop the final requirement so that our probability operators have the following properties:
  • The probability operators are Hermitian: π̂m=π̂m.
  • They are positive operators: ψπ̂mψ0 for all possible states ψ.
  • They are complete: mπ̂m=1̂.

Note that Hermiticity follows from positivity, since if all expectation values are nonnegative, ψπ̂mψ0 for all possible states ψ, then in particular they are all real numbers and π̂m must be Hermitian. The set of probability operators characterizing the possible outcomes of any generalized measurement is called a probability operator measure, usually abbreviated to POM [1

1. C. W. Helstrom, Quantum Detection and Estimation Theory (Academic, 1976).

, 4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

]. You will often find this set referred to as a positive operator-valued measure or POVM [23

23. A. Peres, Quantum Theory: Concepts and Methods (Kluwer, 1993).

, 24

24. P. Busch, M. Grabowski, and P. Lahti, Operational Quantum Physics (Springer, 1995).

]. If the latter name is used then the probability operators become elements of a positive operator-valued measure.

The differences between the projectors and more general probability operators are best appreciated by reference to some simple examples, and these will be given in the following sections. There are, however, some important and perhaps even surprising points, and it is sensible to emphasize these here. First, the three properties described above have a remarkable generality in that (i) any measurement can be described by the appropriate set of probability operators and (ii) any set of operators that satisfy the three properties correspond to a possible measurement [4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

, 23

23. A. Peres, Quantum Theory: Concepts and Methods (Kluwer, 1993).

]. This means that we can seek the optimum measurement in any given situation mathematically, by searching among all sets of operators that satisfy the required properties. Having found this optimum measurement, we know that a physical realization of it will exist, and we can seek a way to implement it in the laboratory. The second point to emphasize is that the number of (orthogonal) projectors can only be less than or equal to the dimension of the state space. For optical polarization, for example, there are only two orthogonal polarizations, and the state space is therefore two dimensional. It follows that any von Neumann measurement of polarization can have only two outcomes. By dropping the requirement for orthogonality, we allow a generalized measurement to have any number of outcomes, so a generalized measurement of polarization can have three, four, or more different outcomes. Finally, a generalized measurement allows us to describe the simultaneous observation of incompatible observables, such as position and momentum or, in the context of quantum optics, orthogonal field quadratures [25

25. C. Y. She and H. Heffner, “Simultaneous measurement of noncommuting observables,” Phys. Rev. 152, 1103–1110 (1966). [CrossRef]

, 26

26. S. Stenholm, “Simultaneous measurement of conjugate variables,” Ann. Phys. (N.Y.) 218, 233–254 (1992). [CrossRef]

]. Perhaps the first reported generalized optical measurement was of precisely this form [27

27. N. G. Walker and J. E. Carroll, “Simultaneous phase and amplitude measurements on optical signals using a multiport junction,” Electron. Lett. 20, 981–983 (1984). [CrossRef]

, 28

28. N. G. Walker, “Quantum theory of multiport optical homodyning,” J. Mod. Opt. 34, 15–60 (1987). [CrossRef]

].

3. State Discrimination—Theory

3.1. Minimum Error Discrimination

3.1a. Minimum Error Conditions

The above analysis is easily extended to two mixed states ρ̂0, ρ̂1, in which case the optimal measurement becomes a projective measurement onto the subspaces corresponding to positive and negative eigenvalues of p0ρ̂0p1ρ̂1. In the general case of N possible states {ρ̂i} with associated a priori probabilities {pi}, the aim is to minimize the expression
Perr=i=0N1pijiTr(ρ̂iπ̂j)
(14)
or, equivalently, to maximize
Pcorr=1Perr=i=0N1piTr(ρ̂iπ̂i).
(15)
The optimal measurement is known only in certain special cases; however, necessary and sufficient conditions that must be satisfied by the optimal POM for the general case are known [1

1. C. W. Helstrom, Quantum Detection and Estimation Theory (Academic, 1976).

, 12

12. A. S. Holevo, “Statistical decision theory for quantum systems,” J. Multivariate Anal. 3, 337–394 (1973). [CrossRef]

, 13

13. H. P. Yuen, R. S. Kennedy, and M. Lax, “Optimum testing of multiple hypotheses in quantum detection theory,” IEEE Trans. Inf. Theory IT-21, 125–134 (1975). [CrossRef]

] and are given in Eqs. (16, 17). For simplicity, we prove only sufficiency of the conditions here, but we note that there is also a straightforward proof of their necessity [29

29. S. M. Barnett and S. Croke, “On the conditions for discrimination between quantum states with minimum error,” J. Phys. A 42, 062001 (2009). [CrossRef]

].

Necessary and sufficient conditions that must be satisfied by the POM achieving minimum error in distinguishing between the states {ρ̂i}, occurring with probabilities {pi}, are given by
ipiρ̂iπ̂ipjρ̂j0,j,
(16)
π̂i(piρ̂ipjρ̂j)π̂j=0,i,j.
(17)
 Note that these conditions are not independent; the second may be derived from the first, as shown in the text.

If {π̂i} corresponds to an optimal measurement, then for all other POMs {π̂i} we require
ipiTr(ρ̂iπ̂i)jpjTr(ρ̂jπ̂j).
(18)
Inserting the identity jπ̂j=1̂ gives
jTr((ipiρ̂iπ̂ipjρ̂j)π̂j)0.
(19)
Note that π̂j0; thus the above holds if Eq. (16) holds, which is therefore a sufficient condition.

For any POM satisfying this condition, it follows that the operator Γ̂=ipiρ̂iπ̂i is positive, and therefore Hermitian. Thus we have
j(ipiπ̂iρ̂ipjρ̂j)π̂j=iπ̂i(piρ̂ijpjρ̂jπ̂j)=0,
(20)
where we have used the fact that the probability operators form a resolution of the identity iπ̂i=1̂. As both ipiπ̂iρ̂ipjρ̂j and π̂j are positive operators, each term in the sum over j must be identically zero. Using similar reasoning we can argue that each term in the sum over i must be identically zero. Thus, in terms of Γ̂ we obtain
(Γ̂pjρ̂j)π̂j=π̂i(piρ̂iΓ̂)=0,i,j.
(21)
Eliminating Γ̂ gives Eq. (17), which is therefore also a sufficient condition.

3.1b. Square-Root Measurement

For any given set of states we can construct an associated measurement, the square-root measurement [30

30. A. S. Kholevo, “On asymptotically optimal hypothesis testing in quantum statistics,” Theor. Probab. Appl. 23, 411–415 (1979). [CrossRef]

, 31

31. L. P. Hughston, R. Jozsa, and W. K. Wootters, “A complete classification of quantum ensembles having a given density matrix,” Phys. Lett. A 183, 14–18 (1993). [CrossRef]

, 32

32. P. Hausladen and W. K. Wootters, “A ‘pretty good’ measurement for distinguishing quantum states,” J. Mod. Opt. 41, 2385–2390 (1994). [CrossRef]

, 33

33. P. Hausladen, R. Jozsa, B. Schumacher, M. Westmoreland, and W. K. Wootters, “Classical information capacity of a quantum channel,” Phys. Rev. A 54, 1869–1876 (1996). [CrossRef] [PubMed]

], as follows:
π̂i=piρ̂12ρ̂iρ̂12,
(22)
where ρ̂=ipiρ̂i. It is clear that the probability operators {π̂i} are positive and sum to the identity, and thus form a complete measurement. For many of the cases in which the optimal minimum error measurement is known, it is the square-root measurement [34

34. M. Ban, K. Kurokawa, R. Momose, and O. Hirota, “Optimum measurements for discrimination among symmetric states and parameter estimation,” IEEE Transl. J. Magn. Jpn. 36, 1269–1288 (1997).

, 35

35. M. Sasaki, K. Kato, M. Izutsu, and O. Hirota, “Quantum channels showing superadditivity in classical capacity,” Phys. Rev. A 58, 146–158 (1998). [CrossRef]

, 36

36. Y. C. Eldar and G. D. Forney Jr., “On quantum detection and the square-root measurement,” IEEE Trans. Inf. Theory 47, 858–872 (2001). [CrossRef]

, 37

37. S. M. Barnett, “Minimum-error discrimination between multiply symmetric states,” Phys. Rev. A 64, 030303 (2001). [CrossRef]

, 38

38. C.-L. Chou and L. Y. Hsu, “Minimum-error discrimination between symmetric mixed quantum states,” Phys. Rev. A 68, 042305 (2003). [CrossRef]

, 39

39. Y. C. Eldar, A. Megretski, and G. C. Verghese, “Optimal detection of symmetric mixed quantum states,” IEEE Trans. Inf. Theory 50, 1198–1207 (2004). [CrossRef]

]. We will present here the example of N symmetric pure states occurring with equal a priori probabilities pi=1N, considered by Ban et al. [34

34. M. Ban, K. Kurokawa, R. Momose, and O. Hirota, “Optimum measurements for discrimination among symmetric states and parameter estimation,” IEEE Transl. J. Magn. Jpn. 36, 1269–1288 (1997).

], and given by
ψi=V̂ψi1=V̂iψ0,i=0,,N1,
(23)
for some unitary operator V̂ satisfying V̂N=1̂. For this set we have
ρ̂=1Ni=0N1ψiψi=1Ni=0N1V̂iψ0ψ0V̂i,
(24)
and it is useful to note that
V̂ρ̂V̂=1Ni=0N1V̂ψiψiV̂=1Ni=0N1V̂i+1ψ0ψ0V̂i+1=1N(i=1N1V̂iψ0ψ0V̂i+V̂Nψ0ψ0V̂N)=ρ̂,
(25)
where in the last line we have used the property V̂N=1̂. Thus
V̂ρ̂=V̂ρ̂V̂V̂=ρ̂V̂,
(26)
and ρ̂ commutes with V̂. The square-root measurement consists of the operators
π̂i=1Nρ̂12ψiψiρ̂12=1Nρ̂12V̂iψ0ψ0V̂iρ̂12,
(27)
and condition (17) is equivalent to the requirement
ψiρ̂12ψiψiρ̂12ψjψiρ̂12ψjψjρ̂12ψj=0.
(28)
Noting that
ψiρ̂12ψi=ψ0V̂iρ̂12V̂iψ0=ψ0ρ̂12ψ0,i,
(29)
we see that this requirement is satisfied. We now proceed to evaluate Γ̂:
Γ̂=1Ni=0N1ψiψi1Nρ̂12ψiψiρ̂12=1Nψ0ρ̂12ψ0i=0N11Nψiψiρ̂12=1Nψ0ρ̂12ψ0ρ̂12.
(30)
To satisfy condition (16) we require
φ(Γ̂1Nψiψi)φ0,i,φ.
(31)
Writing Γ̂=(1N)ψiρ̂12ψiρ̂12, we can show that
φΓ̂φ=1Nψiρ̂12ψiφρ̂12φ=1Nψiρ̂14ρ̂14ψiφρ̂14ρ̂14φ1Nψiρ̂14ρ̂14φ2=1Nψiφ2,
(32)
where we have used the Cauchy–Schwarz inequality. Thus condition (16) holds, and the square-root measurement is optimal. Note that the case of two equiprobable pure states discussed above is an example of a symmetric set. In this case V̂=σ̂z, and it may easily be verified that σ̂zψ0=ψ1 and σ̂z2=1̂. Another example of a symmetric set is the so-called trine ensemble [32

32. P. Hausladen and W. K. Wootters, “A ‘pretty good’ measurement for distinguishing quantum states,” J. Mod. Opt. 41, 2385–2390 (1994). [CrossRef]

, 40

40. A. Peres, “Neumark’s theorem and quantum inseparability,” Found. Phys. 20, 1441–1453 (1990). [CrossRef]

], given by
ψ0=0,
ψ1=120+321,
ψ2=120321
(33)
and obtained from one another by rotation through an angle of 2π3. These states form a resolution of the identity, and the square-root measurement consists of equally weighted projectors onto the states themselves, π̂i=23ψiψi.

The above solution has been extended to multiply symmetric states [37

37. S. M. Barnett, “Minimum-error discrimination between multiply symmetric states,” Phys. Rev. A 64, 030303 (2001). [CrossRef]

] and mixed states [38

38. C.-L. Chou and L. Y. Hsu, “Minimum-error discrimination between symmetric mixed quantum states,” Phys. Rev. A 68, 042305 (2003). [CrossRef]

, 39

39. Y. C. Eldar, A. Megretski, and G. C. Verghese, “Optimal detection of symmetric mixed quantum states,” IEEE Trans. Inf. Theory 50, 1198–1207 (2004). [CrossRef]

]. The square-root measurement has also been generalized by Mochon [41

41. C. Mochon, “Family of generalized ‘pretty good’ measurements and the minimal-error pure-state discrimination problems for which they are optimal,” Phys. Rev. A 73, 032328 (2006). [CrossRef]

], who considered measurements of the form
π̂i=σ̂12piρ̂iσ̂12,
(34)
where σ̂=ipiρ̂i, i.e., the square-root measurements corresponding to the same set of states but constructed using different a priori probabilities. For pure states, each such measurement is optimal for at least one discrimination problem with the same states, occurring with probabilities given analytically in [41

41. C. Mochon, “Family of generalized ‘pretty good’ measurements and the minimal-error pure-state discrimination problems for which they are optimal,” Phys. Rev. A 73, 032328 (2006). [CrossRef]

].

3.1c. Other Results

Most of the known results for minimum error discrimination correspond to one of the two cases discussed above: that of just two states, or those for which the square-root measurement is optimal. Another example that is interesting to note is the no-measurement strategy [42

42. K. Hunter, “Measurement does not always aid state discrimination,” Phys. Rev. A 68, 012306 (2003). [CrossRef]

]. Sometimes the optimal discrimination strategy is not to measure at all, but just to guess the state which is a priori most likely, a measurement that may be described by the POM {π̂i=1̂,π̂j=0,ji}, where i is such that pipj,j. Condition (17) holds trivially for this POM. Thus the no-measurement solution is optimal when condition (16) holds, which then reads as
piρ̂ipjρ̂j0,j.
(35)
Clearly this is never optimal if ρ̂i is pure; a necessary (but not sufficient) condition is that the eigenvectors of ρ̂i span the entire Hilbert space in which the states {ρ̂j} lie. A practical example is discriminating signal states from random noise, described by the density operator ρ̂i1̂. If the signal-to-noise ratio is small enough, the minimum error strategy is to always guess that the state received was random noise [42

42. K. Hunter, “Measurement does not always aid state discrimination,” Phys. Rev. A 68, 012306 (2003). [CrossRef]

]. It is therefore useful to know the noise threshold at which this occurs, which may be deduced from condition (35).

Other examples for which explicit results are known include three mirror symmetric qubit states, for both pure [43

43. E. Andersson, S. M. Barnett, C. R. Gilson, and K. Hunter, “Minimum-error discrimination between three mirror-symmetric states,” Phys. Rev. A 65, 052308 (2002). [CrossRef]

] and mixed states [44

44. C.-L. Chou, “Minimum-error discrimination among mirror-symmetric mixed quantum states,” Phys. Rev. A 70, 062316 (2004). [CrossRef]

], and the case of equiprobable pure states, a weighted sum of which equals the identity operator [13

13. H. P. Yuen, R. S. Kennedy, and M. Lax, “Optimum testing of multiple hypotheses in quantum detection theory,” IEEE Trans. Inf. Theory IT-21, 125–134 (1975). [CrossRef]

]. The form of the solution for any set of qubit states has also been explored in some detail by Hunter [45

45. K. Hunter, Optimal Generalised Measurement Strategies, Ph.D. thesis (University of Strathclyde, 2004).

, 46

46. K. Hunter, “Results in optimal discrimination,” in Proceedings of The Seventh International Conference on Quantum Communication, Measurement and Computing (QCMC04), Vol. 734 of American Institute of Physics Conference Series (AIP, 2004), pp. 83–86.

], including a complete characterization of the solution for equiprobable pure qubit states. In the general case, for which explicit results are not known, it is possible to deduce both upper [47

47. H. Barnum and E. Knill, “Reversing quantum dynamics with near-optimal quantum and classical fidelity,” J. Math. Phys. 43, 2097–2106 (2002). [CrossRef]

, 48

48. A. Montanaro, “On the distinguishability of random quantum states,” Commun. Math. Phys. 273, 619–636 (2007). [CrossRef]

] and lower [49

49. A. Montanaro, “A lower bound on the probability of error in quantum state discrimination,” in IEEE Information Theory Workshop, 2008. ITW '08 (IEEE, 2008), pp. 378–380.

, 50

50. D. Qiu, “Minimum-error discrimination between mixed quantum states,” Phys. Rev. A 77, 012328 (2008). [CrossRef]

] bounds on the error probability. Alternatively, numerical algorithms exist that can find the optimal measurement for a specified set of states to within any desired accuracy [51

51. M. Ježek, J. Řeháček, and J. Fiurášek, “Finding optimal strategies for minimum-error quantum-state discrimination,” Phys. Rev. A 65, 060301 (2002). [CrossRef]

, 52

52. Y. C. Eldar, A. Mergretski, and G. C. Verghese, “Designing optimal quantum detectors via semidefinite programming,” IEEE Trans. Inf. Theory 49, 1007–1012 (2003). [CrossRef]

].

3.2. Unambiguous Discrimination

In the minimum error measurement, each possible outcome is taken to indicate some corresponding state. It is perhaps surprising that it is sometimes advantageous to allow for measurement outcomes that do not lead us to identify any state. Suppose again that we wish to discriminate between the two pure states given by Eq. (10), occurring with a priori probabilities p0, p1. Consider the von Neumann measurement
π̂?=ψ1ψ1,
π̂0=(sinθ0+cosθ1)(sinθ0+cosθ1).
(36)
If outcome ?, associated with the probability operator π̂?, is realized, we cannot say for sure what state was prepared. However, note that ψ1π̂0ψ1=0, and thus when outcome 0, corresponding to POM element π̂0, is realized, we can say for certain that the state was ψ0. Thus, by allowing for measurement outcome ?, which does not lead us to identify any state, we can construct a measurement that sometimes allows us to determine unambiguously which state was prepared. This measurement, however, only ever identifies the state ψ0; ideally we would like to design a measurement that can identify either state unambiguously, at the cost of sometimes giving an inconclusive result. The generalized measurement formalism outlined above allows for exactly such a measurement, a possibility that was first pointed out by Ivanovic [53

53. I. D. Ivanovic, “How to differentiate between non-orthogonal states,” Phys. Lett. A 123, 257–259 (1987). [CrossRef]

], Dieks [54

54. D. Dieks, “Overlap and distinguishability of quantum states,” Phys. Lett. A 126, 303–306 (1988). [CrossRef]

], and Peres [55

55. A. Peres, “How to differentiate between non-orthogonal states,” Phys. Lett. A 128, 19–19 (1988). [CrossRef]

].

Consider therefore the operators
π̂0=a0(sinθ0+cosθ1)(sinθ0+cosθ1),
π̂1=a1(sinθ0cosθ1)(sinθ0cosθ1),
(37)
chosen such that ψ0π̂1ψ0=ψ1π̂0ψ1=0, and where 0a0,a11. Thus when outcome 0 is realized, we can say for sure that the corresponding state was ψ0, while when outcome 1 occurs, we know the state was ψ1 with certainty. Note that these cannot form a complete measurement for any choice of a0, a1, unless ψ0, ψ1 are orthogonal, and thus an inconclusive outcome is needed, associated with the probability operator
π̂?=1̂π̂0π̂1.
(38)
The probability of occurrence of the inconclusive result is given by
P(?)=p0ψ0π̂?ψ0+p1ψ1π̂?ψ1=1sin22θ(p0a0+p1a1),
(39)
and the unambiguous discrimination strategy may be further optimized by minimizing this probability, subject to the constraints a0,a10, π̂?0. For equal a priori probabilities, p0=p1=12, the minimum value or Ivanovic–Dieks–Peres (IDP) limit [53

53. I. D. Ivanovic, “How to differentiate between non-orthogonal states,” Phys. Lett. A 123, 257–259 (1987). [CrossRef]

, 54

54. D. Dieks, “Overlap and distinguishability of quantum states,” Phys. Lett. A 126, 303–306 (1988). [CrossRef]

, 55

55. A. Peres, “How to differentiate between non-orthogonal states,” Phys. Lett. A 128, 19–19 (1988). [CrossRef]

] is given by P(?)=cos2θ=ψ0ψ1 and is achieved by the measurement
π̂0=12cos2θ(sinθ0+cosθ1)(sinθ0+cosθ1),
π̂1=12cos2θ(sinθ0cosθ1)(sinθ0cosθ1),
π̂?=(1tan2θ)00.
(40)
The optimal P(?) for arbitrary prior probabilities was first given by Jaeger and Shimony [56

56. G. Jaeger and A. Shimony, “Optimal distinction between two non-orthogonal quantum states,” Phys. Lett. A 197, 83–87 (1995). [CrossRef]

]. As p0 is increased, the optimal measurement is given by Eqs. (37, 38) with
a0=1p1/p0cos2θsin22θ,
a1=1p0/p1cos2θsin22θ,
(41)
giving P(?)=2p0p1cos2θ. Thus the measurement becomes biased toward unambiguously identifying the state that is a priori more probable. Clearly, when p0p1cos2θ>1, this no longer defines a physical measurement; the optimal measurement then is simply the von Neumann measurement given by Eq. (36). In this case ψ1 always gives the inconclusive result, and the probability of failure is P(?)=p0ψ0ψ12+p1. Thus for p0 much bigger than p1, the optimal strategy is the one that rules out the less probable state, in contrast to the minimum error measurement, which in this regime (approximately) identifies or rules out the more probable state.

A simple example from quantum optics might help to illustrate the main idea [57

57. B. Huttner, N. Imoto, N. Gisin, and T. Mor, “Quantum cryptography with coherent states,” Phys. Rev. A 51, 1863–1869 (1995). [CrossRef] [PubMed]

]. Let us suppose that we have an optical pulse known to have been prepared, with equal probability, in one of the two coherent states [58

58. R. Loudon, The Quantum Theory of Light (Oxford U. Press, 2000).

] α or α. If we interfere the pulse with a second pulse prepared in the state iα by using a 50:50 symmetric beam splitter, then one of the output modes will be left in its vacuum state |0:
αiα0i2α,
αiα2α0.
(42)
The state can be identified simply by detecting the light in the associated output mode. The ambiguous outcome is a consequence of the fact that the coherent states have a nonzero overlap with the vacuum state, and the probability for this result is
P?=i2α02=2α02=αα,
(43)
which is the Ivanovic–Dieks–Peres (IDP) limit.

3.2a. N>2 Pure States

In the general case of discriminating unambiguously between N pure states {ψi}, i=0,,N1, we wish to find probability operators {π̂i} such that
ψiπ̂jψi=Piδij,
(44)
where 0Pi1. Thus outcome j is obtained only if the state is ψj, in which case it occurs with probability Pj. We first note that this is only possible if the states {ψi} are linearly independent, as was shown by Chefles [59

59. A. Chefles, “Unambiguous discrimination between linearly independent quantum states,” Phys. Lett. A 239, 339–347 (1998). [CrossRef]

]. When this is the case, we can construct states ψj such that
ψiψj=ψjψjδij,
(45)
i.e., ψj is orthogonal to all allowed states except ψj. The POM elements
π̂j=Pjψjψj2ψjψj
(46)
thus satisfy Eq. (44) and unambiguously discriminate between the linearly independent states {ψi}. As before, an inconclusive outcome is necessary to form a complete measurement
π̂?=1̂jπ̂j.
(47)
The above defines the unambiguous discrimination strategy for N linearly independent states. The occurrence of outcome j indicates unambiguously that the state was ψj. As in the two-state case, a further condition that may be applied is to minimize the probability of obtaining an inconclusive result. Analytical solutions for the minimum achievable P(?) are not known in the general case, but the solution for three states is given by Peres and Terno [60

60. A. Peres and D. R. Terno, “Optimal distinction between non-orthogonal quantum states,” J. Phys. A 31, 7105–7111 (1998). [CrossRef]

], who also discuss how the method used can be extended to higher dimensions. For the special case in which the probability of unambiguously identifying a state ψj is the same for all j (Pj=P,j), the minimum probability of obtaining an inconclusive result is known [59

59. A. Chefles, “Unambiguous discrimination between linearly independent quantum states,” Phys. Lett. A 239, 339–347 (1998). [CrossRef]

]. Further, the optimal strategy minimizing this probability is given for N linearly independent symmetric states in [61

61. A. Chefles and S. M. Barnett, “Optimum unambiguous discrimination between linearly independent symmetric states,” Phys. Lett. A 250, 223–229 (1998). [CrossRef]

]. For the general case, upper [62

62. S. Zhang, Y. Feng, X. Sun, and M. Ying, “Upper bound for the success probability of unambiguous discrimination among quantum states,” Phys. Rev. A 64, 062103 (2001). [CrossRef]

] and lower bounds [63

63. L.-M. Duan and G.-C. Guo, “Probabilistic cloning and identification of linearly independent quantum states,” Phys. Rev. Lett. 80, 4999–5002 (1998). [CrossRef]

, 64

64. X. Sun, S. Zhang, Y. Feng, and M. Ying, “Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination,” Phys. Rev. A 65, 044306 (2002). [CrossRef]

] have been given for the probability of successful unambiguous discrimination of N linearly independent states, and numerical optimization techniques have also been considered [64

64. X. Sun, S. Zhang, Y. Feng, and M. Ying, “Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination,” Phys. Rev. A 65, 044306 (2002). [CrossRef]

, 65

65. Y. C. Eldar, “A semidefinite programming approach to optimal unambiguous discrimination of quantum states,” IEEE Trans. Inf. Theory 49, 446–456 (2003). [CrossRef]

].

3.2b. Mixed States

It is only relatively recently that unambiguous discrimination has been extended to mixed states [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

], where it may be applied to problems such as quantum state comparison [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

, 67

67. S. M. Barnett, A. Chefles, and I. Jex, “Comparison of two unknown pure quantum states,” Phys. Lett. A 307, 189–195 (2003). [CrossRef]

], subset discrimination [68

68. S. Zhang and M. Ying, “Set discrimination of quantum states,” Phys. Rev. A 65, 062322 (2002). [CrossRef]

], and determining whether a given state is pure or mixed [69

69. C. Zhang, G. Wang, and M. Ying, “Discrimination between pure states and mixed states,” Phys. Rev. A 75, 062306 (2007). [CrossRef]

]. Consider the problem of discriminating between two mixed states ρ̂0, ρ̂1, which may be written in terms of their eigenvalues and eigenvectors as follows:
ρ̂0=iλi(0)λi(0)λi(0),ρ̂1=iλi(1)λi(1)λi(1).
(48)
where 0<λi(j)1. Define the projectors
Λ̂ker(0)=1̂iλi(0)λi(0),
Λ̂ker(1)=1̂iλi(1)λi(1),
(49)
such that Λ̂ker(0)ρ̂0=Λ̂ker(1)ρ̂1=0. These are the projectors onto the kernels of ρ̂0 and ρ̂1, respectively [70

70. The support of a mixed state ρ̂ is the subspace spanned by its eigenvectors with nonzero eigenvalues. The kernel of a mixed state is the subspace orthogonal to its support.

]. If we now define π̂1 to lie in the kernel of ρ̂0, then π̂1=Λ̂ker(0)π̂1Λ̂ker(0), and clearly
Tr(ρ̂0π̂1)=Tr(ρ̂0Λ̂ker(0)π̂1Λ̂ker(0))=0.
(50)
Thus if there exists a positive operator π̂1 in the kernel of ρ̂0 for which Tr(ρ̂1π̂1)0, then ρ̂1 may be unambiguously discriminated from ρ̂0. Similarly, π̂0 should lie in the kernel of ρ̂1. Thus a necessary and sufficient condition for unambiguous discrimination between two mixed states is that they have nonidentical kernels, and thus nonidentical supports [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

]. Unless the states are orthogonal, an inconclusive outcome will be needed, as before, π̂?=1̂π̂0π̂1. The problem of finding the strategy that minimizes the probability of occurrence of the inconclusive result is again a difficult one, and one that has received much attention in the past few years. The solutions for some special cases are known; some examples are when both states have one-dimensional kernels [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

], unambiguous discrimination between a pure and a mixed state, first in two dimensions [71

71. Y. Sun, J. A. Bergou, and M. Hillery, “Optimum unambiguous discrimination between subsets of nonorthogonal quantum states,” Phys. Rev. A 66, 032315 (2002). [CrossRef]

] and later extended to N dimensions [72

72. J. A. Bergou, U. Herzog, and M. Hillery, “Quantum filtering and discrimination between sets of Boolean functions,” Phys. Rev. A 90, 257901 (2003).

]; other examples may be found in [73

73. U. Herzog and J. A. Bergou, “Optimum unambiguous discrimination of two mixed quantum states,” Phys. Rev. A 71, 050301 (2005). [CrossRef]

, 74

74. P. Raynal and N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: a second class of exact solutions,” Phys. Rev. A 76, 052322 (2007). [CrossRef]

, 75

75. U. Herzog, “Optimum unambiguous discrimination of two mixed states and application to a class of similar states,” Phys. Rev. A 75, 052309 (2007). [CrossRef]

]. Reduction theorems given in [76

76. P. Raynal, N. Lütkenhaus, and S. J. van Enk, “Reduction theorems for optimal unambiguous state discrimination of density matrices,” Phys. Rev. A 68, 022308 (2003). [CrossRef]

] show that it is always possible to reduce the general problem to one of discriminating two states each of rank r, which together span a 2r-dimensional space. Thus the simplest case that is not reducible to pure state discrimination is the problem of two rank-2 density operators in a four-dimensional space, which was recently analyzed in detail by Kleinmann et al. [77

77. M. Kleinmann, H. Kampermann, and D. Bruss, “Structural approach to unambiguous discrimination of two mixed states,” arXiv.org, arXiv:0803.1083v1 (March 7, 2008).

]. Upper and lower bounds for the general case are given in [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

, 78

78. Y. Feng, R. Duan, and M. Ying, “Unambiguous discrimination between mixed quantum states,” Phys. Rev. A 70, 012308 (2004). [CrossRef]

, 79

79. P. Raynal and N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: lower bound and class of exact solutions,” Phys. Rev. A 72, 022342 (2005). [CrossRef]

], a further reduction theorem in [74

74. P. Raynal and N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: a second class of exact solutions,” Phys. Rev. A 76, 052322 (2007). [CrossRef]

], and numerical algorithms are discussed in [80

80. Y. C. Eldar, M. Stojnic, and B. Hassibi, “Optimal quantum detectors for unambiguous detection of mixed states,” Phys. Rev. A 69, 062318 (2004). [CrossRef]

].

3.3. Maximum Confidence Measurements

The simplest nontrivial example of a set of linearly dependent states is that of three states in two dimensions. To illustrate this strategy we consider the problem of discriminating between the states
ψ0=cosθ0+sinθ1,
ψ1=cosθ0+e2πi3sinθ1,
ψ2=cosθ0+e2πi3sinθ1,
(59)
where 0θπ4, occurring with equal a priori probabilities pi=13, i=0,1,2. These states are symmetrically located at the same latitude of the Bloch sphere, as shown in Fig. 2. The a priori density operator for this set is
ρ̂=cos2θ00+sin2θ11,
(60)
and the maximum confidence POM elements may be readily calculated by using Eq. (56). These have the form π̂i=αiφiφi, where we have some freedom in choosing the constants αi, i=0,1,2, and
φ0=sinθ0+cosθ1,
φ1=sinθ0+e2πi3cosθ1,
φ2=sinθ0+e2πi3cosθ1.
(61)
These states correspond to reflections of the input states in the equatorial plane of the Bloch sphere, and are also shown in Fig. 2. It is not possible in general to choose α0,α1,α2 such that {π̂i} form a complete measurement, and thus an additional operator, π̂?=1̂iπ̂i, associated with an inconclusive result, is needed. We may choose to complete the measurement by minimizing the probability of an inconclusive result:
P(?)=Tr(ρ̂π̂?)=12(α0+α1+α2)cos2θsin2θ.
(62)
As P(?) is a monotonically decreasing function of αi, the optimal values of these parameters lie on the boundary of the allowed domain, defined by the constraint π̂?0. It is straightforward to show that this leads us to choose α0=α1=α2=(3cos2θ)1, giving
π̂?=(1tan2θ)00.
(63)

It is useful to compare this measurement with the minimum error (ME) measurement, which for this set is given by the square-root measurement discussed earlier:
π̂iME=13ρ̂12ψiψiρ̂12=23φiMEφiME,
(64)
where
φ0ME=12(0+1),
φ1ME=12(0+e2πi31),
φ2ME=12(0+e2πi31).
(65)
In the Bloch sphere representation, these states correspond to the projection of the input states onto the equatorial plane, as can be seen in Fig. 2. The minimum error and maximum confidence figures of merit are shown for each measurement in Fig. 3. For the minimum error measurement, each outcome leads us to identify some state, and the average probability of making an error is minimized. However, the confidence in identifying a state may be increased by allowing for an inconclusive result, as may be seen from the plots. When a noninconclusive result is obtained in the maximum confidence measurement, the probability that the state prepared really was the one identified is 23, compared with 13(1+sin2θ) for the minimum error measurement.

3.3a. Other Similar Strategies

3.3b. Related Problems—Quantum State Filtration

Quantum state filtration refers to the problem of whether the state of a system is a given state ψi or simply in any one of the other states in a given set {ψj}, ji. This problem is less demanding than complete discrimination among all possible states, and in the minimum error approach the probability of error may be smaller in the state filtration case [87

87. U. Herzog and J. A. Bergou, “Minimum-error discrimination between subsets of linearly dependent quantum states,” Phys. Rev. A 65, 050305 (2002). [CrossRef]

]. For the maximum confidence measurement, however, the optimality of the probability operator π̂i in Eq. (57) is independent of the number and interpretation of other possible outcomes. Thus the confidence in identifying a given state from a set cannot be increased by considering this simpler problem. This figure of merit is dependent only on the geometry of the set, and in this sense can be thought of as a measure of how distinguishable ρ̂i is in the given set.

3.4. Comments on the Relationships between Strategies

The maximum confidence strategy was introduced as an analogy to unambiguous discrimination for linearly dependent states [81

81. S. Croke, E. Andersson, S. M. Barnett, C. R. Gilson, and J. Jeffers, “Maximum confidence quantum measurements,” Phys. Rev. Lett. 96, 070401 (2006). [CrossRef] [PubMed]

]. In fact, unambiguous discrimination is a special case of maximum confidence discrimination. The maximum confidence measurement maximizes the conditional probability P(ρ̂ii). If this figure of merit is equal to unity for some state ρ̂i, the optimal measurement is such that, when outcome i is obtained, we can be absolutely certain that ρ̂i was in fact the state received, corresponding to unambiguous discrimination. We can use the maximum confidence formalism to investigate when unambiguous discrimination is possible. Equation (52) may be written as
P(ρ̂ii)=piTr(ρ̂iπ̂i)piTr(ρ̂iπ̂i)+jipjTr(ρ̂jπ̂i).
(67)
Clearly the limit of unity may be achieved if there exists any projector Λ̂i for which Λ̂ijipjρ̂jΛ̂i=0 while Λ̂iρ̂iΛ̂i is nonzero. π̂i is then any operator lying in the subspace with projector Λ̂i. This reproduces the known results that unambiguous discrimination is possible between pure states if the states are linearly independent [59

59. A. Chefles, “Unambiguous discrimination between linearly independent quantum states,” Phys. Lett. A 239, 339–347 (1998). [CrossRef]

] and between mixed states if they have distinct supports [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

]. More precisely, a measurement is possible that will sometimes allow us to identify ρ̂i unambiguously if ρ̂i has support in the kernel of jipjρ̂j. This condition is less restrictive than the previous, which does not hold in the case where it is possible to unambiguously discriminate some but not all states in a set. Unambiguous discrimination is still possible in this case, but some states are never identified. For example, it was pointed out by Sun et al. [71

71. Y. Sun, J. A. Bergou, and M. Hillery, “Optimum unambiguous discrimination between subsets of nonorthogonal quantum states,” Phys. Rev. A 66, 032315 (2002). [CrossRef]

] that it is possible to apply unambiguous discrimination to the problem of determining whether a system is in a given state ψ0 or in either of two other possible states, ψ1, ψ2, even if the states span only two dimensions and therefore are linearly dependent. This may be more easily understood as unambiguous discrimination between a mixed state and a pure state in two dimensions [66

66. T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

]. Let
ρ0=ψ0ψ0,
ρ1=p1p1+p2ψ1ψ1+p2p1+p2ψ2ψ2=q00+(1q)11,
(68)
where |0, |1 are the eigenkets of ρ1, 0<q<1, and without loss of generality we can write ψ0=cosθ0+sinθ1. It is clear that the von Neumann measurement
π̂0=ψ0ψ0,
π̂1=1̂ψ0ψ0
(69)
can unambiguously discriminate the two possibilities—if outcome 1 is obtained, we can say for sure that the state was ρ1, while the result 0 is interpreted as inconclusive. However, this measurement never tells us if the state was ψ0. In this case it may be useful to consider unambiguous discrimination within the framework of maximum confidence measurements. It is then possible to construct a measurement that sometimes identifies ρ̂1 with certainty, but also sometimes identifies ρ̂0 as confidently as possible. In general an inconclusive result will also be necessary.

Now suppose that, instead of maximizing the conditional probability in Eq. (52) independently for each state in the set, we choose to maximize a weighted average of these probabilities. We would then obtain as our figure of merit
P(ρ̂ii)avg=iP(i)P(ρ̂ii)=iP(ρ̂i)P(iρ̂i),
(70)
which is precisely the figure of merit maximized by the minimum error measurement. Thus these two strategies can be thought of as applying a different optimality condition to the same quantity. The minimum error measurement also has the additional constraint that the operators {π̂i} must form a complete measurement, as it is never optimal to allow inconclusive results to occur. This constraint makes finding the optimal measurement a difficult problem, although the conditions that the optimal measurement must satisfy are known, as we have shown. By contrast, the maximum confidence strategy allows a closed form solution for an arbitrary set of states. In the special case where the maximum confidence figure of merit is the same for all states ρ̂i and no inconclusive result is needed, the two strategies coincide. More generally, it is clear by examination of Eq. (70) that an upper bound for the minimum error figure of merit is given by the largest value of P(ρ̂ii)max for a given set [i.e., the largest value of Eq. (58)].

3.5. Mutual Information

In communications theory the performance of a communications channel is quantified not by an error probability but rather by the information conveyed. We can give a precise meaning to this by invoking Shannon’s noisy channel coding theorem [88

88. C. E. Shannon and W. Weaver, The Mathematical Theory of Communication (U. Illinois Press, 1963).

, 89

89. T. M. Cover and J. A. Thomas, Elements of Information Theory (Wiley, 1991).

], which states that the maximum communications rate, or channel capacity, is obtained by maximizing the mutual information between the transmitter and receiver. If the transmitted message, A, is one of the set {ai} and the reception event, B, is one of the set {bj}, then the mutual information is defined to be
H(A:B)=ijP(ai,bj)log(P(ai,bj)P(ai)P(bj)),
(71)
where the logarithm is usually taken to be base 2 so that the information is expressed in bits. For a quantum channel, the state ρ̂i is selected with probability pi, and the measurement result bj is associated with the probability operator π̂j. It follows that the mutual information is
H(A:B)=ijpiTr(ρ̂iπ̂j)log(Tr(ρ̂iπ̂j)Tr(ρ̂π̂j)),
(72)
where ρ̂=ipiρ̂i. The maximum value of the mutual information is found by varying both the preparation probabilities, pi, and the measurement strategies. This is a very difficult optimization problem, and there are very few exact solutions known [90

90. E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]

, 91

91. L. B. Levitin, “Optimal quantum measurements for two pure and mixed states,” in Quantum Communications and Measurement, V. P. Belavkin, O. Hirota, and R. L. Hudson, eds. (Plenum, 1995), pp. 439–448. [CrossRef]

]. A scarcely simpler problem is to fix the preparation probabilities and then seek the maximum value to give what is referred to as the accessible information [92

92. M. Sasaki, S. M. Barnett, R. Jozsa, M. Osaki, and O. Hirota, “Accessible information and optimal strategies for real symmetrical quantum sources,” Phys. Rev. A 59, 3325–3335 (1999). [CrossRef]

].

For two pure states, it is known that the mutual information is maximized if the states are prepared with equal probability and if the minimum error measurement is employed [91

91. L. B. Levitin, “Optimal quantum measurements for two pure and mixed states,” in Quantum Communications and Measurement, V. P. Belavkin, O. Hirota, and R. L. Hudson, eds. (Plenum, 1995), pp. 439–448. [CrossRef]

]. For three or more states, the accessible information is known if the states are equally likely to be selected and possess a degree of symmetry. In particular, for the so-called trine ensemble of three equally probable states (33), the accessible information is obtained with a generalized measurement with probability operators
π̂0=2311,
π̂1=23(121+320)(121+320),
π̂2=23(121320)(121320).
(73)
Note that the accessible information is obtained not by maximizing the probability for determining the state but rather for eliminating one of the states so that
ψiπ̂jψi=12(1δij).
(74)
A similar strategy works well for four equiprobable states arranged so as to form a regular tetrahedron on the Bloch or Poincaré sphere [90

90. E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]

]. For more states, optimal strategies have been demonstrated with fewer measurement outcomes than states [92

92. M. Sasaki, S. M. Barnett, R. Jozsa, M. Osaki, and O. Hirota, “Accessible information and optimal strategies for real symmetrical quantum sources,” Phys. Rev. A 59, 3325–3335 (1999). [CrossRef]

].

3.6. No-Signaling Bounds on State Discrimination

Until now we have discussed the limits on quantum state discrimination by mathematically formulating figures of merit that may then be evaluated and compared for any allowed measurement by virtue of the generalized measurement formalism. It is interesting to note, however, that it is possible to place tight bounds on state discrimination without any reference to generalized measurements by appealing to the no-signaling principle, the condition that information may not propagate faster than the speed of light.

Although entanglement appears to allow spacelike separated quantum systems to influence one another instantaneously, it may be shown that quantum mechanical correlations do not allow signaling [93

93. G. C. Ghirardi, A. Rimini, and T. Weber, “A general argument against superluminal transmission through the quantum mechanical measurement process,” Lett. Nuovo Cimento 27, 293–298 (1980). [CrossRef]

, 94

94. P. J. Bussey, ““Super-luminal communication in Einstein–Podolsky–Rosen experiments,” Phys. Lett. A 90, 9–12 (1982). [CrossRef]

, 95

95. T. F. Jordan, “Quantum correlations do not transmit signals,” Phys. Lett. A 94, 264–264 (1983). [CrossRef]

, 96

96. P. J. Bussey, “Communication and non-communication in Einstein–Rosen experiments,” Phys. Lett. A 123, 1–3 (1987). [CrossRef]

]. Further, owing to the implications of this in reconciling quantum mechanics with special relativity, it has been suggested that the no-signaling principle be given the status of a physical law, which may be used to limit quantum mechanics and possible extensions of it [97

97. S. Popescu and D. Rohrlich, “Quantum nonlocality as an axiom,” Found. Phys. 24, 379–385 (1994). [CrossRef]

, 98

98. L. Masanes, A. Acin, and N. Gisin, “General properties of nonsignaling theories,” Phys. Rev. A 73, 012112 (2006). [CrossRef]

]. In practice, bounds on the fidelity of quantum cloning machines [99

99. N. Gisin, “Quantum cloning without signaling,” Phys. Lett. A 242, 1–2 (1998). [CrossRef]

, 100

100. S. Ghosh, G. Kar, and A. Roy, “Optimal cloning and no signaling,” Phys. Lett. A 261, 17–19 (1999). [CrossRef]

], the success probability of unambiguous discrimination [101

101. S. M. Barnett and E. Andersson, “Bound on measurement based on the no-signaling condition,” Phys. Rev. A 65, 044307 (2002). [CrossRef]

, 102

102. Y. Feng, S. Zhang, R. Duan, and M. Ying, “Lower bound on inconclusive probability of unambiguous discrimination,” Phys. Rev. A 66, 062313 (2002). [CrossRef]

], and the maximum confidence figure of merit [103

103. S. Croke, E. Andersson, and S. M. Barnett, “No-signaling bound on quantum state discrimination,” Phys. Rev. A 77, 012113 (2008). [CrossRef]

] have been derived by using no-signaling arguments. In particular, the no-signaling principle may be used to put a tight bound on unambiguous discrimination of two pure states [101

101. S. M. Barnett and E. Andersson, “Bound on measurement based on the no-signaling condition,” Phys. Rev. A 65, 044307 (2002). [CrossRef]

] and to derive the maximum confidence strategy [103

103. S. Croke, E. Andersson, and S. M. Barnett, “No-signaling bound on quantum state discrimination,” Phys. Rev. A 77, 012113 (2008). [CrossRef]

]. We will discuss these two cases here.

3.6a. Unambiguous Discrimination

Consider the entangled state
Ψ=p0ψ0L0R+1p0ψ1L1R,
(75)
where ψ0L, ψ1L are nonorthogonal states of the left system [given by Eq. (10)], and 0R, 1R form an orthonormal basis for the right system. The reduced density operator of the right system may be obtained by taking the partial trace over the left system and is given by
ρ̂R=TrL(ΨΨ)=(p0p0(1p0)cos2θp0(1p0)cos2θ1p0).
(76)
According to the no-signaling principle, no operation performed on the left system may be detected by measurement of the right system alone, as this could be used to signal faster than light. Thus, after any physically allowed transformation of the left system, the reduced density operator of the right system must remain the same. Consider now a measurement that discriminates unambiguously between the states ψ0L, ψ1L of the left system. If outcome 0 is realized, which occurs with some probability q0, the right system is projected into the state 0R, due to the initial entanglement between the systems. Similarly outcome 1 projects the right system into state 1R, with probability q1. There is also the inconclusive result, which transforms the right system to some as yet unknown state
ρ̂?=(ρ?00ρ?01ρ?10ρ?11)
(77)
with probability q?. No signaling implies
ρ̂R=(q000q1)+q?(ρ?00ρ?01ρ?10ρ?11).
(78)
The task is then to minimize q? subject to the above condition and the conditions ρ̂?0, q0, q1, q?0. This optimization is straightforward [101

101. S. M. Barnett and E. Andersson, “Bound on measurement based on the no-signaling condition,” Phys. Rev. A 65, 044307 (2002). [CrossRef]

] and, remarkably, gives precisely the Jaeger and Shimony result [56

56. G. Jaeger and A. Shimony, “Optimal distinction between two non-orthogonal quantum states,” Phys. Lett. A 197, 83–87 (1995). [CrossRef]

] discussed in Subsection 3.2. Thus the no-signaling condition may be used to place a tight bound on the success probability of unambiguous discrimination, without any reference to generalized measurements.

3.6b. Maximum Confidence Measurements

The confidence in identifying a given state ψj as a result of a state discrimination measurement on the ensemble {ψi,pi} is simply the probability that it was state ψj that gave rise to the measurement outcome observed. Consider now the entangled state
Ψ=i=0N1piψiLiR,
(79)
where {ψiL} are nonorthogonal states of the left system which together span a DN-dimensional space, and {iR} forms an orthonormal basis for the right system. Now for any measurement performed on the left system of the entangled pair, the probability that it was state ψjL which gave rise to the observed outcome is equivalent to the probability that the right system is now found in state jR. Thus, if measurement outcome j causes the right system to transform to ρ̂Rj, we can write
P(ψjj)=Rjρ̂RjjR.
(80)
It may be shown (by reference to the Schmidt decomposition of Ψ [104

104. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge U. Press, 2000).

]) that although the right system lies in an N-dimensional Hilbert space, it is confined to a D-dimensional subspace (with the projector denoted P̂D below) because of the entanglement with the left system. The key point, then, is to notice that any operation performed on the left system cannot take the right system out of this subspace, since this could be detected with some probability by a measurement on the right system alone, and thus could be used to signal. Thus jRρ̂RjjR is restricted by the requirement that ρ̂Rj lies in this subspace, and is clearly bounded by the magnitude of the projection of jR onto this space:
P(ψjj)=Rjρ̂RjjRRjP̂DjR.
(81)
Further, this bound is achievable and is equivalent to that obtained previously [Eq. (58)] [103

103. S. Croke, E. Andersson, and S. M. Barnett, “No-signaling bound on quantum state discrimination,” Phys. Rev. A 77, 012113 (2008). [CrossRef]

]. Similar arguments may be applied to the mixed state case, and the maximum confidence strategy is derived in a natural way from no-signaling considerations. Finally, we note that in the case where the states {ψiL} are linearly independent, D=N, and the right system occupies the entire N-dimensional Hilbert space. In this case the limit is unity, corresponding to unambiguous discrimination.

4. State Discrimination—Experiments

The theory of generalized measurements has a mathematically appealing generality in that it depends only on the overlaps of the possible states to be discriminated and on the probabilities that each was the state prepared. The nature of the physical states, be they nuclear spins, optical coherent states, or electronic energy levels in an atom, is unimportant. In performing experimental demonstrations, however, the choice of physical system is of primary importance. We require a physical system in which superpositions are relatively stable, easy to prepare and to manipulate, and also, of course, to measure. For all of these reasons, the system of choice has usually been photon polarization and forms the basis of our review.

4.1. Photon Polarization

At least within paraxial optics [105

105. A. E. Siegman, Lasers (University Science Books, 1986).

], the electric and magnetic fields are very nearly perpendicular to the direction of propagation of the light. It is conventional to define the polarization by the orientation of the electric field in this transverse plane [106

106. G. R. Fowles, Introduction to Modern Optics (Holt, Rinehart and Winston, 1975).

]. Two orthogonal polarizations then correspond to fields in which the electric fields are oriented at 90° to each other. The polarization of a single photon is an excellent two-state quantum system, or qubit [4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

, 104

104. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge U. Press, 2000).

], as we can identify the states of horizontal and vertical polarization with the logical |0 and |1 states of a qubit:
0=H,1=V.
(82)
Other polarizations are superpositions of these states. In particular, as illustrated in Fig. 4, linear polarization at ±45° to the horizontal and circular polarizations are the superpositions
+45°=12(0+1),45°=12(01),
L=12(0+i1),R=12(0i1).
(83)
The set of all possible pure states of polarization can be represented on the surface of a sphere, the Poincaré sphere [107

107. M. Born and E. Wolf, Principles of Optics (Pergamon, 1980).

, 108

108. E. Wolf, Introduction to the Theory of Coherence and Polarization of Light (Cambridge U. Press, 2007).

], which is a representation equivalent to the Bloch sphere used for qubits in quantum information theory [4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

, 104

104. M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge U. Press, 2000).

]. States of optical polarization can be changed coherently by delaying one polarization compared with the orthogonal polarization, usually by a quarter or half a wavelength, by using birefringent wave plates. A combination of three suitably oriented half- and quarter-wave plates can perform any desired transformation, corresponding to a rotation on the Poincaré sphere through any desired angle about any desired axis. In this way we can realize any desired single-qubit unitary transformation.

It is important, in order to realize generalized measurements, to be able to superpose fields and also to be able to spatially separate different polarizations. These tasks can be performed using beam splitters and polarizing beam splitters. For fully overlapping modes with the same frequency, we can write the output annihilation operators in terms of those for the input modes. For a symmetric polarization-independent beam splitter we find [58

58. R. Loudon, The Quantum Theory of Light (Oxford U. Press, 2000).

]
â3H,V=râ1H,V+tâ2H,V,
â4H,V=tâ1H,V+râ2H,V,
(84)
where the input and output modes are labeled as in Fig. 5.

We should make one important point before describing any of the experiments that have been performed, and this is that they have not been done with single-photon sources. All of them rely on linear optical elements and processes, and for these the single-photon probability amplitudes and the associated probabilities behave in the same way as the amplitudes and intensities of classical optics. Some of the experiments have been performed at light levels in the quantum regime, however, and this suggests strongly that the devices will work in the same way given single-photon sources and detectors.

4.2. Minimum Error Discrimination

4.2a. Two States

The simplest minimum error problem is, as we have seen, that for two pure states, Eqs. (10). For the photon polarizations described above these correspond to two states of linear polarization, oriented at +θ and θ to the horizontal, so that the angle between them is 2θ, for a range of values of θ between 0 and π4. If the two states are prepared with equal prior probability, then, as we have seen, the minimum error measurement corresponds to a familiar von Neumann, or projective, measurement with two projectors associated with the orthogonal states, Eqs. (13). For optical polarization, this corresponds to measuring the polarization at 45° to the horizontal. Thus the minimum error strategy in this case is a simple polarization measurement. The experiment to test this [109

109. S. M. Barnett and E. Riis, “Experimental demonstration of polarization discrimination at the Helstrom bound,” J. Mod. Opt. 44, 1061–1064 (1997). [CrossRef]

] was performed by using light pulses with on average 0.1 photons per pulse prepared in the desired polarization state by use of a Glan–Thompson polarizer oriented so as to produce polarized light at the angle +θ or θ to the horizontal. These were then measured by using a polarizing beam splitter oriented so as to transmit light polarized at +45° to the horizontal and to reflect the orthogonal polarization. The experimental apparatus is shown in Fig. 6. Results, shown in Fig. 7, were found to be in excellent agreement with the Helstrom value (12) for equal prior probabilities:
Perr=12(1sin2θ).
(87)

4.2b. Three or Four States

Finding a minimum error strategy for discriminating between more than two states is, in general a difficult problem, although very general statements about the solution can be made for qubits [45

45. K. Hunter, Optimal Generalised Measurement Strategies, Ph.D. thesis (University of Strathclyde, 2004).

]. For the trine ensemble of three equiprobable linear polarization states
ψ13=12H32V,
ψ23=12H+32V,
ψ33=H
(88)
and the tetrad ensemble of four equiprobable states
ψ14=13(H+2e2πi3V),
ψ24=13(H+2e2πi3V),
ψ34=13(H+2V),
ψ44=H
(89)
the square-root measurement is readily shown to give the minimum probability for error. The trine states are states of linear polarization separated by 60°, and the tetrad states are two states of linear polarization and two of elliptical polarization. In each case they form a set of maximally separated points on the surface of the Poincaré sphere, as shown in Fig. 8.

4.3. Unambiguous Discrimination

Unambiguous discrimination between nonorthogonal polarization states, like the minimum error measurements described above, requires an extension of the two-dimensional state space, and an interferometer is the ideal device for implementing this. The idea is depicted in Fig. 10. We have two possible linear polarization states, each of which has a larger vertical component of polarization than horizontal. The double-headed arrows are intended to represent the magnitudes of the probability amplitudes at various places. The input polarizing beam splitter reflects the vertical component and transmits the horizontal component. The mirror in the upper arm of the interferometer transmits just enough for the reflected field to have the same amplitude as that in the lower arm. If the photon escapes from the interferometer at this point, then the measurement is inconclusive. If it does not, however, then the amplitudes for the vertical and horizontal fields are equal in magnitude and become orthogonal when recombined at the output polarizing beam splitter. At this stage they can be discriminated with certainty by using a final, suitably oriented, polarizing beam splitter.

The first demonstration of unambiguous discrimination between nonorthogonal polarization states used a specially selected length of polarization maintaining fiber [111

111. B. Huttner, A. Muller, G. Gautier, H. Zbinden, and N. Gisin, “Unambiguous quantum measurement of nonorthogonal states,” Phys. Rev. A 54, 3783–3789 (1996). [CrossRef] [PubMed]

]. This has the effect of maintaining, with low losses, the horizontal component of polarization but attenuating the orthogonal vertical component. If the length of the fiber is chosen appropriately, then any light exiting the fiber will be in one of two orthogonal polarizations and so can be discriminated with certainty. An interferometric experiment has the advantage that it allows us to measure the ambiguous results, also. The experimental setup [112

112. R. B. M. Clarke, A. Chefles, S. M. Barnett, and E. Riis, “Experimental demonstration of optimal unambiguous state discrimination,” Phys. Rev. A 63, 040305. [CrossRef]

] is very similar to that for the minimum error discrimination of the three trine states, but with the three measured outputs now corresponding to the unambiguous identification of the states ψ0, ψ1 and to the ambiguous result. The results of this experiment are shown in Fig. 11.

We have presented here only the simplest experiments, but more complicated problems have also been addressed. In particular, unambiguous discrimination has been demonstrated for three possible states and also between nonorthogonal pure and mixed states [113

113. M. Mohseni, A. M. Steinberg, and J. A. Bergou, “Optical realization of optimal unambiguous discrimination for pure and mixed quantum states,” Phys. Rev. Lett. 93, 200403 (2004). [CrossRef] [PubMed]

]. The generalized measurements described here have all been implemented by using light, but the principles are independent of the system used. It should be noted, particularly in the context of quantum information, that nonorthogonal states encoded in the energy levels of atoms or ions can similarly be subjected to generalized measurements with unoccupied levels used to assist in the process [114

114. S. Franke-Arnold, E. Andersson, S. M. Barnett, and S. Stenholm, “Generalized measurements of atomic qubits,” Phys. Rev. A 63, 052301 (2001). [CrossRef]

].

4.4. Maximum Confidence Measurements

Maximum confidence discrimination between three symmetric states in two dimensions (the simplest possible case) has also been demonstrated experimentally by using the polarization of light as a qubit [115

115. P. J. Mosley, S. Croke, I. A. Walmsley, and S. M. Barnett, “Experimental realization of maximum confidence quantum state discrimination for the extraction of quantum information,” Phys. Rev. Lett. 97, 193601 (2006). [CrossRef] [PubMed]

, 116

116. S. Croke, P. J. Mosley, S. M. Barnett, and I. A. Walmsley, “Maximum confidence measurements and their optical implementation,” Eur. Phys. J. D 41, 589–598 (2007). [CrossRef]

]. In the experimental realization, the states given in Eq. (59) were encoded in the left–right circular polarization basis, and the setup distinguished between the elliptical polarizations
ψ0=cosθR+sinθL,
ψ1=cosθR+e2πi3sinθL,
ψ2=cosθR+e2πi3sinθL.
(91)
The maximum confidence measurement for these states, as we have seen, has four outcomes, one corresponding to each possible state and one inconclusive result. The apparatus used is shown in Fig. 12 and again features an interferometer to provide the extension to the state space necessary to realize all four outcomes. In this setup, the outcomes 0 and ? are grouped together in one output arm of the interferometer, while the other arm corresponds to outcomes 1 and 2. Thus two detectors placed in output arms A and B of the apparatus would realize the two outcome generalized measurement described by the POM {π̂?+π̂0,π̂1+π̂2}. In fact this setup is completely general and, by appropriate choice of orientations of the wave plates QWP1 and HWP1–3, may be used to implement any such two-element measurement. Further, any N outcome measurement may be, in principle, performed by using a number of such modules in series [116

116. S. Croke, P. J. Mosley, S. M. Barnett, and I. A. Walmsley, “Maximum confidence measurements and their optical implementation,” Eur. Phys. J. D 41, 589–598 (2007). [CrossRef]

, 117

117. S. E. Ahnert and M. C. Payne, “General implementation of all possible positive-operator-value measurements of single-photon polarization states,” Phys. Rev. A 71, 012330 (2005). [CrossRef]

]. Thus, after PBS2, two orthogonal modes in arm A correspond to outcomes 0 and ?, while two orthogonal modes in arm B correspond to results 1 and 2. Finally HWP4, QWP2, and PBS3–4 are used to separate these modes, which are then detected at the photodetectors in the output arms. The results of this experiment demonstrated an improvement over the minimum error measurement in the confidence figure of merit for linearly dependent states and are shown in Fig. 13.

4.5. Mutual Information

The strategies for maximizing the mutual information for two pure states require us to perform a minimum error measurement [91

91. L. B. Levitin, “Optimal quantum measurements for two pure and mixed states,” in Quantum Communications and Measurement, V. P. Belavkin, O. Hirota, and R. L. Hudson, eds. (Plenum, 1995), pp. 439–448. [CrossRef]

]. With more states we require, in general, a generalized measurement [90

90. E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]

, 92

92. M. Sasaki, S. M. Barnett, R. Jozsa, M. Osaki, and O. Hirota, “Accessible information and optimal strategies for real symmetrical quantum sources,” Phys. Rev. A 59, 3325–3335 (1999). [CrossRef]

]. For the trine and tetrad states we obtain the accessible information by eliminating, with certainty, one of the possible states. This can be realized experimentally by using the same device as that devised for the minimum error measurement, simply by interchanging everywhere the horizontal and vertical components of polarization. In other words, the device for maximizing the mutual information for the trine or tetrad states is the same as that for minimizing the error in discriminating between a set of states orthogonal to the given trine or tetrad. For more than four states of linear polarization, we can maximize the mutual information by performing a measurement with just three possible outcomes [92

92. M. Sasaki, S. M. Barnett, R. Jozsa, M. Osaki, and O. Hirota, “Accessible information and optimal strategies for real symmetrical quantum sources,” Phys. Rev. A 59, 3325–3335 (1999). [CrossRef]

].

The experiment to realize the minimum error discrimination between two nonorthogonal polarization states [109

109. S. M. Barnett and E. Riis, “Experimental demonstration of polarization discrimination at the Helstrom bound,” J. Mod. Opt. 44, 1061–1064 (1997). [CrossRef]

] also provided the maximum mutual information. For the pure states of Eqs. (10) with θ=15°, corresponding to linear polarizations at an angle of 30°, the mutual information derived from the measurements was [18

18. S. M. Barnett, “Optical demonstrations of statistical decision theory for quantum systems,” Quantum Inf. Comput. 4, 450–459 (2004).

]
H2states(A:B)=0.196±0.007bits,
(92)
which compares well with the theoretical value of 0.189  bits. For the trine and the tetrad [110

110. R. B. M. Clarke, V. M. Kendon, A. Chefles, S. M. Barnett, and E. Riis, “Experimental realization of optimal detection strategies for overcomplete states,” Phys. Rev. A 64, 012303 (2001). [CrossRef]

] we found
Htrine(A:B)=0.4910.027+0.011bits,Htetrad(A:B)=0.3630.024+0.09bits,
(03)
which should be compared with the theoretical values of 0.585  bits and 0.415  bits, respectively. It is important to note that these experimental values are good enough to demonstrate the necessity of performing a generalized measurement, as the theoretical maximum mutual information for the trine and tetrad states using conventional projective measurements are 0.459  bits and 0.311  bits, respectively. A subsequent, more careful experiment produced a substantially higher value for the mutual information obtained by using the trine ensemble of 0.556  bits and also realized the optimal measurements for sets of five and seven states of linear polarization [118

118. J. Mizuno, M. Fujiwara, M. Akiba, T. Kawanishi, S. M. Barnett, and M. Sasaki, “Optimum detection for extracting maximum information from symmetric qubit sets,” Phys. Rev. A 65, 012315 (2001). [CrossRef]

].

5. Conclusion

Quantum theory allows us to prepare, at least in principle, even the simplest system in an uncountable infinity of different ways. The polarization for a single photon, for example, can be prepared in a state that corresponds to any point on the surface of the Poincaré sphere. It is a fundamental consequence of the superposition principle, however, that no measurement can discriminate with certainty between two nonorthogonal quantum states. The challenge for quantum state discrimination is to perform this task as well as is possible.

We have seen that optimal measurements have been found to minimize the error in identifying the state, to discriminate between states unambiguously, and to determine the state with the maximum level of confidence. These similar sounding goals are all subtly different and correspond, for the most part, to quite distinct measurements. We have also discussed yet another task relevant to quantum communications, that of maximizing the information transferred. The problem of state discrimination acquired much of its significance from considering the problem of quantum communication and in particular from quantum cryptography [4

4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

, 5

5. S. J. D. Phoenix and P. D. Townsend, “How to beat the code breakers using quantum mechanics,” Contemp. Phys. 36, 165–195 (1995). [CrossRef]

, 6

6. H.-K. Lo, S. Popescu, and T. Spiller, eds., Introduction to Quantum Computation and Quantum Information (World Scientific, 1998).

, 7

7. D. Bouwmeester, A. Ekert, and A. Zeilinger, eds., The Physics of Quantum Information (Springer-Verlag, 2000). [CrossRef]

, 8

8. N. Gisin, G. Ribordy, W. Tittel, and H. Zbinden, “Quantum cryptography,” Rev. Mod. Phys. 74, 145–195 (2002). [CrossRef]

, 9

9. S. Loepp and W. K. Wootters, Protecting Information: from Classical Error Correction to Quantum Cryptography (Cambridge U. Press, 2006). [CrossRef]

]. All existing implementations of these are based on optics, and it is perhaps not surprising, therefore, that it is in optics that the experimental advances in quantum state discrimination have been made. We have described, in particular, how quantum-limited measurements have been devised on optical polarization to realize the optimal measurements for detection with minimum error and unambiguous discrimination as well as detection with maximum confidence and maximum mutual information. As quantum information technology develops, the ability to optimize performance by performing the best possible measurements can only become more important.

Acknowledgments

This work was supported, in part, by the UK Engineering and Physical Sciences Research Council (EPSRC), the Royal Society and the Wolfson Foundation (SMB), by the Synergy fund of the Universities of Glasgow and Strathclyde, and by Perimeter Institute for Theoretical Physics (SC). Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Research & Innovation.

Figures

Fig. 1 The optimal minimum error measurement for discriminating between the pure states ψ0, ψ1 is a von Neumann measurement. For p0=p1=12 this is a projective measurement onto the states φ0, φ1, symmetrically located on either side of the signal states and shown in blue here. For p0>p1 the optimal measurement performs better when the state ψ0 sent, shown here in light blue (labeled φ0, φ1), is the case p0=34.
Fig. 2 Bloch sphere representation of states. The states used in the example, along with the states onto which the optimal maximum confidence and minimum error POM elements project, are shown [81]. © 2006 by the American Physical Society.
Fig. 3 Graphs showing the maximum confidence (left) and minimum error (right) figures of merit, for various values of the parameter θ for the example discussed in the text. In each case the values achieved by the optimal maximum confidence measurement are indicated by a dashed curve, and those corresponding to the optimal minimum error measurement are indicated by a solid curve.
Fig. 4 Polarization of light as a two-level system, or qubit.
Fig. 5 A beam splitter can be used to superpose or separate field modes. The input and output modes are labeled with the associated annihilation operators.
Fig. 6 Schematic of the Barnett–Riis experiment achieving the Helstrom bound for state discrimination between two pure states. GTP, Glan–Thompson polarizer; PBS, polarizing beam splitter; PD0, PD1, photodetectors.
Fig. 7 Results from the Barnett–Riis experiment demonstrating minimum error state discrimination at the Helstrom bound. Reproduced with permission from [109], http://www.informaworld.com.
Fig. 8 Representation of the trine (left) and tetrad (right) states on the Poincaré sphere.
Fig. 9 Schematic of the Clarke et al. experimental realization of minimum error discrimination between the trine states. PBS1–PBS4, polarizing beam splitters; HWP1–HWP3, half-wave plates; PD1–PD3, photodetectors. For details see [110].
Fig. 10 Schematic of the Clarke et al. experimental realization of unambiguous discrimination between two nonorthogonal polarization states.
Fig. 11 Results of the Clarke et al. experimental realization of unambiguous discrimination between two nonorthogonal polarization states. The rate of inconclusive results is shown on the left, and the error rate for each initial state is given on the right. A model taking into account the nonideal characteristics of the beam splitters was used to generate the nonideal theory plots in each case. For full details see [112]. © 2001 by the Americal Physical Society.
Fig. 12 Schematic of the experimental apparatus used to demonstrate maximum confidence discrimination between three elliptical polarization states. PBS1–PBS4, polarizing beam splitters; QWP1–QWP4, quarter-wave plates; HWP1–HWP4, half-wave plates; PD0–PD2, PD?, photodetectors.
Fig. 13 Results of the maximum confidence discrimination experiment, showing the confidence figure of merit for measurement outcomes 0 (red), 1 (green), and 2 (blue). Lines indicate the theoretical value of the figure of merit for the maximum confidence (dotted) and minimum error (dashed) measurement strategies. Shaded areas indicate the range of values consistent with a nonideal model, taking into account errors introduced at the polarizing beam splitters; for details see [116]. Figure reproduced from [115], © American Physical Society.
1.

C. W. Helstrom, Quantum Detection and Estimation Theory (Academic, 1976).

2.

A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, 1982).

3.

A. S. Holevo, Statistical Structure of Quantum Theory (Springer-Verlag, 2000).

4.

S. M. Barnett, Quantum Information (Oxford U. Press, to be published).

5.

S. J. D. Phoenix and P. D. Townsend, “How to beat the code breakers using quantum mechanics,” Contemp. Phys. 36, 165–195 (1995). [CrossRef]

6.

H.-K. Lo, S. Popescu, and T. Spiller, eds., Introduction to Quantum Computation and Quantum Information (World Scientific, 1998).

7.

D. Bouwmeester, A. Ekert, and A. Zeilinger, eds., The Physics of Quantum Information (Springer-Verlag, 2000). [CrossRef]

8.

N. Gisin, G. Ribordy, W. Tittel, and H. Zbinden, “Quantum cryptography,” Rev. Mod. Phys. 74, 145–195 (2002). [CrossRef]

9.

S. Loepp and W. K. Wootters, Protecting Information: from Classical Error Correction to Quantum Cryptography (Cambridge U. Press, 2006). [CrossRef]

10.

C. W. Helstrom, “Detection theory and quantum mechanics,” Inf. Control. 10, 254–291 (1967). [CrossRef]

11.

C. W. Helstrom, “Detection theory and quantum mechanics II,” Inf. Control. 13, 156–171 (1968). [CrossRef]

12.

A. S. Holevo, “Statistical decision theory for quantum systems,” J. Multivariate Anal. 3, 337–394 (1973). [CrossRef]

13.

H. P. Yuen, R. S. Kennedy, and M. Lax, “Optimum testing of multiple hypotheses in quantum detection theory,” IEEE Trans. Inf. Theory IT-21, 125–134 (1975). [CrossRef]

14.

E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]

15.

S. M. Barnett, “Quantum information via novel measurements,” Philos. Trans. R. Soc. London, Ser. A 355, 2279–2290 (1997). [CrossRef]

16.

A. Chefles, “Quantum state discrimination,” Contemp. Phys. 41, 401–424 (2000). [CrossRef]

17.

S. M. Barnett, “Quantum limited state discrimination,” Fortschr. Phys. 49, 909–913 (2001). [CrossRef]

18.

S. M. Barnett, “Optical demonstrations of statistical decision theory for quantum systems,” Quantum Inf. Comput. 4, 450–459 (2004).

19.

J. A. Bergou, U. Herzog, and M. Hillery, “Discrimination of quantum states,” Lect. Notes Phys. 649, 417–465 (2004). [CrossRef]

20.

A. Chefles, “Quantum states: discrimination and classical information transmission. A review of experimental progress,” Lect. Notes Phys. 649, 467–511 (Springer, 2004). [CrossRef]

21.

J. A. Bergou, “Quantum state discrimination and selected applications,” J. Phys.: Conf. Ser. 84, 012001 (2007). [CrossRef]

22.

J. Von Neumann, Mathematical Foundations of Quantum Mechanics (Princeton U. Press, 1983).

23.

A. Peres, Quantum Theory: Concepts and Methods (Kluwer, 1993).

24.

P. Busch, M. Grabowski, and P. Lahti, Operational Quantum Physics (Springer, 1995).

25.

C. Y. She and H. Heffner, “Simultaneous measurement of noncommuting observables,” Phys. Rev. 152, 1103–1110 (1966). [CrossRef]

26.

S. Stenholm, “Simultaneous measurement of conjugate variables,” Ann. Phys. (N.Y.) 218, 233–254 (1992). [CrossRef]

27.

N. G. Walker and J. E. Carroll, “Simultaneous phase and amplitude measurements on optical signals using a multiport junction,” Electron. Lett. 20, 981–983 (1984). [CrossRef]

28.

N. G. Walker, “Quantum theory of multiport optical homodyning,” J. Mod. Opt. 34, 15–60 (1987). [CrossRef]

29.

S. M. Barnett and S. Croke, “On the conditions for discrimination between quantum states with minimum error,” J. Phys. A 42, 062001 (2009). [CrossRef]

30.

A. S. Kholevo, “On asymptotically optimal hypothesis testing in quantum statistics,” Theor. Probab. Appl. 23, 411–415 (1979). [CrossRef]

31.

L. P. Hughston, R. Jozsa, and W. K. Wootters, “A complete classification of quantum ensembles having a given density matrix,” Phys. Lett. A 183, 14–18 (1993). [CrossRef]

32.

P. Hausladen and W. K. Wootters, “A ‘pretty good’ measurement for distinguishing quantum states,” J. Mod. Opt. 41, 2385–2390 (1994). [CrossRef]

33.

P. Hausladen, R. Jozsa, B. Schumacher, M. Westmoreland, and W. K. Wootters, “Classical information capacity of a quantum channel,” Phys. Rev. A 54, 1869–1876 (1996). [CrossRef] [PubMed]

34.

M. Ban, K. Kurokawa, R. Momose, and O. Hirota, “Optimum measurements for discrimination among symmetric states and parameter estimation,” IEEE Transl. J. Magn. Jpn. 36, 1269–1288 (1997).

35.

M. Sasaki, K. Kato, M. Izutsu, and O. Hirota, “Quantum channels showing superadditivity in classical capacity,” Phys. Rev. A 58, 146–158 (1998). [CrossRef]

36.

Y. C. Eldar and G. D. Forney Jr., “On quantum detection and the square-root measurement,” IEEE Trans. Inf. Theory 47, 858–872 (2001). [CrossRef]

37.

S. M. Barnett, “Minimum-error discrimination between multiply symmetric states,” Phys. Rev. A 64, 030303 (2001). [CrossRef]

38.

C.-L. Chou and L. Y. Hsu, “Minimum-error discrimination between symmetric mixed quantum states,” Phys. Rev. A 68, 042305 (2003). [CrossRef]

39.

Y. C. Eldar, A. Megretski, and G. C. Verghese, “Optimal detection of symmetric mixed quantum states,” IEEE Trans. Inf. Theory 50, 1198–1207 (2004). [CrossRef]

40.

A. Peres, “Neumark’s theorem and quantum inseparability,” Found. Phys. 20, 1441–1453 (1990). [CrossRef]

41.

C. Mochon, “Family of generalized ‘pretty good’ measurements and the minimal-error pure-state discrimination problems for which they are optimal,” Phys. Rev. A 73, 032328 (2006). [CrossRef]

42.

K. Hunter, “Measurement does not always aid state discrimination,” Phys. Rev. A 68, 012306 (2003). [CrossRef]

43.

E. Andersson, S. M. Barnett, C. R. Gilson, and K. Hunter, “Minimum-error discrimination between three mirror-symmetric states,” Phys. Rev. A 65, 052308 (2002). [CrossRef]

44.

C.-L. Chou, “Minimum-error discrimination among mirror-symmetric mixed quantum states,” Phys. Rev. A 70, 062316 (2004). [CrossRef]

45.

K. Hunter, Optimal Generalised Measurement Strategies, Ph.D. thesis (University of Strathclyde, 2004).

46.

K. Hunter, “Results in optimal discrimination,” in Proceedings of The Seventh International Conference on Quantum Communication, Measurement and Computing (QCMC04), Vol. 734 of American Institute of Physics Conference Series (AIP, 2004), pp. 83–86.

47.

H. Barnum and E. Knill, “Reversing quantum dynamics with near-optimal quantum and classical fidelity,” J. Math. Phys. 43, 2097–2106 (2002). [CrossRef]

48.

A. Montanaro, “On the distinguishability of random quantum states,” Commun. Math. Phys. 273, 619–636 (2007). [CrossRef]

49.

A. Montanaro, “A lower bound on the probability of error in quantum state discrimination,” in IEEE Information Theory Workshop, 2008. ITW '08 (IEEE, 2008), pp. 378–380.

50.

D. Qiu, “Minimum-error discrimination between mixed quantum states,” Phys. Rev. A 77, 012328 (2008). [CrossRef]

51.

M. Ježek, J. Řeháček, and J. Fiurášek, “Finding optimal strategies for minimum-error quantum-state discrimination,” Phys. Rev. A 65, 060301 (2002). [CrossRef]

52.

Y. C. Eldar, A. Mergretski, and G. C. Verghese, “Designing optimal quantum detectors via semidefinite programming,” IEEE Trans. Inf. Theory 49, 1007–1012 (2003). [CrossRef]

53.

I. D. Ivanovic, “How to differentiate between non-orthogonal states,” Phys. Lett. A 123, 257–259 (1987). [CrossRef]

54.

D. Dieks, “Overlap and distinguishability of quantum states,” Phys. Lett. A 126, 303–306 (1988). [CrossRef]

55.

A. Peres, “How to differentiate between non-orthogonal states,” Phys. Lett. A 128, 19–19 (1988). [CrossRef]

56.

G. Jaeger and A. Shimony, “Optimal distinction between two non-orthogonal quantum states,” Phys. Lett. A 197, 83–87 (1995). [CrossRef]

57.

B. Huttner, N. Imoto, N. Gisin, and T. Mor, “Quantum cryptography with coherent states,” Phys. Rev. A 51, 1863–1869 (1995). [CrossRef] [PubMed]

58.

R. Loudon, The Quantum Theory of Light (Oxford U. Press, 2000).

59.

A. Chefles, “Unambiguous discrimination between linearly independent quantum states,” Phys. Lett. A 239, 339–347 (1998). [CrossRef]

60.

A. Peres and D. R. Terno, “Optimal distinction between non-orthogonal quantum states,” J. Phys. A 31, 7105–7111 (1998). [CrossRef]

61.

A. Chefles and S. M. Barnett, “Optimum unambiguous discrimination between linearly independent symmetric states,” Phys. Lett. A 250, 223–229 (1998). [CrossRef]

62.

S. Zhang, Y. Feng, X. Sun, and M. Ying, “Upper bound for the success probability of unambiguous discrimination among quantum states,” Phys. Rev. A 64, 062103 (2001). [CrossRef]

63.

L.-M. Duan and G.-C. Guo, “Probabilistic cloning and identification of linearly independent quantum states,” Phys. Rev. Lett. 80, 4999–5002 (1998). [CrossRef]

64.

X. Sun, S. Zhang, Y. Feng, and M. Ying, “Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination,” Phys. Rev. A 65, 044306 (2002). [CrossRef]

65.

Y. C. Eldar, “A semidefinite programming approach to optimal unambiguous discrimination of quantum states,” IEEE Trans. Inf. Theory 49, 446–456 (2003). [CrossRef]

66.

T. Rudolph, R. W. Spekkens, and P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]

67.

S. M. Barnett, A. Chefles, and I. Jex, “Comparison of two unknown pure quantum states,” Phys. Lett. A 307, 189–195 (2003). [CrossRef]

68.

S. Zhang and M. Ying, “Set discrimination of quantum states,” Phys. Rev. A 65, 062322 (2002). [CrossRef]

69.

C. Zhang, G. Wang, and M. Ying, “Discrimination between pure states and mixed states,” Phys. Rev. A 75, 062306 (2007). [CrossRef]

70.

The support of a mixed state ρ̂ is the subspace spanned by its eigenvectors with nonzero eigenvalues. The kernel of a mixed state is the subspace orthogonal to its support.

71.

Y. Sun, J. A. Bergou, and M. Hillery, “Optimum unambiguous discrimination between subsets of nonorthogonal quantum states,” Phys. Rev. A 66, 032315 (2002). [CrossRef]

72.

J. A. Bergou, U. Herzog, and M. Hillery, “Quantum filtering and discrimination between sets of Boolean functions,” Phys. Rev. A 90, 257901 (2003).

73.

U. Herzog and J. A. Bergou, “Optimum unambiguous discrimination of two mixed quantum states,” Phys. Rev. A 71, 050301 (2005). [CrossRef]

74.

P. Raynal and N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: a second class of exact solutions,” Phys. Rev. A 76, 052322 (2007). [CrossRef]

75.

U. Herzog, “Optimum unambiguous discrimination of two mixed states and application to a class of similar states,” Phys. Rev. A 75, 052309 (2007). [CrossRef]

76.

P. Raynal, N. Lütkenhaus, and S. J. van Enk, “Reduction theorems for optimal unambiguous state discrimination of density matrices,” Phys. Rev. A 68, 022308 (2003). [CrossRef]

77.

M. Kleinmann, H. Kampermann, and D. Bruss, “Structural approach to unambiguous discrimination of two mixed states,” arXiv.org, arXiv:0803.1083v1 (March 7, 2008).

78.

Y. Feng, R. Duan, and M. Ying, “Unambiguous discrimination between mixed quantum states,” Phys. Rev. A 70, 012308 (2004). [CrossRef]

79.

P. Raynal and N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: lower bound and class of exact solutions,” Phys. Rev. A 72, 022342 (2005). [CrossRef]

80.

Y. C. Eldar, M. Stojnic, and B. Hassibi, “Optimal quantum detectors for unambiguous detection of mixed states,” Phys. Rev. A 69, 062318 (2004). [CrossRef]

81.

S. Croke, E. Andersson, S. M. Barnett, C. R. Gilson, and J. Jeffers, “Maximum confidence quantum measurements,” Phys. Rev. Lett. 96, 070401 (2006). [CrossRef] [PubMed]

82.

R. L. Kosut, I. Walmsley, Y. Eldar, and H. Rabitz, “Quantum state detector design: optimal worst-case a posteriori performance,” arXiv.org, arXiv:quant-ph/0403150v1 (March 21, 2004).

83.

A. Chefles and S. M. Barnett, “Strategies for discriminating between non-orthogonal quantum states,” J. Mod. Opt. 45, 1295–1302 (1998). [CrossRef]

84.

C.-W. Zhang, C.-F. Li, and G.-C. Guo, “General strategies for discrimination of quantum states,” Phys. Lett. A 261, 25–29 (1999). [CrossRef]

85.

M. A. P. Touzel, R. B. A. Adamson, and A. M. Steinberg, “Optimal bounded-error strategies for projective measurements in non-orthogonal state discrimination,” Phys. Rev. A 76, 062314 (2007). [CrossRef]

86.

J. Fiurášek and M. Ježek, “Optimal discrimination of mixed quantum states involving inconclusive results,” Phys. Rev. A 67, 012321 (2003). [CrossRef]

87.

U. Herzog and J. A. Bergou, “Minimum-error discrimination between subsets of linearly dependent quantum states,” Phys. Rev. A 65, 050305 (2002). [CrossRef]

88.

C. E. Shannon and W. Weaver, The Mathematical Theory of Communication (U. Illinois Press, 1963).

89.

T. M. Cover and J. A. Thomas, Elements of Information Theory (Wiley, 1991).

90.

E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]

91.

L. B. Levitin, “Optimal quantum measurements for two pure and mixed states,” in Quantum Communications and Measurement, V. P. Belavkin, O. Hirota, and R. L. Hudson, eds. (Plenum, 1995), pp. 439–448. [CrossRef]

92.

M. Sasaki, S. M. Barnett, R. Jozsa, M. Osaki, and O. Hirota, “Accessible information and optimal strategies for real symmetrical quantum sources,” Phys. Rev. A 59, 3325–3335 (1999). [CrossRef]

93.

G. C. Ghirardi, A. Rimini, and T. Weber, “A general argument against superluminal transmission through the quantum mechanical measurement process,” Lett. Nuovo Cimento 27, 293–298 (1980). [CrossRef]

94.

P. J. Bussey, ““Super-luminal communication in Einstein–Podolsky–Rosen experiments,” Phys. Lett. A 90, 9–12 (1982). [CrossRef]

95.

T. F. Jordan, “Quantum correlations do not transmit signals,” Phys. Lett. A 94, 264–264 (1983). [CrossRef]

96.

P. J. Bussey, “Communication and non-communication in Einstein–Rosen experiments,” Phys. Lett. A 123, 1–3 (1987). [CrossRef]

97.

S. Popescu and D. Rohrlich, “Quantum nonlocality as an axiom,” Found. Phys. 24, 379–385 (1994). [CrossRef]

98.

L. Masanes, A. Acin, and N. Gisin, “General properties of nonsignaling theories,” Phys. Rev. A 73, 012112 (2006). [CrossRef]

99.

N. Gisin, “Quantum cloning without signaling,” Phys. Lett. A 242, 1–2 (1998). [CrossRef]

100.

S. Ghosh, G. Kar, and A. Roy, “Optimal cloning and no signaling,” Phys. Lett. A 261, 17–19 (1999). [CrossRef]

101.

S. M. Barnett and E. Andersson, “Bound on measurement based on the no-signaling condition,” Phys. Rev. A 65, 044307 (2002). [CrossRef]

102.

Y. Feng, S. Zhang, R. Duan, and M. Ying, “Lower bound on inconclusive probability of unambiguous discrimination,” Phys. Rev. A 66, 062313 (2002). [CrossRef]

103.

S. Croke, E. Andersson, and S. M. Barnett, “No-signaling bound on quantum state discrimination,” Phys. Rev. A 77, 012113 (2008). [CrossRef]

104.

M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information (Cambridge U. Press, 2000).

105.

A. E. Siegman, Lasers (University Science Books, 1986).

106.

G. R. Fowles, Introduction to Modern Optics (Holt, Rinehart and Winston, 1975).

107.

M. Born and E. Wolf, Principles of Optics (Pergamon, 1980).

108.

E. Wolf, Introduction to the Theory of Coherence and Polarization of Light (Cambridge U. Press, 2007).

109.

S. M. Barnett and E. Riis, “Experimental demonstration of polarization discrimination at the Helstrom bound,” J. Mod. Opt. 44, 1061–1064 (1997). [CrossRef]

110.

R. B. M. Clarke, V. M. Kendon, A. Chefles, S. M. Barnett, and E. Riis, “Experimental realization of optimal detection strategies for overcomplete states,” Phys. Rev. A 64, 012303 (2001). [CrossRef]

111.

B. Huttner, A. Muller, G. Gautier, H. Zbinden, and N. Gisin, “Unambiguous quantum measurement of nonorthogonal states,” Phys. Rev. A 54, 3783–3789 (1996). [CrossRef] [PubMed]

112.

R. B. M. Clarke, A. Chefles, S. M. Barnett, and E. Riis, “Experimental demonstration of optimal unambiguous state discrimination,” Phys. Rev. A 63, 040305. [CrossRef]

113.

M. Mohseni, A. M. Steinberg, and J. A. Bergou, “Optical realization of optimal unambiguous discrimination for pure and mixed quantum states,” Phys. Rev. Lett. 93, 200403 (2004). [CrossRef] [PubMed]

114.

S. Franke-Arnold, E. Andersson, S. M. Barnett, and S. Stenholm, “Generalized measurements of atomic qubits,” Phys. Rev. A 63, 052301 (2001). [CrossRef]

115.

P. J. Mosley, S. Croke, I. A. Walmsley, and S. M. Barnett, “Experimental realization of maximum confidence quantum state discrimination for the extraction of quantum information,” Phys. Rev. Lett. 97, 193601 (2006). [CrossRef] [PubMed]

116.

S. Croke, P. J. Mosley, S. M. Barnett, and I. A. Walmsley, “Maximum confidence measurements and their optical implementation,” Eur. Phys. J. D 41, 589–598 (2007). [CrossRef]

117.

S. E. Ahnert and M. C. Payne, “General implementation of all possible positive-operator-value measurements of single-photon polarization states,” Phys. Rev. A 71, 012330 (2005). [CrossRef]

118.

J. Mizuno, M. Fujiwara, M. Akiba, T. Kawanishi, S. M. Barnett, and M. Sasaki, “Optimum detection for extracting maximum information from symmetric qubit sets,” Phys. Rev. A 65, 012315 (2001). [CrossRef]

ToC Category:
Quantum Optics

History
Original Manuscript: October 10, 2008
Revised Manuscript: December 10, 2008
Manuscript Accepted: December 11, 2008
Published: February 11, 2009

Virtual Issues
(2009) Advances in Optics and Photonics

Citation
Stephen M. Barnett and Sarah Croke, "Quantum state discrimination," Adv. Opt. Photon. 1, 238-278 (2009)
http://www.opticsinfobase.org/aop/abstract.cfm?URI=aop-1-2-238


Sort:  Author  |  Year  |  Journal  |  Reset  

References

  1. C. W. Helstrom, Quantum Detection and Estimation Theory (Academic, 1976).
  2. A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory (North-Holland, 1982).
  3. A. S. Holevo, Statistical Structure of Quantum Theory (Springer-Verlag, 2000).
  4. S. M. Barnett, Quantum Information (Oxford U. Press, to be published).
  5. S. J. D. Phoenix, P. D. Townsend, “How to beat the code breakers using quantum mechanics,” Contemp. Phys. 36, 165–195 (1995). [CrossRef]
  6. H.-K. Lo, S. Popescu, and T. Spiller, eds., Introduction to Quantum Computation and Quantum Information (World Scientific, 1998).
  7. D. Bouwmeester, A. Ekert, and A. Zeilinger, eds., The Physics of Quantum Information (Springer-Verlag, 2000). [CrossRef]
  8. N. Gisin, G. Ribordy, W. Tittel, H. Zbinden, “Quantum cryptography,” Rev. Mod. Phys. 74, 145–195 (2002). [CrossRef]
  9. S. Loepp, W. K. Wootters, Protecting Information: from Classical Error Correction to Quantum Cryptography (Cambridge U. Press, 2006). [CrossRef]
  10. C. W. Helstrom, “Detection theory and quantum mechanics,” Inf. Control. 10, 254–291 (1967). [CrossRef]
  11. C. W. Helstrom, “Detection theory and quantum mechanics II,” Inf. Control. 13, 156–171 (1968). [CrossRef]
  12. A. S. Holevo, “Statistical decision theory for quantum systems,” J. Multivariate Anal. 3, 337–394 (1973). [CrossRef]
  13. H. P. Yuen, R. S. Kennedy, M. Lax, “Optimum testing of multiple hypotheses in quantum detection theory,” IEEE Trans. Inf. Theory IT-21, 125–134 (1975). [CrossRef]
  14. E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]
  15. S. M. Barnett, “Quantum information via novel measurements,” Philos. Trans. R. Soc. London, Ser. A 355, 2279–2290 (1997). [CrossRef]
  16. A. Chefles, “Quantum state discrimination,” Contemp. Phys. 41, 401–424 (2000). [CrossRef]
  17. S. M. Barnett, “Quantum limited state discrimination,” Fortschr. Phys. 49, 909–913 (2001). [CrossRef]
  18. S. M. Barnett, “Optical demonstrations of statistical decision theory for quantum systems,” Quantum Inf. Comput. 4, 450–459 (2004).
  19. J. A. Bergou, U. Herzog, M. Hillery, “Discrimination of quantum states,” Lect. Notes Phys. 649, 417–465 (2004). [CrossRef]
  20. A. Chefles, “Quantum states: discrimination and classical information transmission. A review of experimental progress,” Lect. Notes Phys. 649, 467–511 (Springer, 2004). [CrossRef]
  21. J. A. Bergou, “Quantum state discrimination and selected applications,” J. Phys.: Conf. Ser. 84, 012001 (2007). [CrossRef]
  22. J. Von Neumann, Mathematical Foundations of Quantum Mechanics (Princeton U. Press, 1983).
  23. A. Peres, Quantum Theory: Concepts and Methods (Kluwer, 1993).
  24. P. Busch, M. Grabowski, P. Lahti, Operational Quantum Physics (Springer, 1995).
  25. C. Y. She, H. Heffner, “Simultaneous measurement of noncommuting observables,” Phys. Rev. 152, 1103–1110 (1966). [CrossRef]
  26. S. Stenholm, “Simultaneous measurement of conjugate variables,” Ann. Phys. (N.Y.) 218, 233–254 (1992). [CrossRef]
  27. N. G. Walker, J. E. Carroll, “Simultaneous phase and amplitude measurements on optical signals using a multiport junction,” Electron. Lett. 20, 981–983 (1984). [CrossRef]
  28. N. G. Walker, “Quantum theory of multiport optical homodyning,” J. Mod. Opt. 34, 15–60 (1987). [CrossRef]
  29. S. M. Barnett, S. Croke, “On the conditions for discrimination between quantum states with minimum error,” J. Phys. A 42, 062001 (2009). [CrossRef]
  30. A. S. Kholevo, “On asymptotically optimal hypothesis testing in quantum statistics,” Theor. Probab. Appl. 23, 411–415 (1979). [CrossRef]
  31. L. P. Hughston, R. Jozsa, W. K. Wootters, “A complete classification of quantum ensembles having a given density matrix,” Phys. Lett. A 183, 14–18 (1993). [CrossRef]
  32. P. Hausladen, W. K. Wootters, “A ‘pretty good’ measurement for distinguishing quantum states,” J. Mod. Opt. 41, 2385–2390 (1994). [CrossRef]
  33. P. Hausladen, R. Jozsa, B. Schumacher, M. Westmoreland, W. K. Wootters, “Classical information capacity of a quantum channel,” Phys. Rev. A 54, 1869–1876 (1996). [CrossRef] [PubMed]
  34. M. Ban, K. Kurokawa, R. Momose, O. Hirota, “Optimum measurements for discrimination among symmetric states and parameter estimation,” IEEE Transl. J. Magn. Jpn. 36, 1269–1288 (1997).
  35. M. Sasaki, K. Kato, M. Izutsu, O. Hirota, “Quantum channels showing superadditivity in classical capacity,” Phys. Rev. A 58, 146–158 (1998). [CrossRef]
  36. Y. C. Eldar, G. D. Forney, “On quantum detection and the square-root measurement,” IEEE Trans. Inf. Theory 47, 858–872 (2001). [CrossRef]
  37. S. M. Barnett, “Minimum-error discrimination between multiply symmetric states,” Phys. Rev. A 64, 030303 (2001). [CrossRef]
  38. C.-L. Chou, L. Y. Hsu, “Minimum-error discrimination between symmetric mixed quantum states,” Phys. Rev. A 68, 042305 (2003). [CrossRef]
  39. Y. C. Eldar, A. Megretski, G. C. Verghese, “Optimal detection of symmetric mixed quantum states,” IEEE Trans. Inf. Theory 50, 1198–1207 (2004). [CrossRef]
  40. A. Peres, “Neumark’s theorem and quantum inseparability,” Found. Phys. 20, 1441–1453 (1990). [CrossRef]
  41. C. Mochon, “Family of generalized ‘pretty good’ measurements and the minimal-error pure-state discrimination problems for which they are optimal,” Phys. Rev. A 73, 032328 (2006). [CrossRef]
  42. K. Hunter, “Measurement does not always aid state discrimination,” Phys. Rev. A 68, 012306 (2003). [CrossRef]
  43. E. Andersson, S. M. Barnett, C. R. Gilson, K. Hunter, “Minimum-error discrimination between three mirror-symmetric states,” Phys. Rev. A 65, 052308 (2002). [CrossRef]
  44. C.-L. Chou, “Minimum-error discrimination among mirror-symmetric mixed quantum states,” Phys. Rev. A 70, 062316 (2004). [CrossRef]
  45. K. Hunter, Optimal Generalised Measurement Strategies, Ph.D. thesis (University of Strathclyde, 2004).
  46. K. Hunter, “Results in optimal discrimination,” in Proceedings of The Seventh International Conference on Quantum Communication, Measurement and Computing (QCMC04), Vol. 734 of American Institute of Physics Conference Series (AIP, 2004), pp. 83–86.
  47. H. Barnum, E. Knill, “Reversing quantum dynamics with near-optimal quantum and classical fidelity,” J. Math. Phys. 43, 2097–2106 (2002). [CrossRef]
  48. A. Montanaro, “On the distinguishability of random quantum states,” Commun. Math. Phys. 273, 619–636 (2007). [CrossRef]
  49. A. Montanaro, “A lower bound on the probability of error in quantum state discrimination,” in IEEE Information Theory Workshop, 2008. ITW '08 (IEEE, 2008), pp. 378–380.
  50. D. Qiu, “Minimum-error discrimination between mixed quantum states,” Phys. Rev. A 77, 012328 (2008). [CrossRef]
  51. M. Ježek, J. Řeháček, J. Fiurášek, “Finding optimal strategies for minimum-error quantum-state discrimination,” Phys. Rev. A 65, 060301 (2002). [CrossRef]
  52. Y. C. Eldar, A. Mergretski, G. C. Verghese, “Designing optimal quantum detectors via semidefinite programming,” IEEE Trans. Inf. Theory 49, 1007–1012 (2003). [CrossRef]
  53. I. D. Ivanovic, “How to differentiate between non-orthogonal states,” Phys. Lett. A 123, 257–259 (1987). [CrossRef]
  54. D. Dieks, “Overlap and distinguishability of quantum states,” Phys. Lett. A 126, 303–306 (1988). [CrossRef]
  55. A. Peres, “How to differentiate between non-orthogonal states,” Phys. Lett. A 128, 19–19 (1988). [CrossRef]
  56. G. Jaeger, A. Shimony, “Optimal distinction between two non-orthogonal quantum states,” Phys. Lett. A 197, 83–87 (1995). [CrossRef]
  57. B. Huttner, N. Imoto, N. Gisin, T. Mor, “Quantum cryptography with coherent states,” Phys. Rev. A 51, 1863–1869 (1995). [CrossRef] [PubMed]
  58. R. Loudon, The Quantum Theory of Light (Oxford U. Press, 2000).
  59. A. Chefles, “Unambiguous discrimination between linearly independent quantum states,” Phys. Lett. A 239, 339–347 (1998). [CrossRef]
  60. A. Peres, D. R. Terno, “Optimal distinction between non-orthogonal quantum states,” J. Phys. A 31, 7105–7111 (1998). [CrossRef]
  61. A. Chefles, S. M. Barnett, “Optimum unambiguous discrimination between linearly independent symmetric states,” Phys. Lett. A 250, 223–229 (1998). [CrossRef]
  62. S. Zhang, Y. Feng, X. Sun, M. Ying, “Upper bound for the success probability of unambiguous discrimination among quantum states,” Phys. Rev. A 64, 062103 (2001). [CrossRef]
  63. L.-M. Duan, G.-C. Guo, “Probabilistic cloning and identification of linearly independent quantum states,” Phys. Rev. Lett. 80, 4999–5002 (1998). [CrossRef]
  64. X. Sun, S. Zhang, Y. Feng, M. Ying, “Mathematical nature of and a family of lower bounds for the success probability of unambiguous discrimination,” Phys. Rev. A 65, 044306 (2002). [CrossRef]
  65. Y. C. Eldar, “A semidefinite programming approach to optimal unambiguous discrimination of quantum states,” IEEE Trans. Inf. Theory 49, 446–456 (2003). [CrossRef]
  66. T. Rudolph, R. W. Spekkens, P. S. Turner, “Unambiguous discrimination of mixed states,” Phys. Rev. A 68, 010301 (2003). [CrossRef]
  67. S. M. Barnett, A. Chefles, I. Jex, “Comparison of two unknown pure quantum states,” Phys. Lett. A 307, 189–195 (2003). [CrossRef]
  68. S. Zhang, M. Ying, “Set discrimination of quantum states,” Phys. Rev. A 65, 062322 (2002). [CrossRef]
  69. C. Zhang, G. Wang, M. Ying, “Discrimination between pure states and mixed states,” Phys. Rev. A 75, 062306 (2007). [CrossRef]
  70. The support of a mixed state ρ̂ is the subspace spanned by its eigenvectors with nonzero eigenvalues. The kernel of a mixed state is the subspace orthogonal to its support.
  71. Y. Sun, J. A. Bergou, M. Hillery, “Optimum unambiguous discrimination between subsets of nonorthogonal quantum states,” Phys. Rev. A 66, 032315 (2002). [CrossRef]
  72. J. A. Bergou, U. Herzog, M. Hillery, “Quantum filtering and discrimination between sets of Boolean functions,” Phys. Rev. A 90, 257901 (2003).
  73. U. Herzog, J. A. Bergou, “Optimum unambiguous discrimination of two mixed quantum states,” Phys. Rev. A 71, 050301 (2005). [CrossRef]
  74. P. Raynal, N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: a second class of exact solutions,” Phys. Rev. A 76, 052322 (2007). [CrossRef]
  75. U. Herzog, “Optimum unambiguous discrimination of two mixed states and application to a class of similar states,” Phys. Rev. A 75, 052309 (2007). [CrossRef]
  76. P. Raynal, N. Lütkenhaus, S. J. van Enk, “Reduction theorems for optimal unambiguous state discrimination of density matrices,” Phys. Rev. A 68, 022308 (2003). [CrossRef]
  77. M. Kleinmann, H. Kampermann, D. Bruss, “Structural approach to unambiguous discrimination of two mixed states,” arXiv.org, arXiv:0803.1083v1 (March 7, 2008).
  78. Y. Feng, R. Duan, M. Ying, “Unambiguous discrimination between mixed quantum states,” Phys. Rev. A 70, 012308 (2004). [CrossRef]
  79. P. Raynal, N. Lütkenhaus, “Optimal unambiguous state discrimination of two density matrices: lower bound and class of exact solutions,” Phys. Rev. A 72, 022342 (2005). [CrossRef]
  80. Y. C. Eldar, M. Stojnic, B. Hassibi, “Optimal quantum detectors for unambiguous detection of mixed states,” Phys. Rev. A 69, 062318 (2004). [CrossRef]
  81. S. Croke, E. Andersson, S. M. Barnett, C. R. Gilson, J. Jeffers, “Maximum confidence quantum measurements,” Phys. Rev. Lett. 96, 070401 (2006). [CrossRef] [PubMed]
  82. R. L. Kosut, I. Walmsley, Y. Eldar, H. Rabitz, “Quantum state detector design: optimal worst-case a posteriori performance,” arXiv.org, arXiv:quant-ph/0403150v1 (March 21, 2004).
  83. A. Chefles, S. M. Barnett, “Strategies for discriminating between non-orthogonal quantum states,” J. Mod. Opt. 45, 1295–1302 (1998). [CrossRef]
  84. C.-W. Zhang, C.-F. Li, G.-C. Guo, “General strategies for discrimination of quantum states,” Phys. Lett. A 261, 25–29 (1999). [CrossRef]
  85. M. A. P. Touzel, R. B. A. Adamson, A. M. Steinberg, “Optimal bounded-error strategies for projective measurements in non-orthogonal state discrimination,” Phys. Rev. A 76, 062314 (2007). [CrossRef]
  86. J. Fiurášek, M. Ježek, “Optimal discrimination of mixed quantum states involving inconclusive results,” Phys. Rev. A 67, 012321 (2003). [CrossRef]
  87. U. Herzog, J. A. Bergou, “Minimum-error discrimination between subsets of linearly dependent quantum states,” Phys. Rev. A 65, 050305 (2002). [CrossRef]
  88. C. E. Shannon, W. Weaver, The Mathematical Theory of Communication (U. Illinois Press, 1963).
  89. T. M. Cover, J. A. Thomas, Elements of Information Theory (Wiley, 1991).
  90. E. B. Davies, “Information and quantum measurement,” IEEE Trans. Inf. Theory IT-24, 596–599 (1978). [CrossRef]
  91. L. B. Levitin, “Optimal quantum measurements for two pure and mixed states,” in Quantum Communications and Measurement, V. P. Belavkin, O. Hirota, and R. L. Hudson, eds. (Plenum, 1995), pp. 439–448. [CrossRef]
  92. M. Sasaki, S. M. Barnett, R. Jozsa, M. Osaki, O. Hirota, “Accessible information and optimal strategies for real symmetrical quantum sources,” Phys. Rev. A 59, 3325–3335 (1999). [CrossRef]
  93. G. C. Ghirardi, A. Rimini, T. Weber, “A general argument against superluminal transmission through the quantum mechanical measurement process,” Lett. Nuovo Cimento 27, 293–298 (1980). [CrossRef]
  94. P. J. Bussey, ““Super-luminal communication in Einstein–Podolsky–Rosen experiments,” Phys. Lett. A 90, 9–12 (1982). [CrossRef]
  95. T. F. Jordan, “Quantum correlations do not transmit signals,” Phys. Lett. A 94, 264–264 (1983). [CrossRef]
  96. P. J. Bussey, “Communication and non-communication in Einstein–Rosen experiments,” Phys. Lett. A 123, 1–3 (1987). [CrossRef]
  97. S. Popescu, D. Rohrlich, “Quantum nonlocality as an axiom,” Found. Phys. 24, 379–385 (1994). [CrossRef]
  98. L. Masanes, A. Acin, N. Gisin, “General properties of nonsignaling theories,” Phys. Rev. A 73, 012112 (2006). [CrossRef]
  99. N. Gisin, “Quantum cloning without signaling,” Phys. Lett. A 242, 1–2 (1998). [CrossRef]
  100. S. Ghosh, G. Kar, A. Roy, “Optimal cloning and no signaling,” Phys. Lett. A 261, 17–19 (1999). [CrossRef]
  101. S. M. Barnett, E. Andersson, “Bound on measurement based on the no-signaling condition,” Phys. Rev. A 65, 044307 (2002). [CrossRef]
  102. Y. Feng, S. Zhang, R. Duan, M. Ying, “Lower bound on inconclusive probability of unambiguous discrimination,” Phys. Rev. A 66, 062313 (2002). [CrossRef]
  103. S. Croke, E. Andersson, S. M. Barnett, “No-signaling bound on quantum state discrimination,” Phys. Rev. A 77, 012113 (2008). [CrossRef]
  104. M. A. Nielsen, I. L. Chuang, Quantum Computation and Quantum Information (Cambridge U. Press, 2000).
  105. A. E. Siegman, Lasers (University Science Books, 1986).
  106. G. R. Fowles, Introduction to Modern Optics (Holt, Rinehart and Winston, 1975).
  107. M. Born, E. Wolf, Principles of Optics (Pergamon, 1980).
  108. E. Wolf, Introduction to the Theory of Coherence and Polarization of Light (Cambridge U. Press, 2007).
  109. S. M. Barnett, E. Riis, “Experimental demonstration of polarization discrimination at the Helstrom bound,” J. Mod. Opt. 44, 1061–1064 (1997). [CrossRef]
  110. R. B. M. Clarke, V. M. Kendon, A. Chefles, S. M. Barnett, E. Riis, “Experimental realization of optimal detection strategies for overcomplete states,” Phys. Rev. A 64, 012303 (2001). [CrossRef]
  111. B. Huttner, A. Muller, G. Gautier, H. Zbinden, N. Gisin, “Unambiguous quantum measurement of nonorthogonal states,” Phys. Rev. A 54, 3783–3789 (1996). [CrossRef] [PubMed]
  112. R. B. M. Clarke, A. Chefles, S. M. Barnett, E. Riis, “Experimental demonstration of optimal unambiguous state discrimination,” Phys. Rev. A 63, 040305. [CrossRef]
  113. M. Mohseni, A. M. Steinberg, J. A. Bergou, “Optical realization of optimal unambiguous discrimination for pure and mixed quantum states,” Phys. Rev. Lett. 93, 200403 (2004). [CrossRef] [PubMed]
  114. S. Franke-Arnold, E. Andersson, S. M. Barnett, S. Stenholm, “Generalized measurements of atomic qubits,” Phys. Rev. A 63, 052301 (2001). [CrossRef]
  115. P. J. Mosley, S. Croke, I. A. Walmsley, S. M. Barnett, “Experimental realization of maximum confidence quantum state discrimination for the extraction of quantum information,” Phys. Rev. Lett. 97, 193601 (2006). [CrossRef] [PubMed]
  116. S. Croke, P. J. Mosley, S. M. Barnett, I. A. Walmsley, “Maximum confidence measurements and their optical implementation,” Eur. Phys. J. D 41, 589–598 (2007). [CrossRef]
  117. S. E. Ahnert, M. C. Payne, “General implementation of all possible positive-operator-value measurements of single-photon polarization states,” Phys. Rev. A 71, 012330 (2005). [CrossRef]
  118. J. Mizuno, M. Fujiwara, M. Akiba, T. Kawanishi, S. M. Barnett, M. Sasaki, “Optimum detection for extracting maximum information from symmetric qubit sets,” Phys. Rev. A 65, 012315 (2001). [CrossRef]

Cited By

Alert me when this paper is cited

OSA is able to provide readers links to articles that cite this paper by participating in CrossRef's Cited-By Linking service. CrossRef includes content from more than 3000 publishers and societies. In addition to listing OSA journal articles that cite this paper, citing articles from other participating publishers will also be listed.


Next Article »

OSA is a member of CrossRef.

CrossCheck Deposited