Communications in Mathematical Physics

, Volume 295, Issue 3, pp 791–828

A Generalization of Quantum Stein’s Lemma

  • Fernando G. S. L. Brandão
  • Martin B. Plenio
Article

Abstract

Given many independent and identically-distributed (i.i.d.) copies of a quantum system described either by the state ρ or σ (called null and alternative hypotheses, respectively), what is the optimal measurement to learn the identity of the true state? In asymmetric hypothesis testing one is interested in minimizing the probability of mistakenly identifying ρ instead of σ, while requiring that the probability that σ is identified in the place of ρ is bounded by a small fixed number. Quantum Stein’s Lemma identifies the asymptotic exponential rate at which the specified error probability tends to zero as the quantum relative entropy of ρ and σ.

We present a generalization of quantum Stein’s Lemma to the situation in which the alternative hypothesis is formed by a family of states, which can moreover be non-i.i.d. We consider sets of states which satisfy a few natural properties, the most important being the closedness under permutations of the copies. We then determine the error rate function in a very similar fashion to quantum Stein’s Lemma, in terms of the quantum relative entropy.

Our result has two applications to entanglement theory. First it gives an operational meaning to an entanglement measure known as regularized relative entropy of entanglement. Second, it shows that this measure is faithful, being strictly positive on every entangled state. This implies, in particular, that whenever a multipartite state can be asymptotically converted into another entangled state by local operations and classical communication, the rate of conversion must be non-zero. Therefore, the operational definition of multipartite entanglement is equivalent to its mathematical definition.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cover, T.M., Thomas J.A. Elements of Information Theory. Series in Telecommunication. New York: John Wiley and Sons, 1991Google Scholar
  2. 2.
    Chernoff H. (1952) A measure of asymptotic efficiency for tests of a hypothesis based on the sum of observations. Ann. Math. Stat. 23: 493MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Csiszár I., Longo G. (1971) On the error exponent for source coding and for testing. simple statistical hypotheses. Studia Sci. Math. Hungarica 6: 181Google Scholar
  4. 4.
    Blahut R.E. (1974) Hypothesis testing and information theory. IEEE Trans. Inf. Theo. 20: 405MATHCrossRefMathSciNetADSGoogle Scholar
  5. 5.
    Hiai F., Petz D. (1991) The proper formula for the relative entropy and its asymptotics in quantum probability. Commun. Math. Phys. 143: 99MATHCrossRefMathSciNetADSGoogle Scholar
  6. 6.
    Ogawa T., Nagaoka H. (2000) Strong converse and stein’s lemma in the quantum hypothesis testing. IEEE Trans. Inf. Theo. 46: 2428MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    Hayashi M. (2002) Optimal sequence of quantum measurements in the sense of Stein’s lemma in quantum hypothesis testing. J. Phys. A: Math. Gen. 35: 10759MATHCrossRefADSGoogle Scholar
  8. 8.
    Ogawa T., Hayashi M. (2004) On error exponents in quantum hypothesis testing. IEEE Trans. Inf. Theo. 50: 1368CrossRefMathSciNetGoogle Scholar
  9. 9.
    Nussbaum M., Szkola A. (2009) The Chernoff lower bound for symmetric quantum hypothesis testing. Ann. Stat. 37: 1040MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Audenaert K.M.R., Calsamiglia J., Masanes Ll., Munoz-Tapia R., Acin A., Bagan E., Verstraete F. (2007) The quantum chernoff bound. Phys. Rev. Lett. 98: 160501CrossRefADSGoogle Scholar
  11. 11.
    Nagaoka, H.: The converse part of the theorem for quantum hoeffding bound. http://arxiv.org/abs/quant-ph/0611289v1, 2006
  12. 12.
    Nagaoka H., Hayashi M. (2007) An information-spectrum approach to classical and quantum hypothesis testing for simple hypotheses. IEEE Trans. Inf. Theo. 53: 534CrossRefMathSciNetGoogle Scholar
  13. 13.
    Audenaert K.M.R., Nussbaum M., Szkola A., Verstraete F. (2008) Asymptotic error rates in quantum hypothesis testing. Commun. Math. Phys. 279: 251MATHCrossRefMathSciNetADSGoogle Scholar
  14. 14.
    Hayashi M. (2007) Error exponent in asymmetric quantum hypothesis testing and its application to classical-quantum channel coding. Phys. Rev. A 76: 062301CrossRefADSGoogle Scholar
  15. 15.
    Bjelakovi’c I., Siegmund-Schultze R. (2004) An ergodic theorem for quantum relative entropy. Commun. Math. Phys. 247: 697CrossRefMathSciNetADSGoogle Scholar
  16. 16.
    Bjelakovic I., Deuschel J.-D., Krueger T., Seiler R., Siegmund-Schultze Ra., Szkola A. (2008) Typical support and Sanov large deviations of correlated states. Commun. Math. Phys. 279: 559MATHCrossRefADSGoogle Scholar
  17. 17.
    Hiai F., Mosonyi M., Ogawa T. (2008) Error exponents in hypothesis testing for correlated states on a spin chain. J. Math. Phys. 49: 032112CrossRefMathSciNetADSGoogle Scholar
  18. 18.
    Mosonyi M., Hiai F., Ogawa T., Fannes M. (2008) Asymptotic distinguishability measures for shift-invariant quasi-free states of fermionic lattice systems. J. Math. Phys. 49: 032112CrossRefMathSciNetADSGoogle Scholar
  19. 19.
    Bjelaković I., Deuschel J.D., Krüger T., Seiler R., Siegmund-Schultze Ra., Szola A. (2005) A quantum version of Sanov’s theorem. Commun. Math. Phys. 260: 659MATHCrossRefADSGoogle Scholar
  20. 20.
    Renner, R.: Security of quantum key distribution. PhD thesis ETH, Zurich 2005Google Scholar
  21. 21.
    Renner R. (2007) Symmetry implies independence. Nature Physics 3: 645CrossRefADSGoogle Scholar
  22. 22.
    Plenio M.B., Virmani S. (2007) An introduction to entanglement measures. Quant. Inf. Comp. 7: 1MATHMathSciNetGoogle Scholar
  23. 23.
    Horodecki R., Horodecki P., Horodecki M., Horodecki K. (2009) Quantum entanglement. Rev. Mod. Phys. 81: 865CrossRefMathSciNetADSGoogle Scholar
  24. 24.
    Werner R.F. (1989) Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model. Phys. Rev. A 40: 4277CrossRefADSGoogle Scholar
  25. 25.
    Datta N. (2009) Min- and max-relative entropies and a new entanglement measure. IEEE Trans. Inf. Theo. 55: 2816CrossRefGoogle Scholar
  26. 26.
    Vedral V., Plenio M.B., Rippin M.A., Knight P.L. (1997) Quantifying Entanglement. Phys. Rev. Lett. 78: 2275MATHCrossRefMathSciNetADSGoogle Scholar
  27. 27.
    Vedral V., Plenio M.B. (1998) Entanglement measures and purification procedures. Phys. Rev. A 57: 1619CrossRefADSGoogle Scholar
  28. 28.
    Vidal G., Tarrach R. (1999) Robustness of Entanglement. Phys. Rev. A 59: 141CrossRefMathSciNetADSGoogle Scholar
  29. 29.
    Harrow A.W., Nielsen M.A. (2003) How robust is a quantum gate in the presence of noise?. Phys. Rev. A 68: 012308CrossRefADSGoogle Scholar
  30. 30.
    Brandão F.G.S.L. (2005) Quantifying entanglement with witness operators. Phys. Rev. A 72: 022310CrossRefADSGoogle Scholar
  31. 31.
    Datta N. (2009) Max- relative entropy of entanglement, alias log robustness. Int. J. Quant. Inf. 7: 475MATHCrossRefGoogle Scholar
  32. 32.
    Mora C., Piani M., Briegel H.J. (2008) Epsilon-measures of entanglement. New J. Phys. 10: 083027CrossRefADSGoogle Scholar
  33. 33.
    Renner, R., Wolf, S.: Smooth Renyi entropy and applications. Proceedings of 2004 IEEE Int. Symp. Inf. Theo., 2004, p. 233Google Scholar
  34. 34.
    Davies E.B. (2007) Linear Operators and their Spectra. Cambridge University Press, CambridgeMATHCrossRefGoogle Scholar
  35. 35.
    Vollbrecht K.G.H., Werner R.F. (2001) Entanglement measures under symmetry. Phys. Rev. A 64: 062307CrossRefADSGoogle Scholar
  36. 36.
    Vedral V., Plenio M.B., Jacobs K., Knight P.L. (1997) Statistical inference, distinguishability of quantum states, and quantum entanglement. Phys. Rev. A 56: 4452CrossRefADSGoogle Scholar
  37. 37.
    Piani M. (2009) Relative entropy and restricted measurements. Phys. Rev. Lett. 103: 160504CrossRefMathSciNetGoogle Scholar
  38. 38.
    Yang D., Horodecki M., Horodecki R., Synak-Radtke B. (2005) Irreversibility for all bound entangled states. Phys. Rev. Lett. 95: 190501CrossRefMathSciNetADSGoogle Scholar
  39. 39.
    Brandão, F.G.S.L., Plenio, M.B.: A reversible theory of entanglement and its relation to the second law. Commun. Math. Phys. doi:10.1007/s00220-010-1003-1
  40. 40.
    Brandão F.G.S.L., Plenio M.B. (2008) Entanglement theory and the second law of thermodynamics. Nature Physics 4: 873CrossRefADSGoogle Scholar
  41. 41.
    Horodecki M. (2008) Quantum entanglement: Reversible path to thermodynamics. Nature Physics 4: 833CrossRefADSGoogle Scholar
  42. 42.
    Boyd S., Vandenberghe L. (2000) Convex Optimization. Cambridge University Press, CambridgeGoogle Scholar
  43. 43.
    Bathia R. Matrix Analysis. Graduate Texts in Mathematics. Berlin-Heidelberg-New York: Springer, 1996Google Scholar
  44. 44.
    Horodecki K., Horodecki M., Horodecki P., Oppenheim J. (2005) Locking entanglement measures with a single qubit. Locking entanglement measures with a single qubit. Phys. Rev. Lett. 94: 200501CrossRefMathSciNetADSGoogle Scholar
  45. 45.
    Uhlmann A. (1976) The “transition probability” in the state space of a *-algebra. Rep. Math. Phys. 9: 273–279MATHCrossRefMathSciNetADSGoogle Scholar
  46. 46.
    Fulton W., Harris J. (1991) Representation Theory: A First Course. Springer, New YorkMATHGoogle Scholar
  47. 47.
    Horodecki K., Horodecki M., Horodecki P., Leung D., Oppenheim J. (2008) Quantum key distribution based on private states: unconditional security over untrusted channels with zero quantum capacity. IEEE Trans. Inf. Theory 54: 2604CrossRefMathSciNetGoogle Scholar
  48. 48.
    Horodecki K., Horodecki M., Horodecki P., Leung D., Oppenheim J. (2008) Unconditional privacy over channels which cannot convey quantum information. Phys. Rev. Lett. 100: 110502CrossRefADSGoogle Scholar
  49. 49.
    Dembo A., Zeitouni O. (1998) Large Deviations Techniques and Applications. Springer-Verlag, Berlin-Heidelberg-New YorkMATHGoogle Scholar
  50. 50.
    Ando T. (1979) Concavity of certain maps on positive definite matrices and applications to Hadamard products. Lin. Alg. Appl. 26: 203MATHCrossRefMathSciNetGoogle Scholar
  51. 51.
    Jencova, A., Ruskai, M.B.: A Unified treatment of convexity of relative entropy and related trace functions, with conditions for equality. http://arxiv.org/abs/0903.2895v2[quant-ph], 2009
  52. 52.
    Horodecki M., Oppenheim J., Winter A. (2007) Quantum state merging and negative information. Commun. Math. Phys. 269: 107MATHCrossRefMathSciNetADSGoogle Scholar
  53. 53.
    Fannes M. (1973) A continuity property of the entropy density for spin lattice systems. Commun. Math. Phys. 31: 291MATHCrossRefMathSciNetADSGoogle Scholar
  54. 54.
    Dudley R.M. (2002) Real Analysis and Probability. Cambridge University Press, CambridgeMATHGoogle Scholar
  55. 55.
    DiVincenzo D.P., Shor P.W., Smolin J.A., Terhal B.M., Thapliyal A.V. (2000) Evidence for bound entangled states with negative partial transpose. Phys. Rev. A 61: 062312CrossRefMathSciNetADSGoogle Scholar
  56. 56.
    Dür W., Cirac J.I., Lewenstein M., Bruss D. (2000) Distillability and partial transposition in bipartite systems. Phys. Rev. A 61: 062313CrossRefMathSciNetADSGoogle Scholar
  57. 57.
    Clarisse, L.: Entanglement distillation; a discourse on bound entanglement in quantum information theory. Ph.D thesis, Univ. of York, 2006. available at http://arxiv.org/abs/quant-ph/0612072v1, 2006
  58. 58.
    Brandão F.G.S.L., Eisert J. (2008) Correlated entanglement distillation and the structure of the set of undistillable states. J. Math. Phys. 49: 042102CrossRefMathSciNetADSGoogle Scholar
  59. 59.
    König R., Renner R. (2005) A de Finetti representation for finite symmetric quantum states. J. Math. Phys. 46: 122108CrossRefMathSciNetADSGoogle Scholar
  60. 60.
    Christandl M., König R., Mitchison G., Renner R. (2007) One-and-a-half quantum de Finetti theorems. Commun. Math. Phys. 273: 473MATHCrossRefADSGoogle Scholar
  61. 61.
    de Finetti B. (1937) La prévision: ses lois logiques, ses sources subjectives. Ann. Inst. Henri Poincaré 7: 1MATHGoogle Scholar
  62. 62.
    König R., Mitchison G. (2009) A most compendious and facile quantum de Finetti theorem. J. Math. Phys. 50: 012105CrossRefMathSciNetADSGoogle Scholar
  63. 63.
    Synak-Radtke B., Horodecki M. (2006) On asymptotic continuity of functions of quantum states. J. Phys. A: Math. Gen. 39: 423CrossRefMathSciNetADSGoogle Scholar
  64. 64.
    Christandl, M.: The structure of bipartite quantum states - insights from group theory and cryptography. PhD thesis, February 2006, University of Cambridge, available at http://arxiv.org/abs/quant-ph/0604183v1, 2006
  65. 65.
    Datta N., Renner R. (2009) Smooth Renyi entropies and the quantum information spectrum. IEEE Trans. Inf. Theory 55: 2807CrossRefGoogle Scholar
  66. 66.
    Han T.S. (2003) Information-spectrum Methods in Information Theory. Springer, Berlin-Heidelberg-New YorkMATHGoogle Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  • Fernando G. S. L. Brandão
    • 1
    • 2
  • Martin B. Plenio
    • 1
    • 3
  1. 1.Institute of Mathematical Sciences and QOLS, Blackett LaboratoryImperial College LondonLondonUK
  2. 2.Departamento de FisicaUniversidade Federal de Minas GeraisBelo HorizonteBrazil
  3. 3.Institut für Theoretische PhysikUniversität UlmUlmGermany

Personalised recommendations