Generators and Relations for Un(Z[1/2,i])

Xiaoning Bian, Peter Selinger

Consider the universal gate set for quantum computing consisting of the gates X, CX, CCX, omega^dagger H, and S. All of these gates have matrix entries in the ring Z[1/2,i], the sm…