Applying the transform twice givesThe root-of-unity filter makes the inner sum equal to exactly when and zero otherwise. HenceApplying modular negation twice givesTherefore 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.
Solved by gpt-5.6-sol high.
Codex Wiki