Amortized channel divergence for asymptotic quantum channel discrimination

Abstract

It is well known that for the discrimination of classical and quantum channels in the finite, non-asymptotic regime, adaptive strategies can give an advantage over non-adaptive strategies. However, Hayashi (IEEE Trans Inf Theory 55(8):3807–3820, 2009. arXiv:0804.0686) showed that in the asymptotic regime, the exponential error rate for the discrimination of classical channels is not improved in the adaptive setting. We extend this result in several ways. First, we establish the strong Stein’s lemma for classical–quantum channels by showing that asymptotically the exponential error rate for classical–quantum channel discrimination is not improved by adaptive strategies. Second, we recover many other classes of channels for which adaptive strategies do not lead to an asymptotic advantage. Third, we give various converse bounds on the power of adaptive protocols for general asymptotic quantum channel discrimination. Intriguingly, it remains open whether adaptive protocols can improve the exponential error rate for quantum channel discrimination in the asymmetric Stein setting. Our proofs are based on the concept of amortized distinguishability of quantum channels, which we analyse using data-processing inequalities.

This is a preview of subscription content, log in to check access.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Notes

  1. 1.

    The quantity underlying the non-asymptotic symmetric error exponent was previously studied in [8, 22] and shown to be related to the norm defined therein (see [20, 21, 23] for related work).

