Bright-state source cancellation in dissipative shortcut Raman atom optics


Abstract

Spontaneous Raman scattering limits shortcut-assisted atom optics, but its microscopic origin is obscured once the lossy excited state is adiabatically eliminated. We organize the problem around a single quantity: in the instantaneous dark–bright basis the lower-manifold optical source is carried entirely by the bright-state amplitude, \(S=\Omega b\), so that primary spontaneous scattering reduces to the compact functional \(P_{\mathrm{sc}}=2\!\int\!\kappa|b|^2\,dt\). This recovers the known dissipative-stimulated Raman adiabatic passage (STIRAP) loss in transparent form and makes the action of a shortcut explicit: ideal counterdiabatic stimulated Raman shortcut-to-adiabatic passage (STIRSAP) cancels the bright-state source, not the optical decay coefficient. We show this cancellation is exact in the full three-level model at the counterdiabatic point \(\Omega_a=2\dot{\theta}\), for arbitrary one-photon detuning, Rabi frequency, and pulse duration. The residual source splits into orthogonal quadratures—shortcut mismatch (real) and two-photon Doppler detuning (imaginary)—which invites a velocity-selective protocol that nulls the Doppler quadrature for a chosen momentum class with a second, phase-shifted lower-state field. Our central result is that this source nulling is never superior to simply chirping the two-photon detuning: the two coincide only when the selected class \(\delta_c\) is small compared with the bright-state gap \(|\mu|=\Omega^2/4\Delta\), and the nulling degrades and then fails as \(\delta_c\to|\mu|\)—precisely the regime of launched or warm clouds and high-order large-momentum-transfer (LMT) optics that motivates velocity selection. The controlling quantity is the magnitude of the residual Hamiltonian perturbation a scheme leaves behind, not the residual source it cancels. As a complement to existing multi-pulse decay budgets, we cast a single-pulse mode-error budget for LMT interferometry entirely in terms of the bright-state source, and delineate when shortcut-assisted Raman control reduces the total scattering cost.

1 Introduction↩︎

Stimulated Raman adiabatic passage (STIRAP) is one of the most powerful tools in coherent quantum control because it transfers population through an instantaneous dark state while strongly suppressing occupation of a lossy intermediate level [1][3]. In a three-level \(\Lambda\) system the transfer is governed by the geometry of the dark-state path rather than the accumulated two-photon pulse area, making it resilient to moderate pulse-area imperfections [4]. That robustness is especially valuable in atom optics, where coherent Raman processes manipulate internal and momentum states simultaneously. Large-momentum-transfer (LMT) interferometry is a key setting: enlarging the momentum separation between arms increases the enclosed spacetime area and thereby the inertial sensitivity [5][7]. The same optical fields that drive coherent momentum transfer also produce spontaneous emission, ac Stark shifts, Doppler-dependent errors, and pulse-efficiency loss, all of which accumulate over many pulses and limit contrast [8][11].

The central dissipative question is not whether the dark-state path is followed, but what microscopic quantity controls spontaneous Raman scattering once the excited state is eliminated. Open-system treatments of spontaneous emission are well established through Lindblad, quantum-jump, and no-jump methods [12], [13], and dissipative STIRAP has been analyzed by master-equation and adiabatic-elimination approaches [14], [15]. In parallel, shortcut-to-adiabaticity techniques — counterdiabatic driving and shortcut STIRAP — reproduce exact dark-state following in finite time in closed systems [16][21], have been realized with cold atoms [22], and have been studied under dissipation and dephasing [23][25]. A spontaneous-decay error budget for multi-pulse Raman LMT has also been formulated via the Lindblad equation [26], and counterdiabatic Raman atom optics with the shortcut encoded directly into the pulse envelopes has been analyzed for compact gravimetry [27]. What has remained less transparent is a compact, source-level quantity that controls primary Raman scattering and permits a direct comparison between bare STIRAP, ideal direct stimulated Raman shortcut-to-adiabatic passage (STIRSAP), and optically reconstructed shortcuts in one dissipative framework. In particular, where Ref. [24] studies how spontaneous emission affects shortcut-to-adiabatic passage in three-level systems, here we identify the bright-state source \(S=\Omega b\) that controls the loss, show the counterdiabatic cancellation to be exact in the full three-level model for arbitrary \(\Delta\), \(\Omega\), \(\Gamma\), and \(T_p\) (Appendix 19), and use the same quadrature decomposition to settle the velocity-class addressing question.

Here we provide such a description. The organizing result, obtained after transformation to the instantaneous dark–bright basis, is that the lower-manifold optical source feeding the primary scattering channel is carried entirely by the bright-state amplitude, \[S(t)=\Omega_P(t)c_g(t)+\Omega_S(t)c_a(t)=\Omega(t)b(t), \label{eq:intro-Sbright}\tag{1}\] so that the reduced primary-scattering functional collapses to \[P_{\mathrm{sc}}^{\mathrm{red}} =2\int_0^{T_p}\kappa(t)\,|b(t)|^2\,\mathrm{d}t . \label{eq:intro-Pred}\tag{2}\] The dark state is lossless; the bright component carries the primary scattering channel. This makes the action of shortcut driving transparent: in bare STIRAP, finite-time rotation of the dark state generates a nonzero bright-state source and hence residual scattering; in ideal direct STIRSAP, the counterdiabatic coupling cancels that source, not the optical decay coefficient. We verify the cancellation directly in the full three-level model with a concrete counterdiabatic field.

The same formalism separates two physically distinct error mechanisms. Shortcut mismatch appears as a real bright-state source quadrature, while two-photon Doppler detuning appears as an imaginary quadrature. This separation invites a velocity-selective protocol in which a phase-controlled lower-state shortcut nulls the Doppler quadrature for a chosen momentum class \(\delta_c\). We analyze this construction carefully and reach a definite, and partly cautionary, conclusion: source nulling is never better than the standard technique of chirping the two-photon detuning to bring the selected class onto resonance [11]. The two coincide exactly when \(\delta_c\) is small compared with the bright-state gap \(|\mu|=\Omega^2/4\Delta\); as \(\delta_c\) grows toward \(|\mu|\) the nulling degrades and then fails, while the chirp stays robust. The reason is structural — both leave the same residual source, but the chirp leaves a Hamiltonian perturbation of order the detuning offset, whereas the nulling leaves a fixed perturbation of order \(\delta_c\) that is fine-tuned to cancel only for the matched class. Robustness is therefore governed by the perturbation magnitude, not by the residual source. We regard this boundary, together with the source identity, Eq. 1 , and the exact counterdiabatic cancellation, as the main contribution of the present work.

Finally, we use the framework to formulate a single-pulse mode-error budget for LMT optics that combines coherent transfer error, residual primary scattering, auxiliary reconstruction loss, and Doppler curvature, and we state explicitly when shortcut-assisted Raman control reduces the total scattering cost. This part is a design-level extension of the single-pulse theory rather than a complete many-pulse interferometer treatment, and it overlaps in scope with Refs. [26], [27]; we delineate what is distinct.

The paper is organized so that the main text states physical results and defers algebra to the appendices. Section 2 sets up the dissipative model and the exact primary-scattering functional. Section 3 establishes the bright-state source identity, the reduced loss functional, and its numerical validation for bare STIRAP. Section 4 gives the exact counterdiabatic source cancellation and its full-model confirmation. Section 5 presents the velocity-class nulling-versus-chirp analysis. Section 6 develops the implementation cost and LMT budget. Sections 7 and 8 discuss and conclude. Appendices 919 contain the derivations.

Figure 1: Three-level \Lambda system: long-lived states |g\rangle and |a\rangle coupled to a lossy excited state |e\rangle (linewidth \Gamma) by pump (\Omega_P) and Stokes (\Omega_S) fields at one-photon detuning \Delta (dashed line: virtual level) and time-dependent two-photon detuning \delta(t). The counterdiabatic field \Omega_a drives |g\rangle\!\leftrightarrow\!|a\rangle directly.

2 Dissipative model and the primary-scattering functional↩︎

We use a minimal three-level Raman \(\Lambda\) model that isolates the primary dissipative channel associated with the optically excited intermediate state (see Fig. 1). The long-lived lower states \(|g\rangle\) and \(|a\rangle\) (which in LMT optics may also carry momentum labels differing by two photon recoils) are coupled to a decaying excited state \(|e\rangle\) by a pump field \(\Omega_P(t)\) and a Stokes field \(\Omega_S(t)\). A direct lower-state shortcut coupling \(\Omega_a(t)\) and a residual two-photon detuning \(\delta(t)\) complete the model; \(\delta(t)\) collects the uncompensated Doppler shift of the addressed momentum class together with any residual differential light shift or chirp error. In the rotating-wave approximation, with \(\Omega_P,\Omega_S,\Omega_a\) real envelopes, the Hamiltonian in the ordered basis \(\{|g\rangle,|e\rangle,|a\rangle\}\) is \[H_3(t)=\hbar \begin{pmatrix} 0 & \Omega_P/2 & +\mathrm{i}\Omega_a/2 \\ \Omega_P/2 & -\Delta& \Omega_S/2 \\ -\mathrm{i}\Omega_a/2 & \Omega_S/2 & \delta \end{pmatrix}, \label{eq:H3}\tag{3}\] where \(\Delta\) is the one-photon detuning. The lower-state coupling is written with imaginary off-diagonal elements so that a real \(\Omega_a\) is Hermitian; equivalently \[H_a=\mathrm{i}\hbar\frac{\Omega_a}{2}\bigl(|g\rangle\langle a|-|a\rangle\langle g|\bigr). \label{eq:Ha}\tag{4}\] This sign convention is fixed so that, after transformation to the instantaneous dark–bright basis (Sec. 3), the direct shortcut condition takes the form \(\Omega_a(t)=2\dot{\theta}(t)\); the same convention is used consistently in the reduced equations and in the numerical benchmark of Appendix 18.

