STIRAP 与暗态门

暗态门的核心是”沿能量为零的瞬时本征态走”：两束脉冲按反直觉次序开关，使中间态（或双激发态）布居在理想极限下始终为零，系统对脉冲面积误差天然免疫；在里德堡平台上，暗态与强偶极-偶极相互作用结合，给出门误差按 $\Gamma /B$ 线性标度的受控相位门方案。

物理图像

受激拉曼绝热通道（stimulated Raman adiabatic passage, STIRAP）是量子控制中最经典的”暗态”协议：三能级 $\Lambda$ 系统中，初态 $|1⟩$、末态 $|2⟩$ 通过泵浦光 ${\Omega }_p(t)$ 与 Stokes 光 ${\Omega }_s(t)$ 耦合到中间态 $|3⟩$。若按”直觉”次序先开泵浦光，系统必然经过会自发辐射的 $|3⟩$；而 STIRAP 采用反直觉次序（counter-intuitive sequence）——先开 Stokes、后开泵浦光——系统于是沿瞬时暗态

$$|D(t)⟩=\cos \theta |1⟩-\sin \theta |3⟩,\tan \theta =\frac{{\Omega }_p(t)}{{\Omega }_s(t)}$$

演化：该态不含 $|3⟩$ 分量、且与两个亮态（能量 $\pm \sqrt{{\Omega }_p^2+{\Omega }_s^2}/2$）退耦，绝热地变化 $\theta :0\to \pi /2$ 即把布居从 $|1⟩$ 完整搬到 $|2⟩$，全程零中间态布居。由于末态位置由脉冲面积之外的形状决定，STIRAP 对激光强度与脉冲面积的不确定性天然鲁棒——这正是它被移植到里德堡门设计的原因。

在里德堡平台上有两层”暗态”：一是 STIRAP 本身用于基态–里德堡态的双光子转移（选择大的单光子失谐抑制中间态散射，见误差预算与真实建模）；二是 Petrosyan 等提出的双原子暗态门：把阻塞 CZ 门中”靶原子 $2\pi$ 循环”换成一次暗态绝热通道，让被阻塞通道的双激发态也进入暗态而不积累错误相位 Petrosyan 2017。

理论模型

双原子暗态 CZ 门

考虑控制原子处于里德堡态 $|r_c⟩$、靶原子被脉冲 ${\Omega }_t(t)$ 共振驱动 $|1_t⟩\to |r_t⟩$ 的双原子系统：由于 Förster 共振的偶极-偶极交换相互作用，双激发态 $|r_c{r}_t⟩$ 与 $|a_c{b}_t⟩$ 以强度 $B$ 共振耦合，构成一个有效三态系统（$\hslash =1$）

$$H_3=\frac{{\Omega }_t(t)}{2}|r_c{r}_t⟩⟨r_c{1}_t|+B|a_c{b}_t⟩⟨r_c{r}_t|+h.c.,$$

其本征态为一个暗态与两个亮态

$$|{\psi }_0⟩=\frac{B|r_c{1}_t⟩-\frac{{\Omega }_t}{2}|a_c{b}_t⟩}{\nu },|{\psi }_{\pm }⟩=\frac{\frac{{\Omega }_t}{2}|r_c{1}_t⟩\mp \nu |r_c{r}_t⟩+\frac{{\Omega }_t}{2}|a_c{b}_t⟩}{\sqrt{2}\nu },$$

其中 ${\nu }^2=B^2+{\Omega }_t^2/4$，本征能量 ${\lambda }_0=0$、${\lambda }_{\pm }=\pm \nu$ Petrosyan 2017。门序列为：(i) 控制原子 $\pi$ 脉冲把 $|11⟩\to |r_c{1}_t⟩$；(ii) 靶原子平滑 $2\pi$ 脉冲——$|r_c{1}_t⟩$ 沿暗态绝热绕行一周后返回，态本身获得 $\pi$ 相位；(iii) 控制原子退激发。其余三个计算基态不经过暗态，于是仅 $|11⟩$ 被翻转符号：这正是一个 CZ 门（局域相位由门相位与局域等价的方式吸收）。

该方案的两个关键性质都来自 ${\lambda }_0\equiv 0$：其一，暗态不占据 $|r_c{r}_t⟩$，只含有限但受控的 $|a_c{b}_t⟩$ 布居 $P_{ry}={\Omega }_t^2/(4B^2+{\Omega }_t^2)$，门误差对相互作用强度的不确定性不敏感；其二，${\partial }_x{\lambda }_0=0$，即使双激发态有有限布居，原子也不感受偶极力，不发生内态-运动纠缠。

误差标度：$\Gamma /B$ 的线性律

里德堡态以速率 $\Gamma$ 衰减时，绝热门的本征误差由”里德堡布居 $\times$ 停留时间”给出。取脉冲峰值 ${\Omega }_{t0}=\alpha B$（$\alpha \ll 1$，绝热条件 $|{\partial }_t{\Omega }_t|\ll B^2$），对全部输入态平均后

