Matrix analysis and quantum information

Hiai, Fumio

doi:10.1090/suga/417

Matrix analysis and quantum information
HTML articles powered by AMS MathViewer

by Fumio Hiai
Translated by: Fumio Hiai

Sugaku Expositions 30 (2017), 35-63

DOI: https://doi.org/10.1090/suga/417

Published electronically: March 17, 2017

PDF | Request permission

Abstract:

This survey article treats, by highlighting the role of matrix analysis, some topics from quantum information, mostly related to quantum (relative) entropies and divergences.

References

Luigi Accardi and Volkmar Liebscher, Markovian KMS-states for one-dimensional spin chains, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 2 (1999), no. 4, 645–661. MR 1810817, DOI 10.1142/S0219025799000369
R. Alicki and M. Fannes, Continuity of quantum conditional information, J. Phys. A 37 (2004), no. 5, L55–L57. MR 2043448, DOI 10.1088/0305-4470/37/5/L01
T. Ando, Topics on operator inequalities, Hokkaido University, Research Institute of Applied Electricity, Division of Applied Mathematics, Sapporo, 1978. MR 0482378
T. Ando, Concavity of certain maps on positive definite matrices and applications to Hadamard products, Linear Algebra Appl. 26 (1979), 203–241. MR 535686, DOI 10.1016/0024-3795(79)90179-4
Tsuyoshi Ando and Fumio Hiai, Operator log-convex functions and operator means, Math. Ann. 350 (2011), no. 3, 611–630. MR 2805638, DOI 10.1007/s00208-010-0577-4
Huzihiro Araki, Relative entropy of states of von Neumann algebras, Publ. Res. Inst. Math. Sci. 11 (1975/76), no. 3, 809–833. MR 0425631, DOI 10.2977/prims/1195191148
Huzihiro Araki and Elliott H. Lieb, Entropy inequalities, Comm. Math. Phys. 18 (1970), 160–170. MR 266563
Koenraad M. R. Audenaert, A sharp continuity estimate for the von Neumann entropy, J. Phys. A 40 (2007), no. 28, 8127–8136. MR 2344161, DOI 10.1088/1751-8113/40/28/S18
K. M. R. Audenaert, J. Calsamiglia, R. Muñoz-Tapia, E. Bagan, Ll. Masanes, A. Acin and F. Verstraete, Discriminating states: The quantum Chernoff bound, Phys. Rev. Lett. 98 (2007), 160501.
K. M. R. Audenaert, M. Nussbaum, A. Szkoła, and F. Verstraete, Asymptotic error rates in quantum hypothesis testing, Comm. Math. Phys. 279 (2008), no. 1, 251–283. MR 2377635, DOI 10.1007/s00220-008-0417-5
Julius Bendat and Seymour Sherman, Monotone and convex operator functions, Trans. Amer. Math. Soc. 79 (1955), 58–71. MR 82655, DOI 10.1090/S0002-9947-1955-0082655-4
Rajendra Bhatia, Matrix analysis, Graduate Texts in Mathematics, vol. 169, Springer-Verlag, New York, 1997. MR 1477662, DOI 10.1007/978-1-4612-0653-8
Rajendra Bhatia, Positive definite matrices, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ, 2007. MR 2284176
Man Duen Choi, Completely positive linear maps on complex matrices, Linear Algebra Appl. 10 (1975), 285–290. MR 376726, DOI 10.1016/0024-3795(75)90075-0
Man Duen Choi, Positive semidefinite biquadratic forms, Linear Algebra Appl. 12 (1975), no. 2, 95–100. MR 379365, DOI 10.1016/0024-3795(75)90058-0
Matthias Christandl and Andreas Winter, “Squashed entanglement”: an additive entanglement measure, J. Math. Phys. 45 (2004), no. 3, 829–840. MR 2036165, DOI 10.1063/1.1643788
William F. Donoghue Jr., Monotone matrix functions and analytic continuation, Die Grundlehren der mathematischen Wissenschaften, Band 207, Springer-Verlag, New York-Heidelberg, 1974. MR 0486556
M. Fannes, A continuity property of the entropy density for spin lattice systems, Comm. Math. Phys. 31 (1973), 291–294. MR 345574
Uwe Franz, Fumio Hiai, and Éric Ricard, Higher order extension of Löwner’s theory: operator $k$-tone functions, Trans. Amer. Math. Soc. 366 (2014), no. 6, 3043–3074. MR 3180739, DOI 10.1090/S0002-9947-2014-05942-4
Christopher A. Fuchs and Jeroen van de Graaf, Cryptographic distinguishability measures for quantum-mechanical states, IEEE Trans. Inform. Theory 45 (1999), no. 4, 1216–1227. MR 1686254, DOI 10.1109/18.761271
Frank Hansen, Trace functions as Laplace transforms, J. Math. Phys. 47 (2006), no. 4, 043504, 11. MR 2226341, DOI 10.1063/1.2186925
Frank Hansen, The fast track to Löwner’s theorem, Linear Algebra Appl. 438 (2013), no. 11, 4557–4571. MR 3034551, DOI 10.1016/j.laa.2013.01.022
Frank Hansen and Gert Kjærgård Pedersen, Jensen’s inequality for operators and Löwner’s theorem, Math. Ann. 258 (1982), no. 3, 229–241. MR 1513286, DOI 10.1007/BF01450679
Masahito Hayashi, Quantum information, Springer-Verlag, Berlin, 2006. An introduction; Translated from the 2003 Japanese original. MR 2228302
M. Hayashi, Error exponent in asymmetric quantum hypothesis testing and its application to classical-quantum channel coding, Phys. Rev. A 76 (2007), 062301.
Patrick Hayden, Richard Jozsa, Dénes Petz, and Andreas Winter, Structure of states which satisfy strong subadditivity of quantum entropy with equality, Comm. Math. Phys. 246 (2004), no. 2, 359–374. MR 2048562, DOI 10.1007/s00220-004-1049-z
Fumio Hiai, Matrix analysis: matrix monotone functions, matrix means, and majorization, Interdiscip. Inform. Sci. 16 (2010), no. 2, 139–248. MR 2761752, DOI 10.4036/iis.2010.139
Fumio Hiai, Milán Mosonyi, and Masahito Hayashi, Quantum hypothesis testing with group symmetry, J. Math. Phys. 50 (2009), no. 10, 103304, 31. MR 2573132, DOI 10.1063/1.3234186
Fumio Hiai, Milán Mosonyi, and Tomohiro Ogawa, Large deviations and Chernoff bound for certain correlated states on a spin chain, J. Math. Phys. 48 (2007), no. 12, 123301, 19. MR 2377831, DOI 10.1063/1.2812417
Fumio Hiai, Milán Mosonyi, and Tomohiro Ogawa, Error exponents in hypothesis testing for correlated states on a spin chain, J. Math. Phys. 49 (2008), no. 3, 032112, 22. MR 2406780, DOI 10.1063/1.2872276
Fumio Hiai, Milán Mosonyi, Dénes Petz, and Cédric Bény, Quantum $f$-divergences and error correction, Rev. Math. Phys. 23 (2011), no. 7, 691–747. MR 2826462, DOI 10.1142/S0129055X11004412
Fumio Hiai, Masanori Ohya, and Makoto Tsukada, Sufficiency, KMS condition and relative entropy in von Neumann algebras, Pacific J. Math. 96 (1981), no. 1, 99–109. MR 634765
Fumio Hiai and Dénes Petz, The proper formula for relative entropy and its asymptotics in quantum probability, Comm. Math. Phys. 143 (1991), no. 1, 99–114. MR 1139426
MichałHorodecki, Entanglement measures, Quantum Inf. Comput. 1 (2001), no. 1, 3–26. MR 1910008
MichałHorodecki, PawełHorodecki, and Ryszard Horodecki, Separability of mixed states: necessary and sufficient conditions, Phys. Lett. A 223 (1996), no. 1-2, 1–8. MR 1421501, DOI 10.1016/S0375-9601(96)00706-2
V. Jakšić, Y. Ogata, Y. Pautrat and C.-A. Pillet, Entropic fluctuations in quantum statistical mechanics. an introduction, in: Quantum Theory from Small to Large Scales (École de Physique des Houches Session XCV 2010), J. Fröhlich et al. (eds.), Oxford University Press, 2012.
A. Jamiołkowski, Linear transformations which preserve trace and positive semidefiniteness of operators, Rep. Mathematical Phys. 3 (1972), no. 4, 275–278. MR 342537, DOI 10.1016/0034-4877(72)90011-0
Anna Jenčová and Dénes Petz, Sufficiency in quantum statistical inference, Comm. Math. Phys. 263 (2006), no. 1, 259–276. MR 2207329, DOI 10.1007/s00220-005-1510-7
Anna Jenčová and Dénes Petz, Sufficiency in quantum statistical inference. A survey with examples, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 9 (2006), no. 3, 331–351. MR 2256497, DOI 10.1142/S0219025706002408
Anna Jenčová, Dénes Petz, and József Pitrik, Markov triplets on CCR-algebras, Acta Sci. Math. (Szeged) 76 (2010), no. 1-2, 111–134. MR 2668410
G. Kimura, T. Miyadera and H. Imai, Optimal state discrimination in general probabilistic theories, Phys. Rev. A 79 (2009), 062306.
Hideki Kosaki, Interpolation theory and the Wigner-Yanase-Dyson-Lieb concavity, Comm. Math. Phys. 87 (1982/83), no. 3, 315–329. MR 682110
Hideki Kosaki, Relative entropy of states: a variational expression, J. Operator Theory 16 (1986), no. 2, 335–348. MR 860352
Fritz Kraus, Über konvexe Matrixfunktionen, Math. Z. 41 (1936), no. 1, 18–42 (German). MR 1545602, DOI 10.1007/BF01180403
K. Kraus, General state changes in quantum theory, Ann. Physics 64 (1971), 311–335. MR 292434, DOI 10.1016/0003-4916(71)90108-4
Seung-Hyeok Kye, Facial structures for various notions of positivity and applications to the theory of entanglement, Rev. Math. Phys. 25 (2013), no. 2, 1330002, 52. MR 3040810, DOI 10.1142/S0129055X13300021
Elliott H. Lieb, Convex trace functions and the Wigner-Yanase-Dyson conjecture, Advances in Math. 11 (1973), 267–288. MR 332080, DOI 10.1016/0001-8708(73)90011-X
Elliott H. Lieb and Mary Beth Ruskai, Proof of the strong subadditivity of quantum-mechanical entropy, J. Mathematical Phys. 14 (1973), 1938–1941. With an appendix by B. Simon. MR 345558, DOI 10.1063/1.1666274
Karl Löwner, Über monotone Matrixfunktionen, Math. Z. 38 (1934), no. 1, 177–216 (German). MR 1545446, DOI 10.1007/BF01170633
Milán Mosonyi, Hypothesis testing for Gaussian states on bosonic lattices, J. Math. Phys. 50 (2009), no. 3, 032105, 17. MR 2510896, DOI 10.1063/1.3085759
Milán Mosonyi and Fumio Hiai, On the quantum Rényi relative entropies and related capacity formulas, IEEE Trans. Inform. Theory 57 (2011), no. 4, 2474–2487. MR 2809103, DOI 10.1109/TIT.2011.2110050
Milán Mosonyi, Fumio Hiai, Tomohiro Ogawa, and Mark Fannes, Asymptotic distinguishability measures for shift-invariant quasifree states of fermionic lattice systems, J. Math. Phys. 49 (2008), no. 7, 072104, 11. MR 2432028, DOI 10.1063/1.2953473
H. Nagaoka, The converse part of the theorem for quantum Hoeffding bound, Preprint, 2006 (arXiv:quant-ph/0611289).
Michael A. Nielsen and Isaac L. Chuang, Quantum computation and quantum information, Cambridge University Press, Cambridge, 2000. MR 1796805
Michael Nussbaum and Arleta Szkoła, The Chernoff lower bound for symmetric quantum hypothesis testing, Ann. Statist. 37 (2009), no. 2, 1040–1057. MR 2502660, DOI 10.1214/08-AOS593
Yoshiko Ogata, A generalization of Powers-Størmer inequality, Lett. Math. Phys. 97 (2011), no. 3, 339–346. MR 2826816, DOI 10.1007/s11005-011-0504-y
Tomohiro Ogawa and Hiroshi Nagaoka, Strong converse and Stein’s lemma in quantum hypothesis testing, IEEE Trans. Inform. Theory 46 (2000), no. 7, 2428–2433. MR 1806811, DOI 10.1109/18.887855
Hiromichi Ohno, Translation-invariant quantum Markov states, The Proceedings of the Second Sendai Workshop on Quantum Probability and Quantum Information, 2004, pp. 53–58. MR 2062192, DOI 10.4036/iis.2004.53
Masanori Ohya and Dénes Petz, Quantum entropy and its use, Texts and Monographs in Physics, Springer-Verlag, Berlin, 1993. MR 1230389, DOI 10.1007/978-3-642-57997-4
Hiroyuki Osaka, A class of extremal positive maps in $3\times 3$ matrix algebras, Publ. Res. Inst. Math. Sci. 28 (1992), no. 5, 747–756. MR 1195997, DOI 10.2977/prims/1195167934
Vern Paulsen, Completely bounded maps and operator algebras, Cambridge Studies in Advanced Mathematics, vol. 78, Cambridge University Press, Cambridge, 2002. MR 1976867
Asher Peres, Separability criterion for density matrices, Phys. Rev. Lett. 77 (1996), no. 8, 1413–1415. MR 1401726, DOI 10.1103/PhysRevLett.77.1413
Dénes Petz, Quasientropies for states of a von Neumann algebra, Publ. Res. Inst. Math. Sci. 21 (1985), no. 4, 787–800. MR 817164, DOI 10.2977/prims/1195178929
Dénes Petz, Quasi-entropies for finite quantum systems, Rep. Math. Phys. 23 (1986), no. 1, 57–65. MR 868631, DOI 10.1016/0034-4877(86)90067-4
Dénes Petz, Sufficiency of channels over von Neumann algebras, Quart. J. Math. Oxford Ser. (2) 39 (1988), no. 153, 97–108. MR 929798, DOI 10.1093/qmath/39.1.97
Dénes Petz, Monotonicity of quantum relative entropy revisited, Rev. Math. Phys. 15 (2003), no. 1, 79–91. MR 1961186, DOI 10.1142/S0129055X03001576
Dénes Petz, Quantum information theory and quantum statistics, Theoretical and Mathematical Physics, Springer-Verlag, Berlin, 2008. MR 2363070
Mary Beth Ruskai, Inequalities for quantum entropy: a review with conditions for equality, J. Math. Phys. 43 (2002), no. 9, 4358–4375. Quantum information theory. MR 1924445, DOI 10.1063/1.1497701
W. Forrest Stinespring, Positive functions on $C^*$-algebras, Proc. Amer. Math. Soc. 6 (1955), 211–216. MR 69403, DOI 10.1090/S0002-9939-1955-0069403-4
Barbara Synak-Radtke and MichałHorodecki, On asymptotic continuity of functions of quantum states, J. Phys. A 39 (2006), no. 26, L423–L437. MR 2238498, DOI 10.1088/0305-4470/39/26/L02
Kôtarô Tanahashi and Jun Tomiyama, Indecomposable positive maps in matrix algebras, Canad. Math. Bull. 31 (1988), no. 3, 308–317. MR 956361, DOI 10.4153/CMB-1988-044-4
Jun Tomiyama, On the geometry of positive maps in matrix algebras. II, Linear Algebra Appl. 69 (1985), 169–177. MR 798371, DOI 10.1016/0024-3795(85)90074-6
A. Uhlmann, The “transition probability” in the state space of a $^*$-algebra, Rep. Mathematical Phys. 9 (1976), no. 2, 273–279. MR 423089, DOI 10.1016/0034-4877(76)90060-4
A. Uhlmann, Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity in an interpolation theory, Comm. Math. Phys. 54 (1977), no. 1, 21–32. MR 479224
Hisaharu Umegaki, Conditional expectation in an operator algebra. IV. Entropy and information, K\B{o}dai Math. Sem. Rep. 14 (1962), 59–85. MR 142006
R. F. Werner, Quantum states with Einstein-Podolsky-Rosen correlations admitting a hidden-variable model, Phys. Rev. A 40 (1989), 4277–4281.
E. P. Wigner and Mutsuo M. Yanase, Information contents of distributions, Proc. Nat. Acad. Sci. U.S.A. 49 (1963), 910–918. MR 151127, DOI 10.1073/pnas.49.6.910
S. L. Woronowicz, Positive maps of low dimensional matrix algebras, Rep. Math. Phys. 10 (1976), no. 2, 165–183. MR 573218, DOI 10.1016/0034-4877(76)90038-0
Deping Ye, On the Bures volume of separable quantum states, J. Math. Phys. 50 (2009), no. 8, 083502, 14. MR 2554430, DOI 10.1063/1.3187216
K. M. R. Audenaert and N. Datta, $\alpha$-$z$-Rényi relative entropies, J. Math. Phys. 56 (2015), 022202.
S. Beigi, Sandwiched Rényi divergence satisfies data processing inequality, J. Math. Phys. 54 (2013), 122202.
E. A. Carlen, R. L. Frank and E. H. Lieb, Some operator and trace function convexity theorems, Linear Algebra Appl. 490 (2016), 174–185.
R. L. Frank and E. H. Lieb, Monotonicity of a relative Rényi entropy, J. Math. Phys. 54 (2013), 122201.
F. Hiai, Concavity of certain matrix trace and norm functions, Linear Algebra Appl. 439 (2013), 1568–1589.
F. Hiai and M. Mosonyi, Different quantum $f$-divergences and the reversibility of quantum operations, arXiv:1604.03089.
A. Jenčová, Reversibility conditions for quantum operations, Rev. Math. Phys. 24 (2012), 1250016, 26 pp.
A. Jenčová, Preservation of a quantum Rényi relative entropy implies existence of a recovery map, J. Phys. A: Math. Theor., to appear, 18 pp.
F. Leditzky, C. Rouzé and N. Datta, Data processing for the sandwiched Rényi divergence: a condition for equality, Lett. Math. Phys., published online: 15 November 2016, 20 pp.
M. Mosonyi and T. Ogawa, Quantum hypothesis testing and the operational interpretation of the quantum Rényi relative entropies, Comm. Math. Phys. 334 (2015), 1617–1648.
M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr and M. Tomamichel, On quantum Rényi entropies: A new generalization and some properties, J. Math. Phys. 54 (2013), 122203.
M. M. Wilde, A. Winter and D. Yang, Strong converse for the classical capacity of entanglement-breaking and Hadamard channels via a sandwiched Rényi relative entropy, Comm. Math. Phys. 331 (2014), 593–622.
Y. Yang, D. H. Leung and W.-S. Tang, All $2$-positive linear maps from $M_3(\mathbb {C})$ to $M_3(\mathbb {C})$ are decomposable, Linear Algebra Appl., 503 (2016), 233–247.