作者: Neven Gentil, Lous S. Rianne, Aida Todri-Sanial

1. 核心物理图象

这篇论文的核心物理图象是：在基于中性原子的量子计算机中，执行量子电路时，原子（量子比特）需要在不同的位置之间移动才能完成门操作。这些移动是昂贵且有风险的，会降低计算保真度和速度。因此，一个核心任务是为每个原子在每一时刻规划好它在2D网格上的位置，并设计出最节能、最快、最安全的移动路径。

论文的主要贡献是提出了一个通用的数学框架和优化算法，能够自动找到这样的最优位置和移动方案。这个框架基于图论，可以计算出一个理论上的最小移动次数下限，然后通过一个遗传算法在满足硬件约束（如避免原子碰撞、利用并行移动能力）的前提下，实际优化原子的移动总距离和并行移动的步数，从而显著提升量子电路的执行效率。

2. 关键术语解释

• 映射 (Mapping)：指的是为量子电路中的每个时间步骤（阶段），为每个量子比特（原子）在物理网格上指定一个具体的位置坐标。一个好的映射能最大限度地减少不必要的原子移动。这篇论文的核心就是发明了一个更好的“映射”方法。
• 并行转移操作 (Parallel Transfer Operations, PTOs)：指在原子重组时，能够同时进行、互不干扰的多个原子移动。利用PTOs可以显著加快量子电路的执行速度。本文的优化目标之一就是最大化PTOs的数量。
• 图论表示与匹配 (Graph Representation & Matching)：作者将量子电路的逻辑结构转化为一个特殊的“量子有向图”。图论中的“匹配”概念被用来严格证明并确定：在从一个阶段到下一个阶段时，最少需要移动多少原子（即静态链接的最大数量）。这为优化提供了理论下限，是该方法论的理论基石。

3. 主要贡献

1. 提出了与电路无关的通用数学框架：基于图论，为中性原子量子计算机的“映射”问题建立了严格的数学模型。该模型能计算出执行任意量子电路所需的最小原子转移次数，适用于单区域和分区架构，并天然支持多量子比特门。
2. 引入了高效的“棍棒编码”：将从图论中提取出的自由度（原子在网格上的位置、内部排列）编码为结构化的“棍棒”，从而将复杂的优化问题转化为一个便于搜索的非线性整数规划问题，大大降低了优化难度。
3. 实现了可调节的、性能优异的优化算法：采用遗传算法，能够在“原子移动总距离”和“并行转移操作数量”这两个关键目标之间进行灵活的权衡。相比当前最先进的ZAC和MQT编译器，该方法在所有测试电路上都达到了理论最小转移次数，并在移动距离或并行度方面表现更优。

4. 研究方法

作者首先将量子电路分解为一系列“阶段”。他们利用图论，构建了一个“量子有向图”。该图的边表示原子在不同阶段指令间的连接。通过求解图论中的最大权值匹配问题，理论证明了从一个阶段到下一阶段所需的最小原子转移次数（定理3.1和3.2），这为所有后续优化提供了理论下限。

接着，作者从图中提取出核心的自由度，设计了一种名为“棍棒编码”的高效表示方法。这种方法将原子的位置和排列方式转化为一个离散的、可操作的问题。最后，他们采用遗传算法（一种模拟自然进化的优化算法）来搜索最佳的“棍棒”位置和内部排列，以同时最小化原子移动的总距离以及增加并行转移操作的数量。

5. 实验结果与结论

通过对比包括QFT、GHZ、WState等在内的十个不同量子电路的基准测试，结论表明：

• 理论下限的验证：该算法在所有测试电路上均达到了图论推导出的最小原子转移次数，证明了其理论模型的正确性。
• 性能全面领先：与当前最先进的ZAC和MQT映射器相比，该方法在转移次数上始终保持或超越最优。当优化目标侧重于“移动距离”时，其优势尤为明显；当侧重于“并行度”时，也能得到更少或同等的并行转移步数。
• 揭示了关键权衡：该方法清晰地展示了移动效率（短距离）与操作并行性（少步数）之间存在的固有权衡。这使得量子程序员可以根据具体硬件参数（如移动速度与并行切换速度）灵活地选择最优编译策略，从而优化电路的执行时间或保真度。

6. 论文标签

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

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

原文链接： General circuit mapping algorithm for neutral atom quantum computers