Papers
Clifford+T 量子力学 ZX 演算的完备公理化
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
Jeandel、Perdrix 与 Vilmart 为 Clifford+T 量子力学增加公理，证明 ZX 演算的完备性。
论文信息（2018，LICS；预印本：2017）：Emmanuel Jeandel、Simon Perdrix、Renaud Vilmart。arXiv:1705.11151
工作
本文研究 Coecke 与 Duncan 提出的 ZX-calculus 在 Clifford+T 量子力学片段中的完备性。作者向图形语言加入四条新公理，并借助 ZW-calculus 证明：对于该片段，图形等式能够捕捉所有语义等价。论文还刻画了该片段所表示的矩阵环结构。
主要贡献
- 为 Clifford+T 量子力学给出 ZX-calculus 的完备公理化。
- 添加四条公理，解决该片段完备性这一开放问题。
- 使用 ZW-calculus 建立完备性证明。
- 说明该片段精确表示某个二进有理数扩张上的有限维矩阵。
局限与适用范围
完备性针对 Clifford+T 片段和论文规定的图形语义，不自动推广到任意连续参数或含噪声的量子过程。图形等价的可证明性也不等于每个等价变换都能高效找到，更不等于硬件实现、编译成本或数值误差已经得到保证。
与其他工作的关系
本文直接延伸 相互作用的量子可观测量 的 ZX-calculus，并与 量子线路 的门级表示相连。它也可与 大规模量子线路功能验证 对照：本文证明图形演算的等式完备性，后者关注线路功能的自动判定和规模化验证。
原论文
Emmanuel Jeandel, Simon Perdrix, and Renaud Vilmart, A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics, LICS 2018. arXiv:1705.11151
本词条用于学习导览。正式引用与技术细节请以文末原始文献为准。
继续阅读迈向通用量子线路的大规模功能验证→