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.