The binary phase is . Therefore
On the phase register, apply the tensor product of phase gates
Its action on is multiplication by . Thus the positive-phase fractional power of a unitary operator is implemented by uncomputation after coherent phase estimation:
Hence
The inverse phase-estimation circuit uses controlled powers of built from the supplied inverse oracle, with all other quantum gates reversed. No phase-register measurement is made, so arbitrary superpositions are preserved and the ancilla qubits return to zero. The straightforward implementation uses controlled-unitary queries plus the Fourier and phase circuitry; the arbitrary phase gates are accepted exactly as stipulated.
The branch convention matters. This construction uses the phase representative specified here, corresponding to argument in . It implements that explicitly defined root, even for . The usual complex principal branch with argument in would choose a different root on some eigenvalues. No substitution of that alternative branch is implicit.