2025 WiSe in Universität Heidelberg · Lecture Notes by Offensive77

This post was translated from Typst to Markdown by Claude Opus 4.8. See the link for the original version.

QDS in a Nutshell

1. Key Tricks Performed in This Topic

1.1. Statistical Operator

Statistical operator (or density operator) reflects the statistical attributes of our system. It works similarly as the probability density function in probability theory. It allows us to define something like expectation and thus correlation.

(1.1)O^=tr{O^W^}

where W^ is the statistical operator.

Also, for the energy eigenbasis {|α} , we can define the coherence and population of states by:

  • Population: pα(t)=Wαα(t)=α|W^(t)|α ;
  • Coherence: Wαβ(t)=α|W^(t)|β .

Note that:

(1.2)Wαβ(t)=α|W^(t)|β=nwnα|exp(iH^t)|nn|exp(iH^t)|β=eiωαβtWαβ(t=0)

1.2. Reduced Spaces and Operators

In QDS, we usually separate the system into two parts: what’s relevant and the bath. We are working with the Hilbert space HSHB . Thereby, we write the Hamiltonian as:

(1.3)H^=H^S+H^B+H^SB

or strictly,

(1.4)H^=H^S1B+1SH^B+uK^uΦ^u

where H^SB=uK^uΦ^u is oftentimes used decomposition, which essentially means that H^SB connects the two parts of our system.

We use partial trace to obtain the system and bath reduced statistical operators, which describes the statistical traits of the subsystem.

(1.5)ρ^=trB{W^},R^=trS{W^}

Notably, a statistical operator can usually not be written as the tensor product of two reduced statistical operators, i.e.

(1.6)W^ρ^R^=trB{W^}trS{W^}

1.3. Schrödinger Interaction Picture

It’s very hard to handle the interaction term H^SB if we stay in the Schrödinger picture. We want a picture where we can get rid of the coherent motion resulted from H^S and H^B . The answer is interaction picture:

(1.7)H^=H^0+H^SB,ρ^I(t)=U^0(t,t0)ρ^(t)U^0(t,t0),ρ^I(t)=S^(t,t0)ρ^I(t0)S^(t,t0),O^I(t)=U^0(t,t0)O^U^0(t,t0),S^(t,t0)=T^exp(it0tdτH^SBI(τ)),

where H^0=H^S+H^B .

Usually, after we obtain some nice results in the interaction picture, we will switch back to Schrödinger picture.

1.4. Orthogonal Projectors

With projectors P , Q , we are able to separate the statistical operator into the relevant part and the correlation part.

2. How We Develop the Theory

  1. We study the statistical operator, instead of the wave function.
  2. We start from the von Neumann equation, instead of the Schrödinger equation, to study the time-evolution of statistical operator.
  3. We take the statistical operator as time-dependent. In other words, we choose Schrödinger picture.
  4. We insert P+Q=1 , whenever needed.

3. First Order Perturbation Theory: Mean Field

Let us study the time-evolution of system operator ρ^(t) . Define the orthogonal projector P and Q into relative system and bath respectively:

Orthogonal Projector (I)
(3.1)P=trS{}trB{}tr{},Q=1P

We know the time evolution of the full system, by von Neumann EOM:

(3.2)ddtW^(t)=iLW^(t)=i(LS+LB+LSB)W^(t)

Apply the partial trace trB to Equation (3.2):

(3.3)ddtρ^(t)=itrB{(LS+LB+LSB)W^(t)}

Here, LB term disappears under trace over bath, and we can freely exchange trB with LS . Exploit H^SB=uK^uΦ^u :

(3.4)ddtρ^(t)=i(ρ^(t)+trB{LSB(P+Q)W^(t)})i(LSρ^(t)+utrB{K^uΦ^uρ^(t)R^(t)ρ^(t)R^(t)K^uΦ^u})=i(LSρ^(t)+uK^uρ^(t)trB{Φ^uR^(t)}ρ^(t)K^utrB{R^(t)Φ^u})

Insert Equation (1.1) into Equation (3.4):

(3.5)ddtρ^(t)=i(LSρ^(t)+uK^uρ^(t)Φ^u(t)ρ^(t)K^uΦ^u(t))

Define the effective Liouville operator as:

