[论文解读] Completeness of the ZX-calculus

Quanlong Wang|arXiv (Cornell University)|Sep 29, 2022

Quantum Computing Algorithms and Architecture被引用 6

一句话总结

本论文通过将ZW-演算的完备性结果进行翻译，首次为完整的量子比特量子力学提供了ZX-演算的完整公理化体系，建立了Clifford+T量子力学的普遍完备性，并仅使用九条规则即证明了2量子比特Clifford+T电路的完备性。此外，该完备性结果进一步扩展至三量子比特稳定器量子力学，实现了对多种量子系统间进行严格、基于规则的等价性检查的图示化推理。

ABSTRACT

The ZX-calculus is an intuitive but also mathematically strict graphical language for quantum computing, which is especially powerful for the framework of quantum circuits. Completeness of the ZX-calculus means any equality of matrices with size powers of $n$ can be derived purely diagrammatically. In this thesis, we give the first complete axiomatisation the ZX-calculus for the overall pure qubit quantum mechanics, via a translation from the completeness result of another graphical language for quantum computing -- the ZW-calculus. This paves the way for automated pictorial quantum computing, with the aid of some software like Quantomatic. Based on this universal completeness, we directly obtain a complete axiomatisation of the ZX-calculus for the Clifford+T quantum mechanics, which is approximatively universal for quantum computing, by restricting the ring of complex numbers to its subring corresponding to the Clifford+T fragment resting on the completeness theorem of the ZW-calculus for arbitrary commutative ring. Furthermore, we prove the completeness of the ZX-calculus (with just 9 rules) for 2-qubit Clifford+T circuits by verifying the complete set of 17 circuit relations in diagrammatic rewriting. In addition to completeness results within the qubit related formalism, we extend the completeness of the ZX-calculus for qubit stabilizer quantum mechanics to the qutrit stabilizer system. Finally, we show with some examples the application of the ZX-calculus to the proof of generalised supplementarity, the representation of entanglement classification and Toffoli gate, as well as equivalence-checking for the UMA gate.

研究动机与目标

• 建立适用于通用纯量子比特量子力学的完整、图示化公理化体系。
• 通过从ZW-演算中翻译完备性结果，推导出量子力学中Clifford+T片段的完备性。
• 仅使用九条规则，证明ZX-演算在2量子比特Clifford+T电路中的完备性。
• 将完备性结果扩展至三量子比特稳定器量子力学框架。
• 展示ZX-演算在证明纠缠分类、广义补充性及门等价性方面的实际应用。

提出的方法

• 将此前在任意交换环上建立的ZW-演算完备性结果，翻译至ZX-演算框架中。
• 将复数环限制至对应Clifford+T片段的子环，以推导出完备的公理化体系。
• 在ZX-演算中图示化验证17条基本电路关系，以证明2量子比特Clifford+T电路的完备性。
• 引入基于广义图态和LC型变换的三量子比特稳定器态图示形式化体系。
• 通过简化GS-LC（广义稳定器LC）表示和重写规则，为稳定器图示建立规范形。
• 应用普遍完备性结果，使工具如Quantomatic能够实现自动化等价性检查与电路优化。

实验结果

研究问题

• RQ1 ZX-演算能否在通用纯量子比特量子力学中实现完全完备？若能，是否可通过从另一图形演算中翻译实现？
• RQ2 ZX-演算在Clifford+T量子力学片段中是否完备？是否可从ZW-演算的完备性结果中推导得出？
• RQ3 ZX-演算能否仅用九条规则实现2量子比特Clifford+T电路的完备性？该结果是否可推广至n量子比特电路？
• RQ4 ZX-演算的完备性能否扩展至量子数字系统，特别是三量子比特稳定器量子力学？
• RQ5 完备的ZX-演算在证明量子电路等价性与纠缠分类方面有哪些实际应用？

主要发现

• 通过从ZW-演算翻译，证明了ZX-演算在完整量子比特量子力学中的普遍完备性，建立了该领域首个完整的图示化演算体系。
• 通过将ZW-演算完备性结果限制于复数的相应子环，推导出Clifford+T量子力学的完整且最小的ZX-演算公理化体系。
• 仅使用九条规则，证明了ZX-演算在2量子比特Clifford+T电路中的完备性，且所有17条基本电路关系均在图示中得到验证。
• 尽管局部Clifford群规模显著增大（三量子比特为216个元素，相比量子比特的24个），完备性结果仍成功扩展至三量子比特稳定器量子力学，展现出非平凡的推广性。
• 该框架支持实际应用，如证明广义补充性、分类纠缠、构造Toffoli门，以及验证UMA门等价性。
• 研究成果为自动化量子电路优化奠定了基础，并可与Quantomatic等工具集成，未来有望进一步扩展至量子数字系统与无限维量子力学。