Variational characterization of quantum conditional entropy (source code)

= Variational characterization of quantum conditional entropy

The <quantum conditional entropy> has the relative-entropy representation
$$
-H(A|B)_\rho=\min_{\xi_B}D(\rho_{AB}\|I_A\otimes\xi_B),
$$
where the minimum ranges over <density operator>[density operators] on $B$.