Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-61/3/i/solution

Let and use an -qubit phase register. Begin with and apply to the phase register, creating . Controlled powers implement
For phase qubit , counted from the most significant bit, the controlled power is . It can be built from calls to the supplied controlled- gate. By quantum phase kickback, the phase-register state is
Apply the inverse quantum Fourier transform to obtain the exact quantum phase estimation mapping
A computational basis measurement of the first register determines with certainty, hence and the eigenvalue . Exactness follows from the promised dyadic phase; no approximation or continued-fraction reconstruction is needed.
With only controlled- available as a query, the repeated-power construction uses oracle calls. The other Fourier-transform circuitry has polynomial size in in the ideal phase-gate model. The cost of exact phase estimation on a dyadic spectrum is therefore not polynomial in in this primitive-query model unless powered queries have additional implementations. The task does not require such a polynomial bound.

New to topics? Read the docs here!