Monotonicity of quantum relative entropy and recoverability

The relative entropy is a principal measure of distinguishability in quantum information theory, with its most important property being that it is non-increasing with respect to noisy quantum operations. Here, we establish a remainder term for this inequality that quantifies how well one can recover from a loss of information by employing a rotated Petz recovery map. The main approach for proving this refinement is to combine the methods of [Fawzi and Renner, arXiv:1410.0664] with the notion of a relative typical subspace from [Bjelakovic and Siegmund-Schultze, arXiv:quant-ph/0307170]. Our paper constitutes partial progress towards a remainder term which features just the Petz recovery map (not a rotated Petz map), a conjecture which would have many consequences in quantum information theory. A well known result states that the monotonicity of relative entropy with respect to quantum operations is equivalent to each of the following inequalities: strong subadditivity of entropy, concavity of conditional entropy, joint convexity of relative entropy, and monotonicity of relative entropy with respect to partial trace. We show that this equivalence holds true for refinements of all these inequalities in terms of the Petz recovery map. So either all of these refinements are true or all are false.

[1]  R. Renner,et al.  Quantum Conditional Mutual Information and Approximate Markov Chains , 2014, Communications in Mathematical Physics.

[2]  Prabha Mandayam,et al.  Simple approach to approximate quantum error correction based on the transpose channel , 2009, 0909.0931.

[3]  F. Brandão,et al.  Faithful Squashed Entanglement , 2010, 1010.1750.

[4]  Elliott H. Lieb,et al.  A Fundamental Property of Quantum-Mechanical Entropy , 1973 .

[5]  Benjamin Schumacher,et al.  Approximate Quantum Error Correction , 2002, Quantum Inf. Process..

[6]  D. Petz.  Sufficient subalgebras and the relative entropy of states of a von Neumann algebra , 1986 .

[7]  E. Knill,et al.  Reversing quantum dynamics with near-optimal quantum and classical fidelity , 2000, quant-ph/0004088.

[8]  Mario Berta,et al.  Rényi squashed entanglement, discord, and relative entropy differences , 2014, ArXiv.

[9]  R. Bhatia.  Matrix Analysis , 1996 .

[10]  Andreas Winter,et al.  Relative Entropy and Squashed Entanglement , 2012, 1210.3181.

[11]  Tomohiro Ogawa,et al.  Strong converse and Stein's lemma in quantum hypothesis testing , 2000, IEEE Trans. Inf. Theory.

[12]  Lin Zhang.  A Strengthened Monotonicity Inequality of Quantum Relative Entropy: A Unifying Approach Via Rényi Relative Entropy , 2014, 1403.5343.

[13]  Jon Tyson,et al.  Two-sided bounds on minimum-error quantum measurement, on the reversibility of quantum dynamics, and on maximum overlap using directional iterates , 2009, 0907.3386.

[14]  W. Stinespring.  Positive functions on *-algebras , 1955 .

[15]  Mark M Wilde,et al.  Multipartite quantum correlations and local recoverability , 2014, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[16]  Imre Csisźar,et al.  The Method of Types , 1998, IEEE Trans. Inf. Theory.

[17]  H. Nagaoka,et al.  Strong Converse and Stein's Lemma in the Quantum Hypothesis Testing , 1999, quant-ph/9906090.

[18]  Igor Bjelakovic,et al.  Quantum Stein's lemma revisited, inequalities for quantum entropies, and a concavity theorem of Lieb , 2003, quant-ph/0307170.

[19]  Marco Tomamichel,et al.  Strengthened monotonicity of relative entropy via pinched Petz recovery map , 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

[20]  Andreas Winter,et al.  Squashed Entanglement, $$\mathbf {k}$$k-Extendibility, Quantum Markov Chains, and Recovery Maps , 2014, 1410.4184.

[21]  Mark M. Wilde,et al.  Recoverability in quantum information theory , 2015, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[22]  Junde Wu,et al.  A lower bound of quantum conditional mutual information , 2014, 1403.1424.

[23]  Prabha Mandayam,et al.  Towards a unified framework for approximate quantum error correction , 2012, 1202.5139.

[24]  G. Lindblad.  Completely positive maps and entropy inequalities , 1975 .

[25]  Andreas J. Winter,et al.  Coding theorem and strong converse for quantum channels , 1999, IEEE Trans. Inf. Theory.

[26]  D. Bures.  An extension of Kakutani’s theorem on infinite product measures to the tensor product of semifinite *-algebras , 1969 .

[27]  E. Lieb,et al.  Remainder terms for some quantum entropy inequalities , 2014, 1402.3840.

[28]  A. Uhlmann.  Relative entropy and the Wigner-Yanase-Dyson-Lieb concavity in an interpolation theory , 1977 .

[29]  W. Hoeffding.  Probability Inequalities for sums of Bounded Random Variables , 1963 .

[30]  A. Uhlmann.  The "transition probability" in the state space of a ∗-algebra , 1976 .

[31]  T. Sagawa.  Second Law-Like Inequalities with Quantum Relative Entropy: An Introduction , 2012, 1202.0983.

[32]  H. Umegaki.  Conditional expectation in an operator algebra. IV. Entropy and information , 1962 .

[33]  Mark M. Wilde,et al.  Fidelity of recovery, geometric squashed entanglement, and measurement recoverability , 2014, 1410.1441.

[34]  Aram W. Harrow,et al.  Strengthened monotonicity of relative entropy via pinched Petz recovery map , 2015, 2016 IEEE International Symposium on Information Theory (ISIT).

[35]  M. Ruskai.  Inequalities for quantum entropy: A review with conditions for equality , 2002, quant-ph/0205064.

[36]  V. Vedral.  The role of relative entropy in quantum information theory , 2001, quant-ph/0102094.

[37]  O. F. Cook.  The Method of Types , 1898 .

[38]  F. Hiai,et al.  The proper formula for relative entropy and its asymptotics in quantum probability , 1991 .

[39]  D. Petz.  SUFFICIENCY OF CHANNELS OVER VON NEUMANN ALGEBRAS , 1988 .

[40]  Mario Berta,et al.  Renyi generalizations of the conditional quantum mutual information , 2014, ArXiv.

[41]  A. Winter,et al.  Communications in Mathematical Physics Structure of States Which Satisfy Strong Subadditivity of Quantum Entropy with Equality , 2022 .