References

  1. 1.

    Hiai, F., Petz, D.: The proper formula for relative entropy and its asymptotics in quantum probability. Commun. Math. Phys. 143(1), 99–114 (1991)

    ADS  MathSciNet  MATH  Article  Google Scholar 

  2. 2.

    Ogawa, T., Nagaoka, H.: Strong converse and Stein’s lemma in quantum hypothesis testing. IEEE Trans. Inf. Theory 46(7), 2428–2433 (2000). arXiv:quant-ph/9906090

    MathSciNet  MATH  Article  Google Scholar 

  3. 3.

    Nussbaum, M., Szkoła, A.: The Chernoff lower bound for symmetric quantum hypothesis testing. Ann. Stat. 37(2), 1040–1057 (2009). arXiv:quant-ph/0607216

    MathSciNet  MATH  Article  Google Scholar 

  4. 4.

    Audenaert, K.M.R., Calsamiglia, J., Muñoz-Tapia, R., Bagan, E., Masanes, L., Acin, A., Verstraete, F.: Discriminating states: the quantum Chernoff bound. Phys. Rev. Lett. 98(16), 160501 (2007). arXiv:quant-ph/0610027

    ADS  Article  Google Scholar 

  5. 5.

    Nagaoka, H.: The converse part of the theorem for quantum Hoeffding bound. arXiv:quant-ph/0611289 (2006)

  6. 6.

    Audenaert, K.M.R., Nussbaum, M., Szkoła, A., Verstraete, F.: Asymptotic error rates in quantum hypothesis testing. Commun. Math. Phys. 279(1), 251–283 (2008). arXiv:0708.4282

    ADS  MathSciNet  MATH  Article  Google Scholar 

  7. 7.

    Mosonyi, M., Ogawa, T.: Quantum hypothesis testing and the operational interpretation of the quantum Rényi relative entropies. Commun. Math. Phys. 334(3), 1617–1648 (2015). arXiv:1309.3228

    ADS  MATH  Article  Google Scholar 

  8. 8.

    Chiribella, G., D’Ariano, G.M., Perinotti, P.: Memory effects in quantum channel discrimination. Phys. Rev. Lett. 101(18), 180501 (2008). arXiv:0803.3237

    ADS  Article  Google Scholar 

  9. 9.

    Duan, R., Feng, Y., Ying, M.: Perfect distinguishability of quantum operations. Phys. Rev. Lett. 103(21), 210501 (2009). arXiv:0908.0119

    ADS  MathSciNet  Article  Google Scholar 

  10. 10.

    Harrow, A.W., Hassidim, A., Leung, D.W., Watrous, J.: Adaptive versus nonadaptive strategies for quantum channel discrimination. Phys. Rev. A 81(3), 032339 (2010). arXiv:0909.0256

    ADS  Article  Google Scholar 

  11. 11.

    Puzzuoli, D., Watrous, J.: Ancilla dimension in quantum channel discrimination. Ann. Henri Poincaré 18(4), 1153–1184 (2017). arXiv:1604.08197

    ADS  MathSciNet  MATH  Article  Google Scholar 

  12. 12.

    Nechita, I., Puchala, Z., Pawela, L., Zyczkowski, K.: Almost all quantum channels are equidistant. J. Math. Phys. 59(5), 052201 (2018). arXiv:1612.00401

    ADS  MathSciNet  MATH  Article  Google Scholar 

  13. 13.

    Puchala, Z., Pawela, L., Krawiec, A., Kukulski, R.: Strategies for optimal single-shot discrimination of quantum measurements. Phys. Rev. A 98(4), 042103 (2018). arXiv:1804.05856

    ADS  Article  Google Scholar 

  14. 14.

    Hayashi, M.: Discrimination of two channels by adaptive methods and its application to quantum system. IEEE Trans. Inf. Theory 55(8), 3807–3820 (2009). arXiv:0804.0686

    MathSciNet  MATH  Article  Google Scholar 

  15. 15.

    Cooney, T., Mosonyi, M., Wilde, M.M.: Strong converse exponents for a quantum channel discrimination problem and quantum-feedback-assisted communication. Commun. Math. Phys. 344(3), 797–829 (2016). arXiv:1408.3373

    ADS  MathSciNet  MATH  Article  Google Scholar 

  16. 16.

    Pirandola, S., Lupo, C.: Ultimate precision of adaptive noise estimation. Phys. Rev. Lett. 118(10), 100502 (2017)

    ADS  Article  Google Scholar 

  17. 17.

    Takeoka, M., Wilde, M.M.: Optimal estimation and discrimination of excess noise in thermal and amplifier channels. arXiv:1611.09165 (2016)

  18. 18.

    Yu, N., Zhou, L.: Chernoff bound for quantum operations is faithful. arXiv:1705.01642 (2017)

  19. 19.

    Pirandola, S., Laurenza, R., Lupo, C., Pereira, J.L.: Fundamental limits to quantum channel discrimination. npj Quantum Inf. 5, 50 (2019). arXiv:1803.02834

    ADS  Article  Google Scholar 

  20. 20.

    Gutoski, G., Watrous, J.: Toward a general theory of quantum games. In: Proceedings of the Thirty-Ninth Annual ACM Symposium on Theory of Computing, pp. 565–574. arXiv:quant-ph/0611234 (2007)

  21. 21.

    Gutoski, G.: Quantum strategies and local operations. PhD thesis, University of Waterloo. arXiv:1003.0038 (2009)

  22. 22.

    Gutoski, G.: On a measure of distance for quantum strategies. J. Math. Phys. 53(3), 032202 (2012). arXiv:1008.4636

    ADS  MathSciNet  MATH  Article  Google Scholar 

  23. 23.

    Chiribella, G., D’Ariano, G.M., Perinotti, P.: Quantum circuit architecture. Phys. Rev. Lett. 101(6), 060401 (2008). arXiv:0712.1325

    ADS  Article  Google Scholar 

  24. 24.

    Leditzky, F., Kaur, E., Datta, N., Wilde, M.M.: Approaches for approximate additivity of the Holevo information of quantum channels. Phys. Rev. A 97(1), 012332 (2018). arXiv:1709.01111

    ADS  Article  Google Scholar 

  25. 25.

    Duan, R., Feng, Y., Ying, M.: Entanglement is not necessary for perfect discrimination between unitary operations. Phys. Rev. Lett. 98(10), 100503 (2007). arXiv:quant-ph/0601150

    ADS  MathSciNet  MATH  Article  Google Scholar 

  26. 26.

    Ji, Z., Feng, Y., Duan, R., Ying, M.: Identification and distance measures of measurement apparatus. Phys. Rev. Lett. 96(20), 200401 (2006). arXiv:quant-ph/0601090

    ADS  Article  Google Scholar 

  27. 27.

    Duan, R., Guo, C., Li, C., Li, Y.: Parallel distinguishability of quantum operations. In: 2016 IEEE International Symposium on Information Theory (ISIT), pp. 2259–2263. arXiv:1605.02294 (2016)

  28. 28.

    Chiribella, G., D’Ariano, G.M., Perinotti, P.: Transforming quantum operations: quantum supermaps. EPL (Europhys. Lett.) 83(3), 30004 (2008). arXiv:0804.0180

    ADS  Article  Google Scholar 

  29. 29.

    Leung, D., Matthews, W.: On the power of PPT-preserving and non-signalling codes. IEEE Trans. Inf. Theory 61(8), 4486–4499 (2015). arXiv:1406.7142

    MathSciNet  MATH  Article  Google Scholar 

  30. 30.

    Wang, X., Fang, K., Duan, R.: Semidefinite programming converse bounds for quantum communication. IEEE Trans. Inf. Theory 65(4), 2583–2592 (2019). arXiv:1709.00200

    MathSciNet  MATH  Article  Google Scholar 

  31. 31.

    Chitambar, E., Gour, G.: Quantum resource theories. Rev. Mod. Phys. 91(2), 025001 (2019). arXiv:1806.06107

    ADS  MathSciNet  Article  Google Scholar 

  32. 32.

    Gour, G.: Comparison of quantum channels with superchannels. IEEE Trans. Inf. Theory 65(9), 5880–5904 (2019). arXiv:1808.02607

    MathSciNet  MATH  Article  Google Scholar 

  33. 33.

    Umegaki, H.: Conditional expectations in an operator algebra, IV (entropy and information). Kodai Math. Semin. Rep. 14(2), 59–85 (1962)

    MathSciNet  MATH  Article  Google Scholar 

  34. 34.

    Petz, D.: Quasi-entropies for states of a von Neumann algebra. Publ. RIMS Kyoto Univ. 21, 787–800 (1985)

    MATH  Article  Google Scholar 

  35. 35.

    Petz, D.: Quasi-entropies for finite quantum systems. Rep. Math. Phys. 23, 57–65 (1986)

    ADS  MathSciNet  MATH  Article  Google Scholar 

  36. 36.

    Müller-Lennert, M., Dupuis, F., Szehr, O., Fehr, S., Tomamichel, M.: On quantum Rényi entropies: a new generalization and some properties. J. Math. Phys. 54(12), 122203 (2013). arXiv:1306.3142

    ADS  MathSciNet  MATH  Article  Google Scholar 

  37. 37.

    Wilde, M.M., Winter, A., Yang, D.: Strong converse for the classical capacity of entanglement-breaking and Hadamard channels via a sandwiched Rényi relative entropy. Commun. Math. Phys. 331(2), 593–622 (2014). arXiv:1306.1586

    ADS  MATH  Article  Google Scholar 

  38. 38.

    Uhlmann, A.: The transition probability in the state space of a*-algebra. Rep. Math. Phys. 9(2), 273–279 (1976)

    ADS  MathSciNet  MATH  Article  Google Scholar 

  39. 39.

    Datta, N.: Min- and max-relative entropies and a new entanglement monotone. IEEE Trans. Inf. Theory 55(6), 2816–2826 (2009). arXiv:0803.2770

    MathSciNet  MATH  Article  Google Scholar 

  40. 40.

    Jain, R., Radhakrishnan, J., Sen, P.: Privacy and interaction in quantum communication complexity and a theorem about the relative entropy of quantum states. In: Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science, pp. 429–438 (2002)

  41. 41.

    Mosonyi, M., Ogawa, T.: Strong converse exponent for classical–quantum channel coding. Commun. Math. Phys. 355(1), 373–426 (2017). arXiv:1409.3562

    ADS  MathSciNet  MATH  Article  Google Scholar 

  42. 42.

    Amari, S., Nagaoka, H.: Methods of Information Geometry, Volume 191 of Translations of Mathematical Monographs. American Mathematical Society, Providence (2000)

    Google Scholar 

  43. 43.

    Hiai, F., Petz, D.: The Golden–Thompson trace inequality is complemented. Linear Algebra Appl. 181(1), 153–185 (1993)

    MathSciNet  MATH  Article  Google Scholar 

  44. 44.

    Koenraad, M., Audenaert, R., Datta, N.: \(\alpha \)-\(z\)-Rényi relative entropies. J. Math. Phys. 56(2), 022202 (2015). arXiv:1310.7178

    ADS  MathSciNet  MATH  Article  Google Scholar 

  45. 45.

    Iten, R., Renes, J.M., Sutter, D.: Pretty good measures in quantum information theory. IEEE Trans. Inf. Theory 63(2), 1270–1279 (2017). arXiv:1608.08229

    MathSciNet  MATH  Article  Google Scholar 

  46. 46.

    Helstrom, C.W.: Quantum detection and estimation theory. J. Stat. Phys. 1, 231–252 (1969)

    ADS  MathSciNet  Article  Google Scholar 

  47. 47.

    Holevo, A.S.: Statistical decision theory for quantum systems. J. Multivar. Anal. 3(4), 337–394 (1973)

    MathSciNet  MATH  Article  Google Scholar 

  48. 48.

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

    Google Scholar 

  49. 49.

    Serafini, A.: Quantum Continuous Variables. CRC Press, Boca Raton (2017)

    Google Scholar 

  50. 50.

    Winter, A.: Energy-constrained diamond norm with applications to the uniform continuity of continuous variable channel capacities. arXiv:1712.10267 (2017)

  51. 51.

    Polyanskiy, Y., Verdú, S.: Arimoto channel coding converse and Rényi divergence. In: Proceedings of the 48th Annual Allerton Conference on Communication, Control, and Computation, pp. 1327–1333 (2010)

  52. 52.

    Sharma, N., Warsi, N.A.: On the strong converses for the quantum channel capacity theorems. arXiv:1205.1712 (2012)

  53. 53.

    Sharma, K., Wilde, M.M., Adhikari, S., Takeoka, M.: Bounding the energy-constrained quantum and private capacities of phase-insensitive Gaussian channels. New J. Phys. 20, 063025 (2018). arXiv:1708.07257

    ADS  Article  Google Scholar 

  54. 54.

    Kitaev, A.Y.: Quantum computations: algorithms and error correction. Russ. Math. Surv. 52(6), 1191–1249 (1997)

    MathSciNet  MATH  Article  Google Scholar 

  55. 55.

    Bennett, C.H., Harrow, A.W., Leung, D.W., Smolin, J.A.: On the capacities of bipartite Hamiltonians and unitary gates. IEEE Trans. Inf. Theory 49(8), 1895–1911 (2003). arXiv:quant-ph/0205057

    MathSciNet  MATH  Article  Google Scholar 

  56. 56.

    Leifer, M.S., Henderson, L., Linden, N.: Optimal entanglement generation from quantum operations. Phys. Rev. A 67(1), 012306 (2003). arXiv:quant-ph/0205055

    ADS  Article  Google Scholar 

  57. 57.

    Kaur, E., Wilde, M.M.: Amortized entanglement of a quantum channel and approximately teleportation-simulable channels. J. Phys. A 51(3), 035303 (2018). arXiv:1707.07721

    ADS  MathSciNet  MATH  Article  Google Scholar 

  58. 58.

    Yuan, X.: Relative entropies of quantum channels with applications in resource theory. Phys. Rev. A 99(3), 032317 (2019). arXiv:1807.05958

    ADS  Article  Google Scholar 

  59. 59.

    Chiribella, G., Ebler, D.: Quantum speedup in the identification of cause-effect relations. Nat. Commun. 10, 1472 (2019). arXiv:1806.06459

    ADS  Article  Google Scholar 

  60. 60.

    Das, S., Wilde, M.M.: Quantum reading capacity: general definition and bounds. IEEE Trans. Inf. Theory 65(11), 7566–7583 (2019). arXiv:1703.03706

    MathSciNet  MATH  Article  Google Scholar 

  61. 61.

    Christandl, M., Müller-Hermes, A.: Relative entropy bounds on quantum, private and repeater capacities. Commun. Math. Phys. 353(2), 821–852 (2017). arXiv:1604.03448

    ADS  MathSciNet  MATH  Article  Google Scholar 

  62. 62.

    Berta, M., Wilde, M.M.: Amortization does not enhance the max-Rains information of a quantum channel. New J. Phys. 20, 053044 (2018). arXiv:1709.04907

    ADS  MathSciNet  Article  Google Scholar 

  63. 63.

    García Díaz, M., Fang, K., Wang, X., Rosati, M., Skotiniotis, M., Calsamiglia, J., Winter, A.: Using and reusing coherence to realize quantum processes. Quantum 2, 100 (2018). arXiv:1805.04045

    Article  Google Scholar 

  64. 64.

    Buscemi, F., Gour, G.: Quantum relative Lorenz curves. Phys. Rev. A 95(1), 012110 (2017). arXiv:1607.05735

    ADS  MathSciNet  Article  Google Scholar 

  65. 65.

    Polyanskiy, Y., Vincent Poor, H., Verdú, S.: Channel coding rate in the finite blocklength regime. IEEE Trans. Inf. Theory 56(5), 2307–2359 (2010)

    MathSciNet  MATH  Article  Google Scholar 

  66. 66.

    Shirokov, M.E.: Energy-constrained diamond norms and their use in quantum information theory. Probl. Inf. Transm. 54, 20–33 (2018). arXiv:1706.00361

    MathSciNet  Article  MATH  Google Scholar 

  67. 67.

    Shirokov, M.E.: Uniform continuity bounds for information characteristics of quantum channels depending on input dimension and on input energy. J. Phys. A Math. Theor. 52(1), 014001 (2016). arXiv:1610.08870

    ADS  MathSciNet  MATH  Article  Google Scholar 

  68. 68.

    Kaur, E., Wilde, M.M.: Upper bounds on secret key agreement over lossy thermal bosonic channels. Phys. Rev. A 96(6), 062318 (2017). arXiv:1706.04590

    ADS  Article  Google Scholar 

  69. 69.

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

    Google Scholar 

  70. 70.

    Coles, P.J., Kaniewski, J., Wehner, S.: Equivalence of wave-particle duality to entropic uncertainty. Nat. Commun. 5(5814), 1–8 (2014). arXiv:1403.4687

    Google Scholar 

  71. 71.

    Wilde, M.M.: Quantum Information Theory, 2nd edn. Cambridge University Press, Cambridge (2017)

    Google Scholar 

  72. 72.

    Kneser, H.: Sur un téorème fondamental de la théorie des jeux. C. R. Acad. Sci. Paris 234, 2418–2420 (1952)

    MathSciNet  MATH  Google Scholar 

  73. 73.

    Fan, K.: Minimax theorems. Proc. Natl. Acad. Sci. U. S. A. 39(1), 42–47 (1953)

    ADS  MathSciNet  MATH  Article  Google Scholar 

  74. 74.

    Hayashi, M.: Error exponent in asymmetric quantum hypothesis testing and its application to classical–quantum channel coding. Phys. Rev. A 76(6), 062301 (2007). arXiv:quant-ph/0611013

    ADS  Article  Google Scholar 

  75. 75.

    Hayashi, M.: Quantum Information: An Introduction. Springer, Berlin (2006)

    Google Scholar 

  76. 76.

    Acin, A.: Statistical distinguishability between unitary operations. Phys. Rev. Lett. 87(17), 177901 (2001). arXiv:quant-ph/0102064

    ADS  Article  Google Scholar 

  77. 77.

    Nielsen, M.A., Chuang, I.L.: Programmable quantum gate arrays. Phys. Rev. Lett. 79(2), 321–324 (1997). arXiv:quant-ph/9703032

    ADS  MathSciNet  MATH  Article  Google Scholar 

  78. 78.

    D’Ariano, G.M., Perinotti, P.: Programmable quantum channels and measurements. In: Workshop on Quantum Information Theory and Quantum Statistical Inference, Tokyo, ERATO Quantum Computation and Information Project. arXiv:quant-ph/0510033 (2005)

  79. 79.

    Demkowicz-Dobrzański, R., Maccone, L.: Using entanglement against noise in quantum metrology. Phys. Rev. Lett. 113(25), 250801 (2014). arXiv:1407.2934

    ADS  Article  Google Scholar 

  80. 80.

    Grassl, M., Beth, T., Pellizzari, T.: Codes for the quantum erasure channel. Phys. Rev. A 56(1), 33–38 (1997). arXiv:quant-ph/9610042

    ADS  MathSciNet  Article  Google Scholar 

  81. 81.

    Pirandola, S., Lupo, C.: Ultimate precision of adaptive quantum metrology. arXiv:1609.02160v2 (2016)

  82. 82.

    Chiribella, G., D’Ariano, G.M., Perinotti, P.: Realization schemes for quantum instruments in finite dimensions. J. Math. Phys. 50(4), 042101 (2009). arXiv:0810.3211

    ADS  MathSciNet  MATH  Article  Google Scholar 

  83. 83.

    Li, K.: Discriminating quantum states: the multiple Chernoff distance. Ann. Stat. 44(4), 1661–1679 (2016). arXiv:1508.06624

    MathSciNet  MATH  Article  Google Scholar 

  84. 84.

    De Palma, G., Borregaard, J.: Minimum error probability of quantum illumination. Phys. Rev. A 98(1), 012101 (2018). arXiv:1802.02158

    ADS  Article  Google Scholar 

  85. 85.

    Lloyd, S.: Enhanced sensitivity of photodetection via quantum illumination. Science 321(5895), 1463–1465 (2008). arXiv:0803.2022

    ADS  Article  Google Scholar 

  86. 86.

    Wilde, M.M., Tomamichel, M., Lloyd, S., Berta, M.: Gaussian hypothesis testing and quantum illumination. Phys. Rev. Lett. 119(12), 120501 (2017). arXiv:1608.06991

    ADS  Article  Google Scholar 

  87. 87.

    Gupta, M., Wilde, M.M.: Multiplicativity of completely bounded \(p\)-norms implies a strong converse for entanglement-assisted capacity. Commun. Math. Phys. 334(2), 867–887 (2015). arXiv:1310.7028

    ADS  MathSciNet  MATH  Article  Google Scholar 

  88. 88.

    Devetak, I., Junge, M., King, C., Ruskai, M.B.: Multiplicativity of completely bounded \(p\)-norms implies a new additivity result. Commun. Math. Phys. 266(1), 37–63 (2006). arXiv:quant-ph/0506196

    ADS  MathSciNet  MATH  Article  Google Scholar 

  89. 89.

    Jenčová, A.: A relation between completely bounded norms and conjugate channels. Commun. Math. Phys. 266(1), 65–70 (2006). arXiv:quant-ph/0601071

    ADS  MathSciNet  Article  Google Scholar 

  90. 90.

    Hastings, M.B.: Superadditivity of communication capacity using entangled inputs. Nat. Phys. 5, 255 (2009)

    Article  Google Scholar 

  91. 91.

    Rastegin, A.E.: Relative error of state-dependent cloning. Phys. Rev. A 66(4), 042304 (2002)

    ADS  Article  Google Scholar 

  92. 92.

    Rastegin, A.E.: A lower bound on the relative error of mixed-state cloning and related operations. J. Opt. B Quantum Semiclass. Opt. 5(6), S647 (2003). arXiv:quant-ph/0208159

    ADS  MathSciNet  Article  Google Scholar 

  93. 93.

    Gilchrist, A., Langford, N.K., Nielsen, M.A.: Distance measures to compare real and ideal quantum processes. Phys. Rev. A 71(6), 062310 (2005). arXiv:quant-ph/0408063

    ADS  Article  Google Scholar 

  94. 94.

    Rastegin, A.E.: Sine distance for quantum states. arXiv:quant-ph/0602112 (2006)

  95. 95.

    Bures, D.: An extension of Kakutani’s theorem on infinite product measures to the tensor product of semifinite \(w^{\ast }\)-algebras. Trans. Am. Math. Soc. 135, 199–212 (1969)

    MathSciNet  MATH  Google Scholar 

  96. 96.

    Fuchs, C.A., Van De Graaf, J.: Cryptographic distinguishability measures for quantum-mechanical states. IEEE Trans. Inf. Theory 45(4), 1216–1227 (1999). arXiv:quant-ph/9712042

    MathSciNet  MATH  Article  Google Scholar 

  97. 97.

    Holevo, A.S.: On quasiequivalence of locally normal states. Theor. Math. Phys. 13(2), 1071–1082 (1972)

    MATH  Article  Google Scholar 