(3.6)LS,eff(t)=[H^S+uK^uΦ^u(t), ]

Now, the mean-field approximation arises:

(3.7)ddtρ^(t)=iLS,eff(t)ρ^(t)

4. Beyond MF: Travel to Interaction Picture

This is only a rough estimation, which is unitary, meaning that it conserves energy (no dissipation at all). Even worse, if the bath is in thermal equilibrium, the time-dependent unitary evolution will devolve into a simple unitary evolution:

(3.8)T^exp(i0tdτH^S,effI(τ))exp(iH^S,efft)

Assume the bath is in thermal equilibrium, which means its statistical operator reads

(4.1)R^eq=exp(H^BkBT)

and it is not subject to the changes of our relevant system. Define a new set of orthogonal projectors:

Orthogonal Projector (II)
(4.2)P=trB{}R^eqtr{},Q=1P

In this part, we try to derive time-evolution in the interaction picture, and travel back to Schrödinger picture afterwards.

4.1. Nakajima–Zwanzig Equation

(4.3)tPW^I(t)=PtW^I(t)=iPLSBI(t)W^I(t)=iPLSBI(t)(P+Q)W^I(t)=iPLSBI(t)PW^I(t)iPLSBI(t)QW^I(t)=iPLSBI(t)ρ^I(t)R^eqiPLSBI(t)QW^I(t)

We can write the similar thing for QW^I(t) :

(4.4)tQW^I(t)=iQLSBI(t)PW^I(t)iQLSBI(t)QW^I(t)

Can we exactly solve for QW^I(t) ? Yes. Solve the homogeneous part, then make ansatz for the inhomogeneous solution, and solve again. The NZ equation is obtained from such way as:

Nakajima Zwanzig Equation
(4.5)tPW^I(t)= iPLSBI(t)PW^I(t)iPLSBI(t)SQ(t,t0)QW^I(t0)12t0tdτPLSBI(t)SQ(t,τ)QLSBI(τ)PW^I(τ)

Analysis of NZ equation:

  • PLSBI(t)PW^I(t) : Exactly mean field;
  • PLSBI(t)SQ(t,t0)QW^I(t0) : Initial system-bath correlation (QW^I(t0)) , after some evolution, coming back to affect the relevant systems again;
  • t0tdτPLSBI(t)SQ(t,τ)QLSBI(τ)PW^I(τ) : Memory kernel over the full time interval.

4.2. HST Equation

By insert into the solution of QW^I(t) the equation below:

(4.6)W^I(τ)=S^(t,τ)(P+Q)S^(t,τ)W^I(τ)=S^(t,t0)(P+Q)W^I(t)

we can put the integral into a new super operator and get rid of the time-nonlocality of the NZ equation.

HST Equation
(4.7)tPW^I(t)=iPLSBI(t)[1+D(t)]1(SQ(t,t0)QW^I(t0)+PW^I(t))

5. Exploit NZ Equation

5.1. Time-Nonlocal Second-Order EOM

Taking the trace over bath on the NZ equation leads to:

(5.1)tρ^I(t)= itrB{LSBI(t)PW^I(t)}itrB{LSBI(t)SQ(t,t0)QW^I(t0)}12t0tdτtrB{LSBI(t)SQ(t,τ)QLSBI(τ)PW^I(τ)}

In practice, we usually assume the initial correlation to be zero. And we approximate SQ(t,τ) by the first order Taylor expansion, in other words, 1 . The equation then reads:

(5.2)tρ^I(t)= itrB{LSBI(t)PW^I(t)}12t0tdτtrB{LSBI(t)QLSBI(τ)PW^I(τ)}

To further evaluate the equation, we need to insert Q=1P , then perform LSBI(t) twice, which leads to 8 terms. Final result:

(7.2.52)tρ^(t)= iLSρ^(t)iuΦu[K^u,ρ^(t)]uvt0tdτCuv(tτ)[K^u,US(t,τ)K^vρ^(τ)]+uvt0tdτCvu(τt)[K^u,US(t,τ)ρ^(τ)K^v]

Note that one can re-write this equation by defining an effective Liouville super-operator that includes the system Liouville operator and the mean-field contributions and an integral kernel as

(7.2.53)tρ^(t)=iLS,effρ^(t)reversiblet0tdτK(t,τ)ρ^(τ)irreversible

