We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Quantum Physics

Title: Generators and Relations for the Group $\mathrm{O}_n(\mathbb{Z}[1/2])$

Abstract: We give a finite presentation by generators and relations for the group $\mathrm{O}_n(\mathbb{Z}[1/2])$ of $n$-dimensional orthogonal matrices with entries in $\mathbb{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.
Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Logic in Computer Science (cs.LO)
Cite as: arXiv:2106.01175 [quant-ph]
  (or arXiv:2106.01175v1 [quant-ph] for this version)

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.