Download references

Acknowledgements

We are grateful to Fernando Brandão, Gilad Gour, Milan Mosonyi, Giacomo de Palma and Andreas Winter for discussions related to the topic of this paper. The authors would like to thank the Isaac Newton Institute for Mathematical Sciences for support and hospitality during the programme “Beyond i.i.d. in information theory,” which was supported by EPSRC Grant Number EP/R014604/1. CH acknowledges support from Spanish MINECO, project FIS2016-80681-P with the support of AEI/FEDER funds and FPI Grant No. BES-2014-068888, as well as by the Generalitat de Catalunya, project CIRIT 2017-SGR-1127. EK acknowledges support from the Office of Naval Research. MMW acknowledges support from the National Science Foundation under Grant No. 1907615. He is also grateful to MB for hosting him for research discussions at Imperial College London during May 2018.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Mark M. Wilde.

Ethics declarations

Conflicts of interest

On behalf of all authors, the corresponding author states that there is no conflict of interest.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Appendices

Appendix A: Amortization does not increase the Hilbert \(\alpha \)-channel divergences

In this appendix, we prove that the Hilbert \(\alpha \)-divergence from [64, Section III] obeys a data-processed triangle inequality, and as a consequence, channel divergences based on it do not increase under amortization. We also remark how other metrics based on quantum fidelity obey a data-processed triangle inequality, and so their corresponding channel divergences do not increase under amortization.