Spontaneous emission from \(|e\rangle\) is described by jump operators \(L_\mu=\sqrt{\Gamma_\mu}\,|\ell_\mu\rangle\langle e|\) with \(\sum_\mu\Gamma_\mu=\Gamma\), and the density operator obeys the Lindblad equation \[\dot{\rho} =-\frac{\mathrm{i}}{\hbar}[H_3(t),\rho] +\sum_\mu\!\left(L_\mu\rho L_\mu^\dagger-\tfrac{1}{2}\{L_\mu^\dagger L_\mu,\rho\}\right). \label{eq:lindblad}\tag{5}\] Because \(\sum_\mu L_\mu^\dagger L_\mu=\Gamma|e\rangle\langle e|\), the detailed channel structure enters the no-jump branch only through the total linewidth \(\Gamma\); post-jump recycling is not modeled, and any emission event is later treated as removal from the desired coherent mode. The no-jump (non-Hermitian) evolution then follows from \(H_{\mathrm{nh}}=H_3-\tfrac{\mathrm{i}\hbar\Gamma}{2}|e\rangle\langle e|\), and the unnormalized amplitudes \(c_{g,e,a}\) obey \[\begin{align} \dot{c}_g &= -\mathrm{i}\tfrac{\Omega_P}{2}c_e+\tfrac{\Omega_a}{2}c_a, \tag{6}\\ \dot{c}_e &= -\mathrm{i}\tfrac{\Omega_P}{2}c_g+(\mathrm{i}\Delta-\tfrac{\Gamma}{2})c_e-\mathrm{i}\tfrac{\Omega_S}{2}c_a, \tag{7}\\ \dot{c}_a &= -\tfrac{\Omega_a}{2}c_g-\mathrm{i}\tfrac{\Omega_S}{2}c_e-\mathrm{i}\delta\,c_a . \tag{8} \end{align}\] These are exact within the assumed three-level, no-jump model and serve as the starting point for all reductions.

The no-jump norm \(N(t)=|c_g|^2+|c_e|^2+|c_a|^2\) is the survival weight of the coherent branch, and \(1-N(t)\) is the probability that at least one spontaneous-emission event has occurred. A short calculation (Appendix 9) gives the exact norm-loss identity \[\dot{N}(t)=-\Gamma|c_e(t)|^2, \qquad P_{\mathrm{sc}}=\Gamma\int_0^{T_p}|c_e(t)|^2\,\mathrm{d}t . \label{eq:Psc-exact}\tag{9}\] Equation 9 is the operational definition of primary spontaneous scattering used throughout. To connect it to Raman physics, we eliminate the excited state. The exact memory-kernel solution of Eq. 7 and its short-memory (local Raman) reduction are derived in Appendix 10; the result is the instantaneous relation \[c_e(t)\simeq\frac{S(t)}{2\zeta}, \quad S(t)=\Omega_Pc_g+\Omega_Sc_a, \quad \zeta=\Delta+\tfrac{\mathrm{i}}{2}\Gamma, \label{eq:ce-local}\tag{10}\] valid under the scale-separation conditions \(T_p|\zeta|\gg1\), \(|\dot{\Omega}|/(\Omega|\zeta|)\ll1\), and \(|\dot{\theta}|/|\zeta|\ll1\), together with \(|S|/(2|\zeta|)\ll1\). Equation 10 shows that the excited state follows the lower-manifold optical source \(S(t)\) almost instantaneously, and that primary scattering is controlled by \(|S|^2\).

3 Bright-state source and the reduced loss functional↩︎

3.1 Source identity and compact functional↩︎

Resolving the lower manifold into the instantaneous dark and bright directions selected by the Raman fields is the key step. With the total Rabi scale \(\Omega=\sqrt{\Omega_P^2+\Omega_S^2}\) and the mixing angle \(\theta\) defined by \(\sin\theta=\Omega_P/\Omega\), \(\cos\theta=\Omega_S/\Omega\), the dark and bright states are \[|D\rangle=\cos\theta\,|g\rangle-\sin\theta\,|a\rangle, \quad |B\rangle=\sin\theta\,|g\rangle+\cos\theta\,|a\rangle. \label{eq:DB}\tag{11}\] Writing \(|\psi_g\rangle=d|D\rangle+b|B\rangle\) and substituting into \(S=\Omega_Pc_g+\Omega_Sc_a\) (Appendix 11) yields the central identity \[S(t)=\Omega(t)\,b(t). \label{eq:Sbright}\tag{12}\] The dark amplitude cancels from the source because \(|D\rangle\) has no optical coupling to \(|e\rangle\); the entire source is carried by the bright amplitude. Combining Eqs. 9 , 10 , and 12 gives the reduced loss functional in compact form, \[P_{\mathrm{sc}}^{\mathrm{red}} =2\int_0^{T_p}\kappa(t)\,|b(t)|^2\,\mathrm{d}t, \label{eq:Psc-kappa}\tag{13}\] with the bright-state decay and light-shift coefficients and the complex response rate \[\kappa=\frac{\Omega^2\Gamma}{8(\Delta^2+\Gamma^2/4)}, \quad \Lambda=\frac{\Omega^2\Delta}{4(\Delta^2+\Gamma^2/4)}, \quad \mu=\kappa+\mathrm{i}\Lambda . \label{eq:kappaLambdaMu}\tag{14}\] Within the reduced local Raman model, primary scattering is thus governed by the bright-state population rather than the dark-state population. The far-detuned bright-state gap \(|\mu|\simeq\Lambda\simeq\Omega^2/4\Delta\) will set the scale against which all source-cancellation schemes below must be measured.

3.2 Bare STIRAP and numerical validation↩︎

For bare STIRAP (\(\Omega_a=0\), \(\delta=0\)), the only mechanism that creates bright amplitude is the finite-time rotation of the basis. The exact moving-basis equations are derived in Appendix 12; the bright amplitude obeys \(\dot{b}=\dot{\theta}\,d-\mu b\), and in the local-response limit \(b\simeq\dot{\theta}/\mu\). Using the identity \(2\kappa/|\mu|^2=4\Gamma/\Omega^2\) (Appendix 12), the leading bare-STIRAP scattering estimate is \[P_{\mathrm{sc}}^{\mathrm{bare}} \simeq 4\Gamma\int_0^{T_p}\frac{\dot{\theta}^2(t)}{\Omega^2(t)}\,\mathrm{d}t . \label{eq:Pbare}\tag{15}\] Figure 2 validates the full chain of approximations. The full three-level no-jump dynamics [Eqs. 68 with Eq. 9 ], the reduced dark–bright propagation [\(\dot{b}=\dot{\theta} d-\mu b\) with \(\dot{P}_{\mathrm{sc}}=2\kappa|b|^2\)], and the closed form 15 agree across the optical Rabi scale. The reduced model tracks the full model to better than \(10^{-4}\) in relative terms, and the closed form to about \(1.5\%\). This confirms the source identity and the local Raman elimination in the regime of Eq. 10 .

Figure 2: Bare-STIRAP scattering across the hierarchy of approximations: full three-level no-jump dynamics (open circles), reduced dark–bright propagation (solid), and the closed-form leading estimate Eq. 15 (dashed), versus the optical Rabi scale \Omega_0/\Gamma. The lower panel shows the relative deviation of the reduced and closed-form results from the full model. Parameters: \Delta/\Gamma=80, T_p\Gamma=200, and Gaussian \dot{\theta} schedule with \sigma=T_p/6 (see Appendix 17).

4 Counterdiabatic cancellation of the primary source↩︎

4.1 Exact cancellation condition↩︎

