Phase kickback (source code)

= Phase kickback
{wiki}

= Quantum phase kickback
{synonym}

Because $X| -\rangle=-| -\rangle$, a Boolean oracle with answer qubit $| -\rangle$ acts as
$$
U_f|x\rangle| -\rangle=(-1)^{f(x)}|x\rangle| -\rangle.
$$