[论文解读] ZX-calculus for the working quantum computer scientist

John van de Wetering|arXiv (Cornell University)|Dec 27, 2020

Quantum Computing Algorithms and Architecture参考文献 110被引用 29

一句话总结

本文为量子计算中的ZX演算提供了一篇全面且易于理解的导论，这是一种用于推理量子计算过程的图形化语言。它解释了ZX图如何表示量子线路和量子态，详述了简化和验证量子过程的核心规则与重写系统，并综述了关键进展，包括完备性定理、针对Clifford线路和Toffoli门的扩展，以及在量子线路优化和测量型量子计算中的应用。

ABSTRACT

The ZX-calculus is a graphical language for reasoning about quantum computation that has recently seen an increased usage in a variety of areas such as quantum circuit optimisation, surface codes and lattice surgery, measurement-based quantum computation, and quantum foundations. The first half of this review gives a gentle introduction to the ZX-calculus suitable for those familiar with the basics of quantum computing. The aim here is to make the reader comfortable enough with the ZX-calculus that they could use it in their daily work for small computations on quantum circuits and states. The latter sections give a condensed overview of the literature on the ZX-calculus. We discuss Clifford computation and graphically prove the Gottesman-Knill theorem, we discuss a recently introduced extension of the ZX-calculus that allows for convenient reasoning about Toffoli gates, and we discuss the recent completeness theorems for the ZX-calculus that show that, in principle, all reasoning about quantum computation can be done using ZX-diagrams. Additionally, we discuss the categorical and algebraic origins of the ZX-calculus and we discuss several extensions of the language which can represent mixed states, measurement, classical control and higher-dimensional qudits.

研究动机与目标

• 为熟悉量子计算基础的量子计算机科学家提供一种温和但严谨的ZX演算入门。
• 使从业者能够将ZX图用于日常的量子线路分析与优化工作。
• 综述并整合ZX演算的最新进展，包括完备性结果、Toffoli门的扩展，以及在量子基础和表面码中的应用。
• 阐明ZX演算及其在高维量子比特（qudits）和混合态上的推广的范畴论与代数基础。

提出的方法

• 将ZX图引入为使用Z-和X-蜘蛛（相位移投影算符）及Hadamard门表示量子过程的图形化表示。
• 定义ZX演算的核心重写规则：蜘蛛融合、恒等式消除、复制规则、π-交换、双代数关系和Hopf法则。
• 将演算应用于推导标准量子协议，如量子隐形传态、GHZ态制备和魔术态注入。
• 使用范畴论形式化图的语义解释，并证明该演算的正确性与完备性。
• 通过H-盒和ZH演算将语言扩展至处理Toffoli门，通过有限阿贝尔群与傅里叶变换将语言推广至高维量子比特（qudits）。
• 综述各类片段的完备性定理，包括牛津与南巴黎结果，并讨论其对通用量子推理的含义。

实验结果

研究问题

• RQ1 如何通过ZX演算以直观且形式化严谨的方式进行量子线路与量子态的图形化推理？
• RQ2 哪些关键重写规则使得ZX演算框架内能够实现量子线路的简化与验证？
• RQ3 ZX演算在何种条件下可作为量子过程推理的完备形式系统？其完备性成立的条件是什么？
• RQ4 如何将ZX演算扩展以处理非Clifford门操作，如Toffoli门和更高维的qudits？
• RQ5 ZX演算在量子线路优化、测量型量子计算以及表面码量子计算中的实际应用有哪些？

主要发现

• ZX演算是一种通用的量子计算语言，能够使用互补的蜘蛛与相位参数表示任意量子比特之间或高维量子比特之间的线性映射。
• 针对关键片段（包括稳定子（Clifford）片段和完整的qubit理论）已建立ZX演算的完备性定理，表明这些片段中的所有等式推理均可通过图形方式捕获。
• 通过H-盒和ZH演算等扩展，可实现对Toffoli门和受控相位门的高效图形化推理，从而支持线路优化与验证。
• 通过有限阿贝尔群与傅里叶变换，ZX演算可推广至qudits，且已为三量子比特（qutrit）Clifford片段证明了完备的规则集。
• 该演算为测量型量子计算与表面码提供了强大推理工具，其在晶格手术与容错量子计算中有实际应用。
• 基于Frobenius代数与双代数的范畴论框架，解释了量子过程的代数结构，并为重写规则提供了理论依据。