Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Structure of states which satisfy strong subadditivity of quantum entropy with equality

Patrick M. Hayden, Richard Jozsa, Petz, D, Andreas Winter

Published Apr 1, 2003• 279 citations
OpenAlex

Abstract

We give an explicit characterisation of the quantum states which saturate the strong subadditivity inequality for the von Neumann entropy. By combining a result of Petz characterising the equality case for the monotonicity of relative entropy with a recent theorem by Koashi and Imoto, we show that such states will have the form of a so-called short quantum Markov chain, which in turn implies that two of the systems are independent conditioned on the third, in a physically meaningful sense. This characterisation simultaneously generalises known necessary and sufficient entropic conditions for quantum error correction as well as the conditions for the achievability of the Holevo bound on accessible information.

Related papers

Inequalities for quantum entropy: A review with conditions for equality

Mary Beth Ruskai

This article presents self-contained proofs of the strong subadditivity inequality for von Neumann’s quantum entropy, S(ρ), and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein’s inequality and Lieb’s theorem that the function A→Tr eK+log A is concave, allows one to obtain conditions for equality. In the case of strong subadditivity, which states that S(ρ123)+S(ρ2)⩽S(ρ12)+S(ρ23) where the subscripts denote subsystems of a composite system, equality holds if and only if log ρ123=log ρ12−log ρ2+log ρ23. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The article concludes with an Appendix giving a short description of Epstein’s elegant proof of Lieb’s theorem.

arXiv:quant-ph/0205064•Journal of Mathematical Physics•Sep 1, 2002•185 citations

Inequalities for Quantum Entropy: A Review with Conditions for Equality

Mary Beth Ruskai

This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain conditions for equality. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The paper concludes with an Appendix giving a short description of Epstein's elegant proof of the relevant concavity theorem of Lieb.

•May 13, 2002•159 citations

Quantum Markov chains, sufficiency of quantum channels, and Rényi information measures

Nilanjana Datta, Mark M. Wilde

A short quantum Markov chain is a tripartite state such that system A can be recovered perfectly by acting on system C of the reduced state Such states have conditional mutual information equal to zero and are the only states with this property. A quantum channel is sufficient for two states ρ and σ if there exists a recovery channel using which one can perfectly recover ρ from and σ from The relative entropy difference is equal to zero if and only if is sufficient for ρ and σ . In this paper, we show that these properties extend to Rényi generalizations of these information measures which were proposed in (Berta et al 2015 J. Math. Phys. 56 022205 ; Seshadreesan et al 2015 J. Phys. A: Math. Theor. 48 395303 ), thus providing an alternate characterization of short quantum Markov chains and sufficient quantum channels. These results give further support to these quantities as being legitimate Rényi generalizations of the conditional mutual information and the relative entropy difference. Along the way, we solve some open questions of Ruskai and Zhang, regarding the trace of particular matrices that arise in the study of monotonicity of relative entropy under quantum operations and strong subadditivity of the von Neumann entropy.

arXiv:1501.05636•Journal of Physics A Mathematical and Theoretical•Nov 20, 2015•21 citations

Reexamination of strong subadditivity: A quantum-correlation approach

Razieh Taghiabadi, Seyed Javad Akhtarshenas, Mohsen Sarbishaei

The strong subadditivity inequality of von Neumann entropy relates the entropy of subsystems of a tripartite state ${\ensuremath{\rho}}_{ABC}$ to that of the composite system. Here, we define ${\mathbit{T}}^{(a)}({\ensuremath{\rho}}_{ABC})$ as the extent to which ${\ensuremath{\rho}}_{ABC}$ fails to satisfy the strong subadditivity inequality $S({\ensuremath{\rho}}_{B})+S({\ensuremath{\rho}}_{C})\ensuremath{\le}S({\ensuremath{\rho}}_{AB})+S({\ensuremath{\rho}}_{AC})$ with equality and investigate its properties. In particular, by introducing auxiliary subsystem $E$, we consider any purification $|{\ensuremath{\psi}}_{ABCE}\ensuremath{\rangle}$ of ${\ensuremath{\rho}}_{ABC}$ and formulate ${\mathbit{T}}^{(a)}({\ensuremath{\rho}}_{ABC})$ as the extent to which the bipartite quantum correlations of ${\ensuremath{\rho}}_{AB}$ and ${\ensuremath{\rho}}_{AC}$, measured by entanglement of formation and quantum discord, change under the transformation $B\ensuremath{\rightarrow}BE$ and $C\ensuremath{\rightarrow}CE$. Invariance of quantum correlations of ${\ensuremath{\rho}}_{AB}$ and ${\ensuremath{\rho}}_{AC}$ under such transformation is shown to be a necessary and sufficient condition for vanishing ${\mathbit{T}}^{(a)}({\ensuremath{\rho}}_{ABC})$. Our approach allows one to characterize, intuitively, the structure of states for which the strong subadditivity is saturated. Moreover, along with providing a conservation law for quantum correlations of states for which the strong subadditivity inequality is satisfied with equality, we find that such states coincide with those that the Koashi-Winter monogamy relation is saturated.

arXiv:1611.07455•Physical Review A•Mar 13, 2017•2 citations

The generalized strong subadditivity of the von Neumann entropy for bosonic quantum systems

Giacomo De Palma, Dario Trevisan

We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantum system. We apply our result to prove new entropic uncertainty relations with quantum memory, a generalization of the quantum Entropy Power Inequality, and the linear time scaling of the entanglement entropy produced by quadratic Hamiltonians.

arXiv:2105.05627•Journal of Mathematical Physics•Jun 1, 2024•3 citations

