Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2016/iii/paper-323/2/i/solution

Use an orthonormal eigenbasis of the Hermitian operator and set . Since is a positive contraction,
For , the missing weight among the first entries equals the weight in the remaining entries:
The ordered eigenvalues satisfy for and for . Therefore
This argument does not require the eigenvalues of to be positive. For , positivity and zero trace give ; for , the same argument applied to gives . Thus in every case
The orthogonal projection onto the leading eigenvectors attains equality. This is the Hermitian effect variational principle, extending the Ky Fan maximum principle to all positive contractions with the prescribed trace.

New to topics? Read the docs here!