里德堡阻塞 CZ 门

阻塞 CZ 门把里德堡阻塞的”第二个原子激发不了”这一约束，转化成只对联合态 |11⟩ 生效的受控相位：设计一串里德堡 $\pi$ 与 $2\pi$ 脉冲，让三种基矢态的相位可被单比特 Z 旋转吸收，唯独 |11⟩ 恰好累积 $\pi$——门的设计艺术全在脉冲序列与误差预算里。

物理图像

里德堡阻塞词条讲了阻塞的物理；本条聚焦门协议：如何把相互作用 $V(R)$ 变成一台可靠的双比特门机器。Jaksch 等人 2000 年的原始方案考虑了两个极限 Jaksch 2000：

• 模型 A（$\Omega \gg u$）：用强脉冲把两个原子同时打到里德堡态，停留 $\Delta t=\phi /u$ 后再打回来，$|11⟩$（对应其记号 $|ee⟩$）通过双激发态的能量移动获得相位，门时间 $\propto 1/u$；
• 模型 B（$u\gg \Omega$，即阻塞极限）：只需单独寻址控制原子做 $\pi$ 脉冲，靶原子做 $2\pi$ 脉冲——被阻塞的靶原子”转不动”，相位差便只出现在 $|11⟩$ 上。这正是后来所有阻塞门的雏形。

Lukin 等人进一步指出，阻塞约束使 $N$ 个原子的集体态空间坍缩为二维流形，集体 Rabi 频率按 $\sqrt{N}$ 增强、双激发误差按 $\sim 1/{\bar{\kappa }}^2$ 压制，从而门还可以在介观系综编码下运行 Lukin 2001。对两原子门而言，这条”要么单激发、要么不激发”的硬约束意味着：门的理想部分是免费的，一切保真度问题都来自约束的不完美——阻塞强度有限、里德堡态会衰变、激光有噪声、原子在动。

理论模型

两个 qubit 态 $|0⟩,|1⟩$，$|1⟩$ 与里德堡态 $|r⟩$ 由激光耦合。门结束时一般得到对角幺正

$$U_{\mathrm{CZ},\vec{\phi }}=\mathrm{diag}\left(e^{i{\phi }_{00}},e^{i{\phi }_{01}},e^{i{\phi }_{10}},e^{i{\phi }_{11}}\right),$$

定义纠缠相位 Theis 2016

$${\phi }_{\mathrm{ent}}={\phi }_{00}-{\phi }_{01}-{\phi }_{10}+{\phi }_{11}.$$

${\phi }_{\mathrm{ent}}=\pi$ 时，用局域旋转即可把 $U_{\mathrm{CZ},\vec{\phi }}$ 变成标准 CNOT/CZ；三个”非纠缠”相位与 ${\phi }_{\mathrm{ent}}$ 对 $\pi$ 的偏离都可由虚拟 Z 与局域等价技术吸收或补偿。因此门设计的目标可以精确表述为：让 ${\phi }_{\mathrm{ent}}\to \pi$，同时把所有非对角泄漏（激发到 $|r⟩$ 或邻近里德堡态）压到误差预算以内。

在标准”$\pi$–$2\pi$–$\pi$“序列中，有限阻塞给 $|11⟩$ 带来的残余激发与相位误差近似为（方波脉冲）

$${\varphi }_{err}\simeq {\int }_0^{\tau }\frac{{\Omega }^2(t)}{V}\mathrm{d}t\stackrel{\text{方波}}{\to }\frac{{\Omega }^2\tau }{V},P_{rr}\sim \frac{{\Omega }^2}{2B^2},$$

其中 $B=V/\hslash$ 为阻塞移。Isenhower 等的首次实验即给出具体量级：$R=10.2\mu \mathrm{m}$ 处 $B/2\pi =9.3\mathrm{MHz}$、$\Omega /2\pi =0.67\mathrm{MHz}$，算得 $P_2\simeq 2.6\times 10^{-3}$；但对 $200\mu \mathrm{K}$ 热分布求平均后双激发概率升到 ${\bar{P}}_2\sim 0.1$，成为早期门的主要误差之一 Isenhower 2010。

误差预算的三大项（系统分解见误差预算与真实建模）：

1. 阻塞泄漏：$\propto (\Omega /B{)}^2$，可用更快或更强的门压低；
2. 自发辐射：里德堡寿命有限（$\sim 100\mu s$），门时间必须 $\ll$ 寿命，但这与第 1 项矛盾——增强 $\Omega$ 需要更大激光功率且加剧向邻近里德堡态的泄漏；
3. 多普勒失谐与激光相位噪声：有限原子温度使双光子激发失谐弥散，Graham 等在 2D Cs 阵列的逐项误差模型中发现多普勒退相干（0.013）与里德堡激光退相干（0.018/0.006，非阻塞/阻塞）是主导项，而阻塞泄漏仅 0.001 Graham 2019。

