Skip to content

Kubo Formula

The Kubo formula gives the first change in a many-body observable produced by a weak external source. Driven Many-Body Systems owns the corresponding absorption power, nonlinear breakdown, heating, and bath-balance interpretation. If the perturbation is

Hpert(t)=−f(t)B,H_{\mathrm{pert}}(t) = -f(t)B,

then the response of an observable AA is

δ⟨A(t)⟩=∫−∞∞dt′ χABR(t,t′)f(t′)+O(f2),\delta\langle A(t)\rangle = \int_{-\infty}^{\infty} dt'\, \chi^R_{AB}(t,t') f(t') + O(f^2),

with retarded susceptibility

χABR(t,t′)=iℏθ(t−t′)⟨[AH(t),BH(t′)]⟩0.\chi^R_{AB}(t,t') = \frac{i}{\hbar} \theta(t-t') \left\langle [A_H(t),B_H(t')] \right\rangle_0.

The sign is tied to the explicit choice Hpert=−fBH_{\mathrm{pert}}=-fB. The step function enforces causality. The commutator measures the difference between the two operator orders. The expectation value is taken in the unperturbed reference state, and the Heisenberg operators evolve with the unperturbed Hamiltonian.

This identity is exact to first order in the source. The hard work in a many-body application is specifying the correct source, detector, ensemble, current or density operators, contact terms, Fourier convention, boundary conditions, and order of limits.

This page is the canonical home for the generic many-body Kubo formula. It owns:

  • source-coupled perturbations and the retarded-commutator derivation;
  • space- and time-dependent response kernels;
  • equilibrium Lehmann representations;
  • reactive and dissipative response;
  • static versus dynamical susceptibilities;
  • explicit source dependence and contact terms;
  • magnetic, density, and electrical-conductivity examples;
  • finite-size, zero-frequency, and thermodynamic-limit cautions.

Time-Dependent Correlations owns ordinary unequal-time products, their positive Lehmann measures, thermal detailed balance, dephasing, and recurrence. Green Functions and Response Preview owns the introductory Green-function bridge and harmonic-oscillator example. Linear Response Preview owns the transition-amplitude, golden-rule, and finite-time dictionary. This page starts from those ingredients and develops the many-body response calculation.

Green Functions in Many-Body QM owns normal single-particle propagators. Its retarded fermionic function uses an anticommutator and connects NN to N±1N\pm1 sectors; it is not the observable susceptibility derived here.

Retarded and Advanced Response owns the paired commutator kernels, adjoint identities, half-plane analyticity, spectral discontinuity, and dispersion relations. The present page owns the source derivation and physical applications of the retarded member.

Susceptibilities owns the practical source, units, normalization, tensor, and protocol dictionary for magnetic, density, compressibility, and pairing channels.

Fluctuation–Dissipation Theorem owns the equilibrium KMS conversion among ordered fluctuations, symmetrized spectra, and absorptive response. Transport Coefficients Preview owns the conductivity, diffusion, thermoelectric, viscosity, and hydrodynamic-limit dictionary built from the kernels derived here. Full thermal Green-function machinery, material-specific transport, and reusable numerical continuation algorithms remain in their dedicated homes. For an interacting density problem, Kubo theory supplies the exact source-response framework; Random Phase Approximation owns the independent-particle polarization closure, self-consistent screening denominator, and collective poles.

The source and measured observable play different roles:

f(t)⏟source⟷B⏟coupled operator,A⏟detector.\underbrace{f(t)}_{\text{source}} \quad\longleftrightarrow\quad \underbrace{B}_{\text{coupled operator}}, \qquad \underbrace{A}_{\text{detector}}.

The ordered label χAB\chi_{AB} means “response of AA to a source coupled through BB.” In general,

χABR≠χBAR.\chi^R_{AB} \ne \chi^R_{BA}.

Representative choices are:

SourceCoupled operatorDetectorResponse
magnetic fieldmagnetizationmagnetizationmagnetic susceptibility
local chemical potentialdensitydensitydensity response or compressibility
electric vector potentialparamagnetic currentphysical currentconductivity
forcepositionpositionmechanical susceptibility
pairing fieldpair creation and annihilationpair amplitudepairing susceptibility

Every calculation should write HpertH_{\mathrm{pert}} explicitly. The phrase “apply a field” is insufficient because the sign, units, spatial profile, and coupled operator determine the response convention.

Flow from an external source through a source-coupled operator and a retarded commutator to an induced observable, with a separate contact-term path.

Kubo response separates the source ff, coupled operator BB, and measured observable AA. The retarded commutator gives the state-mediated response. If AA depends explicitly on the source, its derivative contributes an additional instantaneous contact term.

Let the source have components fb(r,t)f_b(\mathbf r,t) and write

Hpert(t)=−∑b∫ddr fb(r,t)Bb(r).H_{\mathrm{pert}}(t) = -\sum_b \int d^d r\, f_b(\mathbf r,t) B_b(\mathbf r).

The induced change in Aa(r,t)A_a(\mathbf r,t) is

δ⟨Aa(r,t)⟩=∑b∫−∞∞dt′∫ddr′×χabR(r,t;r′,t′)fb(r′,t′).\begin{aligned} \delta\langle A_a(\mathbf r,t) \rangle ={}& \sum_b \int_{-\infty}^{\infty} dt' \int d^d r' \\ &\times \chi^R_{ab} (\mathbf r,t;\mathbf r',t') f_b(\mathbf r',t'). \end{aligned}

The retarded kernel is

χabR(r,t;r′,t′)=iℏθ(t−t′)×⟨[Aa,H(r,t),Bb,H(r′,t′)]⟩0.\begin{aligned} \chi^R_{ab} (\mathbf r,t;\mathbf r',t') ={}& \frac{i}{\hbar} \theta(t-t') \\ &\times \left\langle \left[ A_{a,H}(\mathbf r,t), B_{b,H}(\mathbf r',t') \right] \right\rangle_0. \end{aligned}

On a lattice, replace the spatial integrals by site sums. The formula remains valid for a nonstationary reference state, but the kernel then depends on tt and t′t' separately.

Write

H(t)=H0+λHpert(t),H(t) = H_0+\lambda H_{\mathrm{pert}}(t),

where λ\lambda tracks source order. In the interaction picture,

iℏdρIdt=λ[Hpert,I(t),ρI(t)].i\hbar \frac{d\rho_I}{dt} = \lambda [H_{\mathrm{pert},I}(t),\rho_I(t)].

To first order, replace ρI(t)\rho_I(t) on the right by the unperturbed state ρ0\rho_0:

ρI(t)=ρ0−iλℏ∫t0tdt′ [Hpert,I(t′),ρ0]+O(λ2).\begin{aligned} \rho_I(t) ={}& \rho_0 - \frac{i\lambda}{\hbar} \int_{t_0}^{t} dt'\, [H_{\mathrm{pert},I}(t'),\rho_0] \\ &+ O(\lambda^2). \end{aligned}

For Hpert,I(t′)=−f(t′)BI(t′)H_{\mathrm{pert},I}(t')=-f(t')B_I(t'),

δρI(t)=iλℏ∫t0tdt′ f(t′)[BI(t′),ρ0]+O(λ2).\begin{aligned} \delta\rho_I(t) ={}& \frac{i\lambda}{\hbar} \int_{t_0}^{t} dt'\, f(t') [B_I(t'),\rho_0] \\ &+ O(\lambda^2). \end{aligned}

Taking the trace with AI(t)A_I(t) and using cyclicity,

δ⟨A(t)⟩=iλℏ∫t0tdt′ f(t′)×⟨[AI(t),BI(t′)]⟩0+O(λ2).\begin{aligned} \delta\langle A(t)\rangle ={}& \frac{i\lambda}{\hbar} \int_{t_0}^{t} dt'\, f(t') \\ &\times \left\langle [A_I(t),B_I(t')] \right\rangle_0 + O(\lambda^2). \end{aligned}

Extending the integral over all t′t' inserts θ(t−t′)\theta(t-t'). Setting λ=1\lambda=1 after identifying the first-order coefficient gives the Kubo formula.

The derivation assumes that the initial state is unmodified at the lower integration limit. Adiabatic switching from the distant past, a finite preparation time, and a quench protocol are physically different prescriptions and can select different steady or transient responses.

Operationally,

χABR(t,t′)=δ⟨A(t)⟩fδf(t′)∣f=0\chi^R_{AB}(t,t') = \left. \frac{ \delta\langle A(t)\rangle_f }{ \delta f(t') } \right|_{f=0}

when AA has no explicit source dependence. This definition makes clear that a susceptibility has units of detector divided by source.

For multiple components,

χabR=δ⟨Aa⟩fδfb∣f=0.\chi^R_{ab} = \left. \frac{ \delta\langle A_a\rangle_f }{ \delta f_b } \right|_{f=0}.

The response can be anisotropic, nonlocal, and nondiagonal in internal indices even when the source is scalar.

Suppose

[H0,ρ0]=0.[H_0,\rho_0] = 0.

Then the reference state is stationary and

χABR(t,t′)=χABR(t−t′).\chi^R_{AB}(t,t') = \chi^R_{AB}(t-t').

If the Hamiltonian, state, and geometry are also translation invariant,

χabR(r,t;r′,t′)=χabR(r−r′,t−t′).\chi^R_{ab} (\mathbf r,t;\mathbf r',t') = \chi^R_{ab} (\mathbf r-\mathbf r',t-t').

Use the Fourier convention

X(q,ω)=∫−∞∞dt∫ddr eiωt−iq⋅rX(r,t).X(\mathbf q,\omega) = \int_{-\infty}^{\infty} dt \int d^d r\, e^{i\omega t-i\mathbf q\cdot\mathbf r} X(\mathbf r,t).

The convolution becomes

δ⟨Aa(q,ω)⟩=∑bχabR(q,ω)fb(q,ω).\delta\langle A_a(\mathbf q,\omega) \rangle = \sum_b \chi^R_{ab}(\mathbf q,\omega) f_b(\mathbf q,\omega).

With this e+iωte^{+i\omega t} transform, a retarded function is analytic for Im⁡ω>0\operatorname{Im}\omega\gt0. The retarded boundary value carries +i0+i0 in denominators.

Choose a common eigenbasis of H0H_0 and a stationary ρ0\rho_0:

H0∣n⟩=En∣n⟩,ρ0=∑npn∣n⟩⟨n∣.H_0\lvert n\rangle = E_n\lvert n\rangle, \qquad \rho_0 = \sum_n p_n \lvert n\rangle\langle n\rvert.

Define

Anm=⟨n∣A∣m⟩,Bmn=⟨m∣B∣n⟩.A_{nm} = \langle n\lvert A\rvert m\rangle, \qquad B_{mn} = \langle m\lvert B\rvert n\rangle.

The frequency-domain susceptibility is

χABR(ω)=∑n,m(pm−pn)AnmBmnℏω+En−Em+i0.\chi^R_{AB}(\omega) = \sum_{n,m} \frac{ (p_m-p_n) A_{nm}B_{mn} }{ \hbar\omega + E_n-E_m + i0 }.

This formula exposes four independent ingredients:

  1. transition energies Em−EnE_m-E_n;
  2. source matrix elements BmnB_{mn};
  3. detector matrix elements AnmA_{nm};
  4. population differences pn−pmp_n-p_m.

A pole in the spectrum is invisible if either the source or detector matrix element vanishes. Population differences encode absorption minus stimulated emission. In an inverted state they can reverse the sign of the absorptive response.

The infinitesimal i0i0 enforces the retarded boundary condition. Replacing it by a finite Γ\Gamma is a physical or phenomenological broadening assumption and must be justified separately.

For a Hermitian operator A=BA=B,

Im⁡χAAR(ω)=πℏ∑n,m(pn−pm)∣Anm∣2×δ ⁣(ω−Em−Enℏ).\begin{aligned} \operatorname{Im} \chi^R_{AA}(\omega) ={}& \frac{\pi}{\hbar} \sum_{n,m} (p_n-p_m) \lvert A_{nm}\rvert^2 \\ &\times \delta\!\left( \omega-\frac{E_m-E_n}{\hbar} \right). \end{aligned}

For a thermal state and ω>0\omega\gt0, upward transitions have pn>pmp_n\gt p_m, so this convention gives

Im⁡χAAR(ω)≥0.\operatorname{Im} \chi^R_{AA}(\omega) \ge 0.

Let a real harmonic source be

f(t)=Re⁡[f0e−iωt].f(t) = \operatorname{Re} \left[ f_0e^{-i\omega t} \right].

The cycle-averaged work done on the system is

P‾=ω2∣f0∣2Im⁡χBBR(ω)\overline P = \frac{\omega}{2} \lvert f_0\rvert^2 \operatorname{Im} \chi^R_{BB}(\omega)

for the coupling Hpert=−fBH_{\mathrm{pert}}=-fB. The imaginary part is therefore the absorptive or dissipative component under these conventions. The real part is reactive: it changes the in-phase response and stores rather than irreversibly absorbs energy over a cycle.

This positivity statement applies to a passive equilibrium state and a diagonal source–detector choice. A generic cross-susceptibility need not have a sign-definite imaginary part.

Because

χABR(t)=0for t<0,\chi^R_{AB}(t) = 0 \qquad \text{for }t\lt0,

its Fourier transform is analytic in the upper half-plane. Under suitable decay or subtraction conditions,

Re⁡χABR(ω)=1πPV⁡∫−∞∞dω′ Im⁡χABR(ω′)ω′−ω.\operatorname{Re} \chi^R_{AB}(\omega) = \frac{1}{\pi} \operatorname{PV} \int_{-\infty}^{\infty} d\omega'\, \frac{ \operatorname{Im}\chi^R_{AB}(\omega') }{ \omega'-\omega }.

A companion relation reconstructs the imaginary part from the real part. These Kramers–Kronig relations follow from causality and analyticity, not from a particular microscopic model.

Slow high-frequency decay may require subtracted dispersion relations. Truncating a measured frequency interval can also make a direct numerical transform unreliable.

Several quantities are casually called “the static susceptibility”:

  • the thermodynamic derivative after the system re-equilibrates;
  • χR(q,ω=0)\chi^R(\mathbf q,\omega=0) at finite q\mathbf q;
  • the limit ω→0\omega\to0 after the thermodynamic limit;
  • the uniform limit q→0\mathbf q\to0;
  • the response of an isolated finite system under adiabatic switching.

They need not agree.

For an equilibrium Hamiltonian

Hf=H0−fB,H_f = H_0-fB,

the isothermal susceptibility is

χTBB=∂⟨B⟩f∂f∣f=0.\chi_T^{BB} = \left. \frac{\partial\langle B\rangle_f} {\partial f} \right|_{f=0}.

In a canonical ensemble it can be written

χTBB=∫0βdλ ⟨δB(−iℏλ)δB(0)⟩β,\chi_T^{BB} = \int_0^\beta d\lambda\, \left\langle \delta B(-i\hbar\lambda) \delta B(0) \right\rangle_\beta,

where

B(−iℏλ)=eλH0Be−λH0.B(-i\hbar\lambda) = e^{\lambda H_0} B e^{-\lambda H_0}.

If [B,H0]=0[B,H_0]=0, this reduces to

χTBB=β(⟨B2⟩β−⟨B⟩β2).\chi_T^{BB} = \beta \left( \langle B^2\rangle_\beta - \langle B\rangle_\beta^2 \right).

Fluctuations and Susceptibilities develops this equilibrium identity, the general Kubo–Mori covariance, and the energy, number, and magnetization applications. The present page keeps the real-time retarded response and order-of-limits analysis as its canonical subject.

Yet the isolated retarded self-response of a conserved BB is zero because [B(t),B]=0[B(t),B]=0. Re-equilibration changes the statistical weights of conserved sectors; closed-system unitary response cannot do so by itself. This distinction is essential for uniform magnetization, total particle number, and other conserved quantities.

For a spatial response χ(q,ω)\chi(\mathbf q,\omega), compare

χstatic=lim⁡q→0lim⁡ω→0χ(q,ω)\chi_{\mathrm{static}} = \lim_{\mathbf q\to0} \lim_{\omega\to0} \chi(\mathbf q,\omega)

with

χuniform=lim⁡ω→0lim⁡q→0χ(q,ω).\chi_{\mathrm{uniform}} = \lim_{\omega\to0} \lim_{\mathbf q\to0} \chi(\mathbf q,\omega).

The first lets an arbitrarily slowly varying spatial perturbation equilibrate before making it uniform. The second makes the perturbation uniform first, so conservation laws can block relaxation. Hydrodynamic poles often make the limits noncommuting.

Transport adds further limits:

L→∞,ω→0,q→0,η→0+.L\to\infty, \qquad \omega\to0, \qquad \mathbf q\to0, \qquad \eta\to0^+.

A defensible result states their order. Taking ω→0\omega\to0 in a finite isolated spectrum generally produces delta functions or zero response rather than a bulk dc coefficient.

Explicit Source Dependence and Contact Terms

Section titled “Explicit Source Dependence and Contact Terms”

The commutator formula is not always the whole derivative. Suppose the measured operator itself depends on the source:

A[f]=A(0)+fD+O(f2).A[f] = A^{(0)} + fD + O(f^2).

Then

δ⟨A(t)⟩=∫dt′ χA(0)BR(t,t′)f(t′)+⟨D⟩0f(t).\begin{aligned} \delta\langle A(t)\rangle ={}& \int dt'\, \chi^R_{A^{(0)}B}(t,t') f(t') \\ &+ \langle D\rangle_0 f(t). \end{aligned}

Equivalently, the full response kernel contains

KAB(t,t′)=χA(0)BR(t,t′)+⟨D⟩0δ(t−t′).K_{AB}(t,t') = \chi^R_{A^{(0)}B}(t,t') + \langle D\rangle_0 \delta(t-t').

The instantaneous term is often called a contact, diamagnetic, or seagull term depending on context. Omitting it can violate gauge invariance, conservation-law sum rules, or the correct static limit.

If A[f]A[f] is defined as a derivative of the Hamiltonian, the contact term comes from a second source derivative of H[f]H[f]. Its sign must be derived from that definition rather than memorized.

Let a field in energy units couple to local spins:

Hpert(t)=−∑j,βhjβ(t)sjβ.H_{\mathrm{pert}}(t) = -\sum_{j,\beta} h_j^\beta(t) s_j^\beta.

The response is

δ⟨siα(t)⟩=∑j,β∫dt′ ×χsiαsjβR(t,t′)hjβ(t′).\begin{aligned} \delta\langle s_i^\alpha(t) \rangle ={}& \sum_{j,\beta} \int dt'\, \\ &\times \chi^R_{s_i^\alpha s_j^\beta}(t,t') h_j^\beta(t'). \end{aligned}

For a homogeneous system, Fourier transformation gives a tensor

χαβR(q,ω).\chi_{\alpha\beta}^R(\mathbf q,\omega).

The uniform static susceptibility is related to derivatives of total magnetization after specifying equilibration and volume normalization. If MzM^z is conserved,

χMzMzR(q=0,ω)=0\chi_{M^zM^z}^R(\mathbf q=0,\omega) = 0

for the isolated commutator response, while the equilibrium isothermal susceptibility can be

χT=βV[⟨(Mz)2⟩−⟨Mz⟩2].\chi_T = \frac{\beta}{V} \left[ \langle(M^z)^2\rangle - \langle M^z\rangle^2 \right].

There is no contradiction: these quantities implement different protocols.

Use a local chemical-potential source,

Hpert(t)=−∫ddr δμ(r,t)n(r).H_{\mathrm{pert}}(t) = -\int d^d r\, \delta\mu(\mathbf r,t) n(\mathbf r).

Then

δ⟨n(q,ω)⟩=χnnR(q,ω)δμ(q,ω).\delta\langle n(\mathbf q,\omega) \rangle = \chi_{nn}^R(\mathbf q,\omega) \delta\mu(\mathbf q,\omega).

The equilibrium compressibility probes a static, long-wavelength density response. Two common conventions are

κn=∂n∂μ\kappa_n = \frac{\partial n}{\partial\mu}

and

κT=1n2∂n∂μ.\kappa_T = \frac{1}{n^2} \frac{\partial n}{\partial\mu}.

They differ by n−2n^{-2}, so the symbol κ\kappa is incomplete without a definition.

At exactly q=0\mathbf q=0, the density operator is total particle number. If it is conserved, its finite-frequency retarded self-response vanishes. The thermodynamic compressibility instead compares equilibrium states with different chemical-potential weights. The static and uniform limits must therefore be distinguished.

Conductivity is the standard example in which a contact term is indispensable. For particles of charge qq in a spatially uniform vector potential,

H[A]=∑i=1N(pi−qA)22m+V.H[\mathbf A] = \sum_{i=1}^{N} \frac{ \left( \mathbf p_i-q\mathbf A \right)^2 }{2m} + V.

Expanding to second order,

H[A]=H0−A⋅Jp+Nq22mA2,H[\mathbf A] = H_0 - \mathbf A\cdot\mathbf J^p + \frac{Nq^2}{2m} \mathbf A^2,

where Jp\mathbf J^p is the total paramagnetic current. The physical current density is

j[A]=−1V∂H∂A=jp−nq2mA.\mathbf j[\mathbf A] = -\frac{1}{V} \frac{\partial H}{\partial\mathbf A} = \mathbf j^p - \frac{nq^2}{m} \mathbf A.

Define the paramagnetic current-response tensor per volume,

ΠαβR(ω)=1VχJαpJβpR(ω),\Pi_{\alpha\beta}^R(\omega) = \frac{1}{V} \chi^R_{J_\alpha^pJ_\beta^p}(\omega),

and the diamagnetic tensor

Dαβ=nq2mδαβ.D_{\alpha\beta} = \frac{nq^2}{m} \delta_{\alpha\beta}.

Then

δjα(ω)=∑β[ΠαβR(ω)−Dαβ]Aβ(ω).\delta j_\alpha(\omega) = \sum_\beta \left[ \Pi_{\alpha\beta}^R(\omega) - D_{\alpha\beta} \right] A_\beta(\omega).

With vanishing scalar potential and the Fourier convention used here,

Eβ(ω)=iωAβ(ω).E_\beta(\omega) = i\omega A_\beta(\omega).

The optical conductivity is therefore

σαβ(ω)=iω+i0[Dαβ−ΠαβR(ω)].\sigma_{\alpha\beta}(\omega) = \frac{i}{\omega+i0} \left[ D_{\alpha\beta} - \Pi_{\alpha\beta}^R(\omega) \right].

The signs follow from three stated choices: charge enters as p−qA\mathbf p-q\mathbf A, current is −∂H/∂A-\partial H/\partial\mathbf A, and Fourier transforms use e+iωte^{+i\omega t}. Other conventions can rearrange signs while leaving measurable response unchanged.

On a lattice, DαβD_{\alpha\beta} is an expectation of the appropriate kinetic-energy or stress tensor rather than simply nq2/mnq^2/m. It must be derived by coupling the lattice Hamiltonian to a gauge field, usually through Peierls phases.

A common decomposition is

Re⁡σ(ω)=πDDrδ(ω)+σreg(ω).\operatorname{Re} \sigma(\omega) = \pi D_{\mathrm{Dr}} \delta(\omega) + \sigma_{\mathrm{reg}}(\omega).

DDr>0D_{\mathrm{Dr}}\gt0 signals a ballistic zero-frequency contribution under the stated order of limits. It is not the same symbol as the bare diamagnetic tensor before paramagnetic cancellation.

For a clean noninteracting continuum with conserved total momentum,

ΠR(ω)=0\Pi^R(\omega) = 0

at zero wavevector, giving

σ(ω)=iω+i0nq2m.\sigma(\omega) = \frac{i}{\omega+i0} \frac{nq^2}{m}.

Its real part is a delta function, not a finite dc conductivity. A finite resistivity requires a mechanism that relaxes the relevant current or momentum, such as disorder, a lattice with suitable scattering, umklapp processes, phonons, boundaries, or coupling to other degrees of freedom.

Electromagnetic response must be gauge consistent. A scalar potential and a longitudinal vector potential can represent the same electric field after a gauge transformation. Density and current correlators are therefore linked by the continuity equation and associated Ward identities.

Practical checks include:

  • include both paramagnetic and contact contributions;
  • use a current operator derived from the same gauged Hamiltonian;
  • verify charge conservation and the continuity equation;
  • check the optical identities developed on Sum Rules;
  • distinguish a uniform vector potential that is pure gauge from flux through a periodic ring;
  • state whether the thermodynamic limit is taken before removing the vector potential or frequency regulator.

A violation often signals a missing contact term, inconsistent truncation, nonconserving approximation, or incompatible boundary convention.

For a finite isolated system, the Lehmann representation consists of discrete poles. Its absorptive part is a sum of delta functions:

χ′′(ω)=∑ℓwℓδ(ω−ωℓ).\chi''(\omega) = \sum_\ell w_\ell \delta(\omega-\omega_\ell).

Replacing each delta function by

δη(ω−ωℓ)=1πη(ω−ωℓ)2+η2\delta_\eta(\omega-\omega_\ell) = \frac{1}{\pi} \frac{ \eta }{ (\omega-\omega_\ell)^2+\eta^2 }

is a plotting or regularization choice unless η\eta is derived from a physical decay process. Report it explicitly.

For bulk response:

  1. resolve exact symmetry sectors and matrix elements;
  2. include contact terms and conserved contributions;
  3. check sum rules at every size;
  4. vary the broadening independently of system size;
  5. take a controlled thermodynamic limit;
  6. only then analyze zero-frequency or long-time behavior.

A smooth curve from one broadened cluster is not evidence for a finite lifetime or dc transport coefficient.

Equilibrium Monte Carlo and Matsubara methods often compute an imaginary-time correlator rather than χR(ω)\chi^R(\omega) directly. The two share spectral information, but obtaining real-frequency response requires analytic continuation.

That inverse problem is ill-conditioned: many real-frequency spectra can fit noisy imaginary-time data within error bars. A trustworthy continuation reports priors, regularization, covariance of the input data, resolution limits, and tests on synthetic spectra.

The Kubo formula does not make analytic continuation automatic. It identifies the target retarded object; a separate inference problem remains.

Analytic Continuation develops that inference problem, including covariance, channel-valid constraints, static terms, method limitations, and feature-level resolution.

The response expansion requires the induced change to remain first order over the observation window. It can fail when:

  • the source is not small relative to intrinsic scales;
  • a resonant drive acts long enough for secular growth or saturation;
  • the source changes populations appreciably;
  • the system crosses a phase boundary;
  • heating changes the reference state;
  • nonlinear selection rules or harmonics are the observable of interest;
  • the background is strongly driven and not stationary.

A small instantaneous amplitude does not guarantee linear behavior for arbitrarily long time. Near a narrow resonance, a dimensionless accumulated transition amplitude can become order one.

For a periodically driven or aging reference state, use a two-time or Floquet response kernel rather than importing a one-frequency equilibrium susceptibility.

  1. Write HpertH_{\mathrm{pert}} with its sign and source units.
  2. Identify the coupled operator BB and detector AA.
  3. Specify ρ0\rho_0, temperature, chemical potential, and stationarity.
  4. State spatial, temporal, Fourier, and volume normalizations.
  5. Derive any explicit source dependence of AA.
  6. Use symmetry and conservation laws before evaluating matrix elements.
  7. Compute the retarded commutator or its Lehmann representation.
  8. Add contact terms before imposing gauge or static limits.
  9. State the order of LL, q\mathbf q, ω\omega, and η\eta limits.
  10. Check causality, Kramers–Kronig relations, positivity where applicable, and exact sum rules.
  11. Test that the induced response remains small.
  12. Separate intrinsic linewidths from finite-time, finite-size, and numerical broadening.
  • Writing χR\chi^R without stating whether the perturbation is −fB-fB or +fB+fB.
  • Swapping source and detector labels in a cross-susceptibility.
  • Using the retarded Green-function sign while calling the result the susceptibility defined here.
  • Omitting θ(t−t′)\theta(t-t') or the retarded +i0+i0 prescription.
  • Assuming every linear-response calculation requires thermal equilibrium.
  • Applying an equilibrium fluctuation–dissipation relation to a nonstationary state.
  • Identifying χR(ω=0)\chi^R(\omega=0) with a thermodynamic derivative without checking equilibration and conserved quantities.
  • Taking q→0\mathbf q\to0 and ω→0\omega\to0 without specifying their order.
  • Omitting the diamagnetic or other contact term in conductivity.
  • Using a current operator inconsistent with the gauged Hamiltonian.
  • Interpreting i0i0 as a physical linewidth.
  • Interpreting chosen Lorentzian broadening as intrinsic decay.
  • Reading a finite dc coefficient from a finite isolated cluster.
  • Assuming interactions alone guarantee current relaxation when momentum remains conserved.
  • Trusting linear response near resonance after the induced change becomes order one.

Starting from the interaction-picture density operator, derive the sign of χABR\chi^R_{AB} for

Hpert(t)=−f(t)B.H_{\mathrm{pert}}(t) = -f(t)B.

How does the result change for Hpert=+fBH_{\mathrm{pert}}=+fB?

Solution

To first order,

δρI(t)=−iℏ∫t0tdt′ [Hpert,I(t′),ρ0].\delta\rho_I(t) = -\frac{i}{\hbar} \int_{t_0}^{t} dt'\, [H_{\mathrm{pert},I}(t'),\rho_0].

Substitution gives

δρI(t)=iℏ∫t0tdt′ f(t′)[BI(t′),ρ0].\delta\rho_I(t) = \frac{i}{\hbar} \int_{t_0}^{t} dt'\, f(t') [B_I(t'),\rho_0].

Therefore

δ⟨A(t)⟩=Tr⁡[δρI(t)AI(t)]=iℏ∫t0tdt′ f(t′)⟨[AI(t),BI(t′)]⟩0.\begin{aligned} \delta\langle A(t)\rangle &= \operatorname{Tr} \left[ \delta\rho_I(t)A_I(t) \right] \\ &= \frac{i}{\hbar} \int_{t_0}^{t} dt'\, f(t') \langle[A_I(t),B_I(t')]\rangle_0. \end{aligned}

Thus

χABR(t,t′)=iℏθ(t−t′)⟨[AH(t),BH(t′)]⟩0.\chi^R_{AB}(t,t') = \frac{i}{\hbar} \theta(t-t') \langle[A_H(t),B_H(t')]\rangle_0.

Changing the perturbation to +fB+fB reverses the overall sign.

For a thermal state and Hermitian AA, show that

Im⁡χAAR(ω)≥0\operatorname{Im} \chi^R_{AA}(\omega) \ge 0

for ω>0\omega\gt0 under this page’s conventions.

Solution

At positive frequency, the delta function selects

Em−En=ℏω>0.E_m-E_n = \hbar\omega \gt 0.

Thermal probabilities obey

pn=e−βEnZ>e−βEmZ=pm.p_n = \frac{e^{-\beta E_n}}{Z} \gt \frac{e^{-\beta E_m}}{Z} = p_m.

Every selected term in

Im⁡χAAR(ω)=πℏ∑n,m(pn−pm)∣Anm∣2δ(ω−ωmn)\operatorname{Im} \chi^R_{AA}(\omega) = \frac{\pi}{\hbar} \sum_{n,m} (p_n-p_m) \lvert A_{nm}\rvert^2 \delta(\omega-\omega_{mn})

is therefore nonnegative. This is the spectral origin of positive absorbed power for a passive thermal state.

Let

H0=ℏΩ2σz,Hpert=−f(t)σx.H_0 = \frac{\hbar\Omega}{2} \sigma_z, \qquad H_{\mathrm{pert}} = -f(t)\sigma_x.

For a thermal state, compute χxxR(t)\chi^R_{xx}(t) and χxxR(0)\chi^R_{xx}(0) in frequency space.

Solution

The Heisenberg operator is

σx(t)=σxcos⁡(Ωt)−σysin⁡(Ωt).\sigma_x(t) = \sigma_x\cos(\Omega t) - \sigma_y\sin(\Omega t).

Hence

[σx(t),σx]=2iσzsin⁡(Ωt).[\sigma_x(t),\sigma_x] = 2i\sigma_z \sin(\Omega t).

The thermal polarization is

⟨σz⟩β=−tanh⁡ ⁣(βℏΩ2).\langle\sigma_z\rangle_\beta = -\tanh\!\left( \frac{\beta\hbar\Omega}{2} \right).

Therefore

χxxR(t)=2ℏtanh⁡ ⁣(βℏΩ2)θ(t)sin⁡(Ωt).\chi^R_{xx}(t) = \frac{2}{\hbar} \tanh\!\left( \frac{\beta\hbar\Omega}{2} \right) \theta(t) \sin(\Omega t).

Fourier transformation gives

χxxR(ω)=2Ωℏ[Ω2−(ω+i0)2]tanh⁡ ⁣(βℏΩ2).\chi^R_{xx}(\omega) = \frac{ 2\Omega }{ \hbar \left[ \Omega^2-(\omega+i0)^2 \right] } \tanh\!\left( \frac{\beta\hbar\Omega}{2} \right).

Thus

χxxR(0)=2ℏΩtanh⁡ ⁣(βℏΩ2).\chi^R_{xx}(0) = \frac{2}{\hbar\Omega} \tanh\!\left( \frac{\beta\hbar\Omega}{2} \right).

This agrees with the small static tilt of the equilibrium spin.

Suppose [B,H0]=0[B,H_0]=0. Show that the isolated retarded self-response χBBR(t)\chi^R_{BB}(t) vanishes, while the canonical isothermal susceptibility can be βVar⁡(B)\beta\operatorname{Var}(B).

Solution

Conservation gives

BH(t)=B.B_H(t) = B.

Therefore

[BH(t),B]=0[B_H(t),B] = 0

and

χBBR(t)=0.\chi^R_{BB}(t) = 0.

For the equilibrium Hamiltonian Hf=H0−fBH_f=H_0-fB, commuting BB permits direct differentiation of the Boltzmann weights:

∂⟨B⟩f∂f∣f=0=β(⟨B2⟩−⟨B⟩2).\left. \frac{\partial\langle B\rangle_f} {\partial f} \right|_{f=0} = \beta \left( \langle B^2\rangle - \langle B\rangle^2 \right).

The thermodynamic protocol reweights sectors with different BB after equilibration. The isolated unitary protocol preserves their populations. The two susceptibilities answer different physical questions.

For

H[A]=∑i(pi−qA)22m,H[\mathbf A] = \sum_i \frac{ (\mathbf p_i-q\mathbf A)^2 }{2m},

derive the physical current and the zero-wavevector conductivity when the total paramagnetic current commutes with H0H_0.

Solution

Differentiating the Hamiltonian,

j=−1V∂H∂A=qmV∑ipi−nq2mA.\mathbf j = -\frac{1}{V} \frac{\partial H}{\partial\mathbf A} = \frac{q}{mV} \sum_i\mathbf p_i - \frac{nq^2}{m} \mathbf A.

The first term is jp\mathbf j^p. Because total momentum is conserved,

ΠR(ω)=0\Pi^R(\omega) = 0

at zero wavevector. Hence

σ(ω)=iω+i0nq2m.\sigma(\omega) = \frac{i}{\omega+i0} \frac{nq^2}{m}.

Using

iω+i0=iPV⁡1ω+πδ(ω),\frac{i}{\omega+i0} = i\operatorname{PV} \frac{1}{\omega} + \pi\delta(\omega),

gives

Re⁡σ(ω)=πnq2mδ(ω).\operatorname{Re}\sigma(\omega) = \pi \frac{nq^2}{m} \delta(\omega).

The contact term produces ballistic Drude weight. Dropping it would incorrectly give zero electromagnetic response.

Explain why

lim⁡q→0lim⁡ω→0χnnR(q,ω)\lim_{\mathbf q\to0} \lim_{\omega\to0} \chi_{nn}^R(\mathbf q,\omega)

can differ from

lim⁡ω→0lim⁡q→0χnnR(q,ω).\lim_{\omega\to0} \lim_{\mathbf q\to0} \chi_{nn}^R(\mathbf q,\omega).
Solution

At nonzero but small q\mathbf q, density can redistribute over long distances. Taking ω→0\omega\to0 first allows the spatial modulation to equilibrate; sending q→0\mathbf q\to0 afterward probes compressibility.

Taking q→0\mathbf q\to0 first turns the density operator into total particle number. If total number is conserved, its finite-frequency retarded self-response vanishes. The subsequent ω→0\omega\to0 limit remains constrained by that conservation law.

The two orders describe different protocols, so their disagreement is physical rather than an algebraic inconsistency.

  1. R. Kubo, “Statistical-Mechanical Theory of Irreversible Processes. I”, Journal of the Physical Society of Japan 12, 570–586 (1957).
  2. H. B. Callen and T. A. Welton, “Irreversibility and Generalized Noise”, Physical Review 83, 34–40 (1951).
  3. R. Kubo, “The Fluctuation-Dissipation Theorem”, Reports on Progress in Physics 29, 255–284 (1966).
  4. W. Kohn, “Theory of the Insulating State”, Physical Review 133, A171–A181 (1964).
  5. J. M. Luttinger, “Theory of Thermal Transport Coefficients”, Physical Review 135, A1505–A1514 (1964).
  6. D. J. Scalapino, S. R. White, and S. C. Zhang, “Insulator, Metal, or Superconductor: The Criteria”, Physical Review B 47, 7995–8007 (1993).
  7. G. D. Mahan, Many-Particle Physics, 3rd ed., Springer (2000).
  8. A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003).
  9. G. F. Giuliani and G. Vignale, Quantum Theory of the Electron Liquid, Cambridge University Press (2005).
  10. A. Altland and B. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press (2010).