One scaling framework for three Lindblad limits

This note shows how three microscopic derivations of a Markovian Lindblad (GKSL) generator are really just variations on the same basic framework, differing in the relative strengths of the system, bath, and interaction Hamiltonians:

  • the weak-coupling/Davies limit (Born–Markov plus a secular average),
  • the singular-coupling/white-noise limit (fast bath with appropriately rescaled coupling), and
  • the fast-system limit (“super-secular”).

The first two are familiar. The third is partially degenerate, and so less often discussed, but appears, e.g., in the classic decoherence literature on chiral molecules. The three variations are often presented in ways that make them look completely distinct, which obscures their close relationship.

The scaling ansatz and the Markov limit

Fix a system–bath decomposition and consider a one-parameter family of Hamiltonians

(1)   \begin{align*} H^{(\lambda)}=\lambda^{-a}H_S+\lambda^{-c}V+\lambda^{-b}H_B, \qquad \lambda\to 0, \end{align*}

where H_S acts on the system Hilbert space, H_B on the bath Hilbert space, and V couples them. Think of a,b,c \in \mathbb{R} as encoding how quickly the system rotates (\lambda^{-a}), how quickly the bath decorrelates (\lambda^{-b}), and how strongly the coupling acts (\lambda^{-c}), all while keeping the physical time variable t fixed.

We assume the usual minimal structure used in essentially all microscopic derivations of the Lindblad equation:

  • Factorized initial state: \rho(0)=\rho_S(0)\otimes \eta_B.
  • Stationary bath state: [\eta_B,H_B]=0.
  • Centered coupling: \operatorname{Tr}_B(\eta_B V)=0, i.e., no first-order drift.

A convenient form is

(2)   \begin{align*} V=\sum_\alpha A_\alpha\otimes B_\alpha, \qquad \operatorname{Tr}_B(\eta_B B_\alpha)=0. \end{align*}

The question is: for which (a,b,c) can the reduced dynamics

    \[\rho_S^{(\lambda)}(t)=\operatorname{Tr}_B\!\Big(e^{-iH^{(\lambda)}t}\big(\rho_S(0)\otimes\eta_B\big)e^{iH^{(\lambda)}t}\Big)\]

have a nontrivial, finite \lambda\to 0 limit that is a time-homogeneous quantum dynamical semigroup, i.e., a Lindblad equation?

Why the scaling constraint 2c = b is essentially forced

Go to the interaction picture with respect to the free Hamiltonian

    \[H_0^{(\lambda)}=\lambda^{-a}H_S+\lambda^{-b}H_B.\]

Then the interaction-picture coupling is

    \[V_I^{(\lambda)}(t)=\lambda^{-c}\sum_\alpha A_\alpha^{(\lambda)}(t)\otimes B_\alpha^{(\lambda)}(t),\]

with

    \[A_\alpha^{(\lambda)}(t)=e^{i\lambda^{-a}H_S t}A_\alpha e^{-i\lambda^{-a}H_S t},\qquad B_\alpha^{(\lambda)}(t)=e^{i\lambda^{-b}H_B t}B_\alpha e^{-i\lambda^{-b}H_B t}.\]

Bath correlations in the stationary state \eta_B are

    \[C_{\alpha\beta}(t)=\operatorname{Tr}_B\!\big(\eta_B B_\alpha(t)B_\beta(0)\big),\qquad B_\alpha(t)=e^{iH_B t}B_\alpha e^{-iH_B t}.\]

Because B_\alpha^{(\lambda)}(t)=B_\alpha(t/\lambda^b), one has

(3)   \begin{align*} \operatorname{Tr}_B\!\big(\eta_B B_\alpha^{(\lambda)}(t)B_\beta^{(\lambda)}(s)\big)=C_{\alpha\beta}\!\left(\frac{t-s}{\lambda^b}\right). \end{align*}

Now recall what every Born–Markov style derivation is doing at second order: the reduced generator is built from a memory integral of the form

