Past exam of the mathematics course of the University of Cambridge / 2019 / iii / Paper 324 / 2 / b / ii / Solution

Applying the two modular-addition quantum oracles consecutively adds $h(x)+r(x)=0(\mathrm{mod}M)$ to the answer register. ThusLet $S_M|y⟩=|-y(\mathrm{mod}M)⟩$. Applying $I\otimes S_M$, then $U_h$, then $I\otimes S_M$ givesThereforeusing one query and two unitary operators independent of $h$. This is modular-oracle inversion by negation.