双量子比特 Clifford+T 算符的生成元与关系表示
量子物理
2023-11-16 v3
摘要
我们给出了双量子比特上 Clifford+T 算符群的一种由生成元与关系给出的表示。证明依赖于将 Reidemeister-Schreier 定理应用于 Greylyn 的早期结果，并已在证明辅助工具 Agda 中形式化验证。
引用
@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}
}
备注
In Proceedings QPL 2022, arXiv:2311.08375