Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2006/iii/paper-58/1/a/solution

With the negative exponential convention of the specified quantum Fourier transform, the amplitude of computational outcome is
If , every summand is one. Otherwise this finite geometric series has ratio with , so it equals . Thus
The Born rule gives outcome with probability one when performing a quantum measurement in the computational basis. Recover the promised phase as modulo . Using the opposite Fourier sign would instead return the label , so the sign convention matters.

New to topics? Read the docs here!