Skip to content

A transport coefficient quantifies the response of a flux to a weak, slowly varying drive near equilibrium. Electrical conductivity relates charge current to electric field, a diffusion constant relates conserved-density gradients to particle flow, and viscosity relates momentum flux to velocity gradients. These coefficients are macroscopic, but equilibrium correlation functions provide microscopic formulas for them.

Conservation identifies the slow density, a constitutive relation describes its flux, and their combination predicts the relaxation pole. Equilibrium current correlations give the coefficient in that pole. These descriptions agree when their sources, normalizations, and limiting procedures agree; a finite isolated system need not have a smooth dc coefficient.

Helpful background. Density and current operators explains continuity equations; the Kubo formula derives response and electromagnetic contact terms. Fluctuation–dissipation relations connects response with equilibrium noise.

For material-specific models and measurements, continue to Transport, Response, and Optics.

Transport coefficients specify a response experiment

Section titled “Transport coefficients specify a response experiment”

A statement such as “the conductivity is finite” is incomplete. A transport coefficient is attached to a protocol:

Ingredient Question that must be answered
transported quantity number, charge, spin, energy, heat, or momentum?
flux local current density, total current, or boundary current?
drive electric field, chemical-potential gradient, temperature gradient, strain rate, or boundary bias?
state equilibrium ensemble, temperature, chemical potential, and symmetry sector?
tensor channel longitudinal, transverse, Hall, shear, or bulk?
geometry infinite bulk, periodic cell, open sample, or lead-coupled device?
limit which of volume, wave number, frequency, time, and regulator is taken first?
normalization per volume, per area, per layer, or total conductance?

Conductivity and conductance are not interchangeable. In a homogeneous bulk sample,

jα=∑βσαβEβj_\alpha = \sum_\beta \sigma_{\alpha\beta} E_\beta

defines a conductivity tensor. A two-terminal relation

I=G ΔVI = G\,\Delta V

defines a conductance and includes geometry, contacts, and boundary conditions. The open-device problem belongs to mesoscopic transport even when a bulk conductivity helps interpret it.

Let

β=1kBT.\beta = \frac{1}{k_B T}.

The Fourier transform follows the response pages:

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

Therefore

∂t⟶−iω,∇⟶iq.\partial_t \longrightarrow -i\omega, \qquad \nabla \longrightarrow i\mathbf q.

For the stable dissipative equilibrium modes considered here, retarded poles lie below the real axis; undamped modes can lie on its boundary. A diffusive mode consequently has

ωdiff=−iDq2,D>0.\omega_{\mathrm{diff}} = -iDq^2, \qquad D\gt0.

The retarded susceptibility for a source coupling H′=−fBH^{\prime}=-fB is

χABR(t)=iℏθ(t)⟨[A(t),B(0)]⟩.\chi_{AB}^R(t) = \frac{i}{\hbar} \theta(t) \langle[A(t),B(0)]\rangle.

For a positive-temperature equilibrium state and a Hermitian diagonal channel,

Im⁡χAAR(ω)≥0(ω>0).\operatorname{Im} \chi_{AA}^R(\omega) \geq 0 \qquad (\omega\gt0).

This sign matters in the low-frequency formulas below. Literature using −iθ(t)-i\theta(t) for the retarded function carries the opposite sign in its imaginary part.

Conservation Laws and Constitutive Relations

Section titled “Conservation Laws and Constitutive Relations”

Suppose a scalar density n(r,t)n(\mathbf r,t) is locally conserved:

∂tn+∇⋅jN=0.\partial_t n + \nabla\boldsymbol\cdot\mathbf j_N = 0.

This identity alone does not say how jN\mathbf j_N depends on the state. Hydrodynamics adds a constitutive relation: an expansion of the current in slowly varying fields and their gradients. For an isotropic system with no background flow, the leading dissipative term is Fick’s law,

jN=−D∇n.\mathbf j_N = -D\nabla n.

Combining the two equations gives

∂tn=D∇2n.\partial_t n = D\nabla^2 n.

The separation is conceptually important:

  • the continuity equation follows from a symmetry and is exact for the stated Hamiltonian;
  • the constitutive relation is a long-wavelength, late-time approximation;
  • the coefficient DD contains microscopic collision, scattering, or dephasing information;
  • higher gradients and additional slow variables correct the leading diffusion equation.

If the density couples strongly to energy, momentum, an order parameter, or another conserved charge, a one-component Fick law is generally insufficient. The correct hydrodynamic variables must be retained before any mode is called diffusive.

Diffusive modulations at wave numbers q and 2q decay exponentially with rates in the ratio one to four; plotting decay rate against squared wave number gives a straight line.

A density modulation obeying diffusion decays as e−Dq2te^{-Dq^2t}. Doubling its wave number multiplies its decay rate by four. A straight-line relation between Γ(q)\Gamma(q) and q2q^2 across several small wave numbers tests this prediction more directly than one exponential fit. The example assumes a single scalar diffusive mode without leakage.

Let an external chemical-potential source enter as

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

Assume a single diffusive scalar mode, positive finite susceptibility, and no unscreened long-range force that changes its pole. Write the equilibrium static susceptibility per volume as

χ=(∂n∂μ)T.\chi = \left( \frac{\partial n}{\partial\mu} \right)_T.

For small deviations, the intrinsic chemical-potential change is

δμint=δnχ.\delta\mu_{\mathrm{int}} = \frac{\delta n}{\chi}.

A source δμ\delta\mu lowers the local free-energy cost of adding particles. The leading constitutive relation can therefore be written

jN=−Dχ∇(δμint−δμ)=−D∇δn+Dχ∇δμ.\begin{aligned} \mathbf j_N &= -D\chi \nabla \left( \delta\mu_{\mathrm{int}} - \delta\mu \right) \\ &= -D\nabla\delta n + D\chi\nabla\delta\mu. \end{aligned}

Using continuity gives

∂tδn=D∇2δn−Dχ∇2δμ.\partial_t\delta n = D\nabla^2\delta n - D\chi\nabla^2\delta\mu.

Fourier transformation yields

