Generators and Relations for the Group On(Z[1/2])
arXiv:2106.01175 · doi:10.4204/EPTCS.343.11
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.
arXiv commentIn Proceedings QPL 2021, arXiv:2109.04886
References in corpus (7)
- Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy
- Exact synthesis of multiqubit Clifford+T circuits
- Towards Large-scale Functional Verification of Universal Quantum Circuits
- Practical approximation of single-qubit unitaries by single-qubit quantum Clifford and T circuits
- Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets
- Quantum circuits and low-degree polynomials over F_2
- Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits