Smaller Circuits for Arbitrary n-qubit Diagonal Computations

Stephen S. Bullock, Igor L. Markov

A unitary operator U=\sum u_{j,k} |k><j| is called diagonal when u_{j,k}=0 unless j=k. The definition extends to quantum computations, where j and k vary over the 2^n binary expres…