(Dq2−iω)δn(q,ω)=Dχq2δμ(q,ω).\left( Dq^2-i\omega \right) \delta n(\mathbf q,\omega) = D\chi q^2 \delta\mu(\mathbf q,\omega).

Hence the hydrodynamic density response is

χnnR(q,ω)=χDq2Dq2−iω.\chi_{nn}^R(\mathbf q,\omega) = \chi \frac{Dq^2} {Dq^2-i\omega}.

This compact expression encodes several distinct facts.

The pole occurs at

ω=−iDq2.\omega = -iDq^2.

A modulation with wavelength of order q−1q^{-1} relaxes on the time scale

τq=1Dq2.\tau_q = \frac{1}{Dq^2}.

Long-wavelength density variations relax slowly because particles must travel farther while total number remains conserved.

For real positive frequency,

Im⁡χnnR(q,ω)=χDq2ω(Dq2)2+ω2.\operatorname{Im} \chi_{nn}^R(\mathbf q,\omega) = \chi \frac{ Dq^2\omega }{ \left(Dq^2\right)^2+\omega^2 }.

It is nonnegative under the present retarded convention. Fluctuation–Dissipation Theorem converts this absorptive line shape into the corresponding equilibrium density-fluctuation spectrum.

Taking the static limit first gives

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

At exactly zero wave number, the perturbation couples to total particle number. Isolated finite-frequency dynamics cannot redistribute that conserved quantity:

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

The apparent contradiction is the signature of a hydrodynamic pole. The equilibrium compressibility and the uniform isolated response are different protocols.

Diffusion is not obtained by setting q=0\mathbf q=0 at the start. Its scaling limit keeps

ωDq2\frac{\omega}{Dq^2}

fixed while

q⟶0,ω⟶0,q\longrightarrow0, \qquad \omega\longrightarrow0,

after a bulk limit has produced a sufficiently dense spectrum. This joint limit resolves the pole shape rather than collapsing it to either of the two static values.

For an initially localized conserved packet in an infinite isotropic medium, define

ND(t)=1(4πDt)d/2.\mathcal N_D(t) = \frac{1} {\left(4\pi Dt\right)^{d/2}}.

The diffusion equation then has Green function

G(r,t)=ND(t)exp⁡(−r24Dt),t>0.\begin{aligned} G(\mathbf r,t) &= \mathcal N_D(t) \exp \left( -\frac{r^2}{4Dt} \right), \\ &\hspace{2em} t\gt0. \end{aligned}

It is normalized:

∫ddr G(r,t)=1.\int d^d r\, G(\mathbf r,t) = 1.

Its mean-square displacement is

⟨r2(t)⟩=2dDt.\langle r^2(t)\rangle = 2dDt.

This gives an independent operational definition of DD. Agreement between packet spreading, the density-response pole, and a current-correlation formula supports a diffusive interpretation over the tested length and time scales.

Boundary conditions modify the late-time profile. With reflecting boundaries in a connected region, this diffusion model approaches its uniform conserved mode. Absorbing boundaries or spatially varying equilibrium potentials produce different final profiles.

The Einstein relation connects diffusion to response under a force. It is most transparent when chemical and electrical conventions are separated.

Let particles carry signed charge QQ, and let

μ~=μ+Qϕ\widetilde\mu = \mu+Q\phi

be an electrochemical potential, with

E=−∇ϕ.\mathbf E = -\nabla\phi.

At fixed temperature, write the particle current as

jN=−M∇μ~,\mathbf j_N = -\mathcal M \nabla\widetilde\mu,

where M\mathcal M is a number-transport coefficient. With no electric field,

∇μ=1χ∇n,\nabla\mu = \frac{1}{\chi} \nabla n,

so comparison with Fick’s law gives

D=Mχ.D = \frac{\mathcal M}{\chi}.

With uniform chemical potential but nonzero electric field,

jN=MQE.\mathbf j_N = \mathcal M Q\mathbf E.

The charge current is

jQ=QjN=σE.\mathbf j_Q = Q\mathbf j_N = \sigma\mathbf E.

Therefore

σ=Q2χD.\sigma = Q^2\chi D.

For charged matter, χ\chi here is the intrinsic thermodynamic density susceptibility and σ\sigma responds to the total local electrochemical drive. The fully screened density response to an externally applied potential need not have the simple diffusion pole above; long-range Coulomb forces can instead produce charge relaxation or plasmons.

This relation uses:

  • the susceptibility χ=(∂n/∂μ)T\chi=(\partial n/\partial\mu)_T for the same conserved density;
  • a common long-wavelength, low-frequency diffusive regime;
  • local equilibrium and linear response;
  • consistent number-current and charge-current normalizations.

For a dilute classical gas,

χ=nkBT,\chi = \frac{n}{k_BT},

so

σ=nQ2DkBT.\sigma = \frac{nQ^2D}{k_BT}.

If mechanical mobility bb is defined by drift velocity vdrift=bF\mathbf v_{\mathrm{drift}}=b\mathbf F, then

D=b kBT.D = b\,k_BT.

The symbols “mobility” and “compressibility” have several conventions. Stating their defining equations is safer than importing an Einstein relation by name.

Electrical conductivity is a tensor:

jα(q,ω)=∑βσαβ(q,ω)Eβ(q,ω).j_\alpha(\mathbf q,\omega) = \sum_\beta \sigma_{\alpha\beta}(\mathbf q,\omega) E_\beta(\mathbf q,\omega).

At dc, the symmetric real part dissipates energy and a real antisymmetric Hall part is nondissipative. At finite frequency the appropriate split uses the Hermitian and anti-Hermitian parts of the complex conductivity tensor. In an isotropic system with no time-reversal-breaking field, the ordinary longitudinal response reduces to a scalar.

The full microscopic expression requires a current derived from the gauged Hamiltonian and, in general, a contact term. Under the conventions of Kubo Formula,

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

Here DαβD_{\alpha\beta} is the diamagnetic or stress contribution and ΠR\Pi^R is the paramagnetic current response per volume. This page uses that result but does not rederive it.

Write

σ(ω)=σ′(ω)+iσ′′(ω).\sigma(\omega) = \sigma'(\omega) + i\sigma''(\omega).

