Measure the second register of . If the result is , injectivity within one period collapses the first register to the periodic coset state
Apply and measure the first register. By the stated transform identity, the outcome is
for a uniformly random .
Reduce the rational number
to lowest terms and call its denominator . The exact period recovery from a Fourier sample gives
Thus exactly when is coprime to .
The success can be certified with two classical function evaluations. Compute and . Since and , periodicity and injectivity within a period imply
Report only when this equality holds; otherwise report failure. The success probability is
using the standard lower bound for the Euler totient function. This is heralded exact quantum period finding when the period divides the register size.
The powers of modulo are
They then repeat, and none of the first three positive exponents returns . Hence the least period is .
Each of the four values
occurs for three of the twelve inputs. The corresponding basis states in the first register are orthogonal, so the Born rule gives
The value occurs at . Projecting onto that measurement outcome and normalizing leaves the periodic coset state
Here , , , and . The supplied quantum Fourier transform of a periodic coset state gives, with ,
Consequently,

Articles by others on the same topic (0)

There are currently no matching articles.