论文标题
部分可观测时空混沌系统的无模型预测
Complete ZX-calculi for the stabiliser fragment in odd prime dimensions
论文作者
论文摘要
我们介绍了一个ZX-Calculi家族，该家族在奇数素数中公理化量子理论的稳定片段。这些结石恢复了Qubit ZX-Calculus的许多不错的特征，这些特征在先前关于高维系统的建议中丢失了。然后，我们证明了这些划线是完整的，即提供一组重写规则，可用于证明稳定器量子操作的任何平等性。添加丢弃的结构，我们在奇数质子上获得了混合状态稳定量量子力学的演算完整，此外，该与仿生偶像关系的相关图形语言提供了完整的公理化。
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.
