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
then the response of an observable is
with retarded susceptibility
The sign is tied to the explicit choice . 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.
Canonical Scope
Section titled “Canonical Scope”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 to 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.
Source and Detector
Section titled “Source and Detector”The source and measured observable play different roles:
The ordered label means “response of to a source coupled through .” In general,
Representative choices are:
| Source | Coupled operator | Detector | Response |
|---|---|---|---|
| magnetic field | magnetization | magnetization | magnetic susceptibility |
| local chemical potential | density | density | density response or compressibility |
| electric vector potential | paramagnetic current | physical current | conductivity |
| force | position | position | mechanical susceptibility |
| pairing field | pair creation and annihilation | pair amplitude | pairing susceptibility |
Every calculation should write explicitly. The phrase “apply a field” is insufficient because the sign, units, spatial profile, and coupled operator determine the response convention.
Kubo response separates the source , coupled operator , and measured observable . The retarded commutator gives the state-mediated response. If depends explicitly on the source, its derivative contributes an additional instantaneous contact term.
General Space-Time Form
Section titled “General Space-Time Form”Let the source have components and write
The induced change in is
The retarded kernel is
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 and separately.
Derivation from the Density Operator
Section titled “Derivation from the Density Operator”Write
where tracks source order. In the interaction picture,
To first order, replace on the right by the unperturbed state :
For ,
Taking the trace with and using cyclicity,
Extending the integral over all inserts . Setting 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.
Functional-Derivative Definition
Section titled “Functional-Derivative Definition”Operationally,
when has no explicit source dependence. This definition makes clear that a susceptibility has units of detector divided by source.
For multiple components,
The response can be anisotropic, nonlocal, and nondiagonal in internal indices even when the source is scalar.
Stationarity and Translation Invariance
Section titled “Stationarity and Translation Invariance”Suppose
Then the reference state is stationary and
If the Hamiltonian, state, and geometry are also translation invariant,
Use the Fourier convention
The convolution becomes
With this transform, a retarded function is analytic for . The retarded boundary value carries in denominators.
Lehmann Representation
Section titled “Lehmann Representation”Choose a common eigenbasis of and a stationary :
Define
The frequency-domain susceptibility is
This formula exposes four independent ingredients:
- transition energies ;
- source matrix elements ;
- detector matrix elements ;
- population differences .
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 enforces the retarded boundary condition. Replacing it by a finite is a physical or phenomenological broadening assumption and must be justified separately.
Absorptive Response
Section titled “Absorptive Response”For a Hermitian operator ,
For a thermal state and , upward transitions have , so this convention gives
Let a real harmonic source be
The cycle-averaged work done on the system is
for the coupling . 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.
Causality and Dispersion Relations
Section titled “Causality and Dispersion Relations”Because
its Fourier transform is analytic in the upper half-plane. Under suitable decay or subtraction conditions,
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.
Static Response Is Not One Limit
Section titled “Static Response Is Not One Limit”Several quantities are casually called “the static susceptibility”:
- the thermodynamic derivative after the system re-equilibrates;
- at finite ;
- the limit after the thermodynamic limit;
- the uniform limit ;
- the response of an isolated finite system under adiabatic switching.
They need not agree.
For an equilibrium Hamiltonian
the isothermal susceptibility is
In a canonical ensemble it can be written
where
If , this reduces to
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 is zero because . 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.
Order of Limits
Section titled “Order of Limits”For a spatial response , compare
with
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:
A defensible result states their order. Taking 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:
Then
Equivalently, the full response kernel contains
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 is defined as a derivative of the Hamiltonian, the contact term comes from a second source derivative of . Its sign must be derived from that definition rather than memorized.
Magnetic Susceptibility
Section titled “Magnetic Susceptibility”Let a field in energy units couple to local spins:
The response is
For a homogeneous system, Fourier transformation gives a tensor
The uniform static susceptibility is related to derivatives of total magnetization after specifying equilibration and volume normalization. If is conserved,
for the isolated commutator response, while the equilibrium isothermal susceptibility can be
There is no contradiction: these quantities implement different protocols.
Density Response and Compressibility
Section titled “Density Response and Compressibility”Use a local chemical-potential source,
Then
The equilibrium compressibility probes a static, long-wavelength density response. Two common conventions are
and
They differ by , so the symbol is incomplete without a definition.
At exactly , 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.
Electrical Conductivity
Section titled “Electrical Conductivity”Conductivity is the standard example in which a contact term is indispensable. For particles of charge in a spatially uniform vector potential,
Expanding to second order,
where is the total paramagnetic current. The physical current density is
Define the paramagnetic current-response tensor per volume,
and the diamagnetic tensor
Then
With vanishing scalar potential and the Fourier convention used here,
The optical conductivity is therefore
The signs follow from three stated choices: charge enters as , current is , and Fourier transforms use . Other conventions can rearrange signs while leaving measurable response unchanged.
On a lattice, is an expectation of the appropriate kinetic-energy or stress tensor rather than simply . It must be derived by coupling the lattice Hamiltonian to a gauge field, usually through Peierls phases.
Drude and regular weight
Section titled “Drude and regular weight”A common decomposition is
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,
at zero wavevector, giving
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.
Gauge and Conservation Checks
Section titled “Gauge and Conservation Checks”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.
Finite Systems and Numerical Spectra
Section titled “Finite Systems and Numerical Spectra”For a finite isolated system, the Lehmann representation consists of discrete poles. Its absorptive part is a sum of delta functions:
Replacing each delta function by
is a plotting or regularization choice unless is derived from a physical decay process. Report it explicitly.
For bulk response:
- resolve exact symmetry sectors and matrix elements;
- include contact terms and conserved contributions;
- check sum rules at every size;
- vary the broadening independently of system size;
- take a controlled thermodynamic limit;
- 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.
Imaginary-Time Calculations
Section titled “Imaginary-Time Calculations”Equilibrium Monte Carlo and Matsubara methods often compute an imaginary-time correlator rather than 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.
Validity of Linear Response
Section titled “Validity of Linear Response”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.
Calculation Workflow
Section titled “Calculation Workflow”- Write with its sign and source units.
- Identify the coupled operator and detector .
- Specify , temperature, chemical potential, and stationarity.
- State spatial, temporal, Fourier, and volume normalizations.
- Derive any explicit source dependence of .
- Use symmetry and conservation laws before evaluating matrix elements.
- Compute the retarded commutator or its Lehmann representation.
- Add contact terms before imposing gauge or static limits.
- State the order of , , , and limits.
- Check causality, Kramers–Kronig relations, positivity where applicable, and exact sum rules.
- Test that the induced response remains small.
- Separate intrinsic linewidths from finite-time, finite-size, and numerical broadening.
Common Mistakes
Section titled “Common Mistakes”- Writing without stating whether the perturbation is or .
- Swapping source and detector labels in a cross-susceptibility.
- Using the retarded Green-function sign while calling the result the susceptibility defined here.
- Omitting or the retarded prescription.
- Assuming every linear-response calculation requires thermal equilibrium.
- Applying an equilibrium fluctuation–dissipation relation to a nonstationary state.
- Identifying with a thermodynamic derivative without checking equilibration and conserved quantities.
- Taking and without specifying their order.
- Omitting the diamagnetic or other contact term in conductivity.
- Using a current operator inconsistent with the gauged Hamiltonian.
- Interpreting 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.
Exercises
Section titled “Exercises”Sign of the retarded kernel
Section titled “Sign of the retarded kernel”Starting from the interaction-picture density operator, derive the sign of for
How does the result change for ?
Solution
To first order,
Substitution gives
Therefore
Thus
Changing the perturbation to reverses the overall sign.
Lehmann weights and absorption
Section titled “Lehmann weights and absorption”For a thermal state and Hermitian , show that
for under this page’s conventions.
Solution
At positive frequency, the delta function selects
Thermal probabilities obey
Every selected term in
is therefore nonnegative. This is the spectral origin of positive absorbed power for a passive thermal state.
Transverse spin susceptibility
Section titled “Transverse spin susceptibility”Let
For a thermal state, compute and in frequency space.
Solution
The Heisenberg operator is
Hence
The thermal polarization is
Therefore
Fourier transformation gives
Thus
This agrees with the small static tilt of the equilibrium spin.
Conserved quantity paradox
Section titled “Conserved quantity paradox”Suppose . Show that the isolated retarded self-response vanishes, while the canonical isothermal susceptibility can be .
Solution
Conservation gives
Therefore
and
For the equilibrium Hamiltonian , commuting permits direct differentiation of the Boltzmann weights:
The thermodynamic protocol reweights sectors with different after equilibration. The isolated unitary protocol preserves their populations. The two susceptibilities answer different physical questions.
Diamagnetic term for free particles
Section titled “Diamagnetic term for free particles”For
derive the physical current and the zero-wavevector conductivity when the total paramagnetic current commutes with .
Solution
Differentiating the Hamiltonian,
The first term is . Because total momentum is conserved,
at zero wavevector. Hence
Using
gives
The contact term produces ballistic Drude weight. Dropping it would incorrectly give zero electromagnetic response.
Static and uniform density limits
Section titled “Static and uniform density limits”Explain why
can differ from
Solution
At nonzero but small , density can redistribute over long distances. Taking first allows the spatial modulation to equilibrate; sending afterward probes compressibility.
Taking first turns the density operator into total particle number. If total number is conserved, its finite-frequency retarded self-response vanishes. The subsequent limit remains constrained by that conservation law.
The two orders describe different protocols, so their disagreement is physical rather than an algebraic inconsistency.
Cross-Links
Section titled “Cross-Links”- How Quantum Matter Is Measured places linear response inside the larger chain from a controlled source and detector record to a calibrated material inference.
- Terahertz and Infrared Probes connects measured power or electric-field waveforms to the complex conductivity defined here.
- Transport Measurements connects terminal wiring, low-frequency protocols, geometry, tensor inversion, and sweep history to the conductivity limits defined here.
- Linear Response Formula Sheet provides the compact convention, spectral, static-limit, contact-term, and transport lookup.
- Correlation Functions Overview
- Structure Factors
- Green Functions in Many-Body QM
- Retarded and Advanced Response
- Susceptibilities
- Fluctuation–Dissipation Theorem
- Sum Rules
- Transport Coefficients Preview
- Chern Numbers in Band Theory specializes the clean transverse Kubo response to occupied Bloch bands and derives the TKNN integer.
- Weak Localization specializes conductivity response to disorder-averaged diffusive interference and identifies the Cooperon correction measured in low fields.
- Thermal Density Operators
- Canonical Ensemble
- Grand-Canonical Ensemble
- Hubbard Model
- Heisenberg Model
- Green Functions and Response Preview
- Retarded and Advanced Green Functions
- Spectral Representation of Green Functions
- Interaction Picture
- Linear Response Preview
- First-Order Transition Probability
- Fluctuation–Dissipation Relation
- Noise Spectra
- Fourier-Transform Conventions
- Correlation-Functions Formula Card
References
Section titled “References”- R. Kubo, “Statistical-Mechanical Theory of Irreversible Processes. I”, Journal of the Physical Society of Japan 12, 570–586 (1957).
- H. B. Callen and T. A. Welton, “Irreversibility and Generalized Noise”, Physical Review 83, 34–40 (1951).
- R. Kubo, “The Fluctuation-Dissipation Theorem”, Reports on Progress in Physics 29, 255–284 (1966).
- W. Kohn, “Theory of the Insulating State”, Physical Review 133, A171–A181 (1964).
- J. M. Luttinger, “Theory of Thermal Transport Coefficients”, Physical Review 135, A1505–A1514 (1964).
- D. J. Scalapino, S. R. White, and S. C. Zhang, “Insulator, Metal, or Superconductor: The Criteria”, Physical Review B 47, 7995–8007 (1993).
- G. D. Mahan, Many-Particle Physics, 3rd ed., Springer (2000).
- A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003).
- G. F. Giuliani and G. Vignale, Quantum Theory of the Electron Liquid, Cambridge University Press (2005).
- A. Altland and B. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press (2010).