Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2013/iii/paper-58/4/b/i/solution

For a unitary operator , . Thus for every nonnegative integer ,
Insert this into the convergent matrix exponential series in the finite-dimensional qubit setting:
Consequently unitary conjugation commutes with the exponential:
For an unbounded self-adjoint Hamiltonian, the same identity follows from the spectral theorem for normal operators, with the domain transported by ; no unbounded power-series manipulation is needed.

New to topics? Read the docs here!