Xiaoning Bian (Dalhousie University) |
Peter Selinger (Dalhousie University) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.394.2 | Ancillary files | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |