ZX 演算｜中性原子量子计算知识库

ZX 演算把量子态与量子门统一表示成"蜘蛛图"（spider diagram）：只需两种颜色的蜘蛛加一个 Hadamard 生成元、七八条重写规则，就能在图形层面完成从 Gottesman-Knill 定理到 T 计数化简的全部推理——线路的刚性结构被打破后，化简、综合与验证都变成了图论问题。

问题背景

量子线路是量子计算的”汇编语言”：把幺正分解成固定门集上的门序列（见基本门分解）。但线路作为推理工具相当笨拙——门只能沿时间轴依次排列，许多本恒等的结构（如相位 gadget 的合并、Clifford 层的吸收）在门语言里需要繁琐的矩阵计算。2008 年 Coecke 与 Duncan 提出的 ZX 演算（ZX-calculus）用一种更底层的表示——字符串图（string diagram）——替代线路：任意可以画出来的图都对应一个线性映射，图的拓扑形变不改变语义 van de Wetering 2020。

ZX 演算的三大支柱性质是 van de Wetering 2020：

通用性（universality）：任意 $n \to m$ qubit 线性映射都能表示为 ZX 图（经由 Choi–Jamiłkowski 同构把映射变成态再”弯回”导线）；
可靠性（soundness）：每条重写规则两端确实实现同一线性映射；
完备性（completeness）：对给定门类，任何真实成立的等式都能由规则推出——Clifford 类早已完备，Clifford+T 与一般线性映射的完备性定理在 2017–2020 年间相继建立（“牛津”与”南锡”两条路线）。

有了这三条，“两个图可由规则互推”与”两个映射相等”就完全对应，图形化简因此成为严格证明而非启发式提示。这使 ZX 演算渗入线路优化、表面码 lattice surgery、测量式计算（MBQC）与量子基础等几乎所有子领域 van de Wetering 2020。

理论模型

生成元与语义

ZX 图只有三类基本构件：Z-蜘蛛、X-蜘蛛与 Hadamard（红色/绿色与黄色边只是同一物的约定）。一个带相位 $α$ 、 $m$ 入 $n$ 出的同色蜘蛛的矩阵语义为 van de Wetering 2020

Z_{α}^{(m, n)} = ∣0 \dots 0 ⟩ ⟨ 0 \dots 0 ∣^{\otimes} + e^{i α} ∣1 \dots 1 ⟩ ⟨ 1 \dots 1∣,

即它把基态投影到计算基的两个”全 0 / 全 1”子空间并赋予相对相位 $e^{i α}$ ；X-蜘蛛把 $∣0 ⟩, ∣1 ⟩$ 换成 $∣ + ⟩, ∣ - ⟩$ （颜色互换）。相位为 $π$ 的单 qubit 蜘蛛按颜色给出 Pauli 门 $Z$ 与 $X$ ；CNOT 由两只相位 $\pm π /2$ 的耦合蜘蛛构成，而相位 gadget（见相位 Gadget 与浅深综合）则是”两根平行线中间挂一只蜘蛛”。Hadamard 满足自逆 $H^{2} = 1$ ，并充当 Z、X 两族蜘蛛之间的”颜色转换器”。

基本重写规则

NA109 给出的”完备演算”由如下规则构成（每条都有颜色互换、上下翻转与相位取反三种变体） van de Wetering 2020：

蜘蛛融合（spider fusion, f）：同色相连的蜘蛛合并为一只，相位相加： $α + β$ ；
恒等消去（i）：相位为零的二腿蜘蛛可删除；
$π$ -交换 / $π$ -复制（s）：相位 $π$ 的蜘蛛可”穿过”异色蜘蛛并把对方复制到每条输出腿；
态复制（state-copy）： $∣0 ⟩, ∣ + ⟩$ 等本征态穿过对应蜘蛛时被复制（Copying is XOR 的图形化身）；
颜色交换（cc）：Z、X 蜘蛛经由 Hadamard 边互换颜色；
Euler 分解（eu）：单 qubit 旋转按 Euler 角 $Z_{α} X_{β} Z_{γ}$ 分解，保证单比特门可在图内消化。

加上几条元规则：“只有连接方式重要”（图可任意形变）、每条规则上下翻转仍成立、颜色互换仍成立、全部相位取反仍成立。由融合规则立即可得 Clifford 层的图形化吸收： $Z$ 相位可以自由滑过同色蜘蛛，这正是 Gottesman-Knill 定理图形证明的核心——纯 Clifford 图在上述规则下总能化简为图态加局域 Clifford 的正规型 van de Wetering 2020。

图形化简与完备性的深水区

仅靠融合与消去只能做局域清理。真正的化简威力来自两个图论操作：局域补图（local complementation，Kotzig 变换）与支点变换（pivoting）。Duncan–Kissinger–Perdrix–van de Wetering 证明：把线路化成”图状”（graph-like）ZX 图后，这两个操作对应合法的 ZX 重写，且保持广义流（gflow），从而化简后的图总可确定性地提取回线路；对 Clifford 电路，得到的 GS-LC 伪正规型门数为 $2 n^{2} + O (n)$ （渐近最优）、线性近邻架构下双比特门深度 $9 n - 2$ （优于此前 $14 n - 4$ 的界） Duncan 2020。基于同一框架的无 ancilla T-count 化简在当时 72% 的基准上匹配或超越最优专门算法，个别电路 T-count 下降达 $50%$ Duncan 2020——工程实现见PyZX 与图论化简。

