Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-65/4/i/2/solution

Encode the ensemble label in an orthogonal classical register:
The classical-quantum state has , and , where . Hence
Applying changes the conditional states to the output ensemble. The same identity gives . Data processing for quantum mutual information, proved in Question 3, therefore yields the Holevo quantity under a quantum channel:
This concerns the information available in the whole ensemble, not the change in the entropy of each individual state.

New to topics? Read the docs here!