方法与实现：脉冲方案与保真度演进

方波时代：首次演示（2010）

Isenhower 等用 ${}^{87}\mathrm{Rb}$ $n=90$（$97d_{5/2}$）、间距 $\sim 10\mu \mathrm{m}$ 的双原子演示了首个中性原子 CNOT，门脉冲总时长约 $7\mu s$。两种协议——受控振幅交换式（A-S）与 Hadamard 变换式（H-CZ）——真值表保真度分别为 $F=0.73$ 与 $0.72$，Bell 态保真度 $0.48\pm 0.06$，扣除原子损失后事后纠缠保真度 $0.58$。误差主要来自态制备、脉冲错误与阻塞泄漏，而真值表高低元之比 $\sim 25:1$ 暗示本征门保真度其实在 $0.95$ 以上 Isenhower 2010。

相干性升级（2018）

Levine 等把激光锁到高精细度参考腔以压低相位噪声，用 $420+1013\mathrm{nm}$ 双光子激发 Rb $70S$ 态，在 1D 光镊阵列中以集体 $\sqrt{2}\Omega$ 的 $\pi$ 脉冲加单原子光移相位门读出，制备 Bell 态：未修正保真度 $0.91(2)$，检测修正后 $F=0.97(3)$，并用双原子回波把纠缠态寿命延到 $T_2^W=36(2)\mu s$ Levine 2018。这项工作的关键教训是：阻塞门的上限常常不由阻塞物理决定，而由激光相位噪声与退相干决定。

2D 阵列与完整误差模型（2019）

Graham 等在 121 位点的 2D Cs 阵列（间距 $3.1\mu \mathrm{m}$，$66s$ 态，$459+1038\mathrm{nm}$ 激发）执行完整 CZ 序列：控制原子 $\pi$–$300\mathrm{ns}$ 间隙–$\pi$，靶原子 $2\pi$（$t_{\pi }=150\mathrm{ns}$，$t_{2\pi }=220\mathrm{ns}$，${\Omega }_R/2\pi =3.6/4.6\mathrm{MHz}$），有效门时间 $t_{gR}=0.98\mu s$。用眼图校准 $2\pi$ 脉冲的 Stark 移相后，Bell 保真度 $F_{\mathrm{Bell}}=0.86(2)$，扣除 SPAM 后 $0.88$，再扣除单比特门误差后 $F_{\mathrm{BellCZ}}=0.89$ Graham 2019。

整形脉冲：把理论极限推向 0.9999

方波脉冲在包含里德堡衰减与向 $n{p}_{3/2}$ 邻态泄漏的完整模型下，Bell 保真度上限约 $F_B\sim 0.999$（Rb/Cs，300 K，Beterov 等的分析，转引自 Theis 2016）。Theis 等证明用解析整形可以突破：

• Gaussian 包络代替方波，泄漏误差降最多 2.5 个数量级；
• 再叠加 DRAG 导数修正 ${\epsilon }_x(t)={\epsilon }_x^{(0)}(t)+{\sum }_k{\alpha }_{2k}{\mathrm{d}}^{2k}{\epsilon }_x^{(0)}/\mathrm{d}{t}^{2k}$，再降约 1.5 个数量级；
• 对阻塞移 $B_0$ 的选取给出解析判据：最小化对 $(n\pm 1)p_{3/2}$ 泄漏通道的 $P_{\mathrm{leak}}$ 表达式，得最优 $B_0/2\pi \approx 1.54$（S1）/ $0.68\mathrm{GHz}$（S2）；
• 对 DRAG 引入的相位错误，用恒定失谐 $\Lambda$ + 幅度重标修正（$\Lambda \propto 1/{\tau }_t^2$，${\tau }_t=25\mathrm{ns}$ 时 $\Lambda /2\pi =124.07\mathrm{MHz}$，幅度重标仅 $\lesssim 3\%$）。

最终在 300 K 环境以门时间 $t_g\approx 50\mathrm{ns}$ 获得 $F_B>0.9999$（4 K 下 $>0.99999$）——比实验快一个量级的门时间也顺带压低了所有随时间累积的技术噪声 Theis 2016。相关方法学延伸见解析整形脉冲、DRAG 与泄漏抑制与ARP 门。