For a scalar response to E(t)=Re⁡(E0e−iωt)\mathbf E(t)=\operatorname{Re}(\mathbf E_0e^{-i\omega t}), the mean absorbed power density is σ′∣E0∣2/2\sigma'|\mathbf E_0|^2/2. For a tensor and possibly elliptical polarization it is

P‾=12E0†σ+σ†2E0.\overline P=\frac12\mathbf E_0^\dagger \frac{\boldsymbol\sigma+\boldsymbol\sigma^\dagger}{2} \mathbf E_0.

Passivity requires this Hermitian matrix to be positive semidefinite. A real antisymmetric Hall tensor drops out. A complex antisymmetric part need not: an imaginary Hall component can distinguish absorption of opposite circular polarizations. Thus elementwise real and imaginary parts alone do not identify all tensor dissipation.

A common bulk decomposition is

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

A nonzero Drude weight represents a ballistic zero-frequency contribution under a stated order of limits. It is not a finite dc conductivity. In contrast, a regular diffusive conductor has

σdc=lim⁡ω→0+σreg(ω)\sigma_{\mathrm{dc}} = \lim_{\omega\to0^+} \sigma_{\mathrm{reg}}(\omega)

finite after the bulk limit.

Interactions do not by themselves guarantee finite resistivity. If current overlaps a conserved momentum or another conserved quantity, part of the current can fail to decay. Disorder, Umklapp, coupling to a momentum-relaxing lattice or environment, or boundaries can relax current. Discrete lattice translation symmetry alone does not protect ordinary momentum against Umklapp. In a closed translation-invariant electron–phonon fluid, momentum transferred to phonons is still part of the conserved total, so one must check the remaining current overlap.

The Drude equation

djdt+jτ=nQ2mE(t)\frac{d\mathbf j}{dt} + \frac{\mathbf j}{\tau} = \frac{nQ^2}{m} \mathbf E(t)

gives

σ(ω)=nQ2m1τ−1−iω.\sigma(\omega) = \frac{nQ^2}{m} \frac{1} {\tau^{-1}-i\omega}.

Thus

Re⁡σ(ω)=nQ2τm11+ω2τ2,\operatorname{Re}\sigma(\omega) = \frac{nQ^2\tau}{m} \frac{1} {1+\omega^2\tau^2},

and

σdc=nQ2τm.\sigma_{\mathrm{dc}} = \frac{nQ^2\tau}{m}.

This is a benchmark, not an exact law for every interacting system. A single relaxation time can miss multiple slow modes, incoherent backgrounds, vertex corrections, localization, and frequency-dependent scattering.

Drude Theory is the canonical material-level treatment of this benchmark, including signed carriers, tensor masses, Hall response, optical spectral weight, transport versus quantum lifetimes, and fitting diagnostics.

The retarded formula asks how a weak external source changes an observable. A Green–Kubo formula expresses a dc coefficient as an equilibrium time integral of spontaneous flux fluctuations.

For operators AA and BB, define the Kubo-transformed canonical correlation

(A;B)β=1β∫0βdλ ⟨δA(−iℏλ)δB⟩,(A;B)_\beta = \frac{1}{\beta} \int_0^\beta d\lambda\, \left\langle \delta A(-i\hbar\lambda) \delta B \right\rangle,

where

δA=A−⟨A⟩.\delta A = A-\langle A\rangle.

Let

Ja=∫ddr ja(r)\mathbf J_a = \int d^d r\, \mathbf j_a(\mathbf r)

be a total flux. For one Cartesian component in a homogeneous bulk system, a common Green–Kubo convention is

Lab=lim⁡bulk1kBV∫0∞dt (Jb;Ja(t))β.L_{ab} = \lim_{\mathrm{bulk}} \frac{1}{k_BV} \int_0^\infty dt\, \left( J_b; J_a(t) \right)_\beta.

The coefficient matrix LL relates fluxes to entropy-production forces defined below. In the classical limit, the Kubo transform reduces to the ordinary equilibrium correlation, giving

Labcl=1kBV∫0∞dt ⟨δJb(0)δJa(t)⟩.L_{ab}^{\mathrm{cl}} = \frac{1}{k_BV} \int_0^\infty dt\, \langle \delta J_b(0) \delta J_a(t) \rangle.

These compact formulas require qualifications:

  • subtract equilibrium means; if a conserved nondecaying component is removed, state that the resulting coefficient describes the remaining regular current and report ballistic weight separately;
  • use the current associated with the same local conservation law and source;
  • include contact or magnetization contributions when the physical response requires them;
  • take the bulk limit before interpreting a continuous dc spectrum;
  • verify convergence of the time integral;
  • distinguish a true decay rate from numerical broadening;
  • state whether the coefficient is longitudinal, transverse, open circuit, or constrained.

If the current correlation approaches a nonzero constant,

lim⁡t→∞1V(J;J(t))β≠0,\lim_{t\to\infty} \frac{1}{V} \left( J;J(t) \right)_\beta \ne 0,

then the integral does not define an ordinary finite coefficient. The nondecaying part instead produces ballistic weight at zero frequency.

For a nonoscillatory tail with nonzero coefficient, if the long-time correlation behaves as

1V(J;J(t))β∼t−α,\frac{1}{V} \left( J;J(t) \right)_\beta \sim t^{-\alpha},

then the dc integral converges at its upper endpoint only for

α>1.\alpha\gt1.

At α=1\alpha=1 it diverges logarithmically; for α<1\alpha\lt1 it diverges as a power. Such tails can signal anomalous transport or the need to retain additional hydrodynamic modes. An oscillating tail can instead converge conditionally, so its envelope exponent alone is insufficient.

Transport channels can mix. For a one-component system, define the heat current by

jQ=jE−μjN.\mathbf j_{\mathcal Q} = \mathbf j_E - \mu\mathbf j_N.

The precise definition can require additional magnetization or boundary subtractions in systems with magnetic fields, circulating currents, or nontrivial geometry.

The local entropy-production density contains

