奇素数维稳定子片段的完备 ZX-演算
量子物理
2023-03-13 v3
摘要
我们引入了一族 ZX-演算，它们公理化地描述了奇素数维量子理论的稳定子片段。这些演算恢复了量子比特 ZX-演算的许多优良特性，而这些特性在先前针对高维系统的提议中已丢失。我们随后证明了这些演算是完备的，即提供了一组重写规则，可用于证明稳定子量子操作的任何等式。通过添加一个丢弃构造，我们得到了一个对奇素数维混合态稳定子量子力学完备的演算，这进一步为相关的仿射迷向关系图解语言提供了完备的公理化。
引用
@article{arxiv.2204.12531,
title = {Complete ZX-calculi for the stabiliser fragment in odd prime dimensions},
author = {Robert I. Booth and Titouan Carette},
journal= {arXiv preprint arXiv:2204.12531},
year = {2023}
}
备注
23 pages + 31 pages of references and appendices; more corrections