(4)   \begin{align*} \frac{d}{dt}\rho_S^{(\lambda)}(t)\;\approx\;-\int_0^\infty ds\;\operatorname{Tr}_B\!\Big([V_I^{(\lambda)}(t),[V_I^{(\lambda)}(t-s),\rho_S^{(\lambda)}(t)\otimes \eta_B]]\Big), \end{align*}

where “\approx” means

  1. truncate at second order in the interaction,
  2. replace \rho_S^{(\lambda)}(t-s) by \rho_S^{(\lambda)}(t) inside the integral, and
  3. extend the upper limit to \infty using the decay of bath correlations.

Equation (4) is not a proof, but it is the correct scaling for essentially all rigorous versions.

Now insert (3) into (4). The only explicit prefactor coming from the coupling strength is (\lambda^{-c})^2=\lambda^{-2c}. The bath memory integral contributes a factor \lambda^b by the change of variables u=s/\lambda^b:

(5)   \begin{align*} \int_0^\infty ds\; C_{\alpha\beta}\!\left(\frac{s}{\lambda^b}\right)=\lambda^b\int_0^\infty du\; C_{\alpha\beta}(u), \end{align*}

assuming \int_0^\infty |C_{\alpha\beta}(u)|\,du<\infty (componentwise). Importantly, the function C_{\alpha\beta} itself has no \lambda dependence.

Thus, at the level of scaling,

    \[\text{(second-order dissipator strength)} \sim \lambda^{-2c}\cdot \lambda^b=\lambda^{\,b-2c}.\]

This immediately implies:

  • If b-2c>0, the dissipator vanishes as \lambda\to 0 (trivial unitary limit).
  • If b-2c<0, the dissipator blows up so a finite Lindblad limit does not exist (although one can get Zeno behavior; see the Appendix).
  • A finite nonzero limit at fixed physical time forces

    (6)   \begin{align*} b-2c=0\qquad\Longleftrightarrow\qquad 2c=b. \end{align*}

So, in this framework, 2c=b is not a choice: it is the balance condition that keeps the second-order noise strength O(1) when the bath correlation time is being squeezed to 0 as \lambda^b.

At this point there is only one remaining scaling question with real dynamical content: does the system have time to rotate during the bath memory window? That is controlled by comparing a and b.

The three regimes: b > a, b = a, and b < a

The bath memory window is s\sim \lambda^b. Over such a window, the system interaction-picture operators change by a phase scale

    \[e^{i\lambda^{-a}H_S s}\sim e^{iH_S\,\lambda^{b-a}}.\]

So the dimensionless parameter controlling whether the system rotates appreciably during the memory time is \lambda^{b-a}.

Regime 1: b > a : fast bath correlations

Then \lambda^{b-a}\to 0, so for s in the memory window s\sim\lambda^b,

    \[A_\alpha^{(\lambda)}(t-s)\approx A_\alpha^{(\lambda)}(t)\]

to leading order in \lambda. In words: on the timescale at which bath correlations decay, the system barely evolves. Once 2c=b has fixed the overall strength, the remaining structure of the limit is white noise acting through the undressed operators A_\alpha. (No Bohr-frequency decomposition is enforced by fast system oscillations, because the system is not fast here.)

This is what is usually called the singular-coupling or white-noise limit: the bath becomes \delta-correlated in time, and the system looks quasi-static on that correlation time.

Regime 2: b = a : system and bath correlations on same scale

Then \lambda^{b-a}=\lambda^0=1, so the system does rotate by O(1) phases during the memory window. This is the regime where Bohr frequencies of H_S survive into the coarse-grained generator. Concretely, A_\alpha^{(\lambda)}(t) contains Fourier components at the Bohr frequencies of H_S. If one only does Born–Markov, these components can remain coupled (off-diagonal in Bohr frequency), and complete positivity is not guaranteed. The standard additional step is precisely to average out the cross-terms oscillating at different Bohr frequencies: this is the secular (rotating-wave) approximation.

This is what is usually called the weak-coupling (Davies/van Hove) limit: it is still second order, still Markovian, but now frequency resolution matters, so the secular projection is the natural way to obtain a time-homogeneous Lindblad generator.