s˙prod=jN⋅[−∇μT]+jQ⋅∇(1T)+⋯ .\dot s_{\mathrm{prod}} ={} \mathbf j_N \boldsymbol\cdot \left[ -\frac{\nabla\mu}{T} \right] + \mathbf j_{\mathcal Q} \boldsymbol\cdot \nabla \left( \frac{1}{T} \right) + \cdots.

This motivates thermodynamic forces

XN=−∇μT,XQ=∇(1T).\mathbf X_N = -\frac{\nabla\mu}{T}, \qquad \mathbf X_{\mathcal Q} = \nabla \left( \frac{1}{T} \right).

The alternative force −∇(μ/T)-\nabla(\mu/T) is appropriate when the second flux is the energy current jE\mathbf j_E. Substituting jE=jQ+μjN\mathbf j_E=\mathbf j_{\mathcal Q}+\mu\mathbf j_N into jE⋅∇(1/T)−jN⋅∇(μ/T)\mathbf j_E\boldsymbol\cdot\nabla(1/T)-\mathbf j_N\boldsymbol\cdot\nabla(\mu/T) gives the heat-current convention above. The flux basis and its conjugate forces must change together.

For particles of signed charge QQ in an electric field, the particle force becomes XN=(QE−∇μ)/T\mathbf X_N=(Q\mathbf E-\nabla\mu)/T, with μ\mu excluding the external electrostatic potential energy. In electrostatics, E=−∇φ\mathbf E=-\nabla\varphi and μec=μ+Qφ\mu_{\mathrm{ec}}=\mu+Q\varphi, so this is −∇μec/T-\nabla\mu_{\mathrm{ec}}/T.

Near equilibrium,

(jNjQ)=(LNNLNQLQNLQQ)(XNXQ).\begin{pmatrix} \mathbf j_N \\ \mathbf j_{\mathcal Q} \end{pmatrix} = \begin{pmatrix} L_{NN} & L_{N\mathcal Q} \\ L_{\mathcal QN} & L_{\mathcal Q\mathcal Q} \end{pmatrix} \begin{pmatrix} \mathbf X_N \\ \mathbf X_{\mathcal Q} \end{pmatrix}.

At uniform temperature, this convention gives

D=LNNTχ,D = \frac{L_{NN}}{T\chi},

and, for particles of charge QQ,

σ=Q2LNNT.\sigma = \frac{Q^2L_{NN}}{T}.

Their ratio reproduces

σ=Q2χD.\sigma = Q^2\chi D.

If LNN>0L_{NN}>0 and the particle current is constrained to vanish, the scalar open-circuit thermal conductivity is

κjN=0=1T2(LQQ−LQNLNQLNN).\kappa_{\mathbf j_N=0} = \frac{1}{T^2} \left( L_{\mathcal Q\mathcal Q} - \frac{ L_{\mathcal QN} L_{N\mathcal Q} }{ L_{NN} } \right).

The subtraction is physical: a temperature gradient can induce particle flow, and the compensating electrochemical field carries heat as well. Thermal conductivity measured at zero particle current therefore differs from the coefficient at zero electrochemical gradient.

Seebeck and Peltier coefficients are alternate parameterizations of the off-diagonal entries. Their signs and factors of TT depend on whether one uses particle, signed charge, energy, or heat current and on how the electrochemical potential is defined.

Onsager–Casimir Reciprocity and Positivity

Section titled “Onsager–Casimir Reciprocity and Positivity”

Microscopic reversibility constrains coupled transport. Let εa=±1\varepsilon_a=\pm1 denote the time-reversal parity associated with channel aa. In a magnetic field or another time-reversal-odd background B\mathbf B,

Lab(B)=εaεbLba(−B).L_{ab}(\mathbf B) = \varepsilon_a\varepsilon_b L_{ba}(-\mathbf B).

At zero field, particle and energy transport in an ordinary time-reversal-invariant system give the familiar reciprocity

LNQ=LQNL_{N\mathcal Q} = L_{\mathcal QN}

under the force and flux conventions above.

Reciprocity is not the same as equality at fixed nonzero magnetic field. Hall and thermomagnetic coefficients are constrained by field reversal, not generally by a symmetric matrix at the same field.

The entropy-production rate requires the symmetric dissipative part of LL to be positive semidefinite:

∑a,bXa⋅Lab(s)Xb≥0.\sum_{a,b} \mathbf X_a \boldsymbol\cdot L_{ab}^{(s)} \mathbf X_b \geq 0.

For a real reciprocal scalar two-channel matrix, this implies

LNN≥0,LQQ≥0,L_{NN}\geq0, \qquad L_{\mathcal Q\mathcal Q}\geq0,

and

LNNLQQ−LNQLQN≥0L_{NN} L_{\mathcal Q\mathcal Q} - L_{N\mathcal Q} L_{\mathcal QN} \geq 0

For a general real matrix, entropy production instead imposes

LNNLQQ≥(LNQ+LQN2)2.L_{NN}L_{\mathcal Q\mathcal Q} \geq \left(\frac{L_{N\mathcal Q}+L_{\mathcal QN}}{2}\right)^2.

This also implies LNNLQQ−LNQLQN≥0L_{NN}L_{\mathcal Q\mathcal Q}-L_{N\mathcal Q}L_{\mathcal QN}\geq0, because the difference between the two right-hand expressions is (LNQ−LQN)2/4(L_{N\mathcal Q}-L_{\mathcal QN})^2/4. The open-circuit thermal conductivity is therefore nonnegative when LNN>0L_{NN}>0.

Viscosity is transport of momentum. Let gig_i be momentum density and Πij\Pi_{ij} the momentum-current or stress tensor. Local momentum conservation is

∂tgi+∂jΠij=0.\partial_t g_i + \partial_j\Pi_{ij} = 0.

For an isotropic nonrelativistic fluid with locally conserved momentum, linearized near rest, the leading constitutive relation is

Πij=p δij−η(∂ivj+∂jvi−2dδij∇⋅v)−ζ δij∇⋅v.\Pi_{ij} ={} p\,\delta_{ij} - \eta \left( \partial_i v_j + \partial_j v_i - \frac{2}{d} \delta_{ij} \nabla\boldsymbol\cdot\mathbf v \right) - \zeta\, \delta_{ij} \nabla\boldsymbol\cdot\mathbf v.

