### Current browse context:

quant-ph

### Change to browse by:

### References & Citations

# Quantum Physics

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

(Submitted on 28 May 2021 (v1), last revised 13 Sep 2021 (this version, v2))

Abstract: 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 smallest subring of the complex numbers containing 1/2 and i. Amy, Glaudell, and Ross proved the converse, i.e., any unitary matrix with entries in Z[1/2,i] can be realized by a quantum circuit over the above gate set using at most one ancilla. In this paper, we give a finite presentation by generators and relations of U_n(Z[1/2,i]), the group of unitary nxn-matrices with entries in Z[1/2,i].

## Submission history

From: EPTCS [view email]**[v1]**Fri, 28 May 2021 18:26:23 GMT (38kb)

**[v2]**Mon, 13 Sep 2021 00:48:51 GMT (44kb,D)

Link back to: arXiv, form interface, contact.