 Solution

Introduce an orthonormal classical-label basis $|i⟩$ and the classical-quantum stateIts reduced density operators are ${\Gamma }_X={\sum }_i{p}_i|i⟩⟨i|$ and ${\Gamma }_A=\overline{\rho }={\sum }_i{p}_i{\rho }_i$. If ${\lambda }_{ij}$ are the eigenvalues of ${\rho }_i$, the eigenvalues of ${\Gamma }_{XA}$ are $p_i{\lambda }_{ij}$. Thus the entropy of an orthogonal quantum mixture iswhere $H(p)=-{\sum }_i{p}_i{\log }_2{p}_i$ is the Shannon entropy. Apply the proved Subadditivity of Von Neumann entropy to $X$ and $A$ and cancel $H(p)$. This gives Concavity of Von Neumann entropy:Zero-probability terms may simply be omitted. The equality condition from the preceding solution implies that equality holds precisely when all the positive-probability states are the same: the block equations $p_i{\rho }_i=p_i\overline{\rho }$ follow from ${\Gamma }_{XA}={\Gamma }_X\otimes {\Gamma }_A$.