Here:

  • η\eta is the shear viscosity and damps traceless velocity gradients;
  • ζ\zeta is the bulk viscosity and damps isotropic compression or expansion;
  • pp is the equilibrium pressure;
  • dd is the number of spatial dimensions.

Both viscosities are nonnegative in a passive isotropic fluid when defined as dissipative coefficients. A reactive elastic modulus is a different part of the stress response.

For an off-diagonal stress component in a homogeneous isotropic system, define the total shear flux

Txy=∫ddr Πxy(r).\mathcal T_{xy} = \int d^d r\, \Pi_{xy}(\mathbf r).

The retarded relation then has the schematic form

η=lim⁡ω→0+1ωIm⁡[1VχTxyTxyR(q=0,ω)].\eta = \lim_{\omega\to0^+} \frac{1}{\omega} \operatorname{Im} \left[ \frac{1}{V} \chi_{\mathcal T_{xy}\mathcal T_{xy}}^R (\mathbf q=0,\omega) \right].

The positive sign follows from the retarded convention stated above. A complete calculation must derive the stress tensor from the Hamiltonian and its strain or metric coupling, account for contact terms, and separate any static elastic response.

The corresponding Green–Kubo form is

η=1kBTV∫0∞dt (Txy;Txy(t))β\eta = \frac{1}{k_BTV} \int_0^\infty dt\, \left( \mathcal T_{xy}; \mathcal T_{xy}(t) \right)_\beta

when the displayed Kubo-transform convention is used. Equivalently, one may absorb the factor of TT into the definition of the thermodynamic shear force. The source, volume normalization, and total-versus-local stress convention must be stated.

A naive stress trace contains equilibrium pressure and can overlap with conserved energy and particle density. The bulk-viscosity operator must be projected onto the genuinely dissipative compression channel before taking its low-frequency limit. Otherwise sound poles or reversible thermodynamic response can be mistaken for ζ\zeta.

Scale-invariant systems often have a constrained or vanishing bulk viscosity, but this conclusion depends on the exact symmetry, anomaly structure, dimensionality, and definition of the stress tensor. It should not be inferred merely from dimensional analysis.

Consider a transverse velocity perturbation with wavevector along xx and velocity along yy. Pressure does not enter the transverse linearized equation. Momentum conservation gives

ρm∂tvy=η∂x2vy,\rho_m \partial_t v_y = \eta \partial_x^2 v_y,

where ρm\rho_m is mass density. Thus

∂tvy=ν∇2vy,ν=ηρm.\partial_t v_y = \nu\nabla^2v_y, \qquad \nu = \frac{\eta}{\rho_m}.

The transverse momentum pole is

ωshear=−iνq2.\omega_{\mathrm{shear}} = -i\nu q^2.

In a relativistic fluid, the inertia density is the enthalpy density rather than the nonrelativistic mass density, so the analogous coefficient involves η/(ϵ+p)\eta/(\epsilon+p) in units with the speed of light set to one.

Longitudinal momentum couples to density and energy. Linearized hydrodynamics therefore produces propagating sound rather than a single scalar diffusion pole:

ω±(q)=±csq−iΓsq2+O(q3).\omega_{\pm}(q) = \pm c_s q - i\Gamma_s q^2 + O(q^3).

csc_s is an adiabatic sound speed. The attenuation coefficient Γs\Gamma_s combines shear viscosity, bulk viscosity, and thermal transport with thermodynamic derivatives. Its exact formula depends on dimension, conserved variables, and whether the fluid is relativistic, charged, superfluid, or coupled to a lattice.

Thermal diffusion can appear as an additional longitudinal mode,

ωT=−iDTq2+O(q4),\omega_T = -iD_Tq^2 + O(q^4),

but energy and particle diffusion generally mix in a multicomponent fluid. Diagonalizing the full susceptibility and kinetic matrices identifies the actual diffusive eigenmodes.

The mode structure is more robust than a particular phenomenological parameterization:

Slow variable Leading mode in a simple isotropic phase Coefficient
conserved scalar density ω=−iDq2\omega=-iDq^2 diffusion constant DD
transverse momentum ω=−iνq2\omega=-i\nu q^2 kinematic viscosity ν\nu
longitudinal density and momentum ω=±csq−iΓsq2\omega=\pm c_sq-i\Gamma_sq^2 sound speed and attenuation
weakly relaxed momentum ω=−iΓm+O(q2)\omega=-i\Gamma_m+O(q^2) momentum-relaxation rate Γm\Gamma_m

Hydrodynamics predicts the allowed pole pattern from conservation laws and symmetry. Microscopic Kubo relations determine the coefficients entering that pattern.

A hydrodynamic description requires observation scales much larger than microscopic equilibration scales:

qℓmicro≪1,ωτmicro≪1.q\ell_{\mathrm{micro}} \ll 1, \qquad \omega\tau_{\mathrm{micro}} \ll 1.

Typical microscopic scales include a mean free path, collision time, lattice spacing, a time ℏ/Δ\hbar/\Delta associated with a gap, or a local equilibration length. Their precise meaning is model dependent.

The hierarchy is not merely “low frequency.” One also needs:

  • a chosen set of slow conserved or approximately conserved variables;
  • local equilibration on scales shorter than the observation scale;
  • gradients small enough for a derivative expansion;
  • amplitudes small enough for linearization;
  • frequencies and wave numbers below nonhydrodynamic modes;
  • a system large enough that boundaries do not dominate.

Near an integrable point, a many-body localized regime, a critical point, or a nearly conserved current, the microscopic relaxation time can become very long or cease to exist in the ordinary sense. The hydrodynamic window may narrow, change universality class, or require additional fields.

When well-defined carriers undergo approximately independent scattering, kinetic theory gives useful scales:

D∼vtyp2τtrd,D \sim \frac{v_{\mathrm{typ}}^2 \tau_{\mathrm{tr}}}{d}, σ∼Q2χvtyp2τtrd,\sigma \sim Q^2\chi \frac{ v_{\mathrm{typ}}^2 \tau_{\mathrm{tr}} }{d},

and

