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

Since $A|x⟩=(-1{)}^{f(x)}|x⟩$, the spectral decomposition givesReplace the middle gate of the previous compute-phase-uncompute construction bya one-qubit rotation about the z-axis. ThenThe circuit uses the gates of $C$, their inverses, and one fixed rotation; it returns the quantum ancilla to $|0⟩$. The same construction implements $e^{itA}$ with middle gate $e^{itZ}$, an instance of simulation of a computable diagonal Hamiltonian.