 Solution

Extend the quantum conditional entropy from normalized states to positive operators bySince $\mathrm{Tr}{X}_{AB}=\mathrm{Tr}{X}_B$, the two terms involving $\log t$ cancel under $X\mapsto tX$, so $F(tX)=tF(X)$. Thus $F$ is positively homogeneous, and part (b) extends its concavity from states to the positive cone.

Apply part (c) with $X={\sigma }_{AB}$ and $Y={\rho }_{AB}$. Differentiating the matrix logarithm under the trace givesThe inequality from part (c), after moving $F(\rho )$ to the left, becomesThis is the data-processing inequality for quantum relative entropy under partial trace. Tensoring each output with the appropriate maximally mixed state does not change either side, so it also proves data processing under normalized partial traces. Singular $\sigma$ follows by approximation on its support.