Eq. (7.2.52) is typically the one implemented within a numerical simulation after the bath correlation functions have been obtained. Our bath correlation function is given by:

Bath correlation functions
(7.2.32)Cuv(t)=12trB{ΔΦ^u(t)ΔΦ^vR^eq}

It describes the correlation inside the bath. And it will act back to our relevant system by the system operator K^ 's.

5.2. Obtain Bath Correlation Function

In practice, it’s hard to obtain the bath correlation function Cuv(t) directly. However, C~uv(ω) in the Fourier domain, can be computed by experiments.

C~uv+(ω)=C~uv(ω)+C~vu(ω)=C~uv(ω)+eωkBTC~uv(ω)=(1+eωkBT)C~uv(ω)C~uv(ω)=C~uv(ω)C~vu(ω)=(1eωkBT)C~uv(ω)

Afterwards, we can apply an inverse Fourier Transform to our obtained C~uv(ω) :

(8.3.16)Cuv(t)=12πdωeiωt(1+n(ω))C~uv(ω)

6. Analyze the Bath

6.1. Linear Response

Assume the bath is in the thermal equilibrium at t0 . Recall the MF EOM of the bath:

(6.1)tR^(t)=iLB,effR^(t)=i[H^B+uΦ^uKu(t), R^(t)]

Come to interaction picture by write:

(6.2)U^B(t,t0)=U^B,eff(t,t0)S^Int(t,t0)

where S^Int(t,t0)=T^exp(it0tdτuΦ^uK^u(τ)) . Approximate S^Int by second-order Taylor expansion:

(6.3)S^Int(t,t0)1it0tdτuΦ^uK^u(τ)

and assume Φ^u and K^u are Hermitian. The expectation value of Φ^u is now time-dependent:

(6.4)Φ^u(t)=trB{R^(t)Φ^u}=trB{U^B,eff(t,t0)R^eqU^B,eff(t,t0)Φ^u}trB{U^B(t,t0)R^eqU^B(t,t0)Φ^u}itrB{t0tdτU^B(t,t0)vΦ^vK^v(τ)R^eqU^B(t,t0)Φ^u}+itrB{t0tdτU^B(t,t0)R^eqvΦ^vK^v(τ)U^B(t,t0)Φ^u}=Φ^ueqivt0tdτ(Cuv(tτ)Cvu(τt))K^v(τ)=Φ^ueqivt0tdτCuv(tτ)K^v(τ)=Φ^ueq+vt0tdτχuv(tτ)K^v(τ)

where χuv(t)=iCuv(t) is called linear response or linear susceptibility. It, same as bath correlation function, describes the internal reorganization of the bath.

Linear Response
(6.5)Φ^u(t)=Φ^ueq+vt0tdτχuv(tτ)K^v(τ)

6.2. Fluctuation–Dissipation Theorem

We study now the dissipation of bath energy:

(6.6)tEB=ttrB{R^(t)H^B,eff(t)}=trB{R^(t)tH^B,eff(t)}=utrB{R^(t)Φ^uK^u(t)}=uΦ^u(t)K^u(t)t0tdτ(χ(tτ)K^(τ))K^(t)

Note that the trace over commutators gives 0. The fluctuation around thermal equilibrium, described by χ , decides the dissipation of energy itself.

Fluctuation–Dissipation Theorem
(6.7)tEBt0tdτ(χ(tτ)K^(τ))K^(t)

7. Caldeira–Leggett Approximation for Bath

This chapter contains some artificial things to oversimplify our bath.

7.1. Bath as Harmonic Oscillators

The idea is assuming the bath to be a set of Harmonic Oscillator, to obtain our bath correlation easily:

(7.1)H^B=ξ22mξ2xξ2+12mξωξ2xξ2=ξH^B,ξ

And Taylor expand the bath part of H^SB to the first order:

(7.2)H^SB=K^Φ^K^ξγξxξ

We then can express the coordinate in creation/annihilation operators:

(7.3)Φ^=ξγξ2mξωξ(a^ξ+a^ξ)=ξgξωξ(a^ξ+a^ξ)

where gξ=γξ2mξωξ3 . Then, we can write the bath correlation function:

(7.4)C(t)=trB{R^eqΔΦ^I(t)ΔΦ^}=ξ,ξgξgξωξωξtrB{R^eqU^(t,t0)(a^ξ+a^ξ)U^(t,t0)(a^ξ+a^ξ)}

After a lot of math:

C(t)=ξgξ2ωξ2[n(ωξ)eiωξt+(1+n(ωξ))eiωξt]C~(ω)=2πξgξ2ωξ2[n(ωξ)δ(ω+ωξ)+(1+n(ωξ))δ(ωωξ)]

7.2. Spectral Density Function

To introduce a more compact form of our bath correlation function, we use:

(7.5)J(ω)=ξgξ2Δ(xxξ)

Then,

(7.6)C~(ω)=2πω2(1+n(ω))(J(ω)J(ω))

Furthermore, by n(ω)=(1+n(ω)) , there holds

(7.7)C~(ω)=2πω2(J(ω)J(ω))

The spectral density function encodes the strength of absorption at frequency ω . If the bath states are dense, we can naturally choose continuous spectral density function.

7.3. Lamb Shift

We may notice that Φ^=0 for our assumed Φ^=ξγξxξ , this is however often not the case. To mend it we must introduce a renormalization Hamiltonian to our system Hamiltonian.

(7.8)ΔH^=K2dωωJ(ω),H^ren=ΔH^,H^S,eff=H^S+H^ren

The derivation is by equating H^/xξ to zero.

8. Exploit HST

8.1. Time-Local Second Order EOM

The difficulty in handling the HST equation is the inverse of super operator. However, we can perform the Taylor expansion on it to simplify that:

(8.1)[1+D(t)]11D(t)

Do the similar thing we did for the NZ equation as in Section 5.1, we obtain:

(8.2)tρ^(t)= i[H^S+uK^uΦ^u, ρ^(t)]u[K^u, Λ^u(t)ρ^(t)ρ^(t)Λ^u(t)]

where Λ^u(t)=vt0tdτCuv(tτ)K^vI(τt) .

8.2. Markovian Approximation

The idea is, since Cuv(t) vanishes after a short time, we can approximate the Λ^u(t) as a constant with

Markovian Approximation
(8.3)Λ^u:=limtΛ^u(t)

Equation (8.2) becomes now

(8.4)tρ^(t)= i[H^S+uK^uΦ^u, ρ^(t)]u[K^u, Λ^uρ^(t)ρ^(t)Λ^u]

8.3. Redfield Equation

We skip the technical derivations and just look at the obtained EOM, represented in eigenstates of system Hamiltonian H^S .

Redfield EOM
(10.2.16)tϱαβ=iωαβϱαβ(t)γδRαβγδϱγδ(t)

R is called Redfield Tensor. Recall that the diagonal elements of density operator ραα are called the population of state α , and the off-diagonal elements ραβ are called the coherence. We study now how Redfield tensor affects our reduced density operator.

8.3.1. Rααγγ

(8.5)Rααγγ=2δαγε(ΓαεεαΓγααγ):=δαγε(KαεKγα)

This component describes the change of population of state α is made of the transfer from α to all other states ε and from other state γ to α .

8.3.2. Rαβαβ

(8.6)Rαβαβ:=12ε(Kαε+Kβε)+γαβPD

This component describes the change of coherence between state α and β is made of the transfer from both α and β to all other states ε , and the pure dephasing γαβPD:=ΓααββΓββαα .

8.3.3. Exponential Decay of Population

(8.7)pα(t)=pα(t=0)exp(εKαεt)

Population life-time is given by:

(8.8)Tαpop=1εKαε

Meanwhile, the coherence life-time is:

(8.9)T(α,β)coherence=12Tαpop+12Tβpop+1T(α,β)PD

8.4. Detailed Balance

By looking at again the transfer rate, we obtain

Detailed Balance
(8.10)Kαβ=exp(ωαβkBT)Kβα

It ensures that the relevant system reaches thermal equilibrium at long times because there is a thermal weight factor between rates connecting states of different energy. The system will assume a dynamic equilibrium between excitation and de-excitation mediated by the thermal heat bath. Assume that the energy of state α is higher than β . Then ωαβ=(EαEβ)/h>0 . We have that transition from α to β happens more frequently than from β to α .

(8.11)KK=eβω,ω>0