For a real dark-state path, the counterdiabatic Hamiltonian is \(H_{\mathrm{cd}}=\mathrm{i}\hbar\dot{\theta}(|D\rangle\langle B|-|B\rangle\langle D|)\), realized in the lower manifold by the coupling \(\Omega_a\) of Eq. 4 . Collecting the moving-basis term, the Raman bright-state response, the shortcut coupling, and the residual detuning (Appendix 13) gives the exact reduced bright-state equation \[\dot{b}+\bigl[\mu(t)+\mathrm{i}\delta(t)\cos^2\theta(t)\bigr]b=F(t)\,d, \label{eq:b-source}\tag{16}\] with the residual dark-to-bright source \[F(t)=\dot{\theta}(t)-\frac{\Omega_a(t)}{2}+\mathrm{i}\,\delta(t)\sin\theta(t)\cos\theta(t). \label{eq:Fsource}\tag{17}\] For real \(\dot{\theta}\), \(\Omega_a\), and \(\delta\), the source separates into orthogonal quadratures \(F=F_R+\mathrm{i}F_I\) with \(F_R=\dot{\theta}-\Omega_a/2\) and \(F_I=\delta\sin\theta\cos\theta\), so that shortcut mismatch and Doppler detuning do not interfere at leading order: \[|F|^2=\Bigl(\dot{\theta}-\tfrac{\Omega_a}{2}\Bigr)^2+\delta^2\sin^2\theta\cos^2\theta . \label{eq:Fsq}\tag{18}\] On two-photon resonance (\(\delta=0\)), the counterdiabatic condition \[\Omega_a(t)=2\dot{\theta}(t) \label{eq:CDcond}\tag{19}\] gives \(F=0\). Equation 16 then reduces to \(\dot{b}+\mu b=0\), and for an initially dark state (\(b(0)=0\)) the unique solution is \(b(t)=0\), so the primary Raman channel through the original excited state is exactly suppressed, \[P_{\mathrm{sc}}^{\mathrm{primary}}=0 , \label{eq:Pprimary-zero}\tag{20}\] within the reduced local Raman model. This is a dynamical source-cancellation effect: the optical decay coefficient \(\kappa\) is unchanged; what vanishes is the bright-state population it multiplies. In the local-response regime, the general residual source yields \[P_{\mathrm{sc}}^{\mathrm{primary}} \simeq 4\Gamma\int_0^{T_p}\frac{|F(t)|^2}{\Omega^2(t)}\,\mathrm{d}t , \label{eq:Pprimary}\tag{21}\] which we use below for both shortcut mismatch and residual detuning. The residual source \(F\) retains exactly this form in the full three-level model, without any adiabatic elimination, as we show by constructing the exact dark–bright–excited generator in Appendix 19.

4.2 Full-model confirmation↩︎

Equation 20 is a statement about the reduced model; an essential check is that a concrete counterdiabatic field cancels scattering in the full three-level dynamics, with the correct sign convention. Figure 3 confirms this. We parametrize the shortcut amplitude as \(\Omega_a=\eta\,2\dot{\theta}\) and integrate the full no-jump equations [Eqs. 68 ]. Panel (a) shows the residual real source \(F=(1-\eta)\dot{\theta}\) for \(\eta=0\) (bare), \(\eta=0.9\) (imperfect), and \(\eta=1\) (ideal). Panels (b) and (c) show that the full-model excited-state population and the accumulated primary scattering collapse toward machine precision as \(\eta\to1\). Panel (d) is the decisive test: the full-model end-of-pulse scattering follows the reduced parabola \((1-\eta)^2P_{\mathrm{sc}}^{\mathrm{bare}}\) across the whole range and reaches \(\sim10^{-17}\) at the counterdiabatic point \(\eta=1\). The quadratic dependence on the mismatch \(1-\eta\) confirms that residual scattering is controlled by \(|F|^2\) exactly as in Eq. 21 , and the collapse at \(\eta=1\) confirms the exact cancellation (see Eq. 20 ) in the full model.

Figure 3: Full-model confirmation of bright-state source cancellation, with the counterdiabatic field parametrized as \Omega_a=\eta\,2\dot{\theta}. (a) Residual real source F=(1-\eta)\dot{\theta} for bare STIRAP (\eta=0), imperfect STIRSAP (\eta=0.9), and ideal STIRSAP (\eta=1). (b) Full-model excited-state population |c_e(t)|^2; for \eta=1 it remains below 10^{-18}. (c) Accumulated primary scattering P_{\mathrm{sc}}(t) from the full no-jump model. (d) End-of-pulse scattering versus shortcut amplitude \eta=\Omega_a/(2\dot{\theta}): the full three-level result (markers) lies on the reduced prediction (1-\eta)^2P_{\mathrm{sc}}^{\mathrm{bare}} (line) and collapses to \sim10^{-17} at the counterdiabatic point \eta=1. Parameters as in Fig. 2.

5 Velocity-class source nulling versus frequency chirping↩︎

5.1 Two routes to a selected velocity class↩︎

After the real source is cancelled by Eq. 19 , a residual two-photon detuning \(\delta\) leaves the imaginary Doppler source \[F_D(t)=\mathrm{i}\,\delta\,\sin\theta(t)\cos\theta(t), \label{eq:FD}\tag{22}\] which reopens the primary channel even when the nonadiabatic source is exactly removed. From Eq. 21 , \[P_{\mathrm{sc}}^{D}\simeq 4\Gamma\,\delta^2 J_D, \qquad J_D=\int_0^{T_p}\frac{\sin^2\theta\cos^2\theta}{\Omega^2}\,\mathrm{d}t, \label{eq:PscD}\tag{23}\] a parabola in \(\delta\) centered at \(\delta=0\). To make a selected momentum class \(\delta_c\) lossless, there are two routes as follows:

(i) Frequency chirp.The standard technique in Raman atom optics is to ramp the two-photon detuning so the selected class sits on resonance [11], i.e.an atom of true detuning \(\delta\) experiences \(\delta_{\mathrm{eff}}=\delta-\delta_c\) while the single-quadrature counterdiabatic coupling Eq. 19 is retained. The selected atom (\(\delta_{\mathrm{eff}}=0\)) transfers without primary scattering; a neighbor \(\delta=\delta_c+\varepsilon\) has source \(\mathrm{i}\varepsilon\sin\theta\cos\theta\) and response rate \(\mu+\mathrm{i}\varepsilon\cos^2\theta\simeq\mu\), so \(P_{\mathrm{sc}}\simeq4\Gamma\varepsilon^2J_D\). The key feature is that the Hamiltonian differs from the resonant dark-state Hamiltonian only by a perturbation of order \(\varepsilon\), small for every nearby class.

(ii) Two-quadrature source nulling.Alternatively one keeps the lasers at fixed frequency and adds a second, phase-shifted lower-state quadrature. Replacing the single real shortcut by the general dark–bright coupling \[H_q =\hbar\frac{\Omega_x}{2}\bigl(|D\rangle\langle B|+|B\rangle\langle D|\bigr) +\mathrm{i}\hbar\frac{\Omega_y}{2}\bigl(|D\rangle\langle B|-|B\rangle\langle D|\bigr), \label{eq:Hq}\tag{24}\] the residual source becomes (Appendix 14) \[F_q(t)=\dot{\theta}-\frac{\Omega_y}{2} +\mathrm{i}\Bigl[\delta\sin\theta\cos\theta-\frac{\Omega_x}{2}\Bigr]. \label{eq:Fq}\tag{25}\] Choosing \(\Omega_y=2\dot{\theta}\) and \(\Omega_x=2\delta_c\sin\theta\cos\theta\) cancels both quadratures for the matched class \(\delta=\delta_c\), giving \(F_q=0\) and \(b(t)=0\). For a neighbor \(\delta=\delta_c+\varepsilon\) the residual source is again purely imaginary, \(F_q=\mathrm{i}\varepsilon\sin\theta\cos\theta\), identical to the chirp. At leading order \(b\simeq F_q/\mu\), both routes therefore predict the same shifted parabola \[P_{\mathrm{sc}}^{\mathrm{null}}\simeq4\Gamma\,(\delta-\delta_c)^2 J_D . \label{eq:Pnull}\tag{26}\]

5.2 The nulling offers no advantage and has a sharp ceiling↩︎

Equation 26 suggests that source nulling reproduces the velocity selectivity of a chirp. It does — but only within the local-response approximation \(b\simeq F/\mu\), i.e.for \(\delta_c\ll|\mu|\), and even there it requires amplitude and phase control of an additional lower-state field [the quadrature shortcut of Eq. 24 , with \(\Omega_x\) carrying both an off-diagonal \(g\)\(a\) coupling and diagonal energy modulations \(\pm\delta_c\sin^2 2\theta/2\); see Appendix 14], whereas a chirp uses a single, ubiquitous frequency knob. The nulling thus achieves, at best, parity with a simpler control.

Beyond the small-detuning regime, the two routes diverge sharply, and the nulling fails. The reason is structural. Both leave the same residual source \(\propto\varepsilon\), but they leave very different Hamiltonian perturbations. The chirp leaves an \(\mathcal{O}(\varepsilon)\) perturbation; the nulling leaves a fixed \(\mathcal{O}(\delta_c)\) perturbation — the diagonal modulation of Eq. 24 plus the full physical detuning — that is fine-tuned to cancel only for the matched class. Nothing protects that cancellation once \(\delta_c\) becomes comparable to the bright-state gap \(|\mu|\) that enforces adiabatic dark-state following; for any mismatch \(\varepsilon\) the bright population then grows beyond the local-response estimate and the transfer itself breaks. Robustness is controlled by the perturbation magnitude, not by the residual source.

