Generators and Relations for 2-Qubit Clifford+T Operators
arXiv:2204.02217 · doi:10.4204/EPTCS.394.2
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.
In Proceedings QPL 2022, arXiv:2311.08375