中性原子：可重构的原子阵列
一句话定义
中性原子路线用光镊把数百至数千个原子（铷、锶等）排成可移动的阵列，以里德堡激发的阻塞效应实现双比特门，代表机构为 QuEra、Pasqal 与 Atom Computing。
为什么重要
它是四条主路线中最年轻的，却同时握有两张牌：规模（Atom Computing 2023 年宣布逾千原子的阵列，中性原子是首个破千的路线）与可重构连接性——光镊能把原子临时"搬运"到一起执行门，相当于连接拓扑可以按电路动态重排。2023 年底哈佛/QuEra 团队的 48 逻辑比特实验（含 2024 年期刊版本）让这条路线直接跃入纠错主舞台。理解它，就能看懂容错时间表（kp-034）上最新的一批变量。
前置知识
kp-020（噪声与保真度概念）。原子物理背景不需要；"里德堡态"一词自带解释。
核心概念
- 光镊阵列：聚焦激光束形成"光学镊子"阵列，每个镊子抓一个原子；镊子可编程移动（重排、并行对撞）。
- 编码：原子基态超精细能级（铷-87）或光钟态（锶-87）作 |0⟩/|1⟩。
- 里德堡阻塞：把原子激发到主量子数很大的里德堡态（电子云半径达微米级），一个原子处于里德堡态时会改变邻近原子的激发能级、阻止其同步激发——这个"一山不容二虎"效应就是条件纠缠的门。
- 动态连接：门不需要固定邻居——先把两个原子镊到彼此的阻塞半径内再激发，天然支持任意连接、按需并行。
- 路线画像：双比特错误率 ~99.5%（2023 公开水平，快速进步中）、门时间 0.1–10 μs、单区阵列数百至上千原子、读出为荧光成像（原位、并行）。
直观类比
如果说超导是"固定工位的流水线"、离子阱是"整齐但不能长的仪仗队"，中性原子就是"一支会瞬移的施工队"：工人（原子）平时按图纸站好，哪里需要协作就把两人（镊子）挪到一起当场组队，干完立刻归位。施工图（连接拓扑）每天都能改——这是它独有的"结构弹性"，也是纠错码研究者偏爱它的原因：复杂码（如 qLDPC 码）需要的非常规连接，在这里不用改硬件设计，改镊子调度表就行。
原理与机制
里德堡门的两步：对原子 A 施加 π 脉冲把它送到里德堡态 |r⟩；再对原子 B 施加共振脉冲——若 A 已在 |r⟩，B 的能级被移出共振（阻塞），脉冲无效；否则 B 被激发。末了 A 被送回基态。整个过程把"A 是否被激发"这个量子信息条件性地写进 B 的相位——两比特受控相位门完成。门时间受里德堡寿命与脉冲整形限制在亚微秒到微秒级。规模化路径清晰：光镊阵列已演示千原子级静态排布；双比特门保真度从 2021 年的 ~97% 提升到 2023 年的 99.5% 上下。纠错上的旗舰结果是哈佛/Lukin 组与 QuEra 合作的 2023–2024 工作（Bluvstein 等，Nature 2024）：48 个逻辑比特、多种纠错码在同一台机器上以镊子重构切换——第一次让"逻辑比特数量超过物理算法所需"的演示成规模出现。
公式或模型
本节不适用定量公式——记忆三组数：双比特错误率 ~5×10⁻³（2023 公开水平）；门时间 0.1–10 μs；阵列规模 10²–10³ 原子。注意与 kp-022 对比：门速与离子阱相近，规模上限高一个量级以上，保真度略逊。
图示
实例或案例
两个坐标：Atom Computing（2023）宣布 1180 个原子（核自旋）的阵列，为通用路线中首个破千；哈佛/QuEra（Bluvstein 等 2024，Nature）在同一装置上实现 48 逻辑比特，码型可切换（重排镊子即可换码），并演示了码距 7 的表面码级实验雏形。这两个事实合起来构成 kp-034 中"路线图尾部变数"的最好注脚：一条 2020 年前后才商业化的路线，五年内同时摸到"千物理比特"与"数十逻辑比特"两个里程碑。
与其他知识点的关系
kp-026 的纠错码 zoo 在这条路线上获得了"软件定义连接"的实验平台；kp-020 的参数表新增一个参照系；kp-034 的时间表预测里它是方差最大的项；与 kp-021/kp-022 构成三路对比（快而糙 / 净而少 / 弹性而年轻）。
常见误区
- "上千原子=上千个好量子比特"：静态原子数≠可用比特；保真度、读出与调度并行度决定有效规模。
- "重构免费"：搬运原子耗时且引入加热与损耗；重构调度本身是复杂的编译问题（与 kp-013 的深度预算叠加）。
- "中性原子替代超导"：各路线在精度-规模-速度三角上各占一角；行业更可能长期并存、按任务分工。
自测题
- 用两步描述里德堡阻塞如何产生条件相位门。
- "动态连接性"对纠错研究为什么特别有价值？
- 比较 kp-022 与本路线：谁的门更准、谁更可能先上大规模？
答案要点：A 激发至 |r⟩ 后，B 的激发能级被移出共振（阻塞），B 是否获得相位取决于 A 的态——受控相位门。
答案要点：不同纠错码需要不同连接图；可重构阵列换码不需换硬件，让码型比较实验（如 Bluvstein 2024）成为可能。
答案要点：离子阱保真度更高（~0.1% vs ~0.5%）；中性原子阵列规模大一个量级且并行度高——"准"与"多"各占一头。
延伸阅读
L. Henriet 等 (2020) Quantum 综述（路线全景）；D. Bluvstein 等 (2024) Nature（48 逻辑比特实验）。