突破纠错阈值（2023）

Evered 等结合时间最优/平滑振幅的门方案与里德堡激发期间关闭镊子、改进冷却等手段，在最多 60 对原子并行执行 CZ，保真度 $F_{\mathrm{CZ}}=99.52(4)\%$，首次越过表面码阈值 Evered 2023；多对并行执行的串扰分析见并行纠缠门。

阻塞 CZ 门脉冲序列与 Bell 态制备流程：控制原子 π–gap–π、靶原子 2π 及微波 π/2 补偿脉冲（图源：Graham 2019 Fig. 5）

参数与量级

量	典型值	来源
首个双原子 CNOT 保真度	$0.73$（2010，Rb $97d$，真值表）	Isenhower 2010
Bell 态保真度（检测修正后）	$0.97(3)$（2018，Rb $70S$，1D 阵列）	Levine 2018
2D 阵列 CZ → Bell 保真度	$0.86(2)$，扣除 SPAM/单比特后 $0.89$（2019，Cs）	Graham 2019
并行 CZ 门保真度	$99.52(4)\%$（2023，Rb，≤60 对）	Evered 2023
整形脉冲理论保真度	$>0.9999$（300 K，门时间 $\sim 50\mathrm{ns}$）	Theis 2016
残余双激发概率	$P_2\simeq {\Omega }^2/2B^2=2.6\times 10^{-3}$（$\Omega /2\pi =0.67$、$B/2\pi =9.3\mathrm{MHz}$）	Isenhower 2010
主导误差（2D Cs）	Doppler 退相干 $0.013$、里德堡激光退相干 $0.018/0.006$；阻塞泄漏仅 $0.001$	Graham 2019
集体门双激发误差标度	$p_{\mathrm{doub}}\sim 1/{\bar{\kappa }}^2\approx 4\pi /(\bar{\kappa }T{)}^2$	Lukin 2001

与其他概念的关系

• 门的物理基础（阻塞半径、$C_6$ 标度、集体增强）见里德堡阻塞与里德堡相互作用；相互作用工程直接决定阻塞移 $B$ 与门时间。
• 压制阻塞泄漏与相位误差的脉冲工具箱：解析整形脉冲、DRAG 与泄漏抑制、ORMD/ARMD 调制驱动、ARP 门；open-loop 优化框架见量子最优控制框架。
• 同一阻塞机制可以长出别的门家族：EIT 里德堡门（介观集体编码）、多比特阻塞门与猫态、Toffoli/CCZ 门、奇偶相位门。
• 保真度的完整归因（Doppler、黑体、激光噪声、串扰）见误差预算与真实建模；门终态相位的处理见门相位与局域等价。
• 大规模场景下成对并行执行是规模化关键，见并行纠缠门；单比特门层（微波/Raman/Stark 相位门）见中性原子单比特门。
• 门作为编译层原子的角色（原生多比特门减少 SWAP）见Geyser 原生多比特门编译。

参考文献

• 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 · arXiv:quant-ph/0004038
• M. D. Lukin et al., “Dipole Blockade and Quantum Information Processing in Mesoscopic Atomic Ensembles”, Phys. Rev. Lett. 87, 037901 (2001). NA048 · DOI 10.1103/PhysRevLett.87.037901
• L. Isenhower et al., “Demonstration of a Neutral Atom Controlled-NOT Quantum Gate”, Phys. Rev. Lett. 104, 010503 (2010). NA051 · DOI 10.1103/PhysRevLett.104.010503 · arXiv:0907.5552
• L. S. Theis, F. Motzoi, F. K. Wilhelm, M. Saffman, “High-fidelity Rydberg-blockade entangling gate using shaped, analytic pulses”, Phys. Rev. A 94, 032306 (2016). NA057 · DOI 10.1103/PhysRevA.94.032306 · arXiv:1605.08891
• H. Levine et al., “High-Fidelity Control and Entanglement of Rydberg-Atom Qubits”, Phys. Rev. Lett. 121, 123603 (2018). NA061 · DOI 10.1103/PhysRevLett.121.123603 · arXiv:1806.04682
• T. M. Graham et al., “Rydberg-Mediated Entanglement in a Two-Dimensional Neutral Atom Qubit Array”, Phys. Rev. Lett. 123, 230501 (2019). NA064 · DOI 10.1103/PhysRevLett.123.230501 · arXiv:1908.06103
• S. J. Evered et al., “High-fidelity parallel entangling gates on a neutral-atom quantum computer”, Nature (2023). NA078 · DOI 10.1038/s41586-023-06481-y · arXiv:2304.05420