Figure 4 demonstrates this directly in the full three-level model, with \(|\mu|=\Omega_0^2/4\Delta=2.81\,\Gamma\) for these parameters. (a) For \(\delta_c=0.3\,\Gamma\ll|\mu|\), the chirp and nulling results coincide on the parabola Eq. 26 : equivalent, as anticipated. (b) For \(\delta_c=2.5\,\Gamma\approx|\mu|\), the chirp still tracks the parabola while the nulling scatters one to two orders of magnitude more for off-resonant atoms. (c) Holding a fixed small offset \(\varepsilon=0.1\,\Gamma\) and scanning the selected class, the chirp scattering is essentially independent of \(\delta_c\), whereas the nulling tracks it only for \(\delta_c\lesssim|\mu|/2\) and then rises by more than two orders of magnitude as \(\delta_c\) crosses \(|\mu|\). (d) The coherent transfer error confirms the mechanism: the chirp maintains \(1-F_{\mathrm{cond}}\sim10^{-11}\) across the whole range, while the nulling loses coherent transfer entirely once \(\delta_c>|\mu|\).

Figure 4: Velocity-class source nulling versus frequency chirping, in the full three-level model (|\mu|=\Omega_0^2/4\Delta=2.81\,\Gamma). (a) Primary scattering versus atom detuning \delta for a small selected class \delta_c=0.3\,\Gamma\ll|\mu|: chirp (open circles) and nulling (filled squares) coincide and follow the shifted parabola Eq. 26 (line); the dotted curve is the uncompensated case, centered at \delta=0. (b) For \delta_c=2.5\,\Gamma\approx|\mu|, the nulling scatters 10–100\times more than the chirp for off-resonant atoms. (c) Scattering at a fixed offset \delta=\delta_c+0.1\,\Gamma versus the selected class \delta_c: the chirp is flat, while the nulling diverges as \delta_c crosses the bright-state gap |\mu| (dashed line). (d) The corresponding coherent transfer error 1-F_{\mathrm{cond}}: the chirp stays near 10^{-11}, while the nulling’s coherent transfer collapses beyond |\mu|. Parameters as in Fig. 2.

The conclusion is unambiguous: two-quadrature source nulling is never superior to chirping the two-photon detuning. It is exactly equivalent where the local-response approximation holds (\(\delta_c\ll|\mu|\)), and progressively — then catastrophically — worse as the addressed class approaches the bright-state gap. Because velocity selectivity matters most precisely when the addressed Doppler shifts are appreciable (launched or warm clouds, and high-order LMT where the class spacing grows), the nulling fails in the regime that motivates it, while the chirp remains robust. The shifted-parabola statement given in Eq. 26 is therefore valid only in a narrow neighborhood and only for \(\delta_c\ll|\mu|\). The orthogonality of the two source quadratures remains a useful organizing statement — a real counterdiabatic term cannot cancel a detuning-induced coupling, and vice versa — but it does not translate into a practical advantage over standard frequency control.

6 Implementation cost and LMT mode budget↩︎

6.1 Optical reconstruction cost↩︎

The ideal direct shortcut \(\Omega_a\) of Eq. 4 is treated as a Hermitian lower-state interaction with no intrinsic scattering cost. Whether such a coupling is physically available is implementation-dependent and, for LMT, restrictive: since \(|g\rangle\) and \(|a\rangle\) differ in momentum by two photon recoils, the counterdiabatic \(g\!\leftrightarrow\!a\) coupling must itself impart \(2\hbar k\) and therefore cannot be a momentum-free microwave; it must be realized optically. When the shortcut is synthesized by a separate auxiliary Raman pair through an additional excited state (linewidth \(\Gamma_R\), one-photon detuning \(\Delta_R\)), it carries its own scattering channel. For a balanced dark-path reconstruction (Appendix 15), \[P_{\mathrm{aux}}=\frac{\pi\Gamma_R\Delta_R}{2(\Delta_R^2+\Gamma_R^2/4)} \xrightarrow{\;\Delta_R\gg\Gamma_R\;}\frac{\pi\Gamma_R}{2\Delta_R}. \label{eq:Paux}\tag{27}\] An important caveat constrains how this term is counted. If, instead of a separate auxiliary pair, the counterdiabatic correction is absorbed into reshaped pump and Stokes envelopes [27], the reshaped fields scatter through the same excited state with the same coefficient \(\kappa\), and there is no separate \(P_{\mathrm{aux}}\) channel: the cost is already inside the primary functional Eq. 13 . Equation 27 therefore applies specifically to a separate-auxiliary-pair realization; the envelope-encoded realization is accounted for entirely by the residual primary source \(F(t)\).

6.2 Single-pulse mode error and contrast↩︎

For LMT optics the relevant figure of merit is the survival of a specified coherent output mode after many momentum-transfer operations. Writing the conditional coherent transfer error \(\epsilon_{\mathrm{coh}}=1-F_{\mathrm{cond}}\) with \(F_{\mathrm{cond}}=|c_a(T_p)|^2/N(T_p)\), and combining it additively with the scattering channels and the Doppler curvature (Appendix 16), the single-pulse mode error is \[\epsilon_{\mathrm{mode}} =\epsilon_{\mathrm{coh}}^{(0)} +P_{\mathrm{primary}}^{\mathrm{resid},0} +P_{\mathrm{aux}} +A_D^{\mathrm{mode}}\sigma_D^2 , \label{eq:mode-budget}\tag{28}\] where the superscript \(0\) denotes the designed central class, \(\sigma_D\) is the Doppler width, and the small-detuning mode-error curvature separates into coherent-endpoint and scattering parts, \(A_D^{\mathrm{mode}}=M_D+4\Gamma J_D\) (Appendix 16). For \(N_\pi\) statistically independent pulses the contrast follows \(C/C_0\simeq\exp[-N_\pi\epsilon_{\mathrm{mode}}]\), and a target contrast imposes the design inequality \(\epsilon_{\mathrm{mode}}\le-N_\pi^{-1}\ln C_{\mathrm{target}}\). This budget is a design-level small-error estimate; it does not include interferometer phase noise, wavefront aberration, beam-splitter imbalance, or many-pulse coherent correlations, and it overlaps in scope with Refs. [26], [27]. What is distinct here is that each scattering term is expressed through the bright-state source: \(P_{\mathrm{primary}}^{\mathrm{resid}}\) via \(|F|^2\), the Doppler curvature via \(J_D\), and the implementation cost via Eq. 27 or, for envelope encoding, via \(F\) itself.

A shortcut protocol improves the LMT budget only when the reduction in primary source-induced scattering and coherent transfer error exceeds the additional auxiliary and Doppler-related costs. For ideal direct cancellation the residual primary term vanishes and the comparison reduces to suppressed bare scattering versus auxiliary (or envelope-encoding) cost; the break-even condition is \[4\Gamma\!\int_0^{T_p}\!\frac{\dot{\theta}^2}{\Omega^2}\,\mathrm{d}t \approx P_{\mathrm{aux}} +4\Gamma\!\int_0^{T_p}\!\frac{|F_{\mathrm{resid}}|^2}{\Omega^2}\,\mathrm{d}t . \label{eq:breakeven}\tag{29}\]

7 Discussion↩︎

The organizing result of this work is the separation between the bright-state decay coefficient and the bright-state source. The coefficient \(\kappa(t)\) is fixed by the Raman intensity, detuning, and excited-state linewidth, and is present whenever the fields are applied. The source \(F(t)\) depends on the protocol and determines whether the bright state is populated at all. Bare STIRAP has a nonzero source because the dark state rotates in finite time; ideal direct STIRSAP cancels that source within the reduced local Raman model. The reduction in primary scattering from bare STIRAP to ideal STIRSAP is therefore a dynamical source-cancellation effect, not a reduction of the optical decay coefficient — a distinction we confirmed directly in the full model (Fig. 3).

The same source decomposition cleanly separates shortcut mismatch (a real quadrature) from two-photon Doppler detuning (an imaginary quadrature), and this is where our analysis is most cautionary. The decomposition invites a two-quadrature protocol that nulls the Doppler source for a selected class, and within the leading local-response approximation that protocol reproduces a shifted scattering parabola. But a controlled comparison shows it never beats the standard practice of chirping the two-photon detuning: the two coincide for \(\delta_c\ll|\mu|\) and the nulling fails as \(\delta_c\to|\mu|\) (Fig. 4). The lesson generalizes beyond this system. When a control cancels a dissipative source by fine-tuned interference, its robustness is set by the size of the residual Hamiltonian perturbation it leaves behind, not by the residual source it cancels; a scheme that leaves an \(\mathcal{O}(\delta_c)\) perturbation to cancel an \(\mathcal{O}(\delta_c)\) source is fragile, whereas a resonance condition that leaves an \(\mathcal{O}(\varepsilon)\) perturbation is robust. We therefore present the quadrature decomposition as a diagnostic organizing principle and the chirp as the practical method, rather than advancing source nulling as a protocol improvement.

