Adiabatic Elimination
Adiabatic elimination replaces rapidly evolving or weakly populated quantum degrees of freedom by their approximate response to slow ones. The eliminated variables do not simply disappear: virtual excursions through them shift energies, induce couplings, and, in open systems, generate effective decay and dephasing.
The familiar instruction “set the fast derivative to zero” is useful only when read as the leading term of a slow–fast expansion. An exact elimination produces a transient and a memory kernel. A local effective Hamiltonian appears after showing that the slow state and the couplings change little over the fast response time.
This page owns that dynamical reduction, its validity tests, derivative corrections, and the detuned three-level example. Projection Methods owns exact stationary P/Q reduction and state reconstruction. Schrieffer–Wolff Transformation owns perturbative unitary block diagonalization. Adiabatic elimination is also distinct from the Adiabatic Theorem: no slowly varying instantaneous eigenstate is required, although both methods involve separated timescales.
Throughout the closed-system derivation, set . Factors of are restored in the atomic example.
Slow and Fast Variables
Section titled “Slow and Fast Variables”Split a state into slow and fast components,
and write the Schrödinger equation in block form:
Thus
Here and generate motion within the slow and fast sectors, while and transfer amplitude between them. For a Hermitian Hamiltonian,
“Fast” is a statement about frequencies in a chosen frame, not about a label attached to a basis state. After removing a convenient reference energy, the spectrum of should be far from the frequencies resolved by . A large common energy added to both blocks has no dynamical significance and does not create scale separation.
Two common mechanisms make a sector fast:
- Large detuning: eigenfrequencies in lie far from the slow band.
- Rapid relaxation: eigenmodes in the fast sector decay on a timescale short compared with the retained dynamics.
The second case requires an open-system description; it cannot generally be represented by a Hermitian Hamiltonian alone.
Exact Elimination Produces Memory
Section titled “Exact Elimination Produces Memory”Let be the propagator generated by :
Variation of constants gives the exact fast amplitude
Substitution into the slow equation yields
This identity separates two effects:
- The term containing is an initial transient. It retains knowledge of any fast-sector population present at the starting time.
- The integral is a memory term. The present slow derivative depends on the slow state at earlier times.
Adiabatic elimination is the approximation that turns this nonlocal equation into a local one. It is justified when the kernel oscillates or decays before and the couplings change appreciably.
For constant ,
If the eigenvalues of are large and real, phases cancel the distant past. If they have large negative imaginary parts in a non-Hermitian no-jump description, the distant past is damped. These are different physical mechanisms, but both can produce short memory.
Leading Algebraic Elimination
Section titled “Leading Algebraic Elimination”The rough prescription sets the fast derivative to zero:
If is invertible, the fast amplitude is then slaved to the slow one:
The slow equation becomes
with
The correction has a simple path interpretation:
It shifts retained levels and can connect two slow states that had no direct matrix element in . For a Hermitian problem with , the leading Hamiltonian is Hermitian.
This expression is the zero-frequency Schur complement. It agrees with the leading stationary projection and Schrieffer–Wolff results when all methods use the same frame, model space, and perturbative order. Their higher-order state and observable conventions need not be identical.
The reconstructed fast population scales as
Small fast population therefore requires . It does not imply a negligible effect on slow phases: a correction of order can accumulate coherently for times of order .
Derivative Corrections
Section titled “Derivative Corrections”For time-independent and , discard the homogeneous transient and formally solve
On slow, bandwidth-limited states, expand the inverse:
The algebraic substitution is the first term. Keeping the first derivative gives
The matrix multiplying is a reminder that the projected slow amplitude is not yet the fully normalized dressed state. In the Hermitian case, define
To this order,
For constant blocks, a standard Hermitian generator for is
up to the order retained in the derivative expansion. This normalization step explains why an unsymmetrized higher-order substitution can appear non-Hermitian even when the full Hamiltonian is Hermitian.
If , , or depends on time, derivatives also act on those operators and their order matters. In that setting, either derive the local series from the exact propagator or use a systematic time-dependent block transformation. Blindly replacing every fast derivative by zero can miss ramp-induced terms.
Validity Conditions
Section titled “Validity Conditions”For a finite-dimensional Hermitian fast block measured relative to the slow reference frequency, define
This is the distance to the closest dangerous fast-sector frequency. Let bound the coupling blocks, let characterize the retained bandwidth, and let be the shortest timescale on which the blocks change. Useful diagnostics are
Leading adiabatic elimination requires all relevant ratios to be small. A responsible calculation checks more than one denominator:
- Spectral or decay separation: the fast response time must be short compared with retained motion.
- Weak occupation: for states in the retained sector.
- Slow envelopes: drives and control parameters should not change appreciably during the fast response time.
- Compatible initial data: fast transients must be absent, irrelevant after coarse graining, or included explicitly.
- No hidden resonance: a near-resonant fast eigenstate belongs in the retained space.
- Controlled time window: if the neglected generator is , require for phase-sensitive predictions.
- Observable consistency: leakage and fast-sector observables require state reconstruction, not only .
For a non-normal fast generator, eigenvalue distance alone can be misleading. The resolvent norm or pseudospectral response can be large even when every eigenvalue appears far away. In unbounded problems, domains and relative bounds require separate analysis.
Choosing the frame
Section titled “Choosing the frame”The instruction is not invariant under an arbitrary rapidly rotating change of picture. A poor frame can make a slow amplitude look fast or shift a large frequency into the wrong block. Choose a frame in which:
- retained amplitudes vary on the physical slow scale;
- the fast detunings or decay rates remain explicit in ;
- the couplings have slowly varying envelopes.
Interaction Picture and Rotating-Wave Approximation develop the transformations often used before elimination. The rotating-wave approximation removes rapidly oscillating Hamiltonian terms; adiabatic elimination removes a fast dynamical variable. One does not automatically imply the other.
Worked Example: A Detuned Λ System
Section titled “Worked Example: A Detuned Λ System”Consider two long-lived states and coupled to an excited state . In a rotating frame, after any rotating-wave approximation has been justified, take
Here is the one-photon detuning and is the two-photon detuning in this convention.
When dominates the Rabi frequencies and slow ground-manifold scales, the excited amplitude is weak and fast. Eliminating leaves a Raman coupling between and together with state-dependent ac Stark shifts.
For
the amplitude equations are
If
the leading fast response is
Substitution gives the ground-manifold Hamiltonian
The diagonal terms are ac Stark shifts. Defining the effective two-state coupling by an off-diagonal matrix element gives
The effective two-photon detuning is
Thus the Raman resonance is shifted by the differential ac Stark shift. Dropping the diagonal terms while keeping the Raman coupling is inconsistent because both arise at the same order.
Bright and dark combinations
Section titled “Bright and dark combinations”For , define
The normalized combinations
are bright and dark, respectively. The excitation operator annihilates , while
The excited-state population obeys
The dark state is exactly uncoupled for the ideal Hamiltonian, whereas the bright state acquires a virtual light shift. Time-dependent dark-state transport is a separate adiabatic-following problem; it should not be inferred from elimination alone.
Open-System Elimination
Section titled “Open-System Elimination”Suppose the fast excited sector also decays. Begin with a Lindblad equation,
where
Write
where excites the slow sector into the fast one. If each returns population from the excited sector to the ground sector, define the excited-sector non-Hermitian Hamiltonian
For weak excitation and an invertible fast response, the leading effective operators are
They generate a trace-preserving effective master equation entirely in the retained sector:
The sequence encoded by an effective jump is
For one excited state with detuning and total linewidth ,
A weak Rabi coupling then produces an effective scattering scale
Replacing by in a Hamiltonian but omitting the effective jumps describes only no-jump loss. It does not preserve trace and generally misses where the emitted population goes. Lindblad–GKSL Equation owns the master-equation structure, while Quantum-Jump Trajectories develops its conditional interpretation.
Relation to Neighboring Methods
Section titled “Relation to Neighboring Methods”| Method | Eliminated object | Typical output | Main diagnostic |
|---|---|---|---|
| Projection methods | Complementary Hilbert subspace | Exact energy-dependent operator or memory kernel | Resolvent poles |
| Adiabatic elimination | Fast amplitude or rapidly relaxing sector | Local slow generator | Coupling and slow bandwidth over fast scale |
| Schrieffer–Wolff transformation | Weak off-diagonal block | Energy-independent block Hamiltonian and dressed observables | Coupling over spectral gap |
| Rotating-wave approximation | Rapidly oscillating Hamiltonian terms | Slowly varying rotating-frame Hamiltonian | Coupling over oscillation frequency |
| Born–Oppenheimer method | Fast coordinate-dependent eigenstates | Potential surfaces and derivative couplings | Nuclear rate over electronic gap |
These methods can agree at leading order because they organize the same virtual excursions. They answer different questions:
- Use adiabatic elimination when equations of motion expose a fast response and a local slow generator is the desired output.
- Use projection methods when exact energy dependence, memory, resonances, or reconstruction is central.
- Use the Born–Oppenheimer method when slow quantum coordinates parametrize a fast eigenspace and potential surfaces plus derivative couplings are the natural output.
- Use Schrieffer–Wolff when unitary block diagonalization and consistently transformed observables are required.
- Use a full Lindblad reduction when the eliminated sector decays.
Quantum Optics and Quantum Information
Section titled “Quantum Optics and Quantum Information”Adiabatic elimination appears throughout controlled quantum systems:
- Raman qubits: an optically excited state mediates coherent transitions between long-lived states while remaining weakly populated.
- Dispersive cavity QED: a far-detuned atom or cavity mode mediates ac Stark shifts, state-dependent phases, and indirect interactions.
- Tunable couplers: an off-resonant auxiliary mode produces an effective qubit–qubit coupling, with residual population interpreted as leakage.
- Engineered dissipation: a rapidly decaying manifold produces effective pumping, cooling, or dephasing through .
- Measurement models: a fast cavity field can follow a slower system observable, but measurement backaction and output noise must survive the reduction.
In each application, the same design tension appears. Increasing detuning suppresses unwanted fast-sector population and spontaneous scattering, but it also weakens the desired interaction. Stronger drives recover speed while eventually violating weak occupation. Gate and measurement proposals should therefore report both the effective rate and the leading leakage or scattering error.
Cavity QED provides the platform context. Two-State Hamiltonians owns the exact dynamics after a reliable two-state reduction has been obtained.
Practical Workflow
Section titled “Practical Workflow”- Choose a rotating frame or interaction picture in which the retained amplitudes are genuinely slow.
- Identify slow and fast blocks, including every near-resonant state in the slow sector.
- Write the exact fast solution or the equivalent Schur complement before approximating.
- State the fast scale, coupling scale, retained bandwidth, ramp time, and intended evolution time.
- Compute and reconstruct the leading fast amplitude.
- Include derivative corrections when phase accuracy, rapid ramps, or long evolution times demand them.
- For decay, derive effective jumps as well as the coherent Hamiltonian.
- Benchmark a small full model against the reduced dynamics, including leakage and phase error.
Common Mistakes
Section titled “Common Mistakes”- Treating “unpopulated initially” as equivalent to “irrelevant dynamically.”
- Setting before choosing a frame in which is actually fast.
- Keeping the induced off-diagonal coupling but dropping same-order energy shifts.
- Ignoring the initial transient after an abrupt switch-on.
- Using only while a two-photon detuning, ramp rate, or slow coupling is comparable with .
- Eliminating a near-resonant state instead of enlarging the retained sector.
- Applying a non-Hermitian substitution to an open system without effective jump operators.
- Assuming small instantaneous leakage guarantees small long-time phase error.
- Comparing effective Hamiltonian matrix elements from different frames or normalization conventions term by term.
Exercises
Section titled “Exercises”1. Derive the memory kernel
Section titled “1. Derive the memory kernel”For constant , solve
with initial value and substitute the result into the slow equation.
Solution
Multiplication by gives
Integrating from to yields
Therefore
The second line is the homogeneous transient and the integral is the exact memory kernel.
2. Compare with the exact two-state spectrum
Section titled “2. Compare with the exact two-state spectrum”Consider
Find the eliminated Hamiltonian, expand the exact eigenvalue connected to zero energy, and estimate the fast-state population.
Solution
Here , , , and , so
The exact root approaching zero as is
Expansion gives
From ,
so the fast-state population is of order .
3. Recover the derivative normalization
Section titled “3. Recover the derivative normalization”Keep the first derivative term in
for a constant Hermitian block Hamiltonian. Show that the full norm induces .
Solution
To leading order in the reconstructed fast amplitude,
Hence
Thus . The normalized retained coordinate is , and the corresponding constant-block generator is symmetrized by on both sides.
4. Identify the dark state
Section titled “4. Identify the dark state”For the detuned Λ system with , show that has no excited-state amplitude and find the bright-state light shift.
Solution
The excitation operator is
Acting on
gives zero. The orthogonal bright state obeys
Therefore its second-order shift is
while the dark state remains unshifted in the ideal model.
5. Tune the Raman resonance
Section titled “5. Tune the Raman resonance”Find the value of the bare two-photon detuning that makes the effective diagonal entries equal.
Solution
The diagonal difference is
Setting it to zero gives
The drive must compensate the differential, not the common, light shift.
6. Derive an effective scattering operator
Section titled “6. Derive an effective scattering operator”A ground state couples to a decaying excited state with
Use to find and its rate scale.
Solution
The inverse fast propagator is
Therefore
Its squared coefficient is
If another ground state is unaffected by the drive, this projector-valued jump dephases superpositions relative to that state even though it returns population to .
Cross-Links
Section titled “Cross-Links”- Effective Hamiltonians and Scale Separation
- Projection Methods
- Schrieffer–Wolff Transformation
- Rotating-Wave Approximation
- Interaction Picture
- Small Parameters and Error Estimates
- Lindblad–GKSL Equation
- Quantum-Jump Trajectories
- Cavity QED
- Two-State Hamiltonians
- Adiabatic Theorem
- STIRAP
References
Section titled “References”- E. Brion, L. H. Pedersen, and K. Mølmer, “Adiabatic elimination in a lambda system,” Journal of Physics A: Mathematical and Theoretical 40, 1033–1043 (2007).
- V. Paulisch, R. Han, H. K. Ng, and B.-G. Englert, “Beyond adiabatic elimination: A hierarchy of approximations for multi-photon processes,” European Physical Journal Plus 129, 12 (2014).
- I. L. Egusquiza, “Beyond adiabatic elimination: Systematic expansions,” arXiv:1309.0628 (2013).
- F. Reiter and A. S. Sørensen, “Effective operator formalism for open quantum systems,” Physical Review A 85, 032111 (2012).
- L. Bouten and A. Silberfarb, “Adiabatic elimination in quantum stochastic models,” Communications in Mathematical Physics 283, 491–505 (2008).
- D. F. V. James and J. Jerke, “Effective Hamiltonian theory and its applications in quantum information,” Canadian Journal of Physics 85, 625–632 (2007).
- C. Cohen-Tannoudji, J. Dupont-Roc, and G. Grynberg, Atom–Photon Interactions: Basic Processes and Applications, Wiley (1992).
- S. Bravyi, D. P. DiVincenzo, and D. Loss, “Schrieffer–Wolff transformation for quantum many-body systems,” Annals of Physics 326, 2793–2826 (2011).