Skip to content

Secular Approximation

The secular approximation is the rotating-wave step in weak-coupling master-equation derivations. After system operators are decomposed into Bohr-frequency components, the master equation contains terms oscillating as ei(ω′−ω)te^{i(\omega'-\omega)t}. The secular approximation drops cross terms whose oscillations are fast compared with dissipative evolution.

In its simplest form, keep terms with

ω=ω′\omega=\omega'

and drop terms with

∣ω−ω′∣≫Γ,|\omega-\omega'|\gg \Gamma,

where Γ\Gamma is a characteristic relaxation or dephasing rate. Exact degeneracies and near-degeneracies require more care: they are not supposed to be erased by a blind algebraic rule.

The Born Approximation handles weak system–bath correlations. The Markov Approximation handles short bath memory. The secular approximation handles fast system phases.

For a system Hamiltonian

HS=∑ϵϵ Π(ϵ),H_S = \sum_\epsilon \epsilon\,\Pi(\epsilon),

decompose a coupling operator into Bohr-frequency components:

Aα(ω)=∑ϵ′−ϵ=ℏωΠ(ϵ)AαΠ(ϵ′).A_\alpha(\omega) = \sum_{\epsilon'-\epsilon=\hbar\omega} \Pi(\epsilon)A_\alpha\Pi(\epsilon').

These components satisfy

[HS,Aα(ω)]=−ℏωAα(ω),[H_S,A_\alpha(\omega)] = -\hbar\omega A_\alpha(\omega),

and therefore

Aα(t)=∑ωe−iωtAα(ω)A_\alpha(t) = \sum_\omega e^{-i\omega t} A_\alpha(\omega)

in the interaction picture.

After Born and Markov approximations, nonsecular terms often carry factors of the form

ei(ω′−ω)tLωω′(ρ).e^{i(\omega'-\omega)t} \mathcal L_{\omega\omega'}(\rho).

When ω≠ω′\omega\ne\omega' and the phase rotates many times before dissipation appreciably changes ρ\rho, the time-averaged influence is small.

The basic averaging estimate is

1T∫0Tdt eiΩt=eiΩT/2sin⁡(ΩT/2)ΩT/2.\frac{1}{T} \int_0^T dt\, e^{i\Omega t} = e^{i\Omega T/2} \frac{\sin(\Omega T/2)}{\Omega T/2}.

This is small when

∣Ω∣T≫1.|\Omega|T\gg1.

For open systems, the averaging window must also be short compared with dissipative evolution. A useful hierarchy is

τE≪T≪Γ−1,∣ω−ω′∣T≫1,\tau_E \ll T \ll \Gamma^{-1}, \qquad |\omega-\omega'|T\gg1,

where τE\tau_E is the bath memory time. The first inequality belongs to the Markov/coarse-graining logic; the last inequality is the secular averaging condition.

After full secularization, a common weak-coupling generator has the form

dρdt=−iℏ[HS+HLS,ρ]+∑ω,α,βγαβ(ω)(Aβ(ω)ρAα†(ω)−12{Aα†(ω)Aβ(ω),ρ}).\frac{d\rho}{dt} = -\frac{i}{\hbar} [H_S+H_{\text{LS}},\rho] + \sum_{\omega,\alpha,\beta} \gamma_{\alpha\beta}(\omega) \left( A_\beta(\omega)\rho A_\alpha^\dagger(\omega) - \frac12 \{A_\alpha^\dagger(\omega)A_\beta(\omega),\rho\} \right).

The matrix γαβ(ω)\gamma_{\alpha\beta}(\omega) is built from bath spectra at the Bohr frequency ω\omega. In the standard construction it is positive semidefinite for each fixed ω\omega:

∑α,βvα∗γαβ(ω)vβ≥0.\sum_{\alpha,\beta} v_\alpha^* \gamma_{\alpha\beta}(\omega) v_\beta \ge0.

This blockwise positivity is why secularization often leads to Lindblad–GKSL form. Diagonalize the rate matrix:

γαβ(ω)=∑rκr(ω)uαr(ω)uβr∗(ω),κr(ω)≥0.\gamma_{\alpha\beta}(\omega) = \sum_r \kappa_r(\omega) u_{\alpha r}(\omega) u_{\beta r}^*(\omega), \qquad \kappa_r(\omega)\ge0.

Then the Lindblad operators may be chosen as

Lrω=κr(ω)∑αuαr∗(ω)Aα(ω).L_{r\omega} = \sqrt{\kappa_r(\omega)} \sum_\alpha u_{\alpha r}^*(\omega) A_\alpha(\omega).

The nonsecular equation can be accurate over a perturbative time window but fail to display complete positivity in a simple semigroup form. Secularization trades some coherent near-resonant physics for a cleaner completely positive structure.

The secular approximation does not keep only one transition. It keeps all terms within the same Bohr-frequency block.

If several transitions have the same energy gap, their shared ω\omega terms must remain coupled. This matters in:

  • degenerate excited-state manifolds;
  • harmonic oscillators, where many transitions share the same frequency;
  • angular-momentum multiplets;
  • multilevel atoms with parallel transition dipoles;
  • systems with symmetry-protected degeneracies.

Dropping cross terms inside an exactly degenerate block is an extra approximation, not the secular approximation itself.

The dangerous case is

∣ω−ω′∣≲Γ.|\omega-\omega'| \lesssim \Gamma.

Then cross terms rotate slowly on the dissipative time scale and may affect line shapes, dark states, quantum beats, transport coherences, or steady states.

A full secular approximation can be too aggressive near degeneracy. Alternatives include:

  • partial secular approximation, grouping frequencies whose splittings are small;
  • coarse-grained master equations with an explicit averaging time;
  • retaining a Redfield Equation in its perturbative regime;
  • enlarging the system to include near-resonant modes or levels;
  • using a driven or Floquet basis when the Hamiltonian is time periodic.

The correct choice depends on what observables and time scales the model is meant to predict.

Density-matrix elements in the interaction picture can rotate at different Bohr-frequency differences. The secular approximation says that terms coupling widely separated rotating sectors average out before dissipation builds up.

In Schrödinger picture, the approximation tends to decouple populations from rapidly rotating coherences and separates dissipative channels by transition frequency. When the prediction target is only the population block, this leads to Pauli Rate Equations. This is why a secular master equation often has a transparent interpretation in terms of emission, absorption, and dephasing at definite frequencies.

But transparency is not the same as universal accuracy. If coherence between nearby transitions is the phenomenon of interest, full secularization may remove the effect being studied.

For a two-level system,

HS=ℏω02σz,H_S = \frac{\hbar\omega_0}{2}\sigma_z,

the lowering and raising operators have frequencies ω0\omega_0 and −ω0-\omega_0:

σ−(t)=e−iω0tσ−,σ+(t)=eiω0tσ+.\sigma_-(t)=e^{-i\omega_0 t}\sigma_-, \qquad \sigma_+(t)=e^{i\omega_0 t}\sigma_+.

Cross terms between raising and lowering rotate at roughly 2ω02\omega_0. The secular approximation is well justified when

ω0≫Γ,\omega_0\gg\Gamma,

and the bath spectrum is smooth on the line-width scale. The resulting dissipators resemble amplitude damping and thermal excitation terms.

If the coupling operator commutes with HSH_S, only the ω=0\omega=0 component is present. There are no distinct Bohr-frequency sectors to average away. The issue is then not secularization but the validity of the weak-coupling and memory approximations behind the dephasing channel.

For an oscillator with equally spaced levels, many transitions have the same Bohr frequency. Secularization keeps the whole frequency block. The annihilation operator aa is a single lowering-frequency operator, so the usual damping dissipator can remain compact:

D[a]ρ=aρa†−12{a†a,ρ}.\mathcal D[a]\rho = a\rho a^\dagger - \frac12\{a^\dagger a,\rho\}.

In a three-level system with two excited states decaying to a common ground state, the two transition frequencies may be nearly equal. If their difference is comparable to the decay rate, cross-damping terms can produce interference, bright and dark combinations, or long-lived coherences. Full secularization may incorrectly remove those effects.

Terms with the same Bohr frequency belong to the same secular block. Removing them is an additional modeling decision.

Secularization can improve positivity while losing near-degenerate coherence physics. Accuracy depends on the observable and time scale.

The comparison is not simply “large frequency.” It is the separation ∣ω−ω′∣|\omega-\omega'| compared with dissipative rates, coarse-graining resolution, and relevant drive scales.

Confusing master-equation secularization with Hamiltonian rotating-wave approximation

Section titled “Confusing master-equation secularization with Hamiltonian rotating-wave approximation”

Both are rotating-wave ideas, but they occur at different stages. A Hamiltonian rotating-wave approximation may already have removed counter-rotating interaction terms before the bath derivation begins. Master-equation secularization averages Bohr-frequency cross terms in the reduced generator.

Expecting secularization to fix bad Born or Markov assumptions

Section titled “Expecting secularization to fix bad Born or Markov assumptions”

If the bath is strongly coupled, nonstationary, finite, or has long memory, secular averaging does not repair the earlier approximation.

For periodically driven systems, the relevant frequencies may be quasienergy differences plus drive harmonics. A secular approximation in the lab frame can differ from one in the Floquet or rotating frame.

Show that

1T∫0Tdt ei(ω′−ω)t\frac{1}{T} \int_0^T dt\, e^{i(\omega'-\omega)t}

is small when ∣ω′−ω∣T≫1|\omega'-\omega|T\gg1.

Solution

Let Ω=ω′−ω\Omega=\omega'-\omega. Then

1T∫0Tdt eiΩt=eiΩT−1iΩT=eiΩT/2sin⁡(ΩT/2)ΩT/2.\frac{1}{T} \int_0^T dt\, e^{i\Omega t} = \frac{e^{i\Omega T}-1}{i\Omega T} = e^{i\Omega T/2} \frac{\sin(\Omega T/2)}{\Omega T/2}.

The magnitude is bounded by

1∣Ω∣T/2\frac{1}{|\Omega|T/2}

away from the removable zero at Ω=0\Omega=0, so it is small when ∣Ω∣T≫1|\Omega|T\gg1.

A three-level ladder has energies 00, ℏω0\hbar\omega_0, and 2ℏω02\hbar\omega_0. Which downward transitions share a Bohr frequency?

Solution

The transitions 2ℏω0→ℏω02\hbar\omega_0\to\hbar\omega_0 and ℏω0→0\hbar\omega_0\to0 both have energy difference ℏω0\hbar\omega_0. They belong to the same Bohr-frequency block. Secularization should not discard their shared-frequency cross terms merely because they connect different pairs of levels.

Two transitions have frequencies ω1\omega_1 and ω2\omega_2, with ∣ω1−ω2∣=0.3Γ|\omega_1-\omega_2|=0.3\Gamma. Should a full secular approximation drop their cross terms?

Solution

No. Their relative phase changes only on a time scale comparable to or longer than the dissipative time. Cross terms can affect observable coherence and steady-state behavior. A partial secular or nonsecular treatment is usually more appropriate.

Suppose γαβ(ω)\gamma_{\alpha\beta}(\omega) is positive semidefinite for fixed ω\omega. Explain why the corresponding secular dissipator can be written with Lindblad operators.

Solution

A positive semidefinite matrix can be diagonalized as

γαβ(ω)=∑rκr(ω)uαr(ω)uβr∗(ω),κr(ω)≥0.\gamma_{\alpha\beta}(\omega) = \sum_r \kappa_r(\omega) u_{\alpha r}(\omega) u_{\beta r}^*(\omega), \qquad \kappa_r(\omega)\ge0.

Substituting this decomposition into the dissipator and defining

Lrω=κr(ω)∑αuαr∗(ω)Aα(ω)L_{r\omega} = \sqrt{\kappa_r(\omega)} \sum_\alpha u_{\alpha r}^*(\omega) A_\alpha(\omega)

puts the generator into Lindblad form for that frequency block.

  • H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press, 2002.
  • Á. Rivas and S. F. Huelga, Open Quantum Systems: An Introduction, Springer, 2012.
  • C. W. Gardiner and P. Zoller, Quantum Noise, 3rd ed., Springer, 2004.
  • R. Alicki and K. Lendi, Quantum Dynamical Semigroups and Applications, 2nd ed., Springer, 2007.
  • E. B. Davies, “Markovian master equations,” Communications in Mathematical Physics 39, 91–110 (1974).