κ∼cVvtyp2τEd.\kappa \sim c_V \frac{ v_{\mathrm{typ}}^2 \tau_E }{d}.

For momentum transport,

η∼n ptypvtypτtr∼n ptypℓmfp.\eta \sim n\, p_{\mathrm{typ}} v_{\mathrm{typ}} \tau_{\mathrm{tr}} \sim n\, p_{\mathrm{typ}} \ell_{\mathrm{mfp}}.

These are scaling estimates. Numerical factors, angular weights, quantum statistics, vertex corrections, multiple bands, collective modes, and conservation laws can change the result. Kubo formulas remain applicable even when a quasiparticle or mean-free-path picture does not.

Ballistic, Diffusive, Anomalous, and Localized Regimes

Section titled “Ballistic, Diffusive, Anomalous, and Localized Regimes”

Transport labels describe asymptotic scaling, not the appearance of one finite-time curve.

Regime Packet-width diagnostic Frequency or current diagnostic
ballistic ⟨r2⟩c∝t2\langle r^2\rangle_c\propto t^2 nondecaying current component or Drude weight
diffusive ⟨r2⟩c∝t\langle r^2\rangle_c\propto t finite DD and pole ω=−iDq2\omega=-iDq^2
superdiffusive growth faster than tt but slower than t2t^2 divergent or scale-dependent effective DD
subdiffusive growth slower than tt vanishing or scale-dependent effective DD
localized spreading saturates in the idealized bulk model zero regular dc transport

If a dynamic exponent zz controls a single spreading scale,

rtyp(t)∼t1/z.r_{\mathrm{typ}}(t) \sim t^{1/z}.

Ordinary diffusion has z=2z=2 and ballistic propagation has z=1z=1. A second moment may fail to characterize broad non-Gaussian distributions, so the full profile and finite-size scaling should also be examined.

Preasymptotic motion can look ballistic before collisions occur and diffusive later. Conversely, a finite sample can appear saturated because the packet reaches a boundary. A trustworthy classification varies time, size, initial profile, and conserved sector.

The symbols

L→∞,q→0,ω→0,ηreg→0+\begin{gathered} L\to\infty, \qquad q\to0, \\ \qquad \omega\to0, \qquad \eta_{\mathrm{reg}}\to0^+ \end{gathered}

do not commute in general. Here ηreg\eta_{\mathrm{reg}} denotes an artificial frequency broadening, not viscosity.

Representative protocols are:

Quantity Controlled limiting idea
equilibrium compressibility equilibrate at nonzero qq, take ω→0\omega\to0, then q→0q\to0
uniform optical conductivity take a bulk limit, set q=0q=0 at finite ω\omega, then examine ω→0\omega\to0
diffusion constant take a bulk limit and resolve the joint scaling ω∼Dq2\omega\sim Dq^2
Drude weight isolate nondecaying or delta-function weight before replacing it by broadening
finite-device conductance retain leads, contacts, and geometry rather than taking a bulk dc limit

The table states an organizing principle, not one universal sequence for every Hamiltonian. Boundary conditions, conserved quantities, and ensemble constraints can require a more detailed prescription.

For a finite-dimensional isolated system, or a confined system with discrete spectrum in the energy range of interest, the spectral response consists of discrete lines. Replacing them by

δ(ω−ωn)⟶1πηreg(ω−ωn)2+ηreg2\delta(\omega-\omega_n) \longrightarrow \frac{1}{\pi} \frac{ \eta_{\mathrm{reg}} }{ (\omega-\omega_n)^2 + \eta_{\mathrm{reg}}^2 }

creates a smooth plot but does not create a physical lifetime. The dependence on both size and broadening must be reported.

Several microscopic routes can estimate transport:

Compute current or stress matrix elements and assemble the finite-size Lehmann spectrum. Strengths include exact sum rules and symmetry resolution. Limitations include discrete spectra, severe size restrictions, and ambiguous dc extrapolation.

Evolve a weak density modulation, localized packet, or equilibrium current correlation. Extract a decay rate, spreading exponent, or integrated correlation only within a time window that precedes reflections and finite-size recurrences.

Quantum Monte Carlo often gives Euclidean current correlations. Real-frequency conductivity or viscosity then requires analytic continuation, an ill-conditioned inverse problem. Exact moments, positivity, covariance, and synthetic-data tests constrain but do not eliminate the uncertainty.

One-dimensional real-time methods can access larger systems but are limited by entanglement growth and truncation. Convergence in bond dimension, time step, system size, and fit window must be demonstrated.

Boltzmann Transport develops the material semiclassical distribution, collision operator, electrical and thermal moments, and numerical conservation tests. More generally, Boltzmann equations, self-energies, ladder resummations, and memory methods can expose relaxation mechanisms. They must respect conservation laws, Ward identities, contact terms, and exact sum rules. A finite one-particle lifetime is not automatically the transport lifetime because forward scattering can relax phase coherence without efficiently relaxing current.

For implementation and convergence details, see computational many-body methods.

Different measurements access different combinations of the same coefficients:

  • optical spectroscopy measures frequency-dependent conductivity;
  • dc transport measures a low-frequency response shaped by contacts, heating, and sample geometry;
  • density-wave decay or real-space expansion can determine diffusion;
  • scattering line shapes can reveal a diffusive central peak or sound attenuation;
  • collective-mode damping can constrain viscosity;
  • thermoelectric measurements impose open-circuit or fixed-current conditions;
  • noise measurements can test fluctuation–dissipation relations in equilibrium.

Units and dimensionality matter. A three-dimensional conductivity, a two-dimensional sheet conductivity, and a two-terminal conductance have different dimensions. Likewise, dynamic viscosity η\eta and kinematic viscosity

ν=ηρm\nu = \frac{\eta}{\rho_m}

are not interchangeable.

Take a one-dimensional modulation

δn(x,0)=nqcos⁡(qx).\delta n(x,0) = n_q\cos(qx).

The diffusion equation gives

δn(x,t)=nqe−Dq2tcos⁡(qx).\delta n(x,t) = n_q e^{-Dq^2t} \cos(qx).