$$E=1-F\simeq \eta \frac{\Gamma }{B},\eta =\frac{5\pi }{4\alpha },$$

即误差按 $(B\tau {)}^{-1}$ 线性标度（$\tau =1/\Gamma$ 为里德堡寿命）。作为对照，非绝热的常规阻塞 CZ 门在优化脉冲参数后的误差标度为 $E\propto (\Gamma /B{)}^{2/3}$——暗态门把幂指数从 $2/3$ 改成 $1$，来源正是残余里德堡激发被暗态结构几乎完全消除 Petrosyan 2017。数值模拟以移位高斯型平滑脉冲取 $\alpha =0.105$（$\eta =37.5$），得非绝热跃迁误差 $E_{na}\simeq 2\times 10^{-6}$，总误差在 $B\tau \gtrsim 10^6$ 时达到 $F=0.99995$；以偶极相互作用估算 $B\tau \approx 10^{-7}{n}^7\sim 10^7$（$n\sim 100$，原子间距 $3-5\mu \mathrm{m}$），4 K 低温环境（无黑体辐射）下 $B\tau$ 可达 $4\times 10^7$，对应 $F=1-10^{-5}$ 可行。这里里德堡寿命的 $\tau \approx 10^{-9}{n}^3$ s 标度与黑体辐射修正见里德堡原子与里德堡态。

耗散下的优化极限：协作度决定上界

绝热必然”慢”，而慢在耗散系统中就是误差。Wang 等对耗散介质中的 STIRAP 传态给出了解析的保真度上界：在两侧耦合上限 $G_{1,2}$、腔（总线）衰减 $\kappa$、量子比特衰减 $\gamma$ 下，先固定传态时间 $t_f$ 对脉冲形状优化，

$$F_{\mathrm{opt}}(t_f)=1-\kappa t_f-\frac{\gamma }{t_f}\left(\frac{1}{G_{1,\max }^2}+\frac{1}{G_{2,\max }^2}\right),$$

再对 $t_f$ 取极小，对称情形 $(C_1=C_2=C)$ 给出

$$F_{\max }=1-\frac{2\pi }{\sqrt{C}},t_{\mathrm{opt}}=\frac{\pi }{\kappa \sqrt{C}},C=\frac{4G_0^2}{\gamma \kappa },$$

一般情形 $F_{\max }=1-4\sqrt{1/C_1+1/C_2}$，由较弱一侧的协作度 $C_{\min }$ 主导，$\Delta F\sim C_{\min }^{-1/2}$ Wang 2017。这条”衰减项 $\propto t_f$ 与非绝热项 $\propto 1/t_f$ 竞争”的结构对里德堡门同样成立：绝热性要求慢、衰减要求快，最优解在两者平衡处。该文还有一个对实验很有用的结论：即使用最简单的线性混合角 $\theta (t)\propto t$，保真度也只比解析上界差约 $22\%$——优化传态时间比发明复杂脉冲波形更有效，这为解析整形脉冲的收益上限提供了一个参照。

快噪声的下毒：增益不再治愈一切

STIRAP 的鲁棒性有边界。Yatsenko、Shore 与 Bergmann 分析了激光稳频后残留的”窄线 + 宽底座”型快噪声（宽带 Lorentz 底座仅占总功率百分之几）对 STIRAP 的影响：与慢漂移不同，这类快涨落与绝热通道发生参量耦合，给出解析可算的转移效率损失；更重要的是，存在一个最优峰值 Rabi 频率——超出后再加大激光强度反而恶化效率，“提高功率克服噪声”的直觉方案失效 Yatsenko 2014。这与误差预算与真实建模中滤波函数视角（噪声谱与协议响应的乘积决定误差）相互印证：暗态结构消除的是绝热路径上的敏感度，不能消除所有频段的噪声响应。

方法与实现

• 能级选择先行：暗态门要求 Förster 缺陷远小于交换强度 $B$、且对非共振里德堡对的泄漏耦合可忽略。Petrosyan 等对 Rb 候选能级组合（如 $111p_{1/2}+101p_{1/2}\to 110d_{5/2}+100d_{5/2}$）的估算给出向杂态泄漏的误差低至 $10^{-6}$ 量级；同时 Förster 缺陷须大于 $B$ 以避免驱动到邻近主量子数通道，把主量子数限制在 $n\lesssim 100$ Petrosyan 2017。能级选择与门波形的联合优化（寿命、极化率、阻塞强度随 $n$ 变化）在 Sr 的实践中被系统化，见鲁棒最优控制。
• 与相邻方案的谱系：EIT 里德堡门同样以暗态（透明窗口）为物理核心，把介观系综整体驱动到暗态实现集体相位门，理想模型中转移效率超过 $99\%$ Müller 2009； Förster 共振的（射频辅助）双绝热通道用暗态式布居反转实现确定性相位，模型给出的转移误差低于 $3\times 10^{-5}$、Bell 态保真度约 $97.7\%$ Beterov 2016 Beterov 2018；ARP 门则用绝热快速通道做鲁棒单比特/两比特激发，见ARP 门。
• 把鲁棒性再往前推一步：在双 STIRAP 型 CZ 门上叠加”主动失谐鲁棒”目标（压制保真度对双光子失谐误差的起伏），Hou 等的 DER 脉冲在包含中间态寿命 $1/{\gamma }_p=0.118\mu s$ 的现实模型中达到 $F\approx 0.9971$，精细优化后预测 $>0.9999$ Hou 2024。这类”绝热骨架 + 鲁棒目标泛函”的组合正是量子最优控制框架的标准用法。
• 加速的出路：绝热慢是暗态门的根本代价。DRAG 型导数消除与 shortcuts to adiabaticity 可以在 ${\Omega }_{t0}\sim B$ 区间维持暗态特性而缩短门时间 Petrosyan 2017，相应机制见DRAG 与泄漏抑制与shortcuts to adiabaticity 与几何/全息门；理论时间下界由量子速度极限给出。

参数与量级

量	典型值	来源
暗态门本征误差标度	$E=\eta \Gamma /B$，$\eta =5\pi /4\alpha$（$\alpha \ll 1$）	Petrosyan 2017
平均门保真度（模型）	$F=0.99995$（$B\tau \gtrsim 10^6$，平滑脉冲）	Petrosyan 2017
偶极交换强度-寿命乘积	$B\tau \approx 10^{-7}{n}^7\sim 10^7$（$n\sim 100$）	Petrosyan 2017
低温极限预测	$F=1-10^{-5}$（4 K，$B\tau \sim 4\times 10^7$）	Petrosyan 2017
非绝热跃迁误差（移位高斯脉冲）	$\sim 2\times 10^{-6}$	Petrosyan 2017
耗散 STIRAP 保真度上界	$F_{\max }=1-2\pi /\sqrt{C}$（对称，$t_{\mathrm{opt}}=\pi /\kappa \sqrt{C}$）	Wang 2017
线性混合角的代价	比解析上界差约 $22\%$（$1.22\times 2\pi /\sqrt{C}$）	Wang 2017
DER 双 STIRAP CZ 门	$F\approx 0.9971$（含中间态衰减模型）	Hou 2024

与其他概念的关系

• 暗态门是阻塞 CZ 门的直接改造：同样的门任务，把”阻塞失谐挡住双激发”换成”暗态吸收双激发”，从而把误差标度从 $(\Gamma /B{)}^{2/3}$ 改善为 $\Gamma /B$。
• 绝热通道家族共享同一套瞬时本征态物理：ARP 门用扫频绝热反转做鲁棒激发，EIT 里德堡门用暗态透明窗口做介观集体门，shortcuts to adiabaticity 用反绝热驱动把绝热路径压缩到有限时间。
• 绝热脉冲的”平滑开头结尾”与解析整形脉冲、DRAG 与泄漏抑制的包络设计同源；快噪声残余的限制需要用误差预算与真实建模的谱方法量化。
• 耗散下的优化（协作度上界、时间-绝热权衡）是量子最优控制框架中开放系统目标泛函的范例；把失谐漂移、强度起伏写进目标即鲁棒最优控制，实验端的多能级选择与标定问题见门标定闭环。

参考文献

• D. Petrosyan, F. Motzoi, M. Saffman, K. Mølmer, “High-fidelity Rydberg quantum gate via a two-atom dark state”, Phys. Rev. A 96, 042306 (2017). Petrosyan 2017 · DOI 10.1103/PhysRevA.96.042306
• Y.-D. Wang, X.-B. Yan, S. Chesi, “Optimization of STIRAP-based state transfer under dissipation”, New J. Phys. (2017). Wang 2017 · DOI 10.1088/1367-2630/aa7f5d
• L. P. Yatsenko, B. W. Shore, K. Bergmann, “Detrimental consequences of small rapid laser fluctuations on stimulated Raman adiabatic passage”, Phys. Rev. A 89, 013831 (2014). Yatsenko 2014 · DOI 10.1103/PhysRevA.89.013831
• M. Müller, I. Lesanovsky, H. Weimer, H. P. Büchler, P. Zoller, “Mesoscopic Rydberg Gate Based on Electromagnetically Induced Transparency”, Phys. Rev. Lett. 102, 170502 (2009). NA050 · DOI 10.1103/PhysRevLett.102.170502
• I. I. Beterov, M. Saffman, et al., “Two-qubit gates using adiabatic passage of the Stark-tuned Förster resonances in Rydberg atoms”, Phys. Rev. A 94, 062307 (2016). Beterov 2016 · DOI 10.1103/PhysRevA.94.062307
• I. I. Beterov et al., “Adiabatic passage of radio-frequency-assisted Förster resonances in Rydberg atoms for two-qubit gates and the generation of Bell states”, Phys. Rev. A 97, 032701 (2018). Beterov 2018 · DOI 10.1103/PhysRevA.97.032701
• Q.-L. Hou, H. Wang, J. Qian, “Active robustness against detuning error for Rydberg quantum gates”, Phys. Rev. Applied 22, 034054 (2024). Hou 2024 · DOI 10.1103/PhysRevApplied.22.034054