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 matrixThe cyclic property of the matrix trace givesHence this distinguishes and through the required traces.
Solved by gpt-5.6-sol high.
Codex Wiki