Weaver 重定向编译框架｜中性原子量子计算知识库

Weaver 的本质是给量子编译器装上"重定向"三件套：WQASM 把 FPQA 的专属指令（定义陷阱、绑定原子、搬运、Raman/Rydberg 脉冲）以注解形式正式并入 OpenQASM；WOptimizer 用一组面向 FPQA 能力的 pass 重写线路；WChecker 再自动验证改写后的代码与原线路功能等价——同一份量子汇编从此可以瞄准超导机或 FPQA，且编译结果自带正确性凭证。

问题背景

量子硬件技术多样化（超导、囚禁离子、中性原子/FPQA、硅自旋等），各技术在规模、性能、制造与运营成本上给出根本不同的取舍。已有的量子代码大多为超导平台编写；要把它们迁移到新兴的 FPQA 上，逐一手写既不现实也不可靠。Weaver 提出”重定向编译器”（retargetable compiler）必须同时满足三条性质 Kırmemiş 2025：可扩展（新硬件快速迭代，框架必须容易加新指令与新 pass）、高性能（编译时间短、执行保真度高）、可验证（重定向后的代码与原代码功能等价——而量子态的指数维让直接模拟验证不可行，硬件异质性又引入输出非确定性）。

与 Weaver 同代的 FPQA 编译器（Geyser：原生多比特门编译、Atomique 动态阵列编译、DPQA Tan 2022）都是”单一目标”编译器：绑定一种硬件假设、不做重定向、更不验证输出。Weaver 的定位是把这些专用优化纳入一个可插拔的框架，并用形式化的指令语义与自动等价检查补上工程化最缺的一环。

形式化模型

WQASM：带前置/后置条件的 FPQA 注解

WQASM 以 OpenQASM 3.0 为底座，通过注解（annotation）为每条逻辑门补充 FPQA 执行步骤，不改动 OpenQASM 的硬件无关语法，因此”忽略注解的 WQASM 文件仍是合法 OpenQASM、可继续重定向到其他架构”。八条核心注解各自定义前置条件（pre-condition）与后置条件（post-condition）Kırmemiş 2025：

注解	功能	关键条件
`@slm` / `@aod`	初始化固定/可重构陷阱层	任意陷阱间距 $\geq$ 最小距离（约 5–10 $μ m$ ）；AOD 坐标递增、网格状
`@bind`	把 qubit 编号绑定到 SLM/AOD 陷阱	—
`@transfer`	SLM↔AOD 换阱	目标阱须为空且足够近
`@shuttle`	整行/整列平移 AOD	相邻行列保持最小距离、不得越过彼此
`@raman local/global`	局部/全局单比特转动	—
`@rydberg`	全局里德堡脉冲	距离 $\leq$ 里德堡半径的所有原子对收到 CZ（成对等距时为受控多比特门）

逻辑门指令只受依赖图约束、可并行；FPQA 注解则必须按固定次序执行，因为每一步都改变器件状态。这组”语法 + 语义（前后置条件）“构成 FPQA 指令级的形式化契约，也是 WChecker 验证的依据（见FPQA 计算模型与能力边界的能力-约束清单）。注解与逻辑门的对应同样被形式化：@raman global 等价于作用在全部比特上的一个逻辑门，@raman local 对应单个 $U_{3}$ ；@rydberg 脉冲的语义则依赖此前搬运的结果——距离内所有原子对收到 CZ，等距三角排布时即为原生 CCZ。

复杂度模型

对 $N$ 变量/ $N$ 比特的基准，Weaver 的整体复杂度为 $O (N^{2})$ ——由着色步骤主导；对照 Qiskit $O (N^{3})$ 、Atomique $O (N^{3})$ （SABRE 主导）、Geyser $O (K^{2})$ （ $K$ 为量子操作数， $K ≫ N$ ）、DPQA $O (2^{K})$ Kırmemiş 2025。

方法与实现

Weaver 流水线三段：逻辑线路先降低（lowering）到 WQASM IR 并综合到 ${U_{3}, C Z}$ 原生门集，随后进入面向所选后端（超导或 FPQA）的硬件感知编译，最后由 WChecker 验证 Kırmemiş 2025。FPQA 侧的 WOptimizer 针对最大可满足性（MAX-3SAT）类 QAOA 代价哈密顿量实现三个 pass（方法对一般 QAOA 可推广）：