Regime 3: b < a : fast system

Then \lambda^{b-a}\to\infty, so the system completes many free rotations during a single bath memory window s\sim\lambda^b. In the Bohr-frequency decomposition A_\alpha=\sum_\omega A_\alpha(\omega), the second-order kernel contains phases e^{i\omega s/\lambda^a}; for every fixed \omega\neq 0 these oscillate arbitrarily fast as \lambda\to 0 and average to zero (assuming the bath correlations are integrable in time). Thus only the \omega=0 components A_\alpha(0)=\sum_\varepsilon \Pi_\varepsilon A_\alpha \Pi_\varepsilon survive, i.e. only the part of the coupling that commutes with H_S. When A_\alpha(0)\neq 0 this yields a restricted Lindblad limit that (at least) dephases between distinct energy eigenspaces (and may also act within degenerate energy blocks); when A_\alpha(0)=0 for all \alpha the dissipator is trivial. Unlike the b=a case, there’s no need for an extra hypothesis about Bohr-frequency separation; the \lambda\to 0 limit itself cleanly separates exactly-zero from nonzero Bohr frequencies.

Summary of the logic

Within (1), the demand for a finite nontrivial second-order Markovian limit at fixed physical time forces 2c=b. Once this balance is imposed, the remaining structure is controlled by whether the system rotates appreciably during a bath memory window s\sim\lambda^b, i.e. by \lambda^{b-a}. There are three nondegenerate regimes: b>a (system quasi-static on the memory time, giving the singular/white-noise limit), b=a (system rotates by O(1) phases and one needs a secular average, giving the Davies limit), and b<a (system rotates many times and the limit automatically projects onto \omega=0, giving at most energy-basis dephasing). In this sense the usual “weak coupling” and “singular coupling” derivations, together with the fast-system-dephasing regime, are the three canonical limits inside the single scaling framework (1).

Traditional presentation and regime-specific issues

The same three regimes are often presented using three different “small-parameter stories”: a long-time (van Hove) limit for weak coupling, a fast-bath/strong-coupling scaling for white noise, and (less often) a fast-system scaling in which secularization becomes exact. The first paragraph of each subsection below states the usual presentation and shows how it maps onto the exponent relations 2c=b together with b>a, b=a, or b<a. The remaining paragraphs collect issues that are specific to that regime: what must be assumed about bath correlations for the limit to be well behaved, what “extra step” is typically invoked (e.g. secular averaging). For the last regime, I also briefly discuss the historically clarifying case of environmental monitoring in chiral molecules.

Traditional singular-coupling (fast-bath/white-noise): b > a

A common parameterization uses \varepsilon\to 0 and

    \[H_{\mathrm{phys}}^{(\varepsilon)}=H_S+\varepsilon^{-1}H_B+\varepsilon^{-1/2}V.\]

Setting \varepsilon=\lambda^b gives

    \[H_{\mathrm{phys}}^{(\varepsilon)}=H_S+\lambda^{-b}H_B+\lambda^{-b/2}V,\]

which is (1) with a=0, c=b/2, and hence 2c=b. Choosing b=2 yields (a,b,c)=(0,2,1), which lies in Regime 1 (b>a), i.e. the bath correlation time collapses faster than any system rotation time.

Regime-specific issues

Here H_B is scaled by \lambda^{-b}, so the bath correlation time shrinks as \tau_B(\lambda)\sim \lambda^{b}. The balance 2c=b is precisely the requirement that the integrated noise strength \lambda^{-2c}\tau_B(\lambda) remain O(1) as \lambda\to 0. For the limit to be well behaved one needs the rescaled correlations to converge to a delta distribution:

    \[\lambda^{-b}C_{\alpha\beta}\!\left(\frac{t}{\lambda^b}\right)\;\longrightarrow\; \Gamma_{\alpha\beta}\,\delta(t)\quad\text{(in distributions)}.\]