单 qubit 旋转的消化由 Euler 分解规则兜底：

R_{Z} (α) R_{X} (β) R_{Z} (γ) = 三只交替颜色的单 qubit 蜘蛛,

于是任何单比特门序列都能在图内合并成至多三层蜘蛛，不再以门的数量计入代价。

演算家族的扩展

基本 ZX 只”原生”表达 Clifford+T 型幺正；围绕它的扩展构成了一个演算家族 van de Wetering 2020 Kissinger 2020：

ZH 演算：引入 H 框（Hadamard box）生成元，Toffoli/Hadamard 电路获得简洁表示——这正是原生多比特门平台的兴趣所在；
ZW 演算：擅长纠缠态与费米子计算；
带测量与经典控制的 ZX：表示混合态、测量与前馈，覆盖中电路测量与非破坏读出的语义；
qudit / 任意域扩展：把蜘蛛相位群换成高维或有限域结构。

这些扩展与 ZX 共享”图 + 少数规则”的哲学，保证本条的方法论可以整体迁移。

ZX 演算生成元（Z/X 蜘蛛、Hadamard）与基本重写规则总表：spider fusion、π-copy、colour change、Euler decomposition 等（图源：Wetering 2020 Fig. 1）

方法与实现

手工推图只需记住规则表；工程化使用则以 Python 库 PyZX 为主，它把上述规则实现为图上批量重写器，并提供 clifford_simp（Clifford 正规型）与 full_reduce（T-count 优化）两个顶层策略 Kissinger 2020。一条典型流水线是：

线路 $\to$ ZX 图（每只 CNOT/H/T 各对应常数只蜘蛛）；
化简：融合蜘蛛、消去恒等、执行局域补图与支点变换；
提取回线路（见电路提取与 Pauli Flow）或原地”相位传送”化简。

面向中性原子平台的特殊性在于：里德堡阵列原生支持多比特受控相位门（见阻塞 CZ 门、Toffoli/CCZ 门与多比特阻塞门），而图状 ZX 图中相邻平行导线间的相位蜘蛛恰好就是多控相位门 $C^{n} P (φ)$ 的规范形态——化简后图中”幸存”的相位 gadget 无需再分解成 CNOT 瀑布，可直接映射为一次里德堡多体门。Staudacher 等据此提出首个支持任意规模多控相位门的精确综合算法，在 QASM-Bench 与 MQT-Bench 上相对 Qiskit 分解平均缩短执行时间约 $26%$ ，Feynman 基准上达 $40%$ Staudacher 2024；这一路线的系统展开见多控相位门综合。Geyser 等架构-编译协同设计同样表明，把 ZX 类综合输出对准原生多比特门可显著减少脉冲数 Patel 2022。

参数与量级

量	数值/结论	来源
生成元	2 种蜘蛛 + Hadamard（相位为任意实参数）	van de Wetering 2020
基本规则	融合/恒等/ $π$ -复制/颜色交换/Euler 等 ~7 条 + 元规则	van de Wetering 2020
完备性	Clifford 早已完备；Clifford+T 与一般映射 2017–2020 证明	van de Wetering 2020
Clifford 正规型门数	$2 n^{2} + O (n)$ （渐近最优）	Duncan 2020
线性近邻 2Q 门深度	$9 n - 2$ （前界 $14 n - 4$ ）	Duncan 2020
T-count 化简	72% 基准匹配/超最优法，单电路最高 $- 50%$	Duncan 2020
中性原子多控相位综合	执行时间较 Qiskit 平均 $- 26%$ ，最高 $- 40%$	Staudacher 2024

与其他概念的关系

PyZX 与图论化简把本条的规则与策略做成了可处理十万级蜘蛛的开源工程系统，是日常使用 ZX 的入口。
化简后的图要变成可执行线路，必须解决电路提取与 Pauli Flow——流条件（gflow/Pauli flow）决定提取是否高效乃至可能。
图状图中相邻导线间的相位蜘蛛即相位 Gadget，在对角线路上对应对角线路综合的处理对象。
相位 gadget 直接映射为里德堡奇偶相位门与多控相位门综合的原生门，是 ZX 综合对中性原子平台最大的红利。
相同的图形推理也支撑T 计数与非 Clifford 约简与电路等价性验证。
用强化学习自动寻找化简序列的研究见ZX 图的深度强化学习优化，与人工策略互补。

参考文献

J. van de Wetering, “ZX-calculus for the working quantum computer scientist”, preprint, 93 pp. (2020). NA109 · arXiv:2012.13966
R. Duncan, A. Kissinger, S. Perdrix, J. van de Wetering, “Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus”, Quantum 4, 279 (2020). NA102 · DOI 10.22331/q-2020-06-04-279 · arXiv:1902.03178
A. Kissinger, J. van de Wetering, “PyZX: Large Scale Automated Diagrammatic Reasoning”, EPTCS 318, 229 (2020). NA104 · DOI 10.4204/EPTCS.318.14
K. Staudacher, L. Schmid, J. Zeiher, R. Wille, D. Kranzlmüller, “Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware”, EPTCS 406, 96 (2024). NA122 · DOI 10.4204/EPTCS.406.5
T. Patel, D. Silver, D. Tiwari, “Geyser: a compilation framework for quantum computing with neutral atoms”, ISCA (2022). NA012 · DOI 10.1145/3470496.3527428

中性原子百科

探索

ZX 演算