枢轴变换使 ZX-calculus 对实稳定子完备
量子物理
2014-12-31 v2 计算机科学中的逻辑
摘要
我们证明了图态的枢轴 (pivoting) 性质无法从 ZX-calculus 的公理中推导出来，且枢轴变换并不蕴含图态的局部补图变换。因此，增加枢轴变换的 ZX-calculus 严格弱于增加 Hadamard 门欧拉分解的演算体系。我们推导了 ZX-calculus 的无角度版本，并证明其对实稳定子量子力学是完备的。
关键词
引用
@article{arxiv.1307.7048,
title = {Pivoting makes the ZX-calculus complete for real stabilizers},
author = {Ross Duncan and Simon Perdrix},
journal= {arXiv preprint arXiv:1307.7048},
year = {2014}
}
备注
In Proceedings QPL 2013, arXiv:1412.7917