Generators and Relations for 2-Qubit Clifford+T Operators
Quantum Physics
2023-11-16 v3
Abstract
We give a presentation by generators and relations of the group of Clifford+T operators on two qubits. The proof relies on an application of the Reidemeister-Schreier theorem to an earlier result of Greylyn, and has been formally verified in the proof assistant Agda.
Cite
@article{arxiv.2204.02217,
title = {Generators and Relations for 2-Qubit Clifford+T Operators},
author = {Xiaoning Bian and Peter Selinger},
journal= {arXiv preprint arXiv:2204.02217},
year = {2023}
}
Comments
In Proceedings QPL 2022, arXiv:2311.08375