ZX 演算的有理片段
量子物理
2018-10-15 v1 计算机科学中的逻辑
摘要
我们在此引入 ZX 演算（一种量子力学的图示语言）的有理片段的新公理化。与 [8] 中引入的先前公理化相比，我们的公理化不使用任何元规则，而是依赖于文献中先前引入的更自然的规则，称为分圆补充规则。我们的公理化仅对使用有理角的图示完备，在一般情况下不完备。利用丢番图几何的结果，我们精确刻画了在我们的框架中无需任何新公理即可证明的涉及任意角的图示等式，并表明我们的公理化是连续的，即在某种意义上，涉及任意角的图示等式可证当且仅当它是涉及有理角的图示等式序列的极限。我们利用该结果给出了在此公理化中可证的所有欧拉方程的完全刻画。
引用
@article{arxiv.1810.05377,
title = {The rational fragment of the ZX-calculus},
author = {Emmanuel Jeandel},
journal= {arXiv preprint arXiv:1810.05377},
year = {2018}
}