[论文解读] Completeness of algebraic ZX-calculus over arbitrary commutative rings and semirings

Quanlong Wang|arXiv (Cornell University)|Dec 2, 2019

Quantum Computing Algorithms and Architecture参考文献 11被引用 8

一句话总结

本文通过引入新的生成元和重写规则，将ZX演算推广至任意交换环和半环，保持其正确性。通过基于初等矩阵运算的规范形，证明了在这些代数结构上矩阵的完备性，将形式化系统扩展至复数以外的领域，从而在数论和一般代数域上的线性代数中实现新应用。

ABSTRACT

ZX-calculus is a strict mathematical formalism for graphical quantum computing which is based on the field of complex numbers. In this paper, we extend its power by generalising ZX-calculus to such an extent that it is universal both in an arbitrary commutative ring and in an arbitrary commutative semiring. Furthermore, we follow the framework of arXiv:2007.13739 to prove respectively that the proposed ZX-calculus over an arbitrary commutative ring (semiring) is complete for matrices over the same ring (semiring), via a normal form inspired from matrix elementary operations such as row addition and row multiplication. This work could lead to various applications including doing elementary number theory in string diagrams.

研究动机与目标

• 将ZX演算从复数推广至任意交换环和半环。
• 为这些代数结构定义新的生成元和重写规则，确保其正确性和通用性。
• 证明在任意交换环和半环上矩阵的广义ZX演算的完备性。
• 在整数环或自然数等离散代数域上的初等数论和线性代数中实现新应用。
• 将该框架推广至支持非域代数结构上的字符串图推理。

提出的方法

• 引入无标量生成元：所有系数为1的红色蜘蛛，以及±1条目而非1/√2的Hadamard节点。
• 采用基于PROP的表述方式，使用任意交换环和半环上的生成元与关系。
• 采用受初等矩阵运算启发的规范形——行相加与行相乘，使用粉红色节点编码操作。
• 利用映射-态射对偶性与张量积重写，统一并简化图结构。
• 应用[14]中的框架，通过归约至规范形来证明完备性。
• 通过避免使用逆元与负元素，依赖交换幺半群结构，将证明适配至半环。

实验结果

研究问题

• RQ1 ZX演算能否在保持完备性的前提下推广至任意交换环？
• RQ2 ZX演算应如何调整以适用于交换半环，其中加法逆元与负数不存在？
• RQ3 能否构建基于初等矩阵运算的规范形，并在这些推广设置中用于证明完备性？
• RQ4 为确保在环与半环上具备通用性与正确性，所需的最小生成元与重写规则是什么？
• RQ5 将ZX演算扩展至整数或自然数等代数结构后，会涌现出哪些新应用？

主要发现

• 在任意交换环R上，广义ZX演算对R上矩阵的完备性成立，其规范形基于行运算。
• 即使缺乏加法逆元，该完备性结果在任意交换半环S上依然成立。
• S上矩阵的规范形使用粉红色节点表示行相加与标量乘法，m量子比特对应恰好2^m - 1个此类操作。
• 任意2^m × 2^n阶矩阵在R或S上均可表示为ZX图，证明了该演算的通用性。
• 该框架支持将初等矩阵表示为ZX形式，从而支持在一般环上的线性代数。
• 完备性证明依赖于规范形张量积的重写、自嵌入与生成元转换——所有步骤均已适配半环约束。