ZAP: Zoned Architecture and Performant Compiler for Field Programmable Atom Array

ZAP 为场可编程原子阵列引入了一种协同设计的分区架构与确定性编译器，通过以单次、硬件感知的流程取代迭代全局搜索，在保持具有竞争力的执行质量的同时实现了多个数量级的编译加速（高达 10,000 倍）。

要点

想象一下，你正试图为成千上万名舞者（即原子）在巨大的舞台上组织一场规模宏大、 stakes 极高的舞蹈表演。在标准的量子计算机中，舞者们被固定在特定位置，若要让他们互动，就必须通过复杂且缓慢的动作让他们彼此“跳跃”越过对方。

但在中性原子量子计算中，舞者们实际上漂浮在不可见的磁泡（光镊）之上。你可以随时将他们拾起并瞬间移动到舞台的任何位置。这听起来很神奇，对吧？但有个陷阱：如果你同时移动太多舞者，他们会相互碰撞（串扰），或者音乐变得过于响亮，导致舞者困惑并失去节奏（噪声）。

问题在于，为这些成千上万名移动舞者编写“编舞”（即编译器）极其困难。以往的方法试图通过运行数百万次模拟来寻找完美的舞蹈方案，但这需要数小时甚至数天。这对于实际应用来说太慢了。

于是，ZAP（分区架构与高性能编译器）应运而生。可以将 ZAP 想象为一位才华横溢的新舞台经理，他运用一个简单而巧妙的技巧来解决混乱局面。

核心构想：两个特殊区域

ZAP 不再将整个舞台视为一团混乱，而是将其划分为两个截然不同的“房间”：

1. 存储区：这是一个安静、安全的等候区，舞者们在不跳舞时在此就座。他们在此处彼此远离，以避免意外碰撞。
2. 舞池（纠缠区）：这是一个小型的特殊区域，实际的“双人舞”（即双量子比特门）在此进行。舞池被布置成特定的位置，让成对的舞者能够完美地牵手。

ZAP 的工作原理（编舞过程）

当需要执行一段舞蹈编排时，ZAP 并非试图一次性为整场演出规划每一个动作。相反，它采用一种确定性的单次遍历策略：

1. “前瞻”动作：在音乐开始前，ZAP 迅速确定哪些舞者需要前往舞池。它并非仅挑选最近的舞者，而是前瞻性地观察哪些舞者接下来需要移动。它在存储区中安排这些舞者，使得当他们被召唤时，能够同时移动到舞池而互不碰撞。
2. “留或走”决策：一旦一对舞者在舞池完成舞蹈，他们面临选择：是留在舞池进行下一支舞，还是返回存储区？
   • 旧方法 非常僵化：要么让所有人留在舞池（增加噪声风险），要么立即让所有人返回（浪费移动时间）。
   • ZAP 的巧妙之处：它计算成本。“如果让这位舞者留在此处，是否会引发噪声？如果让他返回，是否会耗时过长？”它为每一位舞者做出最明智的选择，在速度与安全性之间取得平衡。
3. 单次遍历流程：与以往那些先尝试一个方案、发现不佳再重来的经理（迭代搜索）不同，ZAP 一次性规划整个过程。这就像一位对乐谱了如指掌的指挥家，无需排练整个乐团 50 次；只需发出指令，音乐便自然流淌。

成果：速度与质量

该论文声称，ZAP 在两个方面带来了变革：

• 速度：它极其迅速。当其他经理为 100 名舞者规划编排需要数分钟甚至数小时时，ZAP 仅需不到十分之一秒。这意味着速度提升了1,000 到 10,000 倍。它将原本成为瓶颈的过程转变为瞬间完成的操作。
• 质量：由于 ZAP 极其智能地判断何时移动舞者、何时保持静止，它减少了“碰撞”（串扰）和“困惑”（退相干）。最终，舞蹈更加精准，音乐更加清晰。这一点在复杂、杂乱的编排（结构化算法）中尤为显著，因为舞者们必须以奇特模式进行互动。

为何这很重要

该论文认为，通过将硬件（两个区域）与软件（经理）协同设计，我们终于能够扩展量子计算机的规模。ZAP 提供了一种实用、快速且可靠的方式来运行量子程序，而非陷入试图解决不可能谜题的困境。

简而言之：ZAP 就像一座移动汽车城市的超级高效交通指挥官。它并非试图模拟每一种可能的交通拥堵以寻找完美路线，而是利用一套智能的、预先规划的车道与信号系统，让所有人瞬间抵达目的地且毫无事故。

技术摘要

技术摘要：ZAP——面向场可编程原子阵列的分区架构与高性能编译器

1. 问题陈述

中性原子量子计算已成为可扩展性的领先平台，提供拥有数千个物理量子比特和高保真度门操作的系统。该架构的一个决定性特征是能够利用光镊（声光偏转器，AOD）动态重新定位原子以建立连接，从而消除了超导电路等静态架构中所需的昂贵 SWAP 门链。

然而，这种动态能力引入了严峻的编译器与架构挑战。现有的编译器（如 Enola、ZAC、PowerMove）依赖缓慢的、基于迭代的搜索算法，将逻辑电路映射到可重构的原子阵列上。这些方法无法扩展：中等规模问题的编译时间从几分钟爆炸式增长至数小时，形成了阻碍容错系统开发并破坏算法研究所需快速反馈循环的瓶颈。此外，这些编译器难以同时优化执行质量（保真度）和速度，往往无法妥善管理原子传输开销、全局激光场引起的串扰以及退相干之间的权衡。