1. 子句着色（clause coloring）。把代价哈密顿量的每个子句建成图节点，共享变量的子句之间连边；用 DSatur 贪心着色（ $O (N^{2})$ ），同色子句共享变量互斥、不同色子句可并行——着色数就是”颜色区”数，每个区用一次全局 Rydberg 脉冲把整组子句的多比特门并行打完，正面迎击 FPQA 门慢的短板。

2. 颜色搬运（color shuttling）。超导式路由用 SWAP（3 个 CNOT）换连接性，保真度代价高；Weaver 改用物理搬运：每个颜色区占两条 AOD 列 + 一条 AOD 行、各区沿对角线排布以规避 AOD 行列交叉约束；一个颜色执行完后，该区原子按”下一区是否用到”决定转入 AOD 或退回 SLM，再整批搬运到下一对角区。区内原子序保持不变，因此搬运集的构造只需顺序扫描、无需重新排序；若原子在相邻两区的相对次序变化，拆成两步搬运即可（先并移次序逆者，再移其余）。

3. 三比特门压缩（3-qubit gate compression）。MAX-3SAT 的立方项标准实现需 8 个 CNOT；FPQA 原生支持 $C^{n} Z$ ，可把每个子句片段压缩为 2 CNOT + 2 CCNOT。但 CCZ 保真度目前低于 CZ，压缩是否划算由目标硬件保真度参数决定：当 CCZ 保真度超过阈值 $0.9916$ 时压缩全面胜出（该阈值仅比评测所用 CCZ 保真度 0.98 高 1.2%）。压缩 pass 还利用 CCNOT 对控制比特的对称性，把控制比特之间的相互作用合并为单次两比特交互，并通过调整旋转角度符号处理正负文字混合的子句。

wOptimizer 三 pass 示意：子句着色（图着色分色区）→ 颜色搬运（对角色区间的 AOD 整批平移）→ 三比特门压缩（8 CNOT → 2 CNOT + 2 CCNOT）（图源：Kırmemiş 2025 Fig. 5）

WChecker 等价性检查。由”脉冲到门转换器 + 幺正检查器”构成：先模拟全部 @transfer/@shuttle 得到每个 Rydberg 脉冲时刻的原子坐标，再验证（1）应交互的原子两两在交互距离内且等距，（2）没有其他原子被误卷入；Raman 脉冲则直接比对角度与寻址。两份线路各自转为幺正矩阵比对。复杂度 $O (N^{2} M)$ （ $M$ 为指令数），瓶颈在逐对原子的交互检查。

实现栈。Weaver 构建在 Qiskit 1.0.2 与 OpenQASM 3.0 之上，用 PySAT 处理 MAX-3SAT 公式、把 FPQA 器件表示为硬件参数可调的类（SLM 陷阱布局与 AOD 行列数均可配置以保持硬件无关）；原生门综合由 Qiskit 完成（基 ${U_{3}, C Z}$ ），重定向回超导后端时直接复用 Qiskit 编译器。作者也坦承一处简化：三个原子落在交互距离内时一律按等距 CCZ 处理，非等距排布下实际对应别的多比特门——这是当前形式化尚未覆盖的边界情形 Kırmemiş 2025。

实验结果与对比

评测用 SATLIB 的 MAX-3SAT 公式：10 个 20 变量问题 + 20–250 变量的规模扫描，超时上限 20 小时；基线为超导 Qiskit（IBM Washington 127 比特后端）、Geyser：原生多比特门编译、Atomique 动态阵列编译与 DPQA Tan 2022，保真度以估计成功概率（EPS）计 Kırmemiş 2025。

