Two-sided estimates of minimum-error distinguishability of mixed quantum states via generalized Holevo-Curlander bounds
Abstract
We prove a concise factor-of-2 estimate for the failure rate of optimally distinguishing an arbitrary ensemble of mixed quantum states, generalizing work of Holevo [Theor. Probab. Appl. 23, 411 (1978)] and Curlander [Ph.D. Thesis, MIT, 1979]. A modification to the minimal principle of Cocha and Poor [Proceedings of the 6th International Conference on Quantum Communication, Measurement, and Computing (Rinton, Princeton, NJ, 2003)] is used to derive a suboptimal measurement which has an error rate within a factor of 2 of the optimal by construction. This measurement is quadratically weighted and has appeared as the first iterate of a sequence of measurements proposed by Jezek et al. [Phys. Rev. A 65, 060301 (2002)]. Unlike the so-called pretty good measurement, it coincides with Holevo's asymptotically optimal measurement in the case of nonequiprobable pure states. A quadratically weighted version of the measurement bound by Barnum and Knill [J. Math. Phys. 43, 2097 (2002)] is proven. Bounds on the distinguishability of syndromes in the sense of Schumacher and Westmoreland [Phys. Rev. A 56, 131 (1997)] appear as a corollary. An appendix relates our bounds to the trace-Jensen inequality.
- Publication:
-
Journal of Mathematical Physics
- Pub Date:
- March 2009
- DOI:
- 10.1063/1.3094322
- arXiv:
- arXiv:0907.2094
- Bibcode:
- 2009JMP....50c2106T
- Keywords:
-
- 03.65.Ta;
- 02.60.-x;
- 03.65.Ge;
- Foundations of quantum mechanics;
- measurement theory;
- Numerical approximation and analysis;
- Solutions of wave equations: bound states;
- Quantum Physics;
- Mathematical Physics
- E-Print:
- It was not realized at the time of publication that the lower bound of Theorem 10 has a simple generalization using matrix monotonicity (See [J. Math. Phys. 50, 062102]). Furthermore, this generalization is a trivial variation of a previously-obtained bound of Ogawa and Nagaoka [IEEE Trans. Inf. Theory 45, 2486-2489 (1999)], which had been overlooked by the author