作者: Jason Ludmir, Tirthak Patel

1. 核心物理图象

这篇论文围绕中性原子（里德堡原子）量子计算机，提出了一个名为 PaQit 的系统级框架，旨在协同优化能量消耗、运行时间和计算保真度。核心物理图象是：中性原子量子计算机的功耗主要由静态基础设施（如激光器和控制系统）主导，而每个额外激活的量子比特的边际功耗很小。因此，在执行多个相同量子电路实例（shots）时，若将它们并行地、紧密地放置在原子阵列中，就能在几乎不增加总功耗的情况下，大幅缩短总运行时间并降低单位计算的能量成本。然而，这种“紧密排列”会受到原子间固有的里德堡相互作用（其强度随距离的六次方衰减）的限制：排列过密会导致相邻电路实例间的串扰，从而降低计算保真度。因此，PaQit 在“提高并行度以节能”与“增加间距以保真”之间寻找最优平衡点。

2. 关键术语解释

• Qubit Packing Efficiency (量子比特封装效率)：指在执行并行任务时，原子阵列中实际被用于计算的量子比特占所有可用量子比特的比例。在本文中，这是一个关键的调度变量，PaQit 通过调整它来在并行度和保真度之间权衡；封装效率越高，并行度越高，但原子间串扰也越强。
• Blockade Radius (里德堡阻塞半径)：在里德堡原子系统中，一个原子被激发到里德堡态后，会在其周围形成一个“排斥区”，该区域内其他原子无法被同时激发。这个区域的半径就是阻塞半径。它决定了原子间能保持的最小安全间距，是约束封装效率的物理下限。
• Static-Power-Dominated Regime (静态功耗主导区)：描述中性原子量子计算机的一个特性，即系统总功耗主要由固定的基础设施（如主激光器）决定，而随量子比特数量变化的动态功耗占比很小。这正是 PaQit 能够通过提高并行度来显著提升能效的根本原因。

3. 主要贡献 (Key Contributions)

1. 首个链接能量-运行时间-保真度的分析模型：论文首次建立了从硬件物理（里德堡相互作用）到系统级指标（功耗、运行时间）的量化模型，并推导了串行与并行执行模式下运行时间和能量消耗的上下界，为系统调度提供了理论依据。
2. 揭示并量化了“封装-保真度”权衡：论文明确指出，提高量子比特封装效率（空间并行度）虽然能提升吞吐量和能效，但会因相互作用串扰导致指数级的保真度下降，从而在物理层面刻画了这一固有矛盾。
3. 提出了 PaQit 封装调度框架：创新性地将用户指定的保真度目标，转化为一个具体的“最优封装效率”操作点。这是一个纯软件层面的调度策略，无需修改硬件，即可在满足保真度要求的前提下，最小化能量消耗和运行时间。
4. 在真实硬件和仿真上的验证：通过模拟和真实 QuEra Aquila 硬件实验，验证了模型预测的准确性（例如，发现原子间距超过 10 微米时保真度损失可忽略不计），并揭示了“增加原子数并不一定按比例增加保真度损失，关键是保持间距”这一对调度有直接指导意义的现象。

4. 研究方法 (Methodology)

PaQit 的实现基于一个多层级的建模与优化流程。首先，它利用一个基于物理的功耗模型 $P(n) = P_0 + \alpha n^\beta$ 来刻画系统功耗，其中 $P_0$ 是静态功耗，$\alpha n^\beta$ 是随量子比特数 $n$ 变化的动态功耗。其次，它通过里德堡相互作用势 $V_{ij} = C_6/r^6_{ij}$ 和阻塞半径 $r_b$ 来量化封装效率 $\eta$ 与保真度 $f(\eta)$ 之间的关系，导出了一个指数衰减的保真度模型。最后，PaQit 的核心是求解一个优化问题：在给定目标保真度 $f^*$ 的约束下，找到一个最优封装效率 $\eta(f^*)$，使得总能量消耗 $E_{eff}(f^*)$ 最小。求解过程中，通过反解保真度公式得到 $\eta(f^*)$，再将其代入运行时间和能量的解析表达式中，从而确定一个最优操作点。整个框架通过一个 Python 模拟器（结合 Bloqade 模拟器和真实 Aquila 硬件实验）进行了验证。

5. 实验结果与结论 (Results and Conclusion)

实验结果表明，PaQit 的分析模型与仿真和真实硬件测量的趋势高度一致。关键结论包括：(1) 中性原子量子计算机确实运行在静态功耗主导区，提高并行度是节能的核心手段；(2) 保真度目标越严格，允许的封装效率越低，导致运行时间和能量急剧增加（非线性的），这揭示了高保真度需求的真实“代价”；(3) 硬件的实际调度策略应主要依据空间间距，而非仅仅是原子数量。只要物理空间足够大，能够保持原子间距，就可以增加更多的原子（或电路实例）而不会显著降低保真度，这为大规模并行调度提供了乐观的前景。

这项工作的意义在于，它首次将能源效率作为中性原子量子计算的一等公民指标，提供了原理性的定量工具和调度框架。未来的开放性工作包括：将框架扩展到更复杂的电路结构（如数字模式）、考虑更复杂的噪声模型（如温度漂移）、以及将 PaQit 集成到更完整的量子编译和控制系统，以实现在实际部署中的自动化能效优化。

6. 论文标签 (Tags)

中性原子, 里德堡原子, 编译与优化, 物理硬件, 模拟

📄 点击此处展开/折叠原文 PDF

原文链接： PaQit: Energy-Runtime-Fidelity Co-Optimization for Neutral Atom Quantum Computers