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 .