The Hilbert \(\alpha \)-divergence of states \(\rho \) and \(\sigma \) is defined for \(\alpha \ge 1\) as [64, Section III]

$$\begin{aligned} H_{\alpha }(\rho \Vert \sigma )&:=\frac{\alpha }{\alpha -1} \log \sup {}_{\alpha }(\rho /\sigma ) \end{aligned}$$
(A1)
$$\begin{aligned} \sup {}_{\alpha }(\rho /\sigma )&:=\sup _{\alpha ^{-1}I\le \varLambda \le I} \frac{\mathrm{Tr}[\varLambda \rho ]}{\mathrm{Tr}[\varLambda \sigma ]}. \end{aligned}$$
(A2)

It is known that [64, Theorem 1]

$$\begin{aligned} \lim _{\alpha \rightarrow 1}H_{\alpha }(\rho \Vert \sigma )&=\frac{1}{2\ln 2} \left\| \rho -\sigma \right\| _{1}, \end{aligned}$$
(A3)
$$\begin{aligned} \lim _{\alpha \rightarrow \infty }H_{\alpha }(\rho \Vert \sigma )&=D_{\max } (\rho \Vert \sigma ). \end{aligned}$$
(A4)

Here we prove that this quantity obeys a data-processed triangle inequality for all \(\alpha \ge 1\).