For implementation, the momentum selection rule for LMT means the direct counterdiabatic coupling is not a free resource: it must be optical and therefore carries either the auxiliary cost Eq. 27 or, if encoded in reshaped Raman envelopes [27], a cost already contained in the primary source \(F\). The mode-error budget Eq. 28 and break-even condition Eq. 29 make the resulting trade-offs explicit and connect to existing multi-pulse error analyses [26]. The reduced loss functional and the design-level contrast extrapolation hold within the local Raman model; the cancellation of the primary channel itself, however, is exact in the full three-level model at the counterdiabatic point (Appendix 19), independent of that reduction. In practice, approximate or envelope-encoded realizations of the shortcut leave a small residual infidelity even at the counterdiabatic point, consistent with the concrete single-pulse fidelities reported for envelope-encoded shortcuts [27].

8 Conclusion↩︎

We have developed a dissipative bright-state framework for Raman STIRAP and shortcut-assisted atom optics. From the Lindblad equation for a lossy three-level \(\Lambda\) system, we obtained the exact no-jump norm-loss identity, the controlled local Raman reduction, and the dark–bright source identity \(S=\Omega b\), which collapses the primary-scattering problem to the compact functional \(P_{\mathrm{sc}}=2\!\int\!\kappa|b|^2\,dt\). Within this description, primary spontaneous scattering is governed by the bright-state amplitude; bare STIRAP scatters as \(4\Gamma\!\int\!\dot{\theta}^2/\Omega^2\,dt\), and ideal direct STIRSAP cancels the bright-state source at \(\Omega_a=2\dot{\theta}\), which we confirmed — with the correct sign convention — directly in the full three-level model.

Using the orthogonal-quadrature structure of the source, we analyzed velocity-class addressing and found that two-quadrature Doppler source nulling is never superior to chirping the two-photon detuning: the two are identical for \(\delta_c\ll|\mu|\) and the nulling degrades and then fails as the selected class approaches the bright-state gap \(|\mu|=\Omega^2/4\Delta\), because robustness is set by the residual Hamiltonian perturbation rather than the residual source. We closed with a single-pulse mode-error budget and break-even condition for LMT optics that express each error channel through the bright-state source, and that delineate when shortcut-assisted Raman control reduces the total scattering cost and when auxiliary or Doppler-related effects dominate. Beyond this setting, the bright-state source perspective — isolating the amplitude that carries loss as the first step toward suppressing it, while tracking the perturbation that controls robustness — may be useful in other dissipative shortcut-driven control problems.

Acknowledgments↩︎

This publication was partially supported by the Qatar Research, Development and Innovation (QRDI) Council under the Academic Research Grant ARG01-0603-230468. The findings and views expressed herein are solely the responsibility of the authors.

9 No-jump norm-loss identity↩︎

The no-jump state \(|\psi_{\mathrm{nj}}\rangle=c_g|g\rangle+c_e|e\rangle+c_a|a\rangle\) evolves under \(\mathrm{i}\hbar\partial_t|\psi_{\mathrm{nj}}\rangle=H_{\mathrm{nh}}|\psi_{\mathrm{nj}}\rangle\) with \(H_{\mathrm{nh}}=H_3-\tfrac{\mathrm{i}\hbar\Gamma}{2}|e\rangle\langle e|\). Differentiating \(N=\langle \psi_{\mathrm{nj}}|\psi_{\mathrm{nj}}\rangle\), we have \[\dot{N}=\frac{\mathrm{i}}{\hbar}\langle \psi_{\mathrm{nj}}|\bigl(H_{\mathrm{nh}}^\dagger-H_{\mathrm{nh}}\bigr)|\psi_{\mathrm{nj}}\rangle.\] Since \(H_3\) is Hermitian, \(H_{\mathrm{nh}}^\dagger-H_{\mathrm{nh}}=\mathrm{i}\hbar\Gamma|e\rangle\langle e|\), and using \(\langle e|\psi_{\mathrm{nj}}\rangle=c_e\), we obtain \[\dot{N}(t)=-\Gamma|c_e(t)|^2,\] which integrates to Eq. 9 .

10 Excited-state memory kernel and local Raman approximation↩︎

With \(\zeta=\Delta+\tfrac{\mathrm{i}}{2}\Gamma\) and \(S=\Omega_Pc_g+\Omega_Sc_a\), Eq. 7 reads \(\mathrm{i}\dot{c}_e=\tfrac{S}{2}-\zeta c_e\). The integrating factor \(\mathrm{e}^{-\mathrm{i}\zeta t}\) gives the exact solution \[c_e(t)=\mathrm{e}^{\mathrm{i}\zeta t}c_e(0)-\frac{\mathrm{i}}{2}\int_0^t \mathrm{e}^{\mathrm{i}\zeta(t-s)}S(s)\,\mathrm{d}s, \label{eq:ce-memory}\tag{30}\] with kernel \(\mathrm{e}^{\mathrm{i}\zeta(t-s)}=\mathrm{e}^{\mathrm{i}\Delta(t-s)}\mathrm{e}^{-\Gamma(t-s)/2}\): oscillatory memory at the one-photon scale, damped on the timescale \(\Gamma^{-1}\). For \(c_e(0)=0\) and substitution \(u=t-s\), \[c_e(t)=-\frac{\mathrm{i}}{2}\int_0^t \mathrm{e}^{\mathrm{i}\zeta u}S(t-u)\,\mathrm{d}u .\] When \(S\) varies slowly on the memory timescale, \(S(t-u)=S(t)-u\dot{S}(t)+\cdots\), and with \(I_n=\int_0^\infty u^n\mathrm{e}^{\mathrm{i}\zeta u}\,\mathrm{d}u\), \(I_0=\mathrm{i}/\zeta\), the leading term is \(c_e\simeq S/(2\zeta)\) [Eq. 10 ], the first correction being \(\mathcal{O}(\dot{S}/\zeta^2)\). Sufficient conditions are \(T_p|\zeta|\gg1\), \(|\dot{\Omega}|/(\Omega|\zeta|)\ll1\), \(|\dot{\theta}|/|\zeta|\ll1\), and \(|S|/(2|\zeta|)\ll1\).

11 Dark–bright reduction and the source identity↩︎

Substituting \(c_e\simeq S/(2\zeta)\) into Eqs. 6 and 8 closes the lower-manifold dynamics with \[H_{\mathrm{red}}=\hbar \begin{pmatrix} \Omega_P^2/(4\zeta) & \Omega_P\Omega_S/(4\zeta)+\mathrm{i}\Omega_a/2 \\[0.4em] \Omega_P\Omega_S/(4\zeta)-\mathrm{i}\Omega_a/2 & \delta+\Omega_S^2/(4\zeta) \end{pmatrix}. \label{eq:Hred}\tag{31}\] Using \(1/\zeta=\Delta/(\Delta^2+\Gamma^2/4)-\mathrm{i}(\Gamma/2)/(\Delta^2+\Gamma^2/4)\), the anti-Hermitian part is the rank-one loss operator \(-\mathrm{i}\hbar\,\tfrac{\Gamma}{8(\Delta^2+\Gamma^2/4)}\,\bigl(\begin{smallmatrix}\Omega_P^2&\Omega_P\Omega_S\\ \Omega_P\Omega_S&\Omega_S^2\end{smallmatrix}\bigr)\), while \(\Omega_a\) stays Hermitian and does not enter the loss. The norm decay gives \(P_{\mathrm{sc}}^{\mathrm{red}}=\tfrac{\Gamma}{4(\Delta^2+\Gamma^2/4)}\int_0^{T_p}|S|^2\,\mathrm{d}t\) with \(S=\Omega_Pc_g+\Omega_Sc_a\). With \(|\psi_g\rangle=d|D\rangle+b|B\rangle\) and Eq. 11 , \(c_g=d\cos\theta+b\sin\theta\) and \(c_a=-d\sin\theta+b\cos\theta\), so \[S=d(\Omega_P\cos\theta-\Omega_S\sin\theta)+b(\Omega_P\sin\theta+\Omega_S\cos\theta)=\Omega b,\] which is Eq. 12 . With \(\kappa\) as in Eq. 14 , \(P_{\mathrm{sc}}^{\mathrm{red}}=2\int_0^{T_p}\kappa|b|^2\,\mathrm{d}t\). The real part of \(1/\zeta\) gives the dispersive light shifts \(\delta E_{g}=\hbar\Omega_P^2\Delta/[4(\Delta^2+\Gamma^2/4)]\) and \(\delta E_a=\hbar\Omega_S^2\Delta/[4(\Delta^2+\Gamma^2/4)]\); the residual \(\delta(t)\) in the main text is understood after compensation of their difference.

12 Bare STIRAP: source equation, bound, and leading estimate↩︎

