Strong subadditivity of Von Neumann entropy
= Strong subadditivity of Von Neumann entropy
{c}
{wiki=Strong_subadditivity_of_quantum_entropy}
For a tripartite <density operator> $\rho_{ABC}$,
$$
S(\rho_{ABC})+S(\rho_B)\leq S(\rho_{AB})+S(\rho_{BC}).
$$
Equivalently, conditioning on an additional quantum system cannot increase <quantum conditional entropy>.