从电路到原子运动的完整编译栈：布局、路由、搬运调度与分区架构。
本卷共 16 个词条，按认知顺序排列（与左侧目录一致）：
| 词条 | 读完能回答 |
|---|---|
| Arctic：FPQA 调度 | 面向分区中性原子架构的纯移动式编译：max-cut 分层、重心交叉最小化与”堆叠”维度权衡，秒级编译时间。 |
| 原子搬运与相干输运 | 用光镊移动携带量子信息的原子：移动中保持纠缠的实验基准、hub 中继搬运与存储缓存层级的编译抽象。 |
| Atomique 动态阵列编译 | 面向多 AOD 可重构原子阵列的两级映射与高并行路由框架，首次在编译中显式建模原子加热、冷却、丢失与退相干。 |
| 受限寻址的分解与调度 | 行列式 1D 控制把 2D 阵列的寻址控制量平方级压缩，深度最优的图案分解等价于 NP-hard 的精确二值矩阵分解。 |
| DasAtom 分治搬运 | 分治+原子穿梭的电路变换算法：把 CZ 线路切成可嵌入的子电路，为每个子电路找最优嵌入，再用独立集调度原子搬运。 |
| FPQA 计算模型与能力边界 | 场可编程量子阵列的形式化模型：长程阻塞门、原生多比特门、原子搬运输入与受限寻址的编译约束。 |
| Geyser：原生多比特门编译 | 不把线路拆到单/双比特门，而是把三比特门块合成为原生 Toffoli——Geyser 开创的”脉冲数优先”多比特综合与映射框架。 |
| 算法相关布局选择 | 中性原子可任意排布二维阵列，Qompose 用学习模型为给定线路挑选最优拓扑，GRAPHINE 主张按应用生成原子阵列。 |
| OLSQ-DPQA：可重构阵列的 Qubit 映射 | 首个面向动态可编程量子阵列的布局综合框架，把 qubit 映射写成 SMT 问题求解，并催生一系列后续编译器。 |
| PowerMove 分区架构编译 | 以”移动”为中心联动调度、分配与搬运的分区架构编译器：连续路由 + 存储区集成，保真度提升数个数量级。 |
| Q-Pilot 飞行 ancilla 编译 | 数据比特固定、辅助比特飞行的 FPQA 编译范式：横向 CNOT 复制态 + 长程 CZ + 回收，为量子模拟与 QAOA 定制高并行路由。 |
| 最优重排与置换路由 | 把原子重排建模为置换路由：网格 AOD 移动有 Θ(√N log N) 步下界，选择性转移或 Ramanujan 覆盖把深度降到 Θ(log N)。 |
| 布局映射与长程交互利用 | 量子比特到原子阵列的映射问题：阻塞免 SWAP 路由、限制体积的并行度代价与损失容忍映射策略。 |
| Weaver 重定向编译框架 | 首个可扩展、高性能、可验证的 FPQA 重定向编译器：WQASM 指令扩展 + WOptimizer 优化 pass + WChecker 等价性检查。 |
| ZAP 架构与编译器 | zoned FPQA 的架构-编译协同设计：陷阱对纠缠区、ASAP-separate 单遍确定性编译，编译时间从数十秒降到 0.1 s 以下。 |
| 分区架构 | 存储区/纠缠区/读出区空间分离的中性原子架构：执行循环、AOD 约束的抽象模型与分区间搬运调度。 |