Exact synthesis of multiqubit Clifford+T circuits

Brett Giles, Peter Selinger

We prove that a unitary matrix has an exact representation over the Clifford+T gate set with local ancillas if and only if its entries are in the ring Z[1/sqrt(2),i]. Moreover, we…