中性原子量子计算平台：光镊阵列与里德堡门

- 完全同构：所有原子「一模一样」（同一元素同位素）
  → 不存在「制造公差」，比特之间天然无差异
- 长相干：基态超精细能级相干时间可达秒级
- 可扩展：光镊阵列已做到数百到上千个原子
- 可重构：光镊可移动 → 连通性「软件定义」
- 室温真空：不需要 mK 级制冷（激光冷却 + 真空即可）
- 光子互联：原子-光子接口天然存在
→ 「同构 + 长相干 + 可重构」三合一

物理机制：
  强聚焦激光束在焦点处形成「光强极大」
  中性原子被「偶极力」吸引到光强最大处
  → 一个焦点 = 一个「镊子」= 一个陷阱

关键条件：
  激光频率「远失谐」于原子跃迁（避免激发）
  焦点尺寸 ~ 1 μm（接近光波长）
  陷阱深度 >> 原子温度（否则原子逃逸）
→ 光镊把「单个原子」变成「可摆放的物体」

生成方式：
  1. 空间光调制器（SLM）：相位全息图 → 任意图案
  2. 声光偏转器（AOD）：快速扫描/移动光镊
  3. 微透镜阵列 / 超表面：固定图案

流程：
  激光 → SLM 调制相位 → 聚焦成 N 个焦点 → 装载原子
→ 「光路即图案」：改变全息图即改变阵列形状

定义：主量子数 n 极大的激发态（n ~ 50~100）
特点：
  半径大（可达数百纳米，远大于基态）
  电偶极矩大（对外场极敏感）
  寿命有限（微秒到百微秒级）
  相互作用强（两个里德堡原子间有强范德瓦尔斯力）
→ 「大尺寸 + 强相互作用」是双比特门的物理基础

现象：
  若原子 A 被激发到里德堡态
  则原子 B（在「阻塞半径」内）无法被同样激发
  → 因为 A 的里德堡态「抬高」了 B 的能级（失谐）

物理图像：
  一个「激发」的原子会「挡住」邻居的激发
  → 一个阻塞半径内最多只有一个里德堡激发
→ 这是「隔空相互作用」的核心机制

目标：实现受控 Z 门（CZ）
  |11⟩ → -|11⟩，其余不变

利用里德堡阻塞：
  1. 用激光把「控制原子」从 |1⟩ 激发到里德堡态
  2. 若控制原子在 |1⟩ 且目标原子也在 |1⟩
     则目标原子的激发被阻塞 → 积累不同相位
  3. 经过精心设计的激光脉冲序列后：
     只有 |11⟩ 获得 π 相位 → 实现 CZ
→ 「阻塞 + 受控相位积累」= 双比特门

- 里德堡态寿命有限（衰减）
- 激光相位噪声与强度噪声
- 原子热运动（位置抖动 → 阻塞强度抖动）
- 自发辐射与黑体辐射
- 原子丢失（里德堡激发可能「丢原子」）
→ 「原子丢失」是中性原子特有的、需要纠错处理的错误

超导硬件的连通性：
  由芯片布线固定（最近邻 + 少量长程）
  → 「连通性 = 硬件拓扑」

中性原子的连通性：
  光镊可移动原子 → 任意两个原子都可以「靠近」
  里德堡阻塞只在近距离生效
  → 想耦合谁，就把谁搬近
→ 「连通性 = 软件定义」

- 一维链：适合量子模拟（自旋链、Ising 模型）
- 二维方格：适合表面码（surface code）纠错
- 三角/六角晶格：适合阻挫磁体模拟
- 任意图：适合组合优化（图问题直接映射）
→ 「问题几何直接映射到原子几何」是巨大优势

1. 同构性：所有比特完全一致 → 纠错码的「比特差异」问题消失
2. 几何匹配：表面码需要二维网格 → 光镊阵列天然是二维网格
3. 并行性：一次全局操作可同时做多个纠错测量
4. 可重构：可以「搬运」原子来「交换」或「移动」逻辑信息
→ 中性原子被视为「最可能先做出大规模逻辑比特」的路线之一

