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.
Articles by others on the same topic
There are currently no matching articles.