Araki–Lieb inequality (source code)

= Araki–Lieb inequality
{c}
{wiki}

For a bipartite <density operator> $\rho_{AB}$,
$$
|S(\rho_A)-S(\rho_B)|\leq S(\rho_{AB}).
$$