Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ii/paper-2/15d/b/solution

Applying the transform twice gives
The root-of-unity filter makes the inner sum equal to exactly when and zero otherwise. Hence
Applying modular negation twice gives
Therefore is an involution. Every one of its eigenvalues satisfies , so its spectrum is contained in , as summarized by the square of the quantum Fourier transform.

New to topics? Read the docs here!