### Current browse context:

cs.LO

### Change to browse by:

### References & Citations

# Quantum Physics

# Title: Generators and Relations for the Group On(Z[1/2])

(Submitted on 2 Jun 2021 (v1), last revised 13 Sep 2021 (this version, v2))

Abstract: We give a finite presentation by generators and relations for the group O_n(Z[1/2]) of n-dimensional orthogonal matrices with entries in Z[1/2]. We then obtain a similar presentation for the group of n-dimensional orthogonal matrices of the form M/sqrt(2)^k, where k is a nonnegative integer and M is an integer matrix. Both groups arise in the study of quantum circuits. In particular, when the dimension is a power of 2, the elements of the latter group are precisely the unitary matrices that can be represented by a quantum circuit over the universal gate set consisting of the Toffoli gate, the Hadamard gate, and the computational ancilla.

## Submission history

From: EPTCS [view email]**[v1]**Wed, 2 Jun 2021 14:11:53 GMT (29kb)

**[v2]**Mon, 13 Sep 2021 00:52:33 GMT (34kb)

Link back to: arXiv, form interface, contact.