对角线路综合｜中性原子量子计算知识库

对角幺正 $e^{i f (\overset{x}{^})}$ 的电路综合本质上是一次函数逼近：把 $f$ 展开成 Walsh 级数，每一项就是一个 $exp (- i θ Z \otimes \dots \otimes Z)$ ——对角结构让”指数级昂贵的通用分解”退化为”项数可控的相位层”，而且完全不需要 ancilla。

问题背景

对角幺正出现在量子计算的几乎每个角落：实空间模拟中 $e^{- i \hat{H} t}$ 的对角势能步、Grover 搜索的 oracle、QAOA 的相位分离层、量子化学中波函数的数值演化步。这些幺正的通用分解（见基本门分解）要 $Θ (n^{3} 4^{n})$ 个门，而它们真正需要的门数只取决于相位函数 $f$ 的”复杂度”。已有的高效电路往往依赖 ancilla 寄存器，而 ancilla 在近中期设备上恰是最稀缺的资源 Welch 2014。

Welch–Greenbaum–Mostame–Aspuru-Guzik 指出：Walsh 函数与对角算子的一组基天然对应，于是”在给定误差内构造最浅电路”被归约为”找 $f$ 的最短 Walsh 逼近”——一个经典函数逼近问题 Welch 2014。Zhang–Wu–Li 进一步对以多控 Z-旋转（multiple-control Z-rotation, MCZR）门为原语的电路建立了系统的综合与深度优化理论 Zhang 2023。

理论模型

Walsh 函数与对角算子

在计算基 $∣ x ⟩$ （ $x \in {0, 1}^{n}$ ）下，对角幺正写为

\hat{U} = e^{i f (\overset{x}{^})}, f (\overset{x}{^}) ∣ x ⟩ = f (x) ∣ x ⟩ .

Paley 序的离散 Walsh 函数定义为 $w_{k} (x) = (- 1)^{k \cdot x}$ （点积在 $F_{2}$ 上），它们恰是 $n$ 比特 Pauli- $Z$ 串算符的特征函数： $w_{k} (x)$ 对应 $\hat{Z}_{k} = ⨂_{i : k_{i} = 1} Z_{i}$ 。将 $f$ 做 Walsh-Fourier 展开

f (x) = k \sum a_{k} w_{k} (x),

则对角幺正分解为可交换的相位算子之积

e^{i f (\overset{x}{^})} = k \prod e^{i a_{k} \hat{Z}_{k}},

每一项 $e^{i a_{k} \hat{Z}_{k}}$ 用”Gray 码 CNOT 阶梯 + 多控 $Z$ 旋转 + 逆阶梯”实现。于是门数正比于 Walsh 级数的项数，且整个构造无 ancilla；电路深度与门数至多差因子 2 Welch 2014。

逼近与截断

$2^{n}$ 项的完整 Walsh 变换换成一个全局相位；取含 $2^{k}$ （ $k \leq n$ ）项的部分级数即可逼近 $\hat{U}$ ，被弃项的系数幅度直接控制合成误差：对 $e^{- i \hat{V} ϵδ t}$ 型近似有误差 $E \leq ϵ_{V} δ t$ ，算法总误差满足 $E_{G} \leq ϵ_{V} t + ϵ_{K} t$ 。因此”最浅电路”问题精确化为”最短 Walsh 级数”问题 Welch 2014。

MCZR 电路的多项式对应

Zhang 等把上述图景推广为线路-多项式对应：任一 {CNOT, 多控 $Z$ -旋转} 电路唯一对应一个相位多项式 $p (x) = \sum_{y} c_{y} (- 1)^{y \cdot x}$ ，反之每个相位多项式都可由 MCZR 电路实现。由此得到：

精确综合：对任意给定对角幺正矩阵，解析方法给出门数最优的 MCZR 电路；对含互补门对的情形深度亦最优；
深度优化：门交换（gate-exchange）策略与迭代算法可优化任意 MCZR 电路（乃至任意可交换门集电路）的深度 Zhang 2023。

前 8 个 Walsh 函数（Paley 序）与其对应的多控 Z-rotation 电路（图源：Welch 2014 Fig. 1）

方法与实现

实现无 ancilla 对角综合的流程：

计算相位函数 $f$ 的 Walsh-Fourier 谱，按系数幅度截断到误差预算内；
对每个保留项 $k$ ：用 Gray 码排列 CNOT 把”奇偶校验 $k \cdot x$ “聚到一个比特上，施加 $R_{z} (2 a_{k})$ ，再逆序撤销 CNOT；
各项可任意排序（全部对易），用相位 Gadget视角合并公共 CNOT、用 MCZR 深度优化重排 Zhang 2023；
用电路等价性验证确认合成结果。

