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

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.

9 pages, revtex4. v2 corrects/adds some references and has a bit more discussion

Cited by in corpus (9)

• Area laws in quantum systems: mutual information and correlations
• On the quantum, classical and total amount of correlations in a quantum state
• No-local-broadcasting theorem for quantum correlations
• Conjectured Strong Complementary Information Tradeoff
• Quantum Graphical Models and Belief Propagation
• A Minkowski Type Trace Inequality and Strong Subadditivity of Quantum Entropy II: Convexity and Concavity
• A new inequality for the von Neumann entropy
• Belief propagation algorithm for computing correlation functions in finite-temperature quantum many-body systems on loopy graphs
• Towards a unified approach to information-disturbance tradeoffs in quantum measurements