For \(\Omega_a=\delta=0\), the reduced Hamiltonian projects onto the bright direction with complex energy \(\hbar(\Lambda-\mathrm{i}\kappa)\). Using \(|\dot{D}\rangle=-\dot{\theta}|B\rangle\), \(|\dot{B}\rangle=\dot{\theta}|D\rangle\) in the reduced Schrödinger equation gives the moving-basis equations \[\dot{d}=-\dot{\theta}\,b, \qquad \dot{b}=\dot{\theta}\,d-\mu b, \qquad \mu=\kappa+\mathrm{i}\Lambda . \label{eq:bare-db}\tag{32}\] For \(b(0)=0\), \(b(t)=\int_0^t K(t,s)\dot{\theta}(s)d(s)\,\mathrm{d}s\) with \(K(t,s)=\exp[-\int_s^t\mu\,\mathrm{d}u]\) and \(|K|\le1\) since \(\kappa\ge0\); hence \(|b(t)|\le\int_0^t|\dot{\theta}|\,\mathrm{d}s\). Integrating by parts using \(\partial_s K=\mu K\) gives the exact identity \[b=\frac{\dot{\theta} d}{\mu}-\frac{\dot{\theta}(0)d(0)}{\mu(0)}K(t,0)-\int_0^t K\,\frac{\mathrm{d}}{\mathrm{d}s}\!\Bigl[\frac{\dot{\theta} d}{\mu}\Bigr]\mathrm{d}s,\] whose leading local-response term is \(b\simeq\dot{\theta} d/\mu\simeq\dot{\theta}/\mu\) (with \(d\simeq1\)), valid when \(|\dot{q}|\ll|\mu q|\) for \(q=\dot{\theta} d/\mu\). Evaluating the prefactor, \[|\mu|^2=\frac{\Omega^4}{16(\Delta^2+\Gamma^2/4)}, \qquad \frac{2\kappa}{|\mu|^2}=\frac{4\Gamma}{\Omega^2},\] so that \(P_{\mathrm{sc}}^{\mathrm{bare}}\simeq4\Gamma\int_0^{T_p}\dot{\theta}^2/\Omega^2\,\mathrm{d}t\), Eq. 15 .

13 Unified residual source and the counterdiabatic condition↩︎

With the convention of Eq. 4 , \(H_a=\mathrm{i}\hbar\tfrac{\Omega_a}{2}(|D\rangle\langle B|-|B\rangle\langle D|)\), so \(\langle B|H_a|D\rangle=-\mathrm{i}\hbar\Omega_a/2\). The detuning term \(H_\delta=\hbar\delta|a\rangle\langle a|\) contributes, via \(|a\rangle=-\sin\theta|D\rangle+\cos\theta|B\rangle\), an off-diagonal \(-\hbar\delta\sin\theta\cos\theta(|D\rangle\langle B|+|B\rangle\langle D|)\) and a diagonal \(\hbar\delta\cos^2\theta|B\rangle\langle B|\). Projecting the reduced Schrödinger equation onto \(|B\rangle\) in the moving basis collects these with the geometric term and the bright energy to give Eq. 16 with the source Eq. 17 . The real part \(\dot{\theta}-\Omega_a/2\) is cancelled by Eq. 19 ; the imaginary part \(\delta\sin\theta\cos\theta\) survives as the Doppler source. In the local-response regime, \(b\simeq F/[\mu+\mathrm{i}\delta\cos^2\theta]\simeq F/\mu\) for \(|\delta|\ll|\mu|\), and \(P_{\mathrm{sc}}^{\mathrm{primary}}\simeq4\Gamma\int_0^{T_p}|F|^2/\Omega^2\,\mathrm{d}t\), Eq. 21 . For completeness, the same residual source is derived in the full three-level model, without the local Raman elimination, in Appendix 19.

14 Two-quadrature construction and equivalence to chirping↩︎

The generalized coupling, Eq. 24 , has \(y\)-quadrature equal to the counterdiabatic term and \(x\)-quadrature \(H_x=\hbar\tfrac{\Omega_x}{2}(|D\rangle\langle B|+|B\rangle\langle D|)\). Since \(\langle B|H_x|D\rangle=\hbar\Omega_x/2\) is real, it adds an imaginary source \(-\Omega_x/2\) to \(F\), giving Eq. 25 . Choosing \(\Omega_y=2\dot{\theta}\) and \(\Omega_x=2\delta_c\sin\theta\cos\theta\) cancels both quadratures for \(\delta=\delta_c\).

The cost of the construction, and the origin of its fragility, is visible in the bare \(\{g,a\}\) basis. Using \(|D\rangle\langle B|+|B\rangle\langle D|=\bigl(\begin{smallmatrix}\sin2\theta&\cos2\theta\\ \cos2\theta&-\sin2\theta\end{smallmatrix}\bigr)\), the \(x\)-quadrature is \[H_x=\frac{\hbar\delta_c\sin2\theta}{2} \begin{pmatrix}\sin2\theta & \cos2\theta\\[0.2em]\cos2\theta & -\sin2\theta\end{pmatrix}, \label{eq:Hx-ga}\tag{33}\] which is not a pure \(g\)\(a\) coupling: it carries diagonal energy modulations \(\pm\hbar\delta_c\sin^2 2\theta/2\) on \(|g\rangle\) and \(|a\rangle\). For the matched class this modulation, together with the full physical detuning \(\delta_c\) retained in the response rate \(\mu+\mathrm{i}\delta_c\cos^2\theta\), is arranged to keep \(b=0\). For a mismatched class \(\delta=\delta_c+\varepsilon\) the residual source is \(\mathrm{i}\varepsilon\sin\theta\cos\theta\) — identical to a chirp — but the Hamiltonian still contains the fixed \(\mathcal{O}(\delta_c)\) terms of Eq. 33 and the detuning \(\delta_c\). The chirp instead replaces \(\delta\to\delta-\delta_c\), leaving only an \(\mathcal{O}(\varepsilon)\) perturbation. At leading order \(b\simeq F/\mu\) the two are indistinguishable [Eq. 26 ], but the local-response approximation requires \(\delta_c\ll|\mu|\); once \(\delta_c\sim|\mu|\) the fixed perturbation is no longer suppressed by the bright-state gap and the nulling departs from Eq. 26 , as shown in Fig. 4. The single complex shortcut \(\Omega_q\mathrm{e}^{\mathrm{i}\phi_q}=\Omega_x+\mathrm{i}\Omega_y\) has magnitude \(\Omega_q=2\sqrt{\dot{\theta}^2+\delta_c^2\sin^2\theta\cos^2\theta}\) and phase \(\phi_q=\arctan[\dot{\theta}/(\delta_c\sin\theta\cos\theta)]\), so the construction requires both amplitude and phase control of the lower-state field.

15 Optical reconstruction and auxiliary scattering cost↩︎

An auxiliary Raman pair \(G_g,G_a\) through an excited state with \(\Delta_R,\Gamma_R\) scatters, by the same elimination that produced Eq. 13 , with the functional \[P_{\mathrm{sc}}^{\mathrm{aux}} =\frac{\Gamma_R}{4(\Delta_R^2+\Gamma_R^2/4)}\int_0^{T_p}|G_gc_g+G_ac_a|^2\,\mathrm{d}t . \label{eq:redscat-app}\tag{34}\] For a balanced scheme \(G_g=G\), \(G_a=-\mathrm{i}G\) along the dark path \(c_g=\cos\theta\), \(c_a=-\sin\theta\), \(|G_gc_g+G_ac_a|^2=G^2\), and the reconstruction condition \(G^2=4\Delta_R\dot{\theta}\) gives \(P_{\mathrm{aux}}=\tfrac{\Gamma_R\Delta_R}{\Delta_R^2+\Gamma_R^2/4}\int_0^{T_p}\dot{\theta}\,\mathrm{d}t\). With \(\int_0^{T_p}\dot{\theta}\,\mathrm{d}t=\pi/2\) this is Eq. 27 . A power-limited maximum balanced scale \(G_{\max}^2=4\Delta_R\dot{\theta}_{\max}\) gives \(P_{\mathrm{aux,min}}\simeq2\pi\Gamma_R\dot{\theta}_{\max}/G_{\max}^2\).

16 Mode-error budget, Doppler curvature, and contrast↩︎

The no-jump norm gives \(N(T_p)=1-P_{\mathrm{sc}}\), and the conditional and unconditional mode fidelities are \(F_{\mathrm{cond}}=|c_a(T_p)|^2/N(T_p)\) and \(F_{\mathrm{mode}}=N(T_p)F_{\mathrm{cond}}\simeq F_{\mathrm{cond}}\mathrm{e}^{-P_{\mathrm{sc}}}\). For \(\epsilon_{\mathrm{coh}}=1-F_{\mathrm{cond}}\ll1\) and \(P_{\mathrm{sc}}\ll1\), \(1-F_{\mathrm{mode}}\simeq\epsilon_{\mathrm{coh}}+P_{\mathrm{sc}}\), with \(P_{\mathrm{sc}}=P_{\mathrm{primary}}^{\mathrm{resid}}+P_{\mathrm{aux}}\). A finite Doppler width makes \(F_{\mathrm{mode}}\) a function of the residual detuning \(\delta_D\); to quadratic order \(1-F_{\mathrm{mode}}(\delta_D)\simeq[1-F_{\mathrm{mode}}(0)]+A_D^{\mathrm{mode}}\delta_D^2\) with \[\begin{align} A_D^{\mathrm{mode}}&=M_D+4\Gamma J_D,\\ M_D&=\Bigl|\int_0^{T_p}K(T_p,s)\sin\theta\cos\theta\,\mathrm{d}s\Bigr|^2, \end{align}\] where the first term is coherent-endpoint curvature and the second is the scattering curvature from \(J_D\) [Eq. 23 ]. For a Gaussian ensemble of width \(\sigma_D\), \(\bar F_{\mathrm{mode}}=F_0/\sqrt{1+2A_D^{\mathrm{mode}}\sigma_D^2}\simeq F_0(1-A_D^{\mathrm{mode}}\sigma_D^2)\). Summing the additive single-pulse terms gives Eq. 28 ; for \(N_\pi\) independent pulses, \(C/C_0\simeq\prod_j(1-\epsilon_{\mathrm{mode}}^{(j)})\simeq\exp[-\sum_j\epsilon_{\mathrm{mode}}^{(j)}]\), and a target contrast imposes \(\sum_j\epsilon_{\mathrm{mode}}^{(j)}\le-\ln C_{\mathrm{target}}\).