The generalized strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems

Giacomo De Palma, Dario Trevisan

We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantum system. We apply our result to prove new entropic uncertainty relations with quantum memory, a generalization of the quantum Entropy Power Inequality, and the linear time scaling of the entanglement entropy produced by quadratic Hamiltonians.

•May 12, 2021•1 citation
We give an explicit characterisation of the quantum states which saturate the strong subadditivity inequality for the von Neumann entropy. By combining a result of Petz characterising the equality case for the monotonicity of relative entropy with a recent theorem by Koashi and Imoto, we show that such states will have the form of a so-called short quantum Markov chain, which in turn implies that two of the systems are independent conditioned on the third, in a physically meaningful sense. This characterisation simultaneously generalises known necessary and sufficient entropic conditions for quantum error correction as well as the conditions for the achievability of the Holevo bound on accessible information.
This article presents self-contained proofs of the strong subadditivity inequality for von Neumann’s quantum entropy, S(ρ), and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein’s inequality and Lieb’s theorem that the function A→Tr eK+log A is concave, allows one to obtain conditions for equality. In the case of strong subadditivity, which states that S(ρ123)+S(ρ2)⩽S(ρ12)+S(ρ23) where the subscripts denote subsystems of a composite system, equality holds if and only if log ρ123=log ρ12−log ρ2+log ρ23. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The article concludes with an Appendix giving a short description of Epstein’s elegant proof of Lieb’s theorem.
This paper presents self-contained proofs of the strong subadditivity inequality for quantum entropy and some related inequalities for the quantum relative entropy, most notably its convexity and its monotonicity under stochastic maps. Moreover, the approach presented here, which is based on Klein's inequality and one of Lieb's less well-known concave trace functions, allows one to obtain conditions for equality. Using the fact that the Holevo bound on the accessible information in a quantum ensemble can be obtained as a consequence of the monotonicity of relative entropy, we show that equality can be attained for that bound only when the states in the ensemble commute. The paper concludes with an Appendix giving a short description of Epstein's elegant proof of the relevant concavity theorem of Lieb.
A short quantum Markov chain is a tripartite state such that system A can be recovered perfectly by acting on system C of the reduced state Such states have conditional mutual information equal to zero and are the only states with this property. A quantum channel is sufficient for two states ρ and σ if there exists a recovery channel using which one can perfectly recover ρ from and σ from The relative entropy difference is equal to zero if and only if is sufficient for ρ and σ . In this paper, we show that these properties extend to Rényi generalizations of these information measures which were proposed in (Berta et al 2015 J. Math. Phys. 56 022205 ; Seshadreesan et al 2015 J. Phys. A: Math. Theor. 48 395303 ), thus providing an alternate characterization of short quantum Markov chains and sufficient quantum channels. These results give further support to these quantities as being legitimate Rényi generalizations of the conditional mutual information and the relative entropy difference. Along the way, we solve some open questions of Ruskai and Zhang, regarding the trace of particular matrices that arise in the study of monotonicity of relative entropy under quantum operations and strong subadditivity of the von Neumann entropy.
The strong subadditivity inequality of von Neumann entropy relates the entropy of subsystems of a tripartite state ${\ensuremath{\rho}}_{ABC}$ to that of the composite system. Here, we define ${\mathbit{T}}^{(a)}({\ensuremath{\rho}}_{ABC})$ as the extent to which ${\ensuremath{\rho}}_{ABC}$ fails to satisfy the strong subadditivity inequality $S({\ensuremath{\rho}}_{B})+S({\ensuremath{\rho}}_{C})\ensuremath{\le}S({\ensuremath{\rho}}_{AB})+S({\ensuremath{\rho}}_{AC})$ with equality and investigate its properties. In particular, by introducing auxiliary subsystem EEE, we consider any purification $|{\ensuremath{\psi}}_{ABCE}\ensuremath{\rangle}$ of ${\ensuremath{\rho}}_{ABC}$ and formulate ${\mathbit{T}}^{(a)}({\ensuremath{\rho}}_{ABC})$ as the extent to which the bipartite quantum correlations of ${\ensuremath{\rho}}_{AB}$ and ${\ensuremath{\rho}}_{AC}$, measured by entanglement of formation and quantum discord, change under the transformation $B\ensuremath{\rightarrow}BE$ and $C\ensuremath{\rightarrow}CE$. Invariance of quantum correlations of ${\ensuremath{\rho}}_{AB}$ and ${\ensuremath{\rho}}_{AC}$ under such transformation is shown to be a necessary and sufficient condition for vanishing ${\mathbit{T}}^{(a)}({\ensuremath{\rho}}_{ABC})$. Our approach allows one to characterize, intuitively, the structure of states for which the strong subadditivity is saturated. Moreover, along with providing a conservation law for quantum correlations of states for which the strong subadditivity inequality is satisfied with equality, we find that such states coincide with those that the Koashi-Winter monogamy relation is saturated.
We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantum system. We apply our result to prove new entropic uncertainty relations with quantum memory, a generalization of the quantum Entropy Power Inequality, and the linear time scaling of the entanglement entropy produced by quadratic Hamiltonians.
We prove a generalization of the strong subadditivity of the von Neumann entropy for bosonic quantum Gaussian systems. Such generalization determines the minimum values of linear combinations of the entropies of subsystems associated to arbitrary linear functions of the quadratures, and holds for arbitrary quantum states including the scenario where the entropies are conditioned on a memory quantum system. We apply our result to prove new entropic uncertainty relations with quantum memory, a generalization of the quantum Entropy Power Inequality, and the linear time scaling of the entanglement entropy produced by quadratic Hamiltonians.