Maximum entropy of a quantum state (source code)

= Maximum entropy of a quantum state
{title2=$S(\rho)\leq\log_2d$}

On a $d$-dimensional <Hilbert space>, the <Von Neumann entropy> is maximized uniquely by $I/d$. Indeed, <nonnegativity of quantum relative entropy> gives
$$
0\leq D(\rho\|I/d)=\log_2d-S(\rho),
$$
with equality exactly when $\rho=I/d$.