Abstract
Let \(S(\rho )\) be the von Neumann entropy of a density matrix \(\rho \). Weak monotonicity asserts that \(S(\rho _{AB}) - S(\rho _A) + S(\rho _{BC}) - S(\rho _C)\ge 0\) for any tripartite density matrix \(\rho _{ABC}\), a fact that is equivalent to the strong subadditivity of entropy. We prove an operator inequality, which, upon taking an expectation value with respect to the state \(\rho _{ABC}\), reduces to the weak monotonicity inequality. Generalizations of this inequality to the one involving two independent density matrices, as well as their Rényi-generalizations, are also presented.
Similar content being viewed by others
References
Lieb, E.H., Ruskai, M.B.: Proof of the strong subadditivity of quantum-mechanical entropy. J. Math. Phys. 14(12), 1938–1941 (1973)
Löwner, K.: Über monotone matrixfunktionen. Math. Z. 38(1), 177–216 (1934)
Carlen, E.: Trace inequalities and quantum entropy: an introductory course. Entropy Quantum 529, 73–140 (2010)
Borchers, H.J.: On revolutionizing quantum field theory with Tomita’s modular theory. J. Math. Phys. 41(6), 3604–3673 (2000)
Witten, E.: Aps medal for exceptional achievement in research: invited article on entanglement properties of quantum field theory. Rev. Mod. Phys. 90(4), 045003 (2018)
Carlen, E.A., Lieb, E.H.: Bounds for entanglement via an extension of strong subadditivity of entropy. Lett. Math. Phys. 101(1), 1–11 (2012)
Kim, I.H.: Operator extension of strong subadditivity of entropy. J. Math. Phys. 53(12), 122204 (2012)
Ruskai, M.B.: Remarks on Kim’s strong subadditivity matrix inequality: extensions and equality conditions. J. Math. Phys. 54(10), 102202 (2013)
Fawzi, O., Renner, R.: Quantum conditional mutual information and approximate Markov chains. Commun. Math. Phys. 340(2), 575–611 (2015)
Wilde, M.M.: Recoverability in quantum information theory. Proc. R. Soc. A Math. Phys. Eng. Sci. 471(2182), 20150338 (2015)
Junge, M., Renner, R., Sutter, D., Wilde, M.M., Winter, A.: Universal recovery maps and approximate sufficiency of quantum relative entropy. Ann. Henri Poincaré 19(10), 2955–2978 (2018)
Stinespring, W.F.: Positive functions on *-algebras (1955)
Accardi, L., Cecchini, C., et al.: Conditional expectations in Von Neumann algebras and a theorem of Takesaki. J. Funct. Anal. 45(2), 245–273 (1982)
Petz, D.: Quasi-entropies for finite quantum systems. Rep. Math. Phys. 23(1), 57–65 (1986)
Takesaki, M.: Tomita’s Theory of Modular Hilbert Algebras and Its Applications. Lecture Notes in Mathematics, vol. 128. Springer, Berlin (1970)
Reeh, H., Schlieder, S.: Bemerkungen zur unitäräquivalenz von lorentzinvarianten feldern. Il Nuovo Cimento (1955–1965) 22(5), 1051–1068 (1961)
Ceyhan, F., Faulkner, T.: Recovering the QNEC from the ANEC. Commun. Math. Phys. 377(2), 999–1045 (2020)
Acknowledgements
IK thanks Mark Wilde for helpful discussions. MHH thanks Marco Tomamichel for helpful discussions. TCL thanks John McGreevy, Bowen Shi, and Xiang Li for helpful discussions. We thank Geoff Penington for pointing out Ref. [17] and Andreas Winter for helpful comments. We thank the anonymous reviewers for their helpful comments and corrections to the citations.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Lin, TC., Kim, I.H. & Hsieh, MH. A new operator extension of strong subadditivity of quantum entropy. Lett Math Phys 113, 68 (2023). https://doi.org/10.1007/s11005-023-01688-6
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01688-6