Thus plotting the fitted decay rate Γ(q)\Gamma(q) against q2q^2 should produce

Γ(q)=Dq2+O(q4)\Gamma(q) = Dq^2 + O(q^4)

inside a hydrodynamic window. Within this single-mode model a nonzero intercept suggests explicit density relaxation, leakage, or a fitting artifact. Additional coupled slow modes can also invalidate a single-exponential fit.

The test should be repeated at several system sizes and wave numbers. Agreement at one qq does not establish diffusion.

For the relaxation-time conductivity,

σ′(ω)=nQ2τm11+ω2τ2,\sigma'(\omega) = \frac{nQ^2\tau}{m} \frac{1}{1+\omega^2\tau^2},

the positive-frequency area is

∫0∞dω σ′(ω)=nQ2m∫0∞τ dω1+ω2τ2=πnQ22m.\begin{aligned} \int_0^\infty d\omega\, \sigma'(\omega) &= \frac{nQ^2}{m} \int_0^\infty \frac{\tau\,d\omega} {1+\omega^2\tau^2} \\ &= \frac{\pi nQ^2}{2m}. \end{aligned}

The peak narrows and grows as τ\tau increases, but its integrated weight is fixed. In the ideal τ→∞\tau\to\infty limit, the peak becomes a delta distribution. This is why peak height alone is not a stable transport diagnostic and why the optical Sum Rules are valuable.

Let

vy(x,t)=v0eiqx−iωt.v_y(x,t) = v_0 e^{iqx-i\omega t}.

The transverse momentum equation gives

−iωρmvy=−ηq2vy.-i\omega\rho_m v_y = -\eta q^2v_y.

Therefore

ω=−iηρmq2.\omega = -i \frac{\eta}{\rho_m} q^2.

The mode is purely damped at leading gradient order. Its decay measures kinematic viscosity ν=η/ρm\nu=\eta/\rho_m, not dynamic viscosity η\eta unless the mass density is independently known.

A smooth finite-size spectrum is not a dc limit. Chosen broadening can turn discrete lines into a smooth curve without creating irreversible current decay. Vary size and broadening independently and identify any Drude contribution.

One-particle decay need not relax current. Forward scattering and momentum-conserving collisions can shorten a spectral lifetime while leaving a large transport lifetime or ballistic component. Identify the process that relaxes the current itself.

Heat-flow constraints change the answer. A thermal-conductivity measurement at zero particle current includes the compensating electrochemical field. It measures the Schur-complement combination derived above, rather than simply LQQ/T2L_{\mathcal Q\mathcal Q}/T^2.

Exercise 1: Diffusion pole and limit order

Section titled “Exercise 1: Diffusion pole and limit order”

Starting from

χnnR(q,ω)=χDq2Dq2−iω,\chi_{nn}^R(q,\omega) = \chi \frac{Dq^2}{Dq^2-i\omega},

find the pole, the absorptive part for ω>0\omega\gt0, and the two iterated limits q→0q\to0 and ω→0\omega\to0.

Solution

The denominator vanishes when

Dq2−iω=0,Dq^2-i\omega = 0,

so

ω=−iDq2.\omega = -iDq^2.

For real frequency,

1Dq2−iω=Dq2+iω(Dq2)2+ω2.\frac{1}{Dq^2-i\omega} = \frac{Dq^2+i\omega} {\left(Dq^2\right)^2+\omega^2}.

Therefore

Im⁡χnnR(q,ω)=χDq2ω(Dq2)2+ω2,\operatorname{Im} \chi_{nn}^R(q,\omega) = \chi \frac{Dq^2\omega} {\left(Dq^2\right)^2+\omega^2},

which is nonnegative for χ,D,ω>0\chi,D,\omega\gt0.

Taking ω→0\omega\to0 first gives χnnR=χ\chi_{nn}^R=\chi for every nonzero qq, so

lim⁡q→0lim⁡ω→0χnnR=χ.\lim_{q\to0} \lim_{\omega\to0} \chi_{nn}^R = \chi.

Taking q→0q\to0 first makes the numerator vanish at every nonzero ω\omega, so

lim⁡ω→0lim⁡q→0χnnR=0.\lim_{\omega\to0} \lim_{q\to0} \chi_{nn}^R = 0.

The limits disagree because the diffusion pole approaches the origin as q2q^2.

Let

jN=−M∇(μ+Qϕ).\mathbf j_N = -\mathcal M \nabla \left( \mu+Q\phi \right).

Use χ=∂n/∂μ\chi=\partial n/\partial\mu and E=−∇ϕ\mathbf E=-\nabla\phi to derive both D=M/χD=\mathcal M/\chi and σ=Q2χD\sigma=Q^2\chi D.

Solution

With ϕ=0\phi=0,

∇μ=1χ∇n.\nabla\mu = \frac{1}{\chi} \nabla n.

Hence

jN=−Mχ∇n.\mathbf j_N = -\frac{\mathcal M}{\chi} \nabla n.

Comparison with jN=−D∇n\mathbf j_N=-D\nabla n gives

D=Mχ.D = \frac{\mathcal M}{\chi}.

For uniform chemical potential,

jN=−MQ∇ϕ=MQE.\mathbf j_N = -\mathcal M Q\nabla\phi = \mathcal M Q\mathbf E.

The charge current is

jQ=QjN=Q2ME.\mathbf j_Q = Q\mathbf j_N = Q^2\mathcal M\mathbf E.

Thus

σ=Q2M=Q2χD.\sigma = Q^2\mathcal M = Q^2\chi D.

The signed charge disappears as Q2Q^2 in the longitudinal conductivity.

For

σ′(ω)=nQ2τm11+ω2τ2,\sigma'(\omega) = \frac{nQ^2\tau}{m} \frac{1}{1+\omega^2\tau^2},

show that the integral over ω≥0\omega\geq0 is independent of τ\tau. Explain what happens as τ→∞\tau\to\infty.

Solution

Set u=ωτu=\omega\tau. Then

∫0∞dω σ′(ω)=nQ2m∫0∞du1+u2=πnQ22m.\begin{aligned} \int_0^\infty d\omega\, \sigma'(\omega) &= \frac{nQ^2}{m} \int_0^\infty \frac{du}{1+u^2} \\ &= \frac{\pi nQ^2}{2m}. \end{aligned}