17 Gaussian mixing-rate schedule↩︎

All figures use \(\dot{\theta}(t)=A\exp[-(t-T_p/2)^2/2\sigma^2]\) for \(0\le t\le T_p\), with \(A\) fixed by \(\int_0^{T_p}\dot{\theta}\,\mathrm{d}t=\pi/2\), \[A=\frac{\pi/2}{\sqrt{2\pi}\,\sigma\,\mathrm{erf}[T_p/(2\sqrt2\sigma)]} .\] The squared-rate integral entering Eq. 15 is \(I_\theta=\int_0^{T_p}\dot{\theta}^2\,\mathrm{d}t=\tfrac{\pi^2}{8\sqrt\pi\sigma}\,\mathrm{erf}[T_p/(2\sigma)]/\mathrm{erf}^2[T_p/(2\sqrt2\sigma)]\), so for constant \(\Omega=\Omega_0\), \(P_{\mathrm{sc}}^{\mathrm{bare}}\simeq(4\Gamma/\Omega_0^2)I_\theta\).

18 Full three-level no-jump benchmark equations↩︎

The benchmark integrates the full no-jump equations in the convention of Eq. 3 : \[\begin{align} \dot{c}_g &= -\mathrm{i}\tfrac{\Omega_P}{2}c_e+\tfrac{\Omega_a}{2}c_a,\\ \dot{c}_e &= -\mathrm{i}\tfrac{\Omega_P}{2}c_g+\mathrm{i}\Delta c_e-\tfrac{\Gamma}{2}c_e-\mathrm{i}\tfrac{\Omega_S}{2}c_a,\\ \dot{c}_a &= -\tfrac{\Omega_a}{2}c_g-\mathrm{i}\tfrac{\Omega_S}{2}c_e-\mathrm{i}\delta c_a,\\ \dot{P}_{\mathrm{sc}}^{(3)} &= \Gamma|c_e|^2,\qquad P_{\mathrm{sc}}^{(3)}(0)=0 . \end{align}\] These reproduce the exact identity Eq. 9 without invoking the local Raman elimination or the dark–bright reduction. With this convention, the counterdiabatic condition \(\Omega_a=2\dot{\theta}\) cancels the source; the chirp protocol replaces \(\delta\to\delta-\delta_c\), and the two-quadrature nulling adds the lower-state block of Eq. 33 together with \(\Omega_y=2\dot{\theta}\). Figures 24 were generated from these equations using an adaptive Runge–Kutta integrator with absolute and relative tolerances at the \(10^{-9}\)\(10^{-12}\) level.

19 Exact three-level structure without adiabatic elimination↩︎

Appendices 1013 establish the source identity and the residual source \(F\) after the local Raman elimination of \(|e\rangle\). Here we show that the same identity \(S=\Omega b\), the same source \(F\), and the counterdiabatic cancellation all hold exactly in the full no-jump dynamics, with \(|e\rangle\) retained; the only new object is the exact moving-frame generator.

We rotate the full no-jump Hamiltonian \(H_{\mathrm{nh}}=H_3-\tfrac{\mathrm{i}\hbar\Gamma}{2}|e\rangle\langle e|\) [Eq. 3 ] into the instantaneous dark–bright–excited basis \(\{|D\rangle,|B\rangle,|e\rangle\}\) [Eq. 11 ], holding \(|e\rangle\) fixed, through \(\mathcal{H}=U^{\dagger}H_{\mathrm{nh}}U-\mathrm{i}\hbar\,U^{\dagger}\dot{U}\) with matrix elements \(\mathcal{H}_{nm}=\langle n|H_{\mathrm{nh}}|m\rangle-\mathrm{i}\hbar\langle n|\dot{m}\rangle\). The rotation \(U(t)=|D\rangle\langle g|+|B\rangle\langle a|+|e\rangle\langle e| =\exp\!\big[\theta(|g\rangle\langle a|-|a\rangle\langle g|)\big]\) carries the lower states into the instantaneous dark–bright pair while fixing \(|e\rangle\), and generates the nonadiabatic connection \(U^{\dagger}\dot{U}=\dot{\theta}(|D\rangle\langle B|-|B\rangle\langle D|)\).

The four contributions to \(\mathcal{H}\) are then explicit. The optical couplings give \(\langle e|H_3|D\rangle=\tfrac{\hbar}{2}(\Omega_P\cos\theta-\Omega_S\sin\theta)=0\) and \(\langle e|H_3|B\rangle=\tfrac{\hbar}{2}(\Omega_P\sin\theta+\Omega_S\cos\theta)=\hbar\Omega/2\), the exact optical darkness of \(|D\rangle\). The connection contributes \(\mp\mathrm{i}\hbar\dot{\theta}\) to the \((D,B)\) and \((B,D)\) entries via \(\langle D|\dot{B}\rangle=\dot{\theta}=-\langle B|\dot{D}\rangle\). The shortcut [Eq. 4 ] gives \(\langle B|H_a|D\rangle=-\mathrm{i}\hbar\Omega_a/2\), using \(|g\rangle\langle a|-|a\rangle\langle g|=|D\rangle\langle B|-|B\rangle\langle D|\). The detuning \(H_\delta=\hbar\delta|a\rangle\langle a|\), with \(|a\rangle=-\sin\theta|D\rangle+\cos\theta|B\rangle\), contributes the diagonal terms \(\hbar\delta\sin^2\theta\) and \(\hbar\delta\cos^2\theta\) together with the off-diagonal \(-\hbar\delta\sin\theta\cos\theta\). Collecting these, the dark–bright entry is \(\mathcal{H}_{BD}=\mathrm{i}\hbar(\dot{\theta}-\Omega_a/2)-\hbar\delta\sin\theta\cos\theta=\mathrm{i}\hbar F\), with \(F\) exactly the source of Eq. 17 and \(\mathcal{H}_{DB}=\mathcal{H}_{BD}^{*}=-\mathrm{i}\hbar F^{*}\), so that \[\frac{\mathcal{H}}{\hbar}= \begin{pmatrix} \delta\sin^2\theta & -\mathrm{i}F^{*} & 0\\[3pt] \mathrm{i}F & \delta\cos^2\theta & \Omega/2\\[3pt] 0 & \Omega/2 & -\Delta-\tfrac{\mathrm{i}}{2}\Gamma \end{pmatrix}_{(D,B,e)} . \label{eq:Hcal-exact}\tag{35}\] The dark–bright block is Hermitian, and the only non-Hermitian element is the \(-\tfrac{\mathrm{i}}{2}\Gamma\) on \(|e\rangle\). No elimination has been made: the excited amplitude is retained through the \(\Omega/2\) couplings, which is the sole difference from the reduced generator \(H_{\mathrm{red}}\) of Appendix 11.

The equations of motion follow directly. Reading \(\mathrm{i}\dot{\mathbf{a}}=(\mathcal{H}/\hbar)\,\mathbf{a}\) off Eq. 35 with \(\mathbf{a}=(d,b,c_e)^{\mathsf T}\) and \(\zeta=\Delta+\tfrac{\mathrm{i}}{2}\Gamma\), \[\begin{align} \mathrm{i}\dot{d} &= \delta\sin^2\theta\,d-\mathrm{i}F^{*}b,\\ \mathrm{i}\dot{b} &= \mathrm{i}F\,d+\delta\cos^2\theta\,b+\tfrac{\Omega}{2}c_e,\\ \mathrm{i}\dot{c}_e &= \tfrac{\Omega}{2}\,b-\zeta\,c_e, \end{align} \label{eq:eom-exact}\tag{36}\] which are Eqs. 68 in the moving basis. The excited state is sourced by \(b\) alone, the exact content of the identity \(S=\Omega b\) [Eq. 12 ]; this holds here without approximation because the identity is a statement about the basis, not a consequence of elimination.