Lemma 42

(Data-processed triangle inequality) Let \({\mathcal {P}}_{A\rightarrow B}\) be a positive trace-preserving map, and let \(\rho _{A},\sigma _{A}\in S(A)\) and \(\omega _{B}\in S(B)\). Then the following inequality holds for all \(\alpha \ge 1\):

$$\begin{aligned} H_{\alpha }({\mathcal {P}}_{A\rightarrow B}(\rho _{A})\Vert \omega _{B}) \le H_{\alpha }(\rho _{A}\Vert \sigma _{A})+H_{\alpha }({\mathcal {P}}_{A \rightarrow B}(\sigma _{A})\Vert \omega _{B}). \end{aligned}$$
(A5)

Proof

For \(\alpha =1\), we have that \(\lim _{\alpha \rightarrow 1}H_{\alpha }(\rho \Vert \sigma )=\frac{1}{2\ln 2}\left\| \rho -\sigma \right\| _{1}\), as recalled above. The statement then follows from the usual triangle inequality:

$$\begin{aligned} \left\| {\mathcal {P}}_{A\rightarrow B}(\rho _{A})-\omega _{B}\right\| _{1}&\le \left\| {\mathcal {P}}_{A\rightarrow B}(\rho _{A}) -{\mathcal {P}}_{A\rightarrow B}(\sigma _{A})\right\| _{1} +\left\| {\mathcal {P}}_{A\rightarrow B}(\sigma _{A}) -\omega _{B}\right\| _{1} \end{aligned}$$
(A6)
$$\begin{aligned}&\le \left\| \rho _{A}-\sigma _{A}\right\| _{1} +\left\| {\mathcal {P}}_{A\rightarrow B}(\sigma _{A}) -\omega _{B}\right\| _{1}, \end{aligned}$$
(A7)