As τ\tau grows, the height at zero frequency grows as τ\tau and the width shrinks as τ−1\tau^{-1}. Their product remains fixed. Distributionally, the positive- and negative-frequency Lorentzians approach the zero-frequency delta weight of a collisionless Drude response.

Suppose a current correlation per volume behaves as

CJ(t)∼At−αC_J(t) \sim A t^{-\alpha}

with nonzero constant AA and no oscillatory factor at late times. For which α\alpha does the Green–Kubo integral converge? What are the marginal and divergent cases?

Solution

At late times,

∫tmax⁡dt CJ(t)∼A∫tmax⁡dt t−α.\int^{t_{\max}} dt\, C_J(t) \sim A \int^{t_{\max}} dt\, t^{-\alpha}.

For α≠1\alpha\ne1 this scales as

A1−αtmax⁡1−α.\frac{A}{1-\alpha} t_{\max}^{1-\alpha}.

It converges as tmax⁡→∞t_{\max}\to\infty only if α>1\alpha\gt1. At α=1\alpha=1 it grows as log⁡tmax⁡\log t_{\max}. For α<1\alpha\lt1 it diverges as a power. A divergent integral means that an ordinary size-independent dc coefficient has not been established.

Exercise 5: Open-circuit thermal conductivity

Section titled “Exercise 5: Open-circuit thermal conductivity”

For the scalar coupled response

(jNjQ)=(LNNLNQLQNLQQ)(XNXQ),\begin{pmatrix} j_N \\ j_{\mathcal Q} \end{pmatrix} = \begin{pmatrix} L_{NN} & L_{N\mathcal Q} \\ L_{\mathcal QN} & L_{\mathcal Q\mathcal Q} \end{pmatrix} \begin{pmatrix} X_N \\ X_{\mathcal Q} \end{pmatrix},

assume LNN>0L_{NN}>0, set jN=0j_N=0, and derive the coefficient relating jQj_{\mathcal Q} to XQX_{\mathcal Q}. Then explain why positive semidefiniteness makes the open-circuit thermal conductivity nonnegative.

Solution

The zero-particle-current condition gives

XN=−LNQLNNXQ.X_N = -\frac{L_{N\mathcal Q}}{L_{NN}} X_{\mathcal Q}.

Substitution into the heat current yields

jQ=(LQQ−LQNLNQLNN)XQ.j_{\mathcal Q} = \left( L_{\mathcal Q\mathcal Q} - \frac{ L_{\mathcal QN} L_{N\mathcal Q} }{ L_{NN} } \right) X_{\mathcal Q}.

Since

XQ=∇(1T)≃−∇TT2,X_{\mathcal Q} = \nabla \left( \frac{1}{T} \right) \simeq -\frac{\nabla T}{T^2},

the thermal conductivity is the bracket divided by T2T^2.

For a reciprocal scalar matrix, positive semidefiniteness implies

LNNLQQ−LNQ2≥0.L_{NN}L_{\mathcal Q\mathcal Q} - L_{N\mathcal Q}^2 \geq 0.

Dividing by positive LNNL_{NN} shows that the bracket is nonnegative.

Use momentum conservation and the viscous constitutive relation to derive the transverse pole for a perturbation vy(x,t)v_y(x,t).

Solution

For transverse flow depending only on xx, the relevant viscous stress is

Πxy=−η∂xvy.\Pi_{xy} = -\eta\partial_xv_y.

Momentum density is gy=ρmvyg_y=\rho_m v_y, so

∂tgy+∂xΠxy=0\partial_tg_y + \partial_x\Pi_{xy} = 0

becomes

ρm∂tvy−η∂x2vy=0.\rho_m\partial_tv_y - \eta\partial_x^2v_y = 0.

For vy∝eiqx−iωtv_y\propto e^{iqx-i\omega t},

−iωρm+ηq2=0.-i\omega\rho_m + \eta q^2 = 0.

Therefore

ω=−iνq2,ν=ηρm.\omega = -i\nu q^2, \qquad \nu = \frac{\eta}{\rho_m}.

Suppose two channels have time-reversal parities ε1=+1\varepsilon_1=+1 and ε2=−1\varepsilon_2=-1. What relation connects L12(B)L_{12}(\mathbf B) and L21(−B)L_{21}(-\mathbf B)? Must L12(B)L_{12}(\mathbf B) equal L21(B)L_{21}(\mathbf B)?

Solution

Onsager–Casimir reciprocity gives

L12(B)=ε1ε2L21(−B)=−L21(−B).L_{12}(\mathbf B) = \varepsilon_1\varepsilon_2 L_{21}(-\mathbf B) = -L_{21}(-\mathbf B).

It does not generally imply equality at the same nonzero field. Even at zero field, these opposite parities imply

L12(0)=−L21(0).L_{12}(0) = -L_{21}(0).

Whether such an antisymmetric coupling is allowed also depends on spatial symmetry and on the precise force and flux definitions.

Exercise 8: Testing a finite-size transport calculation

Section titled “Exercise 8: Testing a finite-size transport calculation”

An exact-diagonalization calculation on one periodic cluster produces a smooth Lorentzian conductivity after every delta function is broadened by ηreg\eta_{\mathrm{reg}}. List at least five checks needed before claiming a finite bulk dc conductivity.

Solution

A defensible analysis should at least:

  1. repeat the calculation for several sizes and symmetry sectors;
  2. vary ηreg\eta_{\mathrm{reg}} independently of size;
  3. separate zero-frequency Drude weight from regular spectral weight;
  4. include the correct current and contact term from the gauged Hamiltonian;
  5. verify optical sum rules and positivity;
  6. identify overlaps with conserved momentum or other charges;
  7. compare the broadening with many-body level spacing and physical relaxation scales;
  8. state the order of volume, frequency, and regulator limits;
  9. test boundary-condition or flux sensitivity;
  10. avoid interpreting the chosen Lorentzian width as an intrinsic lifetime.

One smooth curve at one size satisfies none of these extrapolation requirements by itself.