[论文解读] Complete ZX-Calculi for the Stabiliser Fragment in Odd Prime Dimensions

Robert Booth, Titouan Carette|arXiv (Cornell University)|Jan 1, 2022

Quantum Computing Algorithms and Architecture参考文献 52被引用 4

一句话总结

本论文为奇素数维的量子力学稳定子片段提出了一套完整、公理化的ZX演算，恢复了以往高维提案中遗失的关键特性，如‘仅连通性重要’（Only Connectivity Matters, OCM）原则。该演算通过基于 Clifford 群群论结构的一系列重写规则实现完备性，并通过引入一个丢弃映射，将理论扩展至混合态稳定子理论及仿射共 isotropic 关系。

ABSTRACT

We introduce a family of ZX-calculi which axiomatise the stabiliser fragment of quantum theory in odd prime dimensions. These calculi recover many of the nice features of the qubit ZX-calculus which were lost in previous proposals for higher-dimensional systems. We then prove that these calculi are complete, i.e. provide a set of rewrite rules which can be used to prove any equality of stabiliser quantum operations. Adding a discard construction, we obtain a calculus complete for mixed state stabiliser quantum mechanics in odd prime dimensions, and this furthermore gives a complete axiomatisation for the related diagrammatic language for affine co-isotropic relations.

研究动机与目标

• 为奇素数维的稳定子量子力学开发一套完整且直观的ZX演算。
• 在高维系统中恢复 qubit ZX演算的标志性特征——‘仅连通性重要’（OCM）元规则。
• 通过丢弃构造，为奇素数维的混合态稳定子量子力学提供一个完整的公理化体系。
• 利用扩展的演算，为仿射共 isotropic 关系建立一个完整的公理化体系。
• 在将 qubit 框架扩展至奇素数维 qupit 的同时，保持简洁性与图形直觉。

提出的方法

• 引入一族以奇素数维 p 为参数的ZX演算，使用 Zp × Zp 中元素标记的蜘蛛来表示稳定子态与操作。
• 基于奇素数维下 Clifford 群的辛结构与群论性质定义重写规则。
• 利用奇素数维下 Pauli 与 Clifford 操作对应于相空间 Zp × Zp 上仿射变换的事实。
• 通过等距与标准型论证，证明完备性：即任何稳定子ZX图之间的等式均可由重写规则推导得出。
• 通过引入丢弃映射扩展演算，以建模混合态，并建立 CPM(Stabp) 的完备性。
• 证明将演算模去规则 p = 1 后，可得到仿射共 isotropic 关系的完备公理化体系，通过一个典范解释实现。

实验结果

研究问题

• RQ1 能否为奇素数维的稳定子片段构造一个完整且直观的ZX演算，同时保留 OCM 等特征？
• RQ2 如何将奇素数维下 Clifford 群的群论结构编码进图形演算中？
• RQ3 是否可能在保持完备性的前提下，将稳定子ZX演算扩展至奇素数维的混合态？
• RQ4 该演算能否在相同设定下为仿射共 isotropic 关系提供完备的公理化体系？
• RQ5 能否如 qubit 情况一般，对演算进行简化或最小化？

主要发现

• 所提出的ZX演算对奇素数维量子力学的稳定子片段是完备的，即所有稳定子图之间的等式均可通过重写规则推导得出。
• 该演算成功恢复了‘仅连通性重要’（OCM）原则，作为 qubit ZX演算的关键特征，通过确保图等价性仅依赖于连通性。
• 添加丢弃映射后，得到一个对奇素数维混合态稳定子量子力学完备且通用的演算体系。
• 该演算通过一个尊重辛结构的典范解释，为 Zp 上的仿射共 isotropic 关系范畴提供了完备的公理化体系。
• ZX图作为仿射拉格朗日或共 isotropic 关系的解释被显式定义，其生成元被映射为相空间 Zp × Zp 上的特定仿射变换。
• 本研究确立了，即使在模去规则 p = 1 后，该演算仍保持正确性与完备性，该规则消除了非平凡标量，与仿射共 isotropic 关系的结构一致。