2. 方法论

作者提出了ZAP（分区架构与高性能编译器），这是一个将特定硬件布局与确定性、非迭代编译器集成在一起的协同设计框架。

硬件架构：分区方法

ZAP 通过将原子阵列划分为两个不同的区域，对其施加空间结构：

• 存储区：一个静态区域，空闲量子比特被保持在深势阱中（由空间光调制器 SLM 生成），以保持相干性并最小化串扰。
• 纠缠区：一个动态区域，活跃量子比特在此被传输以执行双量子比特门。该区域针对里德堡阻塞相互作用进行了优化，原子对之间的距离保持在阻塞半径内，同时保持原子对之间的分离以防止不必要的相互作用。

这种物理隔离将空闲量子比特与用于纠缠的全局激光场隔离开来，显著减少了串扰。

ZAP 编译器框架

ZAP 用单次通过、确定性的编译流程取代了迭代的全局搜索，该流程包含三个关键阶段：

1. ASAP-分离调度：
   与通过将所有门分组来最小化逻辑深度的标准"ASAP-联合”调度不同，ZAP 采用ASAP-分离策略。它首先调度所有双量子比特门，然后将剩余的时序槽填充单量子比特门。这种解耦减少了量子比特在阶段间穿梭的频率，而这是分区架构中退相干的主要来源。

2. 路由感知布局：

   • 初始映射：量子比特根据加权优先级系统映射到存储位，该系统优先考虑早期阶段参与的量子比特。至关重要的是，该映射包含一个“并行感知”项，根据候选位生成 AOD 兼容移动向量的可能性对其进行评分，从而预判未来的路由冲突。
   • 阶段式细化：对于每个阶段，编译器动态决定是将空闲量子比特保留在纠缠区还是将其返回存储区。该决定基于成本效益分析，比较保留（导致的串扰保真度损失）与移动（导致的传输和退相干成本）之间的权衡。
   • 贪婪分配：使用启发式方法将活跃量子比特分配给纠缠对，该方法在最小化移动距离的同时，优先考虑避免 AOD 行/列冲突的移动模式。

3. 冲突感知路由：
   路由器将逻辑移动转换为物理指令。它识别相互兼容的移动集合（保持 AOD 行/列约束），并以并行批次执行它们。当出现冲突时（例如，同一行中的两个原子需要移动到不同的行），ZAP 采用停车操作——短距离的中间位移——来解决冲突并实现并行传输，而无需完全串行化。

3. 主要贡献

• 确定性、单次通过编译：ZAP 消除了先前工作（ZAC、Enola）中的迭代搜索循环，将映射问题转化为可扩展的高效确定性过程。
• 硬件结构化协同设计：通过将硬件明确划分为存储区和纠缠区，ZAP 简化了编译任务，允许采用专门调度和布局策略来抑制串扰。
• 混合空闲量子比特管理：该编译器引入了一种动态策略，平衡串扰暴露与传输开销，其性能优于静态的“总是移动”或“总是停留”策略。
• 路由感知布局：布局启发式算法在映射阶段明确考虑了 AOD 约束（行/列耦合），减少了路由期间进行复杂冲突解决的需求。

4. 实验结果

作者在结构化量子基准测试（如 QFT、QRAM、Adder、QAOA）和随机 3-正则电路上评估了 ZAP，并将其与 Enola、ZAC 和 PowerMove 进行了比较。

• 编译速度：ZAP 实现了多个数量级的加速。
  • 与ZAC和PowerMove相比，编译时间从数十秒降至0.1 秒以下（加速比 >1,000 倍）。
  • 与Enola相比，在评估套件上的加速比超过10,000 倍。
  • 即使对于 100 量子比特电路，ZAP 也能保持 0.1 秒以下的编译时间，并有效扩展至 500 量子比特，而基线方法则变得计算上不可行。
• 执行质量（保真度）：
  • ZAP 始终提供具有竞争力或更优的保真度。
  • 在具有不规则连接性的结构化工作负载（如 QRAM、QFT）上，ZAP 通过有效抑制串扰和限制传输相关损失，显示出显著的保真度提升。
  • 在随机 3-正则电路上，由于拓扑特征不太明显，保真度差距缩小，但 ZAP 仍保持竞争力。
• 执行时间：就物理执行时间（完工时间）而言，ZAP 通常是分区编译器中最快的，因为其减少的穿梭开销和高效调度最小化了总电路持续时间。

5. 意义与主张

该论文声称，ZAP 证明了硬件结构化、非迭代编译为实现快速、可扩展且感知噪声的中性原子量子计算提供了一条实用路径。

• 可扩展性：通过消除迭代搜索瓶颈，ZAP 使得编译大规模电路（数百个量子比特）成为可能，而这些电路在合理的时间范围内以前是无法处理的。
• 实用价值：编译时间的急剧减少促进了交互式工作流、迭代算法开发和闭环校准，这对于推进量子研究至关重要。
• 保真度与速度的权衡：这项工作挑战了速度必须以质量为代价的观念。ZAP 在实现巨大加速的同时，同时改善或保持了执行保真度，特别是在复杂的结构化工作负载上，编译器关于串扰和传输的决策影响最为显著。
• 未来展望：作者指出，随着硬件相干性的提高，编译器层面关于串扰和传输的决策的相对重要性将增加，这使得 ZAP 的协同设计理念对于未来的容错系统变得日益重要。