Superadditivity of quantum relative entropy (source code)

= Superadditivity of quantum relative entropy

For a bipartite <density operator> $\rho_{AB}$ and a product reference state,
$$
D(\rho_{AB}\|\sigma_A\otimes\sigma_B)
\geq D(\rho_A\|\sigma_A)+D(\rho_B\|\sigma_B).
$$
The difference between the two sides is the nonnegative <quantum mutual information> of $\rho_{AB}$.