Linear Response Formula Sheet
Linear response predicts the first change in a detector observable caused by a weak source. The formulas are compact only after the source sign, coupled operator, detector, reference state, Fourier transform, contact terms, and limiting protocol have been fixed.
This sheet uses one convention throughout:
With the transform , a passive Hermitian autochannel has
Changing the source sign or retarded-kernel sign changes intermediate formulas. It must not change measurable absorbed power after all definitions are transformed consistently.
Canonical Scope
Section titled “Canonical Scope”This page is a lookup and consistency sheet. It collects:
- the source-to-detector response kernel;
- space-time and Fourier-domain forms;
- Lehmann and response-spectral representations;
- absorption, causality, and Kramers–Kronig checks;
- equilibrium fluctuation–dissipation conversions;
- static Kubo–Mori response and noncommuting limits;
- contact terms, conductivity, diffusion, and common source dictionaries;
- compact oscillator and two-level benchmarks.
Kubo Formula owns the density-operator derivation and physical applications. Retarded and Advanced Response owns the full analytic structure. Susceptibilities owns units, protocols, tensor channels, and named susceptibilities. Fluctuation–Dissipation Theorem owns the KMS derivation. Transport Coefficients Preview owns hydrodynamic and transport interpretation.
Minimum Response Ledger
Section titled “Minimum Response Ledger”Before quoting a susceptibility, state:
- the unperturbed generator and reference state;
- the perturbation , including its sign;
- the source and its units;
- the coupled operator ;
- the detector and whether it depends explicitly on the source;
- total, density, per-site, per-volume, and internal-index normalizations;
- real-space, momentum-space, real-frequency, energy, or Matsubara variables;
- Fourier signs and factors of and ;
- the order of thermodynamic, zero-frequency, zero-wavevector, and regulator limits;
- whether the desired object is isolated dynamical response or an equilibrated thermodynamic derivative.
The ordered label means “response of to a source coupled through .” It does not generally equal .
Master Kubo Formula
Section titled “Master Kubo Formula”Let a multicomponent source couple as
For a detector with no explicit source dependence,
where
The operators evolve with the unperturbed generator. The expectation value is evaluated in the unperturbed state.
The operational definition is
when has no explicit dependence on . Consequently,
One-line sign check
Section titled “One-line sign check”In the interaction picture,
Cyclicity of the trace gives
This is the quickest way to recover the response sign from instead of relying on memory.
Explicit Source Dependence and Contact Terms
Section titled “Explicit Source Dependence and Contact Terms”If the measured operator depends on the source, the commutator is not the full functional derivative. Write
For a local instantaneous dependence,
The full response is
Depending on context, is called a contact, diamagnetic, stress, or seagull term. Derive it from the source-dependent Hamiltonian or observable. Omitting it can violate gauge invariance, continuity constraints, and sum rules.
Stationarity and Fourier Dictionary
Section titled “Stationarity and Fourier Dictionary”If
then
For a translation-invariant state and geometry,
This sheet uses
The convolution becomes
For
the steady first-order response is
Under this transform:
- retarded kernels are analytic for ;
- stable retarded poles lie below the real axis;
- the retarded Lehmann denominator carries ;
- converts angular frequency to energy.
Lehmann Lookup
Section titled “Lehmann Lookup”For
define
Then
The four ingredients are transition energies, detector matrix elements, source matrix elements, and population differences. A state can exist in the spectrum yet remain absent from a chosen response because either operator matrix element vanishes.
For numerical work, replace by a finite width only after declaring whether it represents instrumental resolution, physical damping, a finite observation window, or visualization. A broadening parameter is not generated by the exact finite-system formula.
Response Spectral Density
Section titled “Response Spectral Density”Define
For and adequate high-frequency behavior,
The retarded boundary value is
Therefore
For a Hermitian autochannel in a stationary passive equilibrium state,
and
These parity and positivity statements do not apply component by component to a generic cross-susceptibility.
Absorption and Passivity
Section titled “Absorption and Passivity”For a Hermitian source channel driven harmonically,
Thus the imaginary part is absorptive under the conventions of this sheet. The real part is reactive.
For several source components, define the dissipative matrix
Then
Passivity requires to be positive semidefinite for . An individual off-diagonal entry can have either sign.
Causality and Dispersion
Section titled “Causality and Dispersion”Causal support,
implies upper-half-plane analyticity. When no subtraction is needed,
and
Slow high-frequency decay requires subtracted dispersion relations. A finite experimental frequency window does not generally support an accurate direct Hilbert transform without tail modeling.
The advanced kernel is
For a channel matrix on the real axis,
Equilibrium Fluctuation–Dissipation Dictionary
Section titled “Equilibrium Fluctuation–Dissipation Dictionary”Let
Using angular-frequency spectra without a prefactor, define
For one equilibrium thermal generator and a compatible operator pair,
The absorptive response is
Equivalently,
For a Hermitian autochannel,
The fluctuation–dissipation theorem is
In the classical low-frequency regime,
this becomes
The full theorem requires thermal equilibrium, not merely a stationary state. For a grand-canonical ensemble, number-changing operators must use a consistent generator so that the detailed-balance exponent includes chemical work correctly.
Static Thermodynamic Response
Section titled “Static Thermodynamic Response”For
the isothermal self-susceptibility is
In the canonical ensemble,
where
Equivalently,
If
then
For a nondegenerate zero-temperature ground state,
The thermodynamic derivative need not equal the zero-frequency isolated retarded response. In particular, if is conserved,
while can remain nonzero because equilibration changes statistical weights among sectors.
Order of Limits
Section titled “Order of Limits”For a spatial response, distinguish
from
Hydrodynamic poles and conservation laws can make these limits unequal. Transport may additionally require an explicit order for
A finite isolated spectrum usually gives delta functions, recurrences, or a vanishing uniform commutator response rather than a bulk dc coefficient.
Common Source and Detector Channels
Section titled “Common Source and Detector Channels”| Physical source | Coupled operator | Typical detector | Essential convention |
|---|---|---|---|
| force | position | position or velocity | |
| spin field in energy units | spin | spin | add when converting to magnetic-field units |
| local chemical potential | number density | density | distinguish from |
| vector potential | paramagnetic current | physical current | include the diamagnetic or stress term |
| pairing source | pair operator and its adjoint | pair amplitude | declare charge, phase, and Nambu normalization |
| strain or metric source | stress tensor | stress tensor | include instantaneous elastic terms |
The source should be defined by its Hamiltonian coupling, not only by a verbal label.
Magnetic and Density Lookups
Section titled “Magnetic and Density Lookups”For a spin source in energy units,
the response is
Magnetic susceptibility quoted per tesla acquires the appropriate powers of and any volume or molar normalization.
For a local chemical-potential source,
one has
Two common compressibilities are
At exactly , a conserved total number has no finite-frequency isolated self-response. The thermodynamic compressibility is obtained from the static equilibrated protocol.
Conductivity Lookup
Section titled “Conductivity Lookup”For continuum particles of signed charge in a uniform vector potential,
Expanding gives
The physical current density is
Define
Since
the optical conductivity is
On a lattice, is the appropriate kinetic or stress expectation obtained by differentiating the gauged Hamiltonian. It is not generally .
A standard decomposition is
The Drude weight is the surviving zero-frequency weight after paramagnetic and diamagnetic contributions are combined. It is not the bare tensor .
Diffusion and Einstein Lookup
Section titled “Diffusion and Einstein Lookup”For one conserved density in a diffusive regime,
The pole is
It reproduces the noncommuting limits
For carriers of signed charge , consistent number-current normalization gives the Einstein relation
These formulas require a genuine diffusive window, local equilibrium, and the same conserved density in , , and .
Reciprocity Lookup
Section titled “Reciprocity Lookup”Adjoint relations follow from definitions. Onsager–Casimir reciprocity requires equilibrium microscopic reversibility and correctly transformed time-reversal-odd controls.
If and have time-reversal parities and , a common convention gives
Momentum, current, pseudovector, and complex-basis indices can add component transformations. Reversing operator labels while leaving a magnetic field or rotation unchanged is not a reciprocity test.
Matsubara Route
Section titled “Matsubara Route”For an equilibrium bosonic observable channel, a Matsubara calculation samples an analytic response function at
The retarded response is the upper real-axis boundary of the same analytic function after all overall signs, factors of , static zero-mode terms, and contact terms have been matched.
Symbolic replacement
is meaningful only after that analytic function has been identified. Recovering a real-frequency spectrum from finitely many noisy Matsubara values is an ill-posed inverse problem, not a direct substitution.
Thermal Green Functions defines imaginary-time ordering. Spectral Representation owns the exact continuation bridge and static bosonic terms. Analytic Continuation owns numerical inference.
Exact Benchmark: Harmonic Oscillator
Section titled “Exact Benchmark: Harmonic Oscillator”Let
Since
the retarded response is
Its frequency-domain form is
The static response is
and the positive-frequency absorptive line is
This benchmark checks the source sign, pole side, static spring compliance, spectral weight, and positive absorption simultaneously.
Exact Benchmark: Two-Level System
Section titled “Exact Benchmark: Two-Level System”Take
At inverse temperature , define the population difference
The transverse response is
Thus
and
Positive temperature gives and absorption. Population inversion gives and gain.
Calculation Routes
Section titled “Calculation Routes”| Route | Direct output | Main caution |
|---|---|---|
| exact diagonalization | discrete Lehmann weights | finite spectra require declared broadening and limit order |
| real-time evolution | causal kernel or ordinary correlator | finite time causes windowing and frequency convolution |
| equilibrium fluctuations | ordered or symmetrized spectra | fluctuation–dissipation conversion requires thermal equilibrium |
| Matsubara calculation | imaginary-axis samples | continuation is ill posed with finite noisy data |
| perturbation theory | approximate analytic kernel | preserve causality, symmetries, and contact terms consistently |
| experiment | convolved detector response | de-embed source calibration, resolution, backgrounds, and units |
Reliability Checklist
Section titled “Reliability Checklist”A response result should pass as many of these checks as apply:
- is written explicitly.
- Source and detector labels are not interchanged.
- The dimensions equal detector divided by source.
- The time-domain kernel vanishes before the source acts.
- Retarded poles lie in the lower half-plane for a stable passive system.
- Hermitian autochannels obey the expected real and imaginary parity.
- Positive-frequency absorption is nonnegative in a passive equilibrium state.
- Kramers–Kronig relations hold with any required subtractions.
- Equal-time commutators and known sum rules are satisfied.
- Contact terms are derived from the same source-coupled Hamiltonian.
- Conserved uniform modes and order-of-limits issues are stated.
- Static thermodynamic and isolated dynamical protocols are not conflated.
- Any broadening, window, or continuation prior is reported.
- The linear regime is checked by varying source amplitude.
Common Mistakes
Section titled “Common Mistakes”Memorizing a sign without the perturbation
Section titled “Memorizing a sign without the perturbation”The sign of is tied to . Re-derive it from the interaction-picture density operator when conventions differ.
Swapping source and detector
Section titled “Swapping source and detector”is the response of to the source coupled through . Cross-response is not generally symmetric.
Using an anticommutator for observable response
Section titled “Using an anticommutator for observable response”Fermionic single-particle Green functions often use anticommutators. A physical linear response of observables uses the ordinary commutator, even when the microscopic constituents are fermions.
Mixing energy and angular frequency
Section titled “Mixing energy and angular frequency”Replacing by requires , including Jacobians in delta functions and spectral normalizations.
Dropping the contact term
Section titled “Dropping the contact term”Current, stress, and gauge responses often depend explicitly on the source. The state-mediated commutator alone is then incomplete.
Calling every zero-frequency quantity static
Section titled “Calling every zero-frequency quantity static”Thermodynamic derivatives, , , finite-size adiabatic response, and dc transport are different protocols.
Applying fluctuation–dissipation outside equilibrium
Section titled “Applying fluctuation–dissipation outside equilibrium”Stationarity alone does not imply KMS detailed balance. Driven, aging, generalized, and multi-reservoir states require separate analysis.
Assigning positivity to a cross-component
Section titled “Assigning positivity to a cross-component”Passivity constrains the dissipative quadratic form. It does not force every off-diagonal imaginary part to be positive.
Treating artificial broadening as a lifetime
Section titled “Treating artificial broadening as a lifetime”A Lorentzian plotting width is not evidence for intrinsic decay unless its physical origin and convergence are established.
Extracting dc transport from a finite isolated spectrum
Section titled “Extracting dc transport from a finite isolated spectrum”The thermodynamic and long-time limits are part of the definition. A finite spectrum can carry delta peaks and recurrences instead of a smooth dc coefficient.
Exercises
Section titled “Exercises”Exercise 1: Recover the Kubo sign
Section titled “Exercise 1: Recover the Kubo sign”Starting from
show that the first-order response of contains
Solution
The interaction-picture density operator obeys
Replacing on the right by gives
Therefore
Extending the integral over all inserts and produces the stated retarded kernel.
Exercise 2: Oscillator static and absorptive checks
Section titled “Exercise 2: Oscillator static and absorptive checks”For the oscillator benchmark, verify the static limit and the sign of the positive-frequency spectral line.
Solution
Setting in
gives
This is the classical displacement per applied static force. Using
the pole at contributes
for positive frequency. Its coefficient is positive, as passivity requires.
Exercise 3: Classical fluctuation–dissipation limit
Section titled “Exercise 3: Classical fluctuation–dissipation limit”Derive the classical low-frequency limit of the symmetrized fluctuation–dissipation theorem.
Solution
For small ,
Taking
gives
Since ,
The approximation is local to ; it is not valid across an arbitrary quantum spectrum.
Exercise 4: Conserved quantity paradox
Section titled “Exercise 4: Conserved quantity paradox”Suppose . Show why the isolated retarded self-response vanishes while the equilibrium isothermal susceptibility can be nonzero.
Solution
Conservation gives
so
In a canonical equilibrium family with ,
which is nonzero whenever different conserved sectors have fluctuating thermal weights. The retarded protocol evolves one isolated state; the thermodynamic protocol compares re-equilibrated states.
Exercise 5: Diffusive order of limits
Section titled “Exercise 5: Diffusive order of limits”Evaluate both iterated limits of
Solution
At fixed nonzero ,
Taking afterward leaves . At fixed nonzero ,
Taking afterward leaves zero. The pole at makes the origin path dependent and encodes conservation of the uniform mode.
Exercise 6: Diamagnetic contact term
Section titled “Exercise 6: Diamagnetic contact term”For
derive the source-dependent physical current and identify the contact term.
Solution
Expanding the kinetic energy gives
The physical current density follows from differentiating the Hamiltonian:
The second term is instantaneous and therefore contributes
to the current response to . Combining it with the paramagnetic current commutator yields the gauge-consistent conductivity kernel.
Cross-Links
Section titled “Cross-Links”- Symbols and Conventions
- Correlation Function Definitions
- Matsubara Frequency Table
- Operator Identities
- Kubo Formula
- Retarded and Advanced Response
- Susceptibilities
- Fluctuation–Dissipation Theorem
- Sum Rules
- Transport Coefficients Preview
- Fluctuations and Susceptibilities
- Thermal Green Functions
- Spectral Representation
- Bosonic and Fermionic Matsubara Frequencies
- Analytic Continuation
- Driven Many-Body Systems
- Linear Response Preview
- Fourier-Transform Conventions
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).
- L. Onsager, “Reciprocal Relations in Irreversible Processes. I”, Physical Review 37, 405–426 (1931).
- L. P. Kadanoff and P. C. Martin, “Hydrodynamic Equations and Correlation Functions”, Annals of Physics 24, 419–469 (1963).
- J. M. Luttinger, “Theory of Thermal Transport Coefficients”, Physical Review 135, A1505–A1514 (1964).
- G. D. Mahan, Many-Particle Physics, 3rd ed., Springer (2000).
- D. Forster, Hydrodynamic Fluctuations, Broken Symmetry, and Correlation Functions, CRC Press (1990).
- A. L. Fetter and J. D. Walecka, Quantum Theory of Many-Particle Systems, Dover (2003).
- A. Altland and B. Simons, Condensed Matter Field Theory, 2nd ed., Cambridge University Press (2010).