In quantum information theory, strong subadditivity of quantum entropy (SSA) is the relation among the von Neumann entropies of various quantum subsystems of a larger quantum system consisting of three subsystems (or of one quantum system with three degrees of freedom). It is a basic theorem in modern quantum information theory. It was conjectured by D. W. Robinson and D. Ruelle in 1966 and O. E. Lanford III and D. W. Robinson in 1968 and proved in 1973 by E.H. Lieb and M.B. Ruskai, building on results obtained by Lieb in his proof of the Wigner-Yanase-Dyson conjecture. The classical version of SSA was long known and appreciated in classical probability theory and information theory. The proof of this relation in the classical case is quite easy, but the quantum case is difficult because of the non-commutativity of the reduced density matrices describing the quantum subsystems. Some useful references here include:
"Quantum Computation and Quantum Information" "Quantum Entropy and Its Use" Trace Inequalities and Quantum Entropy: An Introductory Course
Definitions We use the following notation throughout the following: A Hilbert space is denoted by H {\displaystyle {\mathcal {H}}} , and B ( H ) {\displaystyle {\mathcal {B}}({\mathcal {H}})} denotes the bounded linear operators on H {\displaystyle {\mathcal {H}}} . Tensor products are denoted by superscripts, e.g., H 12 = H 1 ⊗ H 2 {\displaystyle {\mathcal {H}}^{12}={\mathcal {H}}^{1}\otimes {\mathcal {H}}^{2}} . The trace is denoted by T r {\displaystyle {\rm {Tr}}} .
Density matrix A density matrix is a Hermitian, positive semi-definite matrix of trace one. It allows for the description of a quantum system in a mixed state. Density matrices on a tensor product are denoted by superscripts, e.g.,
ρ 12 {\displaystyle \rho ^{12}} is a density matrix on H 12 {\displaystyle {\mathcal {H}}^{12}} .
Entropy The von Neumann quantum entropy of a density matrix ρ {\displaystyle \rho } is
S ( ρ ) := − T r ( ρ log ρ ) {\displaystyle S(\rho ):=-{\rm {Tr}}(\rho \log \rho )} .
Relative entropy Umegaki's quantum relative entropy of two density matrices ρ {\displaystyle \rho } and σ {\displaystyle \sigma } is
S ( ρ | | σ ) = T r ( ρ log ρ − ρ log σ ) ≥ 0 {\displaystyle S(\rho ||\sigma )={\rm {Tr}}(\rho \log \rho -\rho \log \sigma )\geq 0} .
Joint concavity A function g {\displaystyle g} of two variables is said to be jointly concave if for any 0 ≤ λ ≤ 1 {\displaystyle 0\leq \lambda \leq 1} the following holds
g ( λ A 1 + ( 1 − λ ) A 2 , λ B 1 + ( 1 − λ ) B 2 ) ≥ λ g ( A 1 , B 1 ) + ( 1 − λ ) g ( A 2 , B 2 ) . {\displaystyle g(\lambda A_{1}+(1-\lambda )A_{2},\lambda B_{1}+(1-\lambda )B_{2})\geq \lambda g(A_{1},B_{1})+(1-\lambda )g(A_{2},B_{2}).}
Subadditivity of entropy Ordinary subadditivity concerns only two spaces H 12 {\displaystyle {\mathcal {H}}^{12}} and a density matrix ρ 12 {\displaystyle \rho ^{12}} . It states that
S ( ρ 12 ) ≤ S ( ρ 1 ) + S ( ρ 2 ) {\displaystyle S(\rho ^{12})\leq S(\rho ^{1})+S(\rho ^{2})}
… excerpt ends here. Continue reading the full article.