and the fact that trace distance is monotone with respect to positive, trace-preserving maps.

To prove the inequality for \(\alpha >1\), let \(\varLambda _{B}\) be an arbitrary operator such that \(\alpha ^{-1}I_{B}\le \varLambda _{B}\le I_{B}\). The map \({\mathcal {P}} _{A\rightarrow B}^{\dag }\) is positive and unital because \({\mathcal {P}} _{A\rightarrow B}\) is positive and trace preserving by assumption. Then \(\alpha ^{-1} I_{A}\le {\mathcal {P}}_{A\rightarrow B}^{\dag }(\varLambda _{B})\le I_{A}\) and

$$\begin{aligned} \frac{\mathrm{Tr}[\varLambda _{B}{\mathcal {P}}_{A\rightarrow B}(\rho _{A})]}{\mathrm{Tr}[\varLambda _{B}\omega _{B}]}&=\frac{\mathrm{Tr}\left[ {\mathcal {P}}_{A\rightarrow B}^{\dag } (\varLambda _{B})(\rho _{A})\right] }{\mathrm{Tr}[\varLambda _{B}\omega _{B}]} \end{aligned}$$
(A8)
$$\begin{aligned}&=\frac{\mathrm{Tr}\left[ {\mathcal {P}}_{A\rightarrow B}^{\dag }(\varLambda _{B}) (\rho _{A})\right] }{\mathrm{Tr}\left[ {\mathcal {P}}_{A\rightarrow B}^{\dag } (\varLambda _{B})(\sigma _{A})\right] }\frac{\mathrm{Tr}\left[ {\mathcal {P}}_{A\rightarrow B}^{\dag } (\varLambda _{B})(\sigma _{A})\right] }{\mathrm{Tr}[\varLambda _{B}\omega _{B}]} \end{aligned}$$
(A9)
$$\begin{aligned}&=\frac{\mathrm{Tr}\left[ {\mathcal {P}}_{A\rightarrow B}^{\dag }(\varLambda _{B}) (\rho _{A})\right] }{\mathrm{Tr}\left[ {\mathcal {P}}_{A\rightarrow B}^{\dag } (\varLambda _{B})(\sigma _{A})\right] }\frac{\mathrm{Tr}[\varLambda _{B}{\mathcal {P}}_{A\rightarrow B} (\sigma _{A})]}{\mathrm{Tr}[\varLambda _{B}\omega _{B}]} \end{aligned}$$
(A10)
$$\begin{aligned}&\le \left( \sup _{\alpha ^{-1}I_{A}\le \varGamma _{A}\le I_{A}}\frac{\mathrm{Tr}[\varGamma _{A} (\rho _{A})]}{\mathrm{Tr}[\varGamma _{A} (\sigma _{A})]}\right) \nonumber \\&\qquad \cdot \left( \sup _{\alpha ^{-1}I_{B}\le \varLambda _{B}\le I_{B}}\frac{\mathrm{Tr}[\varLambda _{B}{\mathcal {P}}_{A\rightarrow B} (\sigma _{A})]}{\mathrm{Tr}[\varLambda _{B}\omega _{B}]}\right) \end{aligned}$$
(A11)
$$\begin{aligned}&=\sup {}_{\alpha }(\rho _{A}/\sigma _{A})\cdot \sup {}_{\alpha } ({\mathcal {P}}_{A\rightarrow B}(\sigma _{A})/\omega _{B}). \end{aligned}$$
(A12)