A simple sufficient condition is C_{\alpha\beta}\in L^1(\mathbb{R}) together with finiteness and continuity of the noise spectrum S_{\alpha\beta}(\omega)=\int_{-\infty}^{\infty} dt\,e^{i\omega t}C_{\alpha\beta}(t) at \omega=0, in which case \Gamma_{\alpha\beta}=S_{\alpha\beta}(0)/(2\pi). If S(\omega) vanishes or diverges at \omega=0 the limiting rates vanish or blow up, respectively, so one does not obtain a finite nontrivial Lindbladian without modifying additional bath parameters (e.g. temperature, cutoffs, density) as part of the scaling. In practice this regime is often best viewed as an idealization: a controlled way to approximate a bath by white noise on the system time scale.

Traditional weak-coupling (Davies/van Hove): b = a

Start from the physical Hamiltonian

    \[H_{\mathrm{phys}}^{(\lambda)}=H_S+H_B+\lambda V,\]

and study the reduced dynamics on long times t=\tau/\lambda^2 (van Hove scaling). To cast this long-time limit into the fixed-t scaling form (1), keep \tau fixed and globally rescale the Hamiltonian by \lambda^{-2}:

    \[\lambda^{-2}H_{\mathrm{phys}}^{(\lambda)}=\lambda^{-2}H_S+\lambda^{-2}H_B+\lambda^{-1}V.\]

This is (1) with (a,b,c)=(2,2,1), which satisfies 2c=b and b=a, i.e. it sits in Regime 2, where secular averaging is the standard extra step.

Regime-specific issues

In this regime the bath is not being made fast: its correlation (memory) time \tau_B stays O(1) in physical time units. The long-time scaling t=\tau/\lambda^2 (or, equivalently, the global rescaling H\mapsto \lambda^{-2}H) is what separates the system relaxation time \tau_{\mathrm{rel}}\sim \lambda^{-2} from the bath memory time \tau_B\sim 1. (The system relaxation time is not the characteristic unitary timescale \tau_S\sim 1/\|H_S\| of the system Hamiltonian, but rather the dissipative timescale on which the reduced state changes by O(1) due to the interaction. At second order one has rates of order \lambda^2: schematically \dot\rho_S(t)=\cdots+\lambda^2\,\mathcal{D}(\rho_S(t)), with coefficients in \mathcal{D} given by bath correlation integrals \int_0^\infty ds\,C_{\alpha\beta}(s)e^{i\omega s}; if these integrals are O(1) then \tau_{\mathrm{rel}}\sim 1/\lambda^2.)

A minimal sufficient assumption for the Markov step is that the bath correlations C_{\alpha\beta} (t)=\operatorname{Tr}_B(\eta_B\,B_\alpha(t)B_\beta(0)) are integrable (or at least decay fast enough) so that \int_0^\infty |C_{\alpha\beta}(t)|\,dt<\infty; then the memory kernel has a finite limit and, combined with \tau_{\mathrm{rel}}\gg \tau_B, one can replace \rho_S(t-s) by \rho_S(t) over the memory window. However, this is not itself sufficient to get the Lindblad form.

