Inequalities for quantum entropy: A review with conditions for equality

Abstract

This article presents self-contained proofs of the strong subadditivity inequality for von Neumann's quantum entropy, S(p), 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. © 2002 American Institute of Physics.