[论文解读] A Near-Optimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics

Renaud Vilmart|arXiv (Cornell University)|Dec 21, 2018

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

一句话总结

本文为纯量子比特量子力学中的通用ZX演算提出了两种近乎最优且完备的公理化体系。通过引入一个单一、物理直观的欧拉分解规则（EU），并利用0→1和1→1图式的奇异值分解（SVD）标准型，作者以最少且具物理意义的公理实现了完备性，这些公理既必要又具有物理可解释性。

ABSTRACT

Recent developments in the ZX-Calculus have resulted in complete axiomatisations first for an approximately universal restriction of the language, and then for the whole language. The main drawbacks were that the axioms that were added to achieve completeness were numerous, tedious to manipulate and lacked a physical interpretation. We present in this paper two complete axiomatisations for the general ZX-Calculus, that we believe are optimal, in that all their equations are necessary and moreover have a nice physical interpretation.

研究动机与目标

• 解决以往通用ZX演算完备公理化体系中缺乏直观性、最小性及物理可解释性的问题。
• 在确保所有纯量子比特量子过程完备性的前提下，恢复ZX演算的结构直观性。
• 通过引入基于ZX图式奇异值分解（SVD）的新标准型，简化方程可导出性的证明技术。
• 证明通用ZX演算的完备性仅需稳定子公理加上一条额外的物理意义明确的规则（EU）即可实现。

提出的方法

• 基于稳定子片段公理并增加一条新公理（EU），其中EU规则编码了单量子比特酉操作的欧拉角分解。
• 为无环的0→1和1→1 ZX图式提出一种图形化SVD标准型，并证明其本质上唯一。
• 利用SVD标准型证明完备性，即任何两个相等的图式均可被转化为同一规范形式。
• 提供第二种略有不同的公理化体系，将（HD）和（EU）规则统一为一条更紧凑的规则。
• 通过从新公理化体系推导出已知规则来证明完备性，其核心依赖于（EU）规则的力量与SVD唯一性。
• 利用映射-态对偶性与图式重写技术处理含环图式，从而推导出关键方程（C）和（A）。

实验结果

研究问题

• RQ1 能否为通用ZX演算构建一个完备、最小且具有物理直观性的公理化体系？
• RQ2 当在稳定子公理基础上增加欧拉分解规则（EU）时，是否足以实现完备性？
• RQ3 0→1和1→1 ZX图式的奇异值分解（SVD）能否作为证明完备性的唯一标准型？
• RQ4 通用ZX演算的完备性在多大程度上可归约为稳定子片段的完备性加上一条额外规则？
• RQ5 是否存在其他更紧凑的公理化体系，能将多条规则统一为一条而不损失完备性或可解释性？

主要发现

• 所提出的公理化体系对通用ZX演算完全完备，所有公理均必要且具有物理可解释性。
• 欧拉分解规则（EU）为单量子比特酉操作提供了自然的标准型，即X–Z–X旋转序列，其理论基础为欧拉角理论。
• 0→1和1→1无环图式的SVD标准型本质上唯一，从而为完备性证明提供了强大技术手段。
• 通用ZX演算的完备性可由稳定子片段的完备性与（EU）规则的添加共同推导得出。
• 本文提供了两种等价的公理化体系：一种包含独立的（HD）与（EU）规则；另一种则将二者统一为一条更紧凑的规则。
• 完备性证明通过SVD标准化避免了繁琐的角度运算，而非直接从公理推导。