与基本门分解对照可以看出结构的价值：Barenco 等的通用构造中，对角矩阵 $D$ 本就是 $2^{n} - 1$ 个二维平面旋转之积，每个平面旋转又耗 $Θ (n^{3})$ 个基本门——Walsh 方法把这一”通用但昂贵”的对角实现替换为”项数线性”的相位层，代价只依赖于相位函数的频谱，而非矩阵维度本身 Welch 2014。

Welch 等在量子化学 Eckart 势垒（ $A sech (a x)$ ）的经典模拟问题上演示：少比特、低深度即可达到高保真 Welch 2014；Zhang 等在几十比特的对角厄米算符与 QAOA 电路上平均降低深度 $33.40%$ 与 $15.55%$ Zhang 2023。Zhang 等的迭代深度优化（gate-exchange 策略 + 迭代重排）还表现出”用时换深度”的弹性：更多迭代轮次继续压低深度，而综合算法本身的耗时增长缓慢 Zhang 2023。

与中性原子平台的关联

对角门恰是里德堡平台的原生门类：里德堡阻塞直接给出 $C^{n} Z (φ) = diag (1, \dots, 1, e^{i φ})$ （见阻塞 CZ 门与多比特阻塞门），奇偶相位门家族 $exp (- i θ Z^{\otimes m})$ （奇偶相位门与原生多体门）更是与 Walsh 项 $e^{i a_{k} \hat{Z}_{k}}$ 逐字对应——一个 Walsh 项在中性原子上就是一个多体里德堡相位，无需 CNOT 阶梯。Staudacher 等的 ZX 方法（见多控相位门综合）进一步从任意电路中自动识别对角片段并合成为原生 $C^{n} P$ ，其收益正来自”对角结构免费”这一事实；Geyser：原生多比特门编译则是同一思想在 CCZ 上的实现。

参数与量级

量	数值	来源
完整 Walsh 变换	$2^{n}$ 项 → 一个全局相位（可丢弃）	Welch 2014
门数标度	正比于 Walsh 级数保留项数；深度 $\leq 2 \times$ 门数	Welch 2014
ancilla 需求	0（无 ancilla 综合）	Welch 2014
对角厄米算符深度	平均降低 $33.40%$ （对比先前工作）	Zhang 2023
QAOA 电路深度	平均降低 $15.55%$	Zhang 2023
各算符深度缩减	$23.29%$ 、 $32.16%$ 、 $32.88%$ 、 $33.40%$	Zhang 2023
综合耗时	app04 迭代： $43.67%$ 时间达 $33.40%$ 缩减	Zhang 2023

与其他概念的关系

相位 Gadget 与浅深综合： $e^{i a_{k} \hat{Z}_{k}}$ 就是相位 gadget；Walsh 展开是对角幺正的 gadget 分解，两套语言互相翻译。
奇偶相位门与原生多体门：Walsh 项在中性原子上的原生实现，绕开 CNOT 阶梯。
多控相位门综合：用 ZX 从任意电路提取对角片段并合成为原生多控相位门。
基本门分解：对角幺正的通用分解上界（Barenco 的 $D$ 矩阵部分），Walsh 方法以结构换指数。
T 计数与非 Clifford 约简：CNOT+旋转电路的相位多项式对应（Fourier 展开）同样支撑 T-count 下界与化简。
Geyser：原生多比特门编译与Toffoli/CCZ 门：把对角/受控相位结构映射到里德堡原生门的编译路线。
ZX 演算：对角电路在 graph-like ZX 图上有独特结构，是自动识别的依据。
通用量子基准套件：QAOA 等含大对角相位层的基准电路来源。

参考文献

J. Welch, D. Greenbaum, S. Mostame, A. Aspuru-Guzik, “Efficient quantum circuits for diagonal unitaries without ancillas”, New J. Phys. 16, 033040 (2014). NA093 · DOI 10.1088/1367-2630/16/3/033040 · arXiv:1306.3991
S. Zhang, J. Wu, L. Li, “Characterization, synthesis, and optimization of quantum circuits over multiple-control Z-rotation gates: A systematic study”, Phys. Rev. A 108, 022603 (2023). NA119 · DOI 10.1103/PhysRevA.108.022603

中性原子百科

探索

对角线路综合