Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-324/2/c/ii/solution

Suppose the angle register stores a fixed-point expansion . Append a target qubit in . For each angle bit , apply to the target a controlled . Rotations about the same axis commute, so their product is and
With retained bits, each controlled rotation decomposes into one- and two-qubit gates and the complete quantum variable rotation has polylogarithmic size. Thus the required branchwise map is implemented coherently for every .

New to topics? Read the docs here!