指标	Weaver	最强对照	说明
编译时间	平均快 $5.7 \times 1 0^{3} \times$	vs Atomique 最高 $24 \times$ ；vs DPQA 最高 $1 0^{5} \times$ ；平均 $1 0^{4} \times$	Geyser/DPQA 超 20 变量超时；超导上限 100 变量
执行时间	平均缩短 $4.4 \times$ （最好 $12.4 \times$ ）	比 Atomique/DPQA 好 $8.2 \times$	Geyser 执行时间最短但规模不可扩展
EPS（20 变量）	平均提升 $10%$	次优为 Atomique（DPQA 在 20 变量上例外占优）	摘要口径：平均提升 10%
EPS（150 变量）	提升达 $1 0^{8}$ 量级	随规模扩大对次优优势剧增	摘要口径：执行保真度最高 $1 0^{5} \times$
脉冲数	显著更低	Geyser 零搬运、脉冲多；DPQA 搬运最多、脉冲最少但执行最慢	低脉冲数 × 高并行 = 执行时间优势

结果链条的机理 Kırmemiş 2025：编译端 $O (N^{2})$ 复杂度 + 无重排序搬运让 Weaver 成为唯一能扩展到 250 变量的 FPQA 编译器；执行端着色把并行度拉满、压缩把脉冲数压低，二者相乘得到执行时间优势；保真度端用更多原生多比特门替换长 CNOT 链，在 CCZ 保真度越过 0.9916 阈值后收益随规模放大——这也给硬件一条量化提示：CCZ 保真度只需再涨 1.2%，原生三比特门路线即可在 20 变量级别全面反超。

参数与量级

量	典型值	来源
编译复杂度	$O (N^{2})$ （DSatur 着色主导）	Kırmemiş 2025
等价检查复杂度	$O (N^{2} M)$	Kırmemiş 2025
陷阱最小间距	约 5–10 $μ m$	Kırmemiş 2025
每子句门数	8 CNOT → 2 CNOT + 2 CCNOT	Kırmemiş 2025
CCZ 保真度阈值	$0.9916$ （比评测值 0.98 高 1.2%）	Kırmemiş 2025
编译时间收益	平均 $5.7 \times 1 0^{3} \times$ （最高 $1 0^{5} \times$ ，vs DPQA）	Kırmemiş 2025
执行时间收益	平均 $4.4 \times$ （最好 $12.4 \times$ ）	Kırmemiş 2025
EPS 收益	平均 $+ 10%$ （20 变量）； $1 0^{8}$ 量级（150 变量）	Kırmemiş 2025
评测超时	20 小时（Geyser/DPQA 20 变量即超时）	Kırmemiş 2025

与其他概念的关系

WQASM 的注解语义是FPQA 计算模型与能力边界的形式化落地：把”移动/并行/受限寻址”写成了机器可检查的前后置条件。
三比特门压缩直接消费Toffoli/CCZ 门与多比特阻塞门的原生能力；CCZ 阈值分析与Geyser：原生多比特门编译的”用多比特门换脉冲数”思想同源。
颜色搬运是原子搬运与相干输运的编译学应用：保持原子序的整批搬运天然满足 AOD 行列约束。
对照系：Atomique 动态阵列编译与 DPQA/Enola（见OLSQ-DPQA：可重构阵列的 Qubit 映射）作为被重定向超越的专用编译器；QAOA 子句并行化与布局映射与长程交互利用的图方法同气连枝。
WChecker 的幺正比对是电路等价性验证思想在 FPQA 指令级的实例；面向多硬件的公平对比方法学见编译器公平评测与可视化。
面向分区的另一极（专用化、去迭代化）见ZAP 架构与编译器与PowerMove 分区架构编译；QAOA 基准特性见通用量子基准套件。

参考文献

O. Kırmemiş, F. Romão, E. Giortamis, P. Bhatotia, “Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures”, CGO (2025). NA035 · arXiv:2409.07870 · DOI 10.1145/3696443.3708965
T. Patel, D. Silver, D. Tiwari, “Geyser: A Compilation Framework for Quantum Computing with Neutral Atoms”, ISCA (2022)（对比基线）. NA012 · DOI 10.1145/3470496.3527428
H. Wang et al., “Atomique: A Quantum Compiler for Reconfigurable Neutral Atom Arrays”, ISCA (2024)（对比基线）. NA019
D. B. Tan, D. Bluvstein, M. D. Lukin, J. Cong, “Qubit Mapping for Reconfigurable Atom Arrays”, ICCAD (2022)（DPQA 基线）. NA014

中性原子百科

探索

Weaver 重定向编译框架