In order to ensure complete positivity of the dynamics, one commonly further invokes a secular approximation, which can be phrased as the existence of a coarse-graining window \Delta t satisfying 1/|\omega-\omega'|\ll \Delta t \ll \lambda^{-2} for distinct Bohr frequencies \omega\neq \omega' of H_S. Exact degeneracies simply mean keeping the corresponding blocks (terms with \omega=\omega'); no further gap assumption is needed unless Bohr frequencies form clusters on scales comparable to the relaxation rate.

Traditional fast-system limit (automatic super-secular projection): b < a

A representative way to parameterize the b<a regime is to scale only the system Hamiltonian,

    \[H_{\mathrm{phys}}^{(\lambda)}=\lambda^{-1}H_S+H_B+V,\]

and take \lambda\to 0 at fixed physical time t. This is (1) with (a,b,c)=(1,0,0), so 2c=b and b<a. In the interaction picture with respect to \lambda^{-1}H_S+H_B, one has

    \[A_\alpha^{(\lambda)}(t)=e^{i\lambda^{-1}H_S t}A_\alpha e^{-i\lambda^{-1}H_S t}=\sum_\omega e^{-i\omega t/\lambda}A_\alpha(\omega),\]

where \omega ranges over Bohr frequencies of H_S and A_\alpha(\omega) are the corresponding eigenoperators of [H_S,\cdot]. In the second-order Born–Markov kernel, each \omega channel appears under an integral of the form

    \[\int_0^\infty ds\; C_{\alpha\beta}(s)\,e^{i\omega s/\lambda},\]

with C_{\alpha\beta}(s)=\operatorname{Tr}_B(\eta_B B_\alpha(s)B_\beta(0)). Assuming C_{\alpha\beta}\in L^1([0,\infty)), the Riemann–Lebesgue lemma implies this integral vanishes as \lambda\to 0 for every fixed \omega\neq 0. Hence only the \omega=0 components survive, i.e., A_\alpha\mapsto A_\alpha(0)=\sum_\varepsilon \Pi_\varepsilon A_\alpha \Pi_\varepsilon, and the limiting Lindblad generator (if nontrivial) has Lindblad operators L_\alpha=A_\alpha(0) commuting with H_S. Equivalently: the usual secular projection becomes exact because all nonzero Bohr frequencies are sent to infinity by the scaling H_S\mapsto \lambda^{-1}H_S.

Regime-specific issues

The hallmark of this regime is that secularization is automatic: scaling H_S\mapsto \lambda^{-a}H_S sends every nonzero Bohr frequency to infinity, so only the exactly \omega=0 block survives in the \lambda\to 0 limit. For a finite-dimensional system this cleanly separates commuting from noncommuting parts of V without any additional assumption about the spacing between distinct Bohr frequencies (beyond exact degeneracies).

Decoherence of chirality

The fast-system regime famously arose in the classical decoherence literature answering this question: Due to parity symmetry, energy eigenstates of molecules are superposition of chiral eigenstates (say, |L\rangle,|R\rangle), so why do we treat some molecules, like ammonia, as energy eigenstates, while other molecules, like a sugar, as either chiral eigenstate but not superpositions thereof?F. Hund, “On the Interpretation of Molecular Spectra. I (Zur Deutung der Molekelspektren. I),” Z. Phys. 40, 742 (1927).J. D. Macomber, “Loss of phase coherence in the inversion of ammonia as a model for the racemization of chiral molecules,” J. Chem. Phys. 82, 4551 (1985).J. Trost and K. Hornberger, “Hund’s Paradox and the Collisional Stabilization of Chiral Molecules,” Phys. Rev. Lett. 103, 023202 (2009). [arXiv:0811.2140]P. J. Coles, V. Gheorghiu, and R. B. Griffiths, “Consistent histories for tunneling molecules subject to collisional decoherence,” Phys. Rev. A 86, 042111 (2012). [arXiv:1205.6188]a   A standard toy model of this is a tunneling double well with chiral (enantiomer) states |L\rangle,|R\rangle and tunnel splitting \Delta E = E_+ - E_- between the symmetric/antisymmetric energy eigenstates |E_\pm\rangle = (|L\rangle\pm|R\rangle)/\sqrt{2}. If the environment couples primarily to the localizing coordinate (so A\propto |L\rangle\langle L|-|R\rangle\langle R|), then A is off-diagonal in the energy basis and A(0)=0. In the strict fast-system limit the leading dissipator therefore vanishes, and one expects coherent inversion oscillations with only small subleading decoherence. This is the regime relevant to ammonia inversion at sufficiently low pressure, where the inversion splitting is large compared to collisional decoherence rates. For larger chiral molecules, like sugar, the tunnel splitting is typically exponentially small while environmental scattering remains comparatively fast, pushing the effective dynamics toward the opposite ordering (closer to the b>a “measurement” regime), selecting localized chiral pointer states and stabilizing chirality.

Appendix: Zeno limit for diverging dissipation

In the scaling framework H^{(\lambda)}=\lambda^{-a}H_S+\lambda^{-c}V+\lambda^{-b}H_B, the regime b-2c<0 means the second-order dissipative contribution grows like \lambda^{b-2c}=\lambda^{-\kappa} with \kappa:=2c-b>0. After the usual Born–Markov reduction, this typically produces a reduced generator of the form

    \[\frac{d}{dt}\rho(t)=\mathcal{L}_\lambda(\rho(t)),\qquad \mathcal{L}_\lambda=\lambda^{-\kappa}\mathcal{D}+\mathcal{L}_0,\]

where \mathcal{D} is a Lindblad dissipator (completely positive, trace preserving in semigroup form) and \mathcal{L}_0 collects the remaining O(1) terms (Hamiltonian part and any weaker dissipation). As \lambda\to 0 at fixed physical time t, the relaxation time associated with \mathcal{D} goes to zero like \lambda^{\kappa}, so the dynamics is no longer a small perturbation of unitary motion; instead it is a strong-dissipation limit.

If \mathcal{D} has a nontrivial steady manifold

    \[\mathsf{S}:=\ker \mathcal{D}=\{\rho:\mathcal{D}(\rho)=0\},\]

then \lambda^{-\kappa}\mathcal{D} rapidly projects states onto \mathsf{S} (on times t\gg \lambda^\kappa), and the \lambda\to 0 limit can be a well-defined “quantum Zeno” evolution confined to \mathsf{S}. Let \mathcal{P} be the projection (in the Banach-space sense appropriate to the setup) onto \mathsf{S}, and \mathcal{Q}:=\mathbb{I}-\mathcal{P}. If \mathcal{D} is primitive (unique full-rank steady state), then \mathsf{S} is one-dimensional and the limit at any fixed t>0 is typically trivial: instantaneous convergence to that steady state. If \mathsf{S} has dimension >1 (decoherence-free subspace/algebra, noiseless subsystems, or conserved quantities), then the limit retains nontrivial dynamics within \mathsf{S}.

In the nontrivial case, one can often derive an effective Lindblad generator on \mathsf{S} by adiabatic elimination. Formally, assuming \mathcal{D} is invertible on \mathrm{Ran}(\mathcal{Q}) (or has a bounded pseudo-inverse there), the leading effective generator is

    \[\mathcal{L}_{\mathrm{eff}}=\mathcal{P}\mathcal{L}_0\mathcal{P}-\mathcal{P}\mathcal{L}_0\mathcal{Q}\,(\mathcal{D}|_{\mathrm{Ran}(\mathcal{Q})})^{-1}\,\mathcal{Q}\mathcal{L}_0\mathcal{P}\quad (\text{plus higher orders in }\lambda^{\kappa}),\]

which includes both the projected “slow” dynamics and a second-order correction capturing virtual excursions out of \mathsf{S} that are immediately damped back. Physically this is the continuous-measurement/Zeno picture: the dominant dissipation enforces a constraint (the Zeno manifold), and the remaining terms generate an induced (often still Lindblad) evolution within that constrained subspace.

Footnotes

(↵ returns to text)

  1. F. Hund, “On the Interpretation of Molecular Spectra. I (Zur Deutung der Molekelspektren. I),” Z. Phys. 40, 742 (1927).

    J. D. Macomber, “Loss of phase coherence in the inversion of ammonia as a model for the racemization of chiral molecules,” J. Chem. Phys. 82, 4551 (1985).

    J. Trost and K. Hornberger, “Hund’s Paradox and the Collisional Stabilization of Chiral Molecules,” Phys. Rev. Lett. 103, 023202 (2009). [arXiv:0811.2140]

    P. J. Coles, V. Gheorghiu, and R. B. Griffiths, “Consistent histories for tunneling molecules subject to collisional decoherence,” Phys. Rev. A 86, 042111 (2012). [arXiv:1205.6188]

Bookmark the permalink.

Leave a Reply

Required fields are marked with a *. Your email address will not be published.

Contact me if the spam filter gives you trouble.

Basic HTML tags like ❮em❯ work. Type [latexpage] somewhere to render LaTeX in $'s. (Details.)