Solution

ID: past-exam-of-the-mathematics-course-of-the-year-2-of-the-natural-sciences-course-of-the-university-of-cambridge/2014/paper-1/5/iii/solution

Taking the adjoint of gives . In particular, the Hermitian parts of a unitary matrix are uniquely determined:
Expanding both unitary identities gives
Subtracting shows , and adding gives . If , commutation implies . The assumed simple spectrum makes the eigenspace one-dimensional, so . Thus have a common orthonormal eigenbasis.
On such a vector, . If the corresponding unitary eigenvalue is , then
The formulas for also show the same eigenvalue correspondence directly from and . Degeneracies do not prevent existence of a common basis, although the simple-spectrum assumption makes the elementary proof immediate.

New to topics? Read the docs here!