Dimension bound for quantum conditional entropy (source code)

= Dimension bound for quantum conditional entropy

For every state on $\mathcal H_A\otimes\mathcal H_B$,
$$
-\log d_A\leq H(A|B)\leq\log d_A.
$$
The upper bound follows from <Subadditivity of Von Neumann entropy> and the lower bound from the <Araki–Lieb inequality>.