论文标题
2 Qubit Clifford+T运算符的生成器和关系
Generators and Relations for 2-Qubit Clifford+T Operators
论文作者
论文摘要
我们在两个量子位上由发电机和Clifford+T运算符组的关系进行了演讲。证明依赖于将Reidemeister-Schreier定理应用于Greylyn的较早结果，并已在证明助理AGDA中进行了正式验证。
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.
