Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ia/paper-1/7b/d/solution

Put . This is a nonzero Hermitian matrix. By the finite-dimensional spectral theorem, it has a unit eigenvector with a nonzero real eigenvalue . Define the rank-one orthogonal projection matrix
The cyclic property of the matrix trace gives
Hence this distinguishes and through the required traces.

New to topics? Read the docs here!