Since the inequality holds for all \(\varLambda _{B}\) such that \(\alpha ^{-1}I_{B}\le \varLambda _{B}\le I_{B}\), we conclude that

$$\begin{aligned} \sup {}_{\alpha }({\mathcal {P}}_{A\rightarrow B}(\rho _{A})/\omega _{B}) \le \sup {}_{\alpha }(\rho _{A}/\sigma _{A})\cdot \sup {}_{\alpha } ({\mathcal {P}}_{A\rightarrow B}(\sigma _{A})/\omega _{B}). \end{aligned}$$
(A13)

Finally, we take a logarithm and multiply by \(\alpha /\left( \alpha -1\right) \) to conclude the statement of the lemma. \(\square \)

By the same proof that we gave for the max-relative entropy in Proposition 10 and using the fact that the Hilbert \(\alpha \)-divergence is strongly faithful [64, Theorem 1(i)], we conclude that there is an amortization collapse for the Hilbert \(\alpha \)-divergence of quantum channels. As special case, we conclude that the diamond norm of the difference of two channels does not increase under amortization.

Proposition 43

Let \({\mathcal {N}}_{A\rightarrow B},{\mathcal {M}}_{A\rightarrow B}\in {\mathcal {Q}}(A\rightarrow B)\). Then for all \(\alpha \ge 1\), we have the following amortization collapse:

$$\begin{aligned} H_{\alpha }^{{\mathcal {A}}}({\mathcal {N}}\Vert {\mathcal {M}}) =H_{\alpha }({\mathcal {N}}\Vert {\mathcal {M}}). \end{aligned}$$
(A14)

We can establish related results for the c-distance and the Bures distance of quantum states, both of which are based on the quantum fidelity. For states \(\rho \) and \(\sigma \), the c-distance [91,92,93,94] and Bures distance [95] are, respectively, defined as

$$\begin{aligned} c(\rho ,\sigma ) :=\sqrt{1-F(\rho ,\sigma )}, \qquad B(\rho \Vert \sigma ) :=\sqrt{2\left( 1-\sqrt{F(\rho ,\sigma )}\right) }. \end{aligned}$$
(A15)

(In the above and what follows, we use the notation \(c(\rho ,\sigma )\) for c-distance in order to differentiate this quantity from the Chernoff divergence \(C(\rho \Vert \sigma )\).) The same proof as in (A6)–(A7), along with the fact that the quantum fidelity is monotone with respect to positive, trace-preserving maps [7, Corollary A.5], implies that the following data-processed triangle inequalities hold:

Lemma 44

(Data-processed triangle inequalities) Let \({\mathcal {P}}_{A\rightarrow B}\) be a positive trace-preserving map, and let \(\rho _{A},\sigma _{A}\in S(A)\) and \(\omega _{B}\in S(B)\). Then the following inequalities hold:

$$\begin{aligned} c({\mathcal {P}}_{A\rightarrow B}(\rho _{A}),\omega _{B})&\le c(\rho _{A},\sigma _{A})+c({\mathcal {P}}_{A\rightarrow B} (\sigma _{A}),\omega _{B}), \end{aligned}$$
(A16)
$$\begin{aligned} B({\mathcal {P}}_{A\rightarrow B}(\rho _{A})\Vert \omega _{B})&\le B(\rho _{A}\Vert \sigma _{A})+B({\mathcal {P}}_{A\rightarrow B} (\sigma _{A})\Vert \omega _{B}). \end{aligned}$$
(A17)

By the same reasoning as above, we then conclude that the induced channel divergences do not increase under amortization:

Proposition 45

Let \({\mathcal {N}}_{A\rightarrow B},{\mathcal {M}}_{A\rightarrow B}\in {\mathcal {Q}}(A\rightarrow B)\). Then we have the following amortization collapses:

$$\begin{aligned} c^{{\mathcal {A}}}({\mathcal {N}},{\mathcal {M}})=c({\mathcal {N}},{\mathcal {M}}), \qquad B^{{\mathcal {A}}}({\mathcal {N}}\Vert {\mathcal {M}}) =B({\mathcal {N}}\Vert {\mathcal {M}}). \end{aligned}$$
(A18)

Appendix B: Generalized Fuchs–van-de-Graaf inequality

A well-known inequality in quantum information theory is the following Fuchs-van-de-Graaf inequality [96]:

$$\begin{aligned} \frac{1}{2}\left\| \rho -\sigma \right\| _{1}\le \sqrt{1-F(\rho ,\sigma )}, \end{aligned}$$
(B1)

which holds for density operators \(\rho \) and \(\sigma \), and \(F(\rho ,\sigma ):=\Vert \sqrt{\rho }\sqrt{\sigma } \Vert _{1}^{2}\). The following lemma, proved in [70, Supplementary Lemma 3], generalizes this relation to the case of positive semi-definite operators A and B, and it also represents a tighter bound than that given in [6, Theorem 7]. (Note that [6, Theorem 7] generalizes one of the inequalities in [97, Equation (1)] to positive semi-definite operators.) The proof of Lemma 46 that we give below is very similar to the proof of Theorem 7 of [6], but it features a minor change in the reasoning. The proof is also different from that given in [70, Supplementary Lemma 3].

Lemma 46

([70]) For positive semi-definite, trace class operators A and B acting on a separable Hilbert space, we have that

