物理图像
中性原子(如 Rb、Cs、Sr、Yb)处于电子基态时几乎不相互作用;但当其中一个电子被激发到主量子数 的里德堡态(Rydberg state)后,原子拥有巨大的电偶极矩()与极化率(),原子对之间出现强而长程的相互作用。若用激光把 (基态–里德堡态)驱动到共振,两个相距 的原子各自的激发能量都会因相互作用 而移动:双激发态 相对单激发态 之和多出 。当 远大于激光 Rabi 频率 与线宽时, 完全失谐——第二个原子”看不到”共振激光,仿佛被第一个原子挡住了。这就是里德堡阻塞(Rydberg blockade),由 Jaksch 等人于 2000 年首先提出用作量子门机制,Lukin 等人于 2001 年推广到介观原子系综 Jaksch 2000 Lukin 2001。
阻塞给出的核心资源是一条硬约束:在阻塞半径 内,集体态空间被投影到 。对 个处于阻塞半径内的原子,可及空间进一步压缩为对称 Dicke 流形 ——这正是多比特阻塞门与里德堡模拟中纠缠快速产生的物理来源。
理论模型:两原子哈密顿量
两原子在旋转波近似下的哈密顿量为()
其中 ,、、 分别是驱动场 Rabi 频率、失谐与相位。相互作用势在 Förster 共振之外以范德瓦尔斯形式衰减
对 的标度约为 (共振偶极-偶极情形 ,见里德堡相互作用)。由此定义阻塞半径
即 的距离。以 Rb 、 为例,,恰好匹配光镊阵列的典型间距,这是里德堡门与光镊平台天然契合的原因 Saffman 2010 Morgado 2021。
阻塞 CZ 门
里德堡阻塞实现受控相位门(阻塞 CZ 门)的标准序列为四步脉冲:控制原子 脉冲、靶原子 脉冲、控制原子 脉冲。在完全阻塞极限下:
- (无激发,相位 );
- 获得靶原子 循环的动力学相位 ;
- (两个 脉冲,几何/动力学相位可设计);
- :靶原子的 脉冲因阻塞失谐 而失共振,累积的误差相位近似为
同时 上保留一个数值上为 的残余激发泄漏。选取脉冲相位使 可被单比特 旋转(虚拟 Z,见门相位与局域等价)吸收,而残余受控相位恰为 ,即得 CZ 门 Jaksch 2000。
有限阻塞强度、里德堡态有限寿命、激光相位/强度噪声与多普勒失谐共同决定门保真度;对门误差预算的系统分解见误差预算与真实建模,用脉冲形状压制阻塞误差的方法见解析整形脉冲与ORMD/ARMD。
集体增强与阻塞误差的权衡
个原子被完全阻塞时,集体 Rabi 频率按 增强:
这使介观系综可以在远短于里德堡寿命的时间内完成门操作(介观集体编码)。但现实中相互作用有限,“超阻塞”区()与”部分阻塞”区之间需要权衡:阻塞太强会拖慢集体门,太弱则双激发泄漏增大。这一权衡在里德堡模拟优化中表现为对 (阵列间距 )的选取,在qLDPC 架构里则转化为纠缠区间距的表征问题 Evered 2026。
参数与量级
| 量 | 典型值 | 来源 |
|---|---|---|
| 里德堡主量子数 | (Rb/Sr 双光子激发) | Saffman 2010 |
| 相互作用 | Morgado 2021 | |
| 阻塞半径 | () | Saffman 2010 |
| 双原子 CZ 门保真度 | (2018,Rb,1D 阵列) | Levine 2018 |
| 2D 阵列阻塞门 | 保真度 (2019,Cs) | Graham 2019 |
| 门时间 | Evered 2023 | |
| 里德堡寿命 | (,室温黑体) | Adams 2019 |

两原子能级图与阻塞机制示意图:|gg>, |gr>, |rr> 能级、激光驱动 Ω 与阻塞能移 V(R)(图源:Jaksch 2000 Fig. 1)
实验特征与测量
阻塞效应最直接的实验信号是阻塞抑制的双激发概率:两原子阵列在共振脉冲后测量 ,在 时被压低一至两个数量级。门层面的验证采用标准层析与随机基准:Isenhower 等在 2010 年演示了首个中性原子 CNOT 门(保真度 ,受限于激光相位噪声),Levine 等在 2018 年通过提高相干性与脉形优化将双比特门保真度提高到 量级 Isenhower 2010 Levine 2018。并行执行的成对阻塞门是大规模阵列的关键,见并行纠缠门。
阻塞还定义了中性原子的模拟计算能力:把原子阵列的占位图样直接映射为阻挡图的基态问题(如最大独立集),原理与商用平台见里德堡模拟优化与 MIS。
与其他概念的关系
- 阻塞是里德堡相互作用的直接后果;、Förster 共振与相互作用工程决定 与门时间。
- 基于阻塞的两比特门即阻塞 CZ 门;将它推广到”一控多靶”即多比特阻塞门与Toffoli/CCZ 门。
- 按奇偶性施加多体相位的奇偶相位门把阻塞约束变成原生门资源。
- 阻塞半径与阵列间距的比值决定模拟优化的相图,也约束分区架构纠缠区的几何设计。
- 有限阻塞强度带来的误差由解析整形脉冲、ARP 门与鲁棒最优控制压制;误差的全口径分解见误差预算与真实建模。
参考文献
- D. Jaksch, J. I. Cirac, P. Zoller, S. L. Rolston, R. Côté, M. D. Lukin, “Fast Quantum Gates for Neutral Atoms”, Phys. Rev. Lett. 85, 2208 (2000). NA047 · DOI 10.1103/PhysRevLett.85.2208
- M. D. Lukin, M. Fleischhauer, R. Cote, L. M. Duan, D. Jaksch, J. I. Cirac, P. Zoller, “Dipole Blockade and Quantum Information Processing in Mesoscopic Atomic Ensembles”, Phys. Rev. Lett. 87, 037901 (2001). NA048 · DOI 10.1103/PhysRevLett.87.037901
- M. Saffman, T. G. Walker, K. Mølmer, “Quantum information with Rydberg atoms”, Rev. Mod. Phys. 82, 2313 (2010). NA001 · DOI 10.1103/RevModPhys.82.2313
- L. Isenhower et al., “Demonstration of a Neutral Atom Controlled-NOT Quantum Gate”, Phys. Rev. Lett. 104, 010503 (2010). NA051
- H. Levine et al., “High-Fidelity Control and Entanglement of Rydberg-Atom Qubits”, Phys. Rev. Lett. 121, 123603 (2018). NA061
- T. M. Graham et al., “Rydberg-Mediated Entanglement in a Two-Dimensional Neutral Atom Qubit Array”, Phys. Rev. Lett. 123, 230501 (2019). NA064
- M. Morgado, S. Whitlock, “Quantum simulation and computing with Rydberg-interacting qubits”, AVS Quantum Sci. 3, 023501 (2021). NA005