The third of Eqs. 36 integrates exactly to the memory kernel of Appendix 10 [Eq. 30 with \(c_e(0)=0\) and \(S=\Omega b\)], \(c_e(t)=-\tfrac{\mathrm{i}}{2}\int_0^t\mathrm{e}^{\mathrm{i}\zeta(t-s)}\Omega(s)b(s)\,\mathrm{d}s\). Substituting it into the bright equation eliminates \(c_e\) in favor of the bright history and gives the exact, non-Markovian, closed pair \[\begin{align} \mathrm{i}\dot{b} &= \mathrm{i}F\,d+\delta\cos^2\theta\,b -\frac{\mathrm{i}\,\Omega(t)}{4}\int_0^t\mathrm{e}^{\mathrm{i}\zeta(t-s)}\Omega(s)\,b(s)\,\mathrm{d}s,\\ \mathrm{i}\dot{d} &= \delta\sin^2\theta\,d-\mathrm{i}F^{*}b. \end{align} \label{eq:b-exact-int}\tag{37}\] The bright amplitude is driven by \(F\) and damped by the retarded self-energy from its own coupling to \(|e\rangle\); the local form \(b\simeq F/\mu\) and the reduced functional [Eqs. 16 and 13 ] follow only after the Markov reduction of Appendix 10.

The intrinsic decay of the bright amplitude is set by the same coupling. On two-photon resonance and for locally constant \(\Omega\), the \(\{B,e\}\) sector of Eq. 35 has eigenvalues \(E_\pm=\tfrac12[-\Delta-\tfrac{\mathrm{i}}{2}\Gamma\pm\sqrt{W}]\) with \(W=(\Delta+\tfrac{\mathrm{i}}{2}\Gamma)^2+\Omega^2\), so the bright-like mode decays at the exact power-broadened rate \[\kappa_\star=-\operatorname{Im}E_+ =\frac{\Gamma}{4}-\frac{1}{2}\sqrt{\frac{|W|-\operatorname{Re}W}{2}} , \label{eq:kstar}\tag{38}\] which reduces to \(\kappa\) [Eq. 14 ] for \(\Omega\ll|\zeta|\) and saturates at \(\Gamma/4\) for strong driving. Equation 38 is the exact linewidth at which \(b\) leaks into \(|e\rangle\) and fixes the validity of the rate \(\kappa\) used in Eq. 13 : the reduction degrades once \(\Omega\) approaches saturation, where \(\kappa\propto\Omega^2\) grows without bound while \(\kappa_\star\to\Gamma/4\).

Finally, the cancellation is exact. At the counterdiabatic point Eq. 19 with \(\delta=0\) the source vanishes, \(F\equiv0\), and \(\mathcal{H}_{DD}=0\), so Eq. 35 block-diagonalizes into a decoupled dark amplitude and a homogeneous \(\{B,e\}\) pair. For an initially dark state (\(d(0)=1\), \(b(0)=c_e(0)=0\)) the unique solution is \(b(t)=c_e(t)=0\) for all \(t\), so Eq. 9 gives \(P_{\mathrm{sc}}=0\) identically, for arbitrary \(\Delta\), \(\Omega\), \(\Gamma\), and \(T_p\). This is the exact, elimination-free counterpart of Eq. 20 : the cancellation follows structurally from the optical darkness \(\langle e|H_3|D\rangle=0\) and the lower-manifold action of \(H_a\), with no expansion in \(1/\Delta\) or \(\Gamma/\Omega\) of the kind underlying Appendices 1013.

References↩︎

[1]
K. Bergmann, H. Theuer, and B. W. Shore, “Coherent population transfer among quantum states of atoms and molecules,” Reviews of Modern Physics, vol. 70, no. 3, p. 1003, 1998.
[2]
N. V. Vitanov, M. Fleischhauer, B. W. Shore, and booktitle=Advances. in atomic,. molecular,. and optical physics Bergmann Klaas, “Coherent manipulation of atoms and molecules by sequential laser pulses,” vol. 46, Elsevier, 2001, pp. 55–190.
[3]
N. V. Vitanov, A. A. Rangelov, B. W. Shore, and K. Bergmann, “Stimulated Raman adiabatic passage in physics, chemistry, and beyond,” Reviews of Modern Physics, vol. 89, no. 1, p. 015006, 2017.
[4]
J. Oreg, F. T. Hioe, and J. H. Eberly, “Adiabatic following in multilevel systems,” Physical Review A, vol. 29, no. 2, p. 690, 1984.
[5]
J. M. McGuirk, M. J. Snadden, and M. A. Kasevich, “Large area light-pulse atom interferometry,” Physical Review Letters, vol. 85, no. 21, p. 4498, 2000.
[6]
H. Müller, S. Chiow, Q. Long, S. Herrmann, and S. Chu, “Atom interferometry with up to 24-photon-momentum-transfer beam splitters,” Physical Review Letters, vol. 100, no. 18, p. 180405, 2008.
[7]
S. Chiow, T. Kovachy, H.-C. Chien, and M. A. Kasevich, “102\(\hbar k\) large area atom interferometers,” Physical Review Letters, vol. 107, no. 13, p. 130403, 2011.
[8]
A. D. Cronin, J. Schmiedmayer, and D. E. Pritchard, “Optics and interferometry with atoms and molecules,” Reviews of Modern Physics, vol. 81, no. 3, pp. 1051–1129, 2009.
[9]
D. L. Butts, K. Kotru, J. M. Kinast, A. M. Radojevic, B. P. Timmons, and R. E. Stoner, “Efficient broadband Raman pulses for large-area atom interferometry,” Journal of the Optical Society of America B, vol. 30, no. 4, pp. 922–927, 2013.
[10]
K. Kotru, J. M. Brown, D. L. Butts, J. M. Kinast, and R. E. Stoner, “Robust Ramsey sequences with Raman adiabatic rapid passage,” Physical Review A, vol. 90, no. 5, p. 053611, 2014.
[11]
K. Kotru, D. L. Butts, J. M. Kinast, and R. E. Stoner, “Large-area atom interferometry with frequency-swept Raman adiabatic passage,” Physical Review Letters, vol. 115, no. 10, p. 103001, 2015.
[12]
J. Dalibard, Y. Castin, and K. Mølmer, “Wave-function approach to dissipative processes in quantum optics,” Physical Review Letters, vol. 68, no. 5, p. 580, 1992.
[13]
K. Mølmer, Y. Castin, and J. Dalibard, “M onte Carlo wave-function method in quantum optics,” Journal of the Optical Society of America B, vol. 10, no. 3, pp. 524–538, 1993.
[14]
P. A. Ivanov, N. V. Vitanov, and K. Bergmann, “Spontaneous emission in stimulated Raman adiabatic passage,” Physical Review A, vol. 72, no. 5, p. 053412, 2005.
[15]
F. Reiter and A. S. Sørensen, “Effective operator formalism for open quantum systems,” Physical Review A, vol. 85, no. 3, p. 032111, 2012.
[16]
M. Demirplak and S. A. Rice, “Adiabatic population transfer with control fields,” The Journal of Physical Chemistry A, vol. 107, no. 46, pp. 9937–9945, 2003.
[17]
M. V. Berry, “Transitionless quantum driving,” Journal of Physics A: Mathematical and Theoretical, vol. 42, no. 36, p. 365303, 2009.
[18]
E. Torrontegui et al., “Shortcuts to adiabaticity,” vol. 62, Elsevier, 2013, pp. 117–169.
[19]
X. Chen, I. Lizuain, A. Ruschhaupt, D. Guéry-Odelin, and J. G. Muga, “Shortcut to adiabatic passage in two- and three-level atoms,” Physical Review Letters, vol. 105, no. 12, p. 123003, 2010.
[20]
Y.-C. Li and X. Chen, “Shortcut to adiabatic population transfer in quantum three-level systems: Effective two-level problems and feasible counterdiabatic driving,” Physical Review A, vol. 94, no. 6, p. 063411, 2016.
[21]
D. Guéry-Odelin, A. Ruschhaupt, A. Kiely, E. Torrontegui, S. Martı́nez-Garaot, and J. G. Muga, “Shortcuts to adiabaticity: Concepts, methods, and applications,” Reviews of Modern Physics, vol. 91, no. 4, p. 045001, 2019.
[22]
Y.-X. Du et al., “Experimental realization of stimulated Raman shortcut-to-adiabatic passage with cold atoms,” Nature Communications, vol. 7, no. 1, p. 12479, 2016.
[23]
K. Blekos, D. Stefanatos, and E. Paspalakis, “Performance of superadiabatic stimulated Raman adiabatic passage in the presence of dissipation and Ornstein-Uhlenbeck dephasing,” Physical Review A, vol. 102, no. 2, p. 023715, 2020.
[24]
X. Shi and H. Q. Zhao, “Effect of spontaneous emission on the shortcut to adiabaticity in three-state systems,” Physical Review A, vol. 104, no. 5, p. 052221, 2021.
[25]
K. Funo, N. Lambert, and F. Nori, “General bound on the performance of counter-diabatic driving acting on dissipative spin systems,” Physical Review Letters, vol. 127, no. 15, p. 150401, 2021.
[26]
P. Chrostoski, S. Bisson, D. Farley, F. Narducci, and D. Soh, “Error analysis in large area multi-Raman pulse atom interferometry due to undesired spontaneous decay,” arXiv preprint arXiv:2403.08913, 2024.
[27]
A. Ali et al., “Counterdiabatic Raman atom optics for compact high-sensitivity gravimetry,” arXiv preprint arXiv:2606.16945, 2026.