$$\begin{aligned} \left\| A-B\right\| _{1}^{2}+4\left\| A^{1/2}B^{1/2}\right\| _{1}^{2} \le \big (\mathrm{Tr}[A+B]\big )^2. \end{aligned}$$
(B2)

Proof

For convenience, we give a complete proof and follow the proof of Theorem 7 of [6] quite closely. Consider two general operators P and Q, and define their sum and difference as \(S=P+Q\) and \(D=P-Q\). Then \(P=\left( S+D\right) /2\) and \(Q=\left( S-D\right) /2\). Consider that

$$\begin{aligned} PP^{\dag }-QQ^{\dag }&=\frac{1}{4}\left( \left( S+D\right) \left( S+D\right) ^{\dag }-\left( S-D\right) \left( S-D\right) ^{\dag }\right) \end{aligned}$$
(B3)
$$\begin{aligned}&=\frac{1}{2}\left( SD^{\dag }+DS^{\dag }\right) . \end{aligned}$$
(B4)

Then, we have

$$\begin{aligned} \left\| PP^{\dag }-QQ^{\dag }\right\| _{1}&=\frac{1}{2} \left\| SD^{\dag }+DS^{\dag }\right\| _{1} \end{aligned}$$
(B5)
$$\begin{aligned}&\le \frac{1}{2}\left( \left\| SD^{\dag }\right\| _{1} +\left\| DS^{\dag }\right\| _{1}\right) \end{aligned}$$
(B6)
$$\begin{aligned}&=\left\| SD^{\dag }\right\| _{1} \end{aligned}$$
(B7)
$$\begin{aligned}&\le \left\| S\right\| _{2}\left\| D\right\| _{2}. \end{aligned}$$
(B8)

Now pick \(P=A^{1/2}U\) and \(Q=B^{1/2}\), where U is an arbitrary unitary. Then \(S,D=A^{1/2}U\pm B^{1/2}\), and we find that

$$\begin{aligned} \left\| A-B\right\| _{1}\le \left\| A^{1/2}U+B^{1/2}\right\| _{2} \left\| A^{1/2}U-B^{1/2}\right\| _{2}. \end{aligned}$$
(B9)

Squaring this gives

$$\begin{aligned}&\left\| A-B\right\| _{1}^{2}\nonumber \\&\quad \le \left\| A^{1/2}U+B^{1/2}\right\| _{2}^{2} \left\| A^{1/2}U-B^{1/2}\right\| _{2}^{2} \end{aligned}$$
(B10)
$$\begin{aligned}&\quad =\mathrm{Tr}\Big [\left( A^{1/2}U+B^{1/2}\right) ^{\dag }\left( A^{1/2}U+B^{1/2}\right) \Big ] \cdot \mathrm{Tr}\Big [\left( A^{1/2}U-B^{1/2}\right) ^{\dag }\left( A^{1/2}U-B^{1/2}\right) \Big ] \end{aligned}$$
(B11)
$$\begin{aligned}&\quad =\mathrm{Tr}\Big [A+B+B^{1/2}A^{1/2}U+U^{\dag }A^{1/2}B^{1/2} \Big ]\cdot \mathrm{Tr}\Big [A+B-B^{1/2}A^{1/2}U-U^{\dag }A^{1/2}B^{1/2}\Big ] \end{aligned}$$
(B12)
$$\begin{aligned}&\quad =\left( \mathrm{Tr}[A+B]+2\mathrm{Re}\Big \{\mathrm{Tr}\Big [B^{1/2}A^{1/2}\Big ]\Big \}\right) \Big (\mathrm{Tr}[A+B]-2\mathrm{Re}\Big \{\mathrm{Tr}\Big [B^{1/2}A^{1/2}U\big ]\Big \}\Big ) \end{aligned}$$
(B13)
$$\begin{aligned}&\quad =\left( \mathrm{Tr}[A+B]\right) ^{2}-4\left( \mathrm{Re}\Big \{\mathrm{Tr} \Big [B^{1/2}A^{1/2}U\Big ]\Big \}\right) ^{2}. \end{aligned}$$
(B14)

Note that the unitary U in the above is arbitrary. So we can finally pick the unitary U to be the operator from the polar decomposition of \(B^{1/2}A^{1/2}\) as

$$\begin{aligned} B^{1/2}A^{1/2}U=\sqrt{B^{1/2}AB^{1/2}}. \end{aligned}$$
(B15)

Then, we get

$$\begin{aligned} \left\| A-B\right\| _{1}^{2}&\le \left( \mathrm{Tr}[A+B]\right) ^{2} -4\left( \mathrm{Re}\Big \{\mathrm{Tr}\Big [\sqrt{B^{1/2}AB^{1/2}}\Big ]\Big \}\right) ^{2} \end{aligned}$$
(B16)
$$\begin{aligned}&=\left( \mathrm{Tr}[A+B]\right) ^{2}-4\left\| A^{1/2}B^{1/2}\right\| _{1}^{2} \end{aligned}$$
(B17)

and the proof is concluded. \(\square \)

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Wilde, M.M., Berta, M., Hirche, C. et al. Amortized channel divergence for asymptotic quantum channel discrimination. Lett Math Phys (2020). https://doi.org/10.1007/s11005-020-01297-7

Download citation

Keywords

  • Quantum channel discrimination
  • Amortized channel divergence
  • Error exponent
  • Strong converse exponent

Mathematics Subject Classification

  • 81P17
  • 81P47
  • 81P18