表面码需求：
  二维方格阵列 + 最近邻门 + 频繁的稳定子测量
中性原子：
  二维光镊阵列天然满足几何需求
  里德堡阻塞提供最近邻门
  「几何编程」提供并行的稳定子测量
→ 「表面码 + 光镊阵列」是高度契合的组合
（详见 表面码容错实操：稳定子测量、逻辑门、解码器与容错阈值）

实现方式：
  用微波或拉曼激光驱动基态超精细能级的「时钟跃迁」
  或驱动到里德堡态的拉比振荡
保真度：99.9% 以上（近期水平）
速度：拉曼门可达亚微秒
→ 单比特门是中性原子最成熟的操作

方法一：荧光成像
  把 |1⟩ 态的原子「打掉」或「推出」阵列
  拍荧光照片 → 有原子 = 另一种态
  → 「丢失检测」型读出，保真度约 99%

方法二：态选择性推挤
  用共振光把某一态的原子推出陷阱
  再成像剩下的原子
  → 简单、快、可并行读出整个阵列

优势：
  光镊阵列可以「一次性并行读出所有原子」
  → 与超导的「逐个寻址读出」形成鲜明对比

超导：
  门最快、工艺最成熟、纠错演示最充分
  → 「工程化领先」

离子阱：
  保真度最高、全连接、相干最长
  → 「质量领先，规模受限」

中性原子：
  规模潜力最大、连通性可重构、同构性最好
  → 「规模化潜力领先」
→ 三条路线互补，尚无「唯一赢家」

纠错对「比特差异」极敏感：
  若比特参数不同 → 需要逐比特校准
  纠错码的「对称性假设」被破坏
  → 大规模纠错变得极其复杂

中性原子：
  同构性由物理定律保证
  → 「校准」变成「全局一次性校准」
→ 这是中性原子「规模化纠错」的核心优势

- QuEra Computing：哈佛/MIT 背景，256 比特阵列、逻辑比特
- Pasqal：法国，光镊阵列 + 量子模拟
- Atom Computing：核自旋编码，1000+ 原子阵列
- ColdQuanta / Infleqtion：冷原子 + 量子传感与计算
- 中国科大 / 清华：里德堡门、阵列规模化的研究
- 学术实验室：哈佛、MIT、Caltech、威斯康星等
→ 玩家数量增长快，路线尚未收敛

1. 量子模拟（近期）：
   用原子阵列模拟量子多体系统
   → 已有商业产品（如 Pasqal、QuEra 的模拟服务）
   → 「模拟」比「通用计算」更快落地

2. 容错量子计算（长期）：
   目标：大规模逻辑比特 + 纠错
   → 需要解决原子丢失、门保真度、激光系统复杂度
→ 「先模拟、后计算」是中性原子的商业化节奏

1. 原子丢失：
   里德堡激发、光镊加热、背景气体碰撞
   → 需要「补充原子」与「擦除纠错」配合

2. 门保真度：
   需要从 99.5% 提升到 99.9% 以上
   → 主要障碍是激光噪声与原子热运动

3. 激光系统复杂度：
   每个里德堡门需要多束激光（激发 + 控制）
   大规模时「激光数量」成为瓶颈
   → 需要「全局激光 + 几何选择」减少激光数

4. 读出与测量的速度：
   并行读出是优势，但纠错需要「非破坏性测量」
   → 需要辅助原子与重复测量方案

5. 循环时间：
   重排、冷却、门、测量构成一个「周期」
   周期越长，纠错越慢 → 需要优化各环节
→ 五条挑战共同决定「何时能做出大规模逻辑比特」

近期（1~3 年）：
  数百到数千原子阵列
  双比特保真度突破 99.9%
  小规模逻辑比特（低于阈值）

中期（3~7 年）：
  数十个逻辑比特
  表面码/色码的「低于阈值」演示
  逻辑比特数量的稳定增长

长期（7 年以上）：
  数千逻辑比特
  容错通用量子计算
  模块化 + 光子互联的分布式架构
→ 节奏取决于「原子丢失」与「保真度」两个数字