Skip to content

Linear Response and Kubo Formulas

Why transport starts with retarded correlators

Section titled “Why transport starts with retarded correlators”

Thermodynamics tells us the equation of state. It says, for example, how the pressure pp depends on temperature TT and chemical potential μ\mu. Transport asks a different question: if the system is slightly disturbed away from equilibrium, how does it return?

In holography this is not a side topic. The earliest dramatic successes of finite-temperature AdS/CFT were not only equilibrium statements such as sN2T3s\propto N^2T^3, but dynamical statements: diffusion constants, conductivities, quasinormal modes, and the shear viscosity of a strongly coupled plasma. The universal pattern is simple:

  1. perturb the thermal CFT by a weak source,
  2. compute a retarded Green function,
  3. take a low-frequency, long-wavelength limit,
  4. read off a transport coefficient.

The corresponding bulk statement is equally compact: solve a linearized fluctuation problem around a black brane, impose an infalling condition at the horizon, renormalize the on-shell action, and take the same Kubo limit.

Linear response and the holographic Kubo pipeline

Linear response in the CFT and its holographic implementation. A weak boundary source JJ becomes a boundary value for a bulk fluctuation. The retarded correlator is selected by the infalling horizon condition, and transport follows from the small-ω\omega Kubo limit.

This page is the field-theory gateway to the next four pages. The next page computes conductivity; the page after that computes η/s\eta/s; then we discuss fluid/gravity and the phenomenological lessons for plasma physics. Here we set the conventions carefully enough that the later holographic calculations have something precise to compute.

Throughout this page the boundary spacetime dimension is dd, and the number of spatial dimensions is

q=d1.q=d-1.

Thermal expectation values are

Xβ=1ZTr(eβHX),Z=TreβH,β=1T.\langle X\rangle_\beta = \frac{1}{Z}\operatorname{Tr}\left(e^{-\beta H}X\right), \qquad Z=\operatorname{Tr}e^{-\beta H}, \qquad \beta=\frac{1}{T}.

Consider a small time-dependent source coupled to an operator OBO_B,

HJ(t)=H0+dqxJB(t,x)OB(t,x).H_J(t)=H_0+\int d^q x\,J_B(t,\mathbf x)O_B(t,\mathbf x).

To first order in JBJ_B, the response of another operator OAO_A is governed by the retarded correlator

GABR(t,x)=iθ(t)[OA(t,x),OB(0,0)]β.G^R_{AB}(t,\mathbf x) = -i\theta(t)\left\langle \left[O_A(t,\mathbf x),O_B(0,\mathbf 0)\right] \right\rangle_\beta.

With the Hamiltonian sign convention above,

δOA(t,x)=dtdqxGABR(tt,xx)JB(t,x)\delta\langle O_A(t,\mathbf x)\rangle = \int dt' d^q x'\, G^R_{AB}(t-t',\mathbf x-\mathbf x')J_B(t',\mathbf x')

up to the usual adiabatic prescription that switches the perturbation on in the far past. Some books place the opposite sign in the Hamiltonian source. That flips the sign of the response kernel, but not the physics once the source convention is used consistently. Holographic papers also differ by factors of ii, by whether the source is introduced in the action or Hamiltonian, and by the normalization of OO. The safest habit is this:

A Kubo formula is a statement about the response of a precisely normalized operator to a precisely normalized source.

We use the Fourier convention

F(t,x)=dω2πdqk(2π)qeiωt+ikxF(ω,k),F(t,\mathbf x) = \int\frac{d\omega}{2\pi}\frac{d^q k}{(2\pi)^q} \,e^{-i\omega t+i\mathbf k\cdot\mathbf x}F(\omega,\mathbf k),

so that

tiω,iiki.\partial_t\to -i\omega, \qquad \partial_i\to ik_i.

The retarded correlator is analytic in the upper half complex ω\omega-plane. Its singularities in the lower half-plane are relaxation modes. In a holographic black-brane background these singularities are quasinormal modes.

For a Hermitian bosonic operator OO, define the spectral density by

ρOO(ω,k)=2ImGOOR(ω,k).\rho_{OO}(\omega,\mathbf k) = -2\operatorname{Im}G^R_{OO}(\omega,\mathbf k).

With this convention, positivity of spectral weight gives ρOO(ω,k)0\rho_{OO}(\omega,\mathbf k)\ge 0 for ω>0\omega>0 for standard positive-norm observables. The imaginary part of the retarded correlator measures absorption. In the bulk, absorption is literally absorption by the horizon.

The fluctuation-dissipation theorem relates this dissipative part to equilibrium fluctuations. If

GOO>(t)=O(t)O(0)β,GOO<(t)=O(0)O(t)β,G^{>}_{OO}(t)=\langle O(t)O(0)\rangle_\beta, \qquad G^{<}_{OO}(t)=\langle O(0)O(t)\rangle_\beta,

then the KMS condition implies

GOO>(ω)=eβωGOO<(ω),G^{>}_{OO}(\omega) =e^{\beta\omega}G^{<}_{OO}(\omega),

and the symmetrized correlator is

GOOsym(ω)=12cothβω2ρOO(ω).G^{\mathrm{sym}}_{OO}(\omega) =\frac{1}{2}\coth\frac{\beta\omega}{2}\,\rho_{OO}(\omega).

Thus the same low-frequency spectral density that controls dissipation also controls thermal noise. This is why transport is not merely a classical hydrodynamic idea; it is encoded in real-time quantum correlation functions.

A transport coefficient is not just any coefficient in a low-frequency expansion. It is a parameter in the constitutive relations of the long-wavelength effective theory.

For a conserved U(1)U(1) current, the conservation law is

μJμ=0.\partial_\mu J^\mu=0.

In the local rest frame of an isotropic medium, the first-order constitutive relation contains

Ji=Din+σEi+,J^i=-D\partial_i n+\sigma E_i+\cdots,

where n=Jtn=J^t is the charge density, DD is the diffusion constant, σ\sigma is the conductivity, and EiE_i is an external electric field. The susceptibility is

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

For a neutral relativistic fluid, the stress tensor in the Landau frame begins as

Tμν=(ϵ+p)uμuν+pημνησμνζPμνλuλ+,T^{\mu\nu} =(\epsilon+p)u^\mu u^\nu+p\eta^{\mu\nu} -\eta\,\sigma^{\mu\nu} -\zeta\,P^{\mu\nu}\partial_\lambda u^\lambda+\cdots,

where

Pμν=ημν+uμuνP^{\mu\nu}=\eta^{\mu\nu}+u^\mu u^\nu

projects transverse to the fluid velocity, and

σμν=PμαPνβ(αuβ+βuα2qηαβλuλ)\sigma^{\mu\nu} =P^{\mu\alpha}P^{\nu\beta} \left( \partial_\alpha u_\beta+ \partial_\beta u_\alpha -\frac{2}{q}\eta_{\alpha\beta}\partial_\lambda u^\lambda \right)

is the shear tensor. The coefficients η\eta and ζ\zeta are the shear and bulk viscosities.

For a conformal plasma,

Tμμ=0,ϵ=qp,ζ=0,T^\mu{}_{\mu}=0, \qquad \epsilon=qp, \qquad \zeta=0,

up to conformal anomalies on curved backgrounds and contact terms. Thermal N=4\mathcal N=4 SYM on flat space is the canonical example.

Kubo formulas for conductivity and viscosity

Section titled “Kubo formulas for conductivity and viscosity”

Kubo formulas extract transport coefficients from retarded correlators at zero spatial momentum. The most commonly used formulas are the following.

CoefficientSourceRetarded correlatorKubo formula
Electric conductivityAx(0)A_x^{(0)}GJxJxRG^R_{J_xJ_x}σ=limω01ωImGJxJxR(ω,0)\displaystyle \sigma=-\lim_{\omega\to0}\frac{1}{\omega}\operatorname{Im}G^R_{J_xJ_x}(\omega,\mathbf 0)
Shear viscosityhxy(0)h_{xy}^{(0)}GTxyTxyRG^R_{T^{xy}T^{xy}}η=limω01ωImGTxyTxyR(ω,0)\displaystyle \eta=-\lim_{\omega\to0}\frac{1}{\omega}\operatorname{Im}G^R_{T^{xy}T^{xy}}(\omega,\mathbf 0)
Bulk viscosityspatial trace hiih_i{}^iGTiiTjjRG^R_{T^i{}_iT^j{}_j}ζ=1q2limω01ωImGTiiTjjR(ω,0)\displaystyle \zeta=-\frac{1}{q^2}\lim_{\omega\to0}\frac{1}{\omega}\operatorname{Im}G^R_{T^i{}_iT^j{}_j}(\omega,\mathbf 0)
Charge diffusionchemical potential δμ\delta\mupole of GnnRG^R_{nn}D=σχ\displaystyle D=\frac{\sigma}{\chi}
Shear diffusionmetric source hty(0)h_{ty}^{(0)} or hxy(0)h_{xy}^{(0)}pole in transverse stress channelDη=ηϵ+p\displaystyle D_\eta=\frac{\eta}{\epsilon+p}

The repeated spatial indices in the bulk-viscosity formula are summed. The formula is schematic because, in practice, one must use a gauge-invariant trace channel with the correct subtraction of equilibrium pressure and contact terms. For conformal theories in flat space the answer is simply ζ=0\zeta=0.

The shear and conductivity formulas have a useful equivalent statement. At small frequency and zero spatial momentum,

GTxyTxyR(ω,0)=Pxyiηω+O(ω2),G^R_{T^{xy}T^{xy}}(\omega,\mathbf 0) =P_{xy}-i\eta\omega+O(\omega^2),

and

GJxJxR(ω,0)=Cxxiσω+O(ω2),G^R_{J_xJ_x}(\omega,\mathbf 0) =C_{xx}-i\sigma\omega+O(\omega^2),

where PxyP_{xy} and CxxC_{xx} are real analytic terms, often including contact terms. The transport coefficient is the slope of the dissipative imaginary part.

This is a recurring source of mistakes. The real part of GRG^R at small ω\omega can be shifted by local counterterms or thermodynamic contact terms. The dissipative slope is much more robust.

Diffusion as a pole, not just a coefficient

Section titled “Diffusion as a pole, not just a coefficient”

Conductivity is a zero-momentum Kubo coefficient. Diffusion is more naturally seen as a pole at small but nonzero momentum.

Turn on a small chemical-potential source δμ(ω,k)\delta\mu(\omega,\mathbf k). The constitutive relation

Ji=Din+σEi,Ei=iδμ,J^i=-D\partial_i n+\sigma E_i, \qquad E_i=-\partial_i\delta\mu,

together with charge conservation gives

tδnD2δn=σ2δμ.\partial_t\delta n-D\nabla^2\delta n = \sigma\nabla^2\delta\mu.

In Fourier space,

(iω+Dk2)δn=σk2δμ.\left(-i\omega+Dk^2\right)\delta n = \sigma k^2\delta\mu.

Using the Einstein relation σ=Dχ\sigma=D\chi, the density-density retarded correlator takes the hydrodynamic form

GnnR(ω,k)=χDk2Dk2iω+analytic terms.G^R_{nn}(\omega,k) = \chi\frac{Dk^2}{Dk^2-i\omega} + \text{analytic terms}.

The pole is

ω=iDk2+O(k4).\omega=-iDk^2+O(k^4).

This pole is the signature of a conserved density that relaxes only by spreading. In a holographic black brane, the same pole appears as the lowest quasinormal mode in the charge diffusion channel.

There is an important order-of-limits lesson here:

limω0limk0GnnR(ω,k)=0,\lim_{\omega\to0}\lim_{k\to0}G^R_{nn}(\omega,k)=0,

but

limk0limω0GnnR(ω,k)=χ.\lim_{k\to0}\lim_{\omega\to0}G^R_{nn}(\omega,k)=\chi.

The first limit asks for the homogeneous response at finite frequency; a exactly conserved total charge cannot change. The second asks for the static response to a chemical potential; it gives the susceptibility. Hydrodynamics is full of such noncommuting limits.

Momentum conservation produces hydrodynamic poles in stress-tensor correlators. Consider a transverse momentum perturbation with momentum along xx and velocity along yy. Linearized hydrodynamics gives

tTtyDηx2Tty=0,\partial_t T^{ty}-D_\eta\partial_x^2T^{ty}=0,

where

Dη=ηϵ+p.D_\eta=\frac{\eta}{\epsilon+p}.

At zero chemical potential, ϵ+p=sT\epsilon+p=sT, so

Dη=ηsT.D_\eta=\frac{\eta}{sT}.

This is why the famous holographic result η/s=1/(4π)\eta/s=1/(4\pi) also immediately gives a shear diffusion constant

Dη=14πTD_\eta=\frac{1}{4\pi T}

for a neutral plasma described by two-derivative Einstein gravity.

The longitudinal stress channel contains sound modes,

ω=±cskiΓsk2+O(k3),\omega=\pm c_s k-i\Gamma_s k^2+O(k^3),

where csc_s is the speed of sound. For a conformal fluid in qq spatial dimensions,

cs2=1q.c_s^2=\frac{1}{q}.

For a neutral relativistic fluid, the attenuation constant is

Γs=12(ϵ+p)(ζ+2q1qη).\Gamma_s = \frac{1}{2(\epsilon+p)} \left( \zeta+ 2\frac{q-1}{q}\eta \right).

In conformal holographic plasmas, ζ=0\zeta=0, so sound attenuation is controlled by η\eta.

The metric source and stress-tensor normalization

Section titled “The metric source and stress-tensor normalization”

The stress tensor is sourced by the boundary metric. In a QFT on a background metric gμν(0)g_{\mu\nu}^{(0)}, define

Tμν=2g(0)δSQFTδgμν(0).\langle T^{\mu\nu}\rangle =\frac{2}{\sqrt{-g^{(0)}}}\frac{\delta S_{\mathrm{QFT}}}{\delta g_{\mu\nu}^{(0)}}.

For a small perturbation around flat space,

gμν(0)=ημν+hμν(0),g_{\mu\nu}^{(0)}=\eta_{\mu\nu}+h_{\mu\nu}^{(0)},

the source term is schematically

δSQFT=12ddxhμν(0)Tμν.\delta S_{\mathrm{QFT}} =\frac{1}{2}\int d^d x\,h_{\mu\nu}^{(0)}T^{\mu\nu}.

That factor of 1/21/2 is easy to lose. If one differentiates the holographic on-shell action with respect to hxy(0)h_{xy}^{(0)}, the normalization of the resulting two-point function must match the normalization of the stress tensor in the Kubo formula.

For shear viscosity one uses the tensor perturbation hxyh_{xy} at zero spatial momentum. In isotropic backgrounds this channel often decouples from all other fluctuations and behaves like a minimally coupled massless scalar. That simplification is the technical reason the holographic computation of η/s\eta/s is so elegant.

For a bulk field ϕ(r;ω,k)\phi(r;\omega,\mathbf k) dual to an operator OO, the near-boundary expansion has the schematic form

ϕ(r;ω,k)=ϕ(0)(ω,k)++ϕ(vev)(ω,k)rΔ+,\phi(r;\omega,\mathbf k) =\phi^{(0)}(\omega,\mathbf k) +\cdots+ \phi^{(\mathrm{vev})}(\omega,\mathbf k)r^{-\Delta}+\cdots,

where the precise powers depend on the radial coordinate and on the operator dimension. The source is the leading boundary datum ϕ(0)\phi^{(0)}.

For a black-brane background, the retarded correlator is obtained by imposing:

  1. fixed source at the AdS boundary,
  2. infalling regularity at the future horizon,
  3. holographic renormalization of the radial canonical momentum.

Let Πren\Pi_{\mathrm{ren}} be the renormalized canonical momentum conjugate to ϕ\phi. Then, for a decoupled linear fluctuation,

GOOR(ω,k)=limrΠren(r;ω,k)ϕ(r;ω,k)G^R_{OO}(\omega,\mathbf k) = \lim_{r\to\infty} \frac{\Pi_{\mathrm{ren}}(r;\omega,\mathbf k)}{\phi(r;\omega,\mathbf k)}

up to source-normalization factors and possible signs fixed by the precise action convention. The Kubo formula then takes the low-frequency limit of this object.

For example, the conductivity follows from a Maxwell fluctuation ax(r)eiωta_x(r)e^{-i\omega t}:

σ=limω01ωImGJxJxR(ω,0).\sigma =-\lim_{\omega\to0}\frac{1}{\omega} \operatorname{Im}G^R_{J_xJ_x}(\omega,\mathbf 0).

The shear viscosity follows from the metric perturbation hxy(r)eiωth_{xy}(r)e^{-i\omega t}:

η=limω01ωImGTxyTxyR(ω,0).\eta =-\lim_{\omega\to0}\frac{1}{\omega} \operatorname{Im}G^R_{T^{xy}T^{xy}}(\omega,\mathbf 0).

At small ω\omega, the imaginary part comes from horizon absorption. This is the physical reason black-hole horizons behave like dissipative media from the boundary perspective.

Thermal Euclidean correlators are defined at discrete Matsubara frequencies,

ωn=2πnT\omega_n=2\pi nT

for bosonic operators. For appropriate analytic functions one has the continuation rule

GE(ωn,k)=GR(iωn,k),ωn>0.G_E(\omega_n,\mathbf k)=G^R(i\omega_n,\mathbf k), \qquad \omega_n>0.

But transport coefficients require the slope at real ω=0\omega=0. Analytic continuation from Euclidean data is a delicate inverse problem. This is one of the practical strengths of Lorentzian holography: the infalling boundary condition directly computes GR(ω,k)G^R(\omega,\mathbf k) on the real-frequency axis.

The price is that one must be more careful about boundary conditions. Euclidean regularity at a smooth tip is not the same statement as Lorentzian infalling regularity at a future horizon, although they are related by analytic continuation for equilibrium retarded functions.

Momentum conservation and infinite DC conductivity

Section titled “Momentum conservation and infinite DC conductivity”

A subtle point appears at finite charge density. If translations are exact, the electric current overlaps with the conserved momentum. A homogeneous electric field accelerates the whole plasma, so the DC conductivity contains a delta function:

Reσ(ω)πKδ(ω),\operatorname{Re}\sigma(\omega) \supset \pi K\delta(\omega),

with a corresponding pole in the imaginary part,

Imσ(ω)Kω.\operatorname{Im}\sigma(\omega) \sim \frac{K}{\omega}.

Therefore the simple finite number called σDC\sigma_{\mathrm{DC}} exists only after specifying the situation: zero density, no overlap with momentum, explicit momentum relaxation, probe limit, lattice, disorder, axions, massive-gravity-like models, or the incoherent conductivity that removes the momentum drag contribution.

This is not a nuisance; it is physics. In a perfectly translationally invariant charged plasma, charge transport is tied to momentum transport. Later, in the finite-density module, this point becomes central to strange-metal holography.

Transport coefficients that multiply entropy-producing terms are nonnegative in ordinary unitary thermal systems:

σ0,η0,ζ0.\sigma\ge0, \qquad \eta\ge0, \qquad \zeta\ge0.

In field theory this follows from spectral positivity and the fluctuation-dissipation theorem. In hydrodynamics it is required by local entropy production. In two-derivative holographic gravity it is reflected in the fact that horizons absorb positive flux.

This is one of the pleasant conceptual loops in holography:

unitarity and KMSpositive spectral weighthorizon absorptionpositive transport.\text{unitarity and KMS} \quad\longleftrightarrow\quad \text{positive spectral weight} \quad\longleftrightarrow\quad \text{horizon absorption} \quad\longleftrightarrow\quad \text{positive transport}.

Mistake 1: using Euclidean correlators directly. Transport coefficients are extracted from retarded correlators. Euclidean correlators are useful, but a Kubo formula is a real-time statement.

Mistake 2: ignoring contact terms. Analytic real terms in GRG^R can shift under counterterms. The dissipative slope of ImGR\operatorname{Im}G^R is the robust part in the basic viscosity and conductivity formulas.

Mistake 3: taking limits in the wrong order. Hydrodynamic correlators have noncommuting ω0\omega\to0 and k0k\to0 limits. Conductivity, susceptibility, and diffusion probe different limits.

Mistake 4: forgetting source normalization. The metric source has a factor of 1/21/2 in δS=(1/2)hμνTμν\delta S=(1/2)\int h_{\mu\nu}T^{\mu\nu}. Gauge-field, scalar, and metric perturbations all have their own normalizations.

Mistake 5: calling every low-frequency pole hydrodynamic. Hydrodynamic modes are tied to conserved quantities or spontaneously broken symmetries. Generic quasinormal modes are relaxation modes, not hydrodynamic modes.

Mistake 6: assuming finite DC conductivity at finite density. With exact translations and finite charge density, momentum conservation usually produces an infinite DC response.

Exercise 1: Derive the retarded response formula

Section titled “Exercise 1: Derive the retarded response formula”

Let

HJ(t)=H0+dqxJB(t,x)OB(t,x).H_J(t)=H_0+\int d^q x\,J_B(t,\mathbf x)O_B(t,\mathbf x).

Working to first order in JBJ_B, show that the change in OA(t,x)\langle O_A(t,\mathbf x)\rangle is governed by a commutator with support only inside the future of the source.

Solution

In the interaction picture,

U(t,)=1itdtHJI(t)+O(J2),U(t,-\infty) =1-i\int_{-\infty}^{t}dt'\,H_J^{I}(t')+O(J^2),

where the source-dependent part is

HJI(t)=dqxJB(t,x)OB(t,x).H_J^{I}(t')=\int d^q x'\,J_B(t',\mathbf x')O_B(t',\mathbf x').

The first-order change in the expectation value is

δOA(t,x)=itdt[HJI(t),OA(t,x)]β.\delta\langle O_A(t,\mathbf x)\rangle =i\int_{-\infty}^{t}dt'\, \left\langle \left[H_J^{I}(t'),O_A(t,\mathbf x)\right] \right\rangle_\beta.

Substituting the source gives

δOA(t,x)=itdtdqxJB(t,x)[OB(t,x),OA(t,x)]β.\delta\langle O_A(t,\mathbf x)\rangle =i\int_{-\infty}^{t}dt'd^q x'\, J_B(t',\mathbf x') \left\langle \left[O_B(t',\mathbf x'),O_A(t,\mathbf x)\right] \right\rangle_\beta.

Using antisymmetry of the commutator,

δOA(t,x)=dtdqxGABR(tt,xx)JB(t,x),\delta\langle O_A(t,\mathbf x)\rangle = \int dt'd^q x'\, G^R_{AB}(t-t',\mathbf x-\mathbf x')J_B(t',\mathbf x'),

with

GABR(tt,xx)=iθ(tt)[OA(t,x),OB(t,x)]β.G^R_{AB}(t-t',\mathbf x-\mathbf x') =-i\theta(t-t') \left\langle \left[O_A(t,\mathbf x),O_B(t',\mathbf x')\right] \right\rangle_\beta.

The step function expresses causality: the source can affect only later measurements.

Exercise 2: The diffusion pole and susceptibility

Section titled “Exercise 2: The diffusion pole and susceptibility”

Starting from

Ji=Din+σEi,Ei=iδμ,J^i=-D\partial_i n+\sigma E_i, \qquad E_i=-\partial_i\delta\mu,

and charge conservation, derive

GnnR(ω,k)=χDk2Dk2iωG^R_{nn}(\omega,k) = \chi\frac{Dk^2}{Dk^2-i\omega}

assuming σ=Dχ\sigma=D\chi.

Solution

Charge conservation is

tn+iJi=0.\partial_t n+\partial_iJ^i=0.

Linearizing around equilibrium and substituting the constitutive relation gives

tδnD2δn=σ2δμ.\partial_t\delta n-D\nabla^2\delta n =\sigma\nabla^2\delta\mu.

In Fourier space this becomes

(iω+Dk2)δn=σk2δμ.(-i\omega+Dk^2)\delta n =\sigma k^2\delta\mu.

Therefore

δnδμ=σk2Dk2iω.\frac{\delta n}{\delta\mu} =\frac{\sigma k^2}{Dk^2-i\omega}.

Using σ=Dχ\sigma=D\chi gives

GnnR(ω,k)=χDk2Dk2iω.G^R_{nn}(\omega,k) =\chi\frac{Dk^2}{Dk^2-i\omega}.

The pole is at

ω=iDk2.\omega=-iDk^2.

At ω=0\omega=0 the correlator is χ\chi, as required for a static chemical-potential response.

Exercise 3: Reading viscosity from a small-frequency expansion

Section titled “Exercise 3: Reading viscosity from a small-frequency expansion”

Suppose the retarded correlator in the shear channel has the expansion

GTxyTxyR(ω,0)=Piηω+Cω2+O(ω3),G^R_{T^{xy}T^{xy}}(\omega,\mathbf 0) =P-i\eta\omega+C\omega^2+O(\omega^3),

where PP, η\eta, and CC are real. Show that the Kubo formula extracts η\eta and not the contact terms.

Solution

Taking the imaginary part gives

ImGTxyTxyR(ω,0)=ηω+O(ω3)\operatorname{Im}G^R_{T^{xy}T^{xy}}(\omega,\mathbf 0) =-\eta\omega+O(\omega^3)

if PP and CC are real. Therefore

limω01ωImGTxyTxyR(ω,0)=η.-\lim_{\omega\to0}\frac{1}{\omega} \operatorname{Im}G^R_{T^{xy}T^{xy}}(\omega,\mathbf 0) =\eta.

The real analytic terms do not contribute to this dissipative slope. This is why the Kubo formula is insensitive to many local counterterm ambiguities.

Exercise 4: Noncommuting limits of the diffusion correlator

Section titled “Exercise 4: Noncommuting limits of the diffusion correlator”

Using

GnnR(ω,k)=χDk2Dk2iω,G^R_{nn}(\omega,k) = \chi\frac{Dk^2}{Dk^2-i\omega},

compute

limω0limk0GnnR(ω,k)\lim_{\omega\to0}\lim_{k\to0}G^R_{nn}(\omega,k)

and

limk0limω0GnnR(ω,k).\lim_{k\to0}\lim_{\omega\to0}G^R_{nn}(\omega,k).

Explain the physical difference.

Solution

First take k0k\to0 at fixed nonzero ω\omega:

GnnR(ω,k)o0.G^R_{nn}(\omega,k) o 0.

Then ω0\omega\to0 gives

limω0limk0GnnR(ω,k)=0.\lim_{\omega\to0}\lim_{k\to0}G^R_{nn}(\omega,k)=0.

In the opposite order, first take ω0\omega\to0:

GnnR(0,k)=χ.G^R_{nn}(0,k)=\chi.

Then k0k\to0 gives

limk0limω0GnnR(ω,k)=χ.\lim_{k\to0}\lim_{\omega\to0}G^R_{nn}(\omega,k)=\chi.

The first limit probes a homogeneous time-dependent perturbation. Since total charge is conserved, it cannot relax by diffusion. The second probes the static response to a chemical potential and therefore gives the susceptibility.

Exercise 5: Holographic extraction of a conductivity

Section titled “Exercise 5: Holographic extraction of a conductivity”

Consider a bulk Maxwell fluctuation

Ax(r,t)=ax(r)eiωtA_x(r,t)=a_x(r)e^{-i\omega t}

in a neutral black-brane background. Near the boundary,

ax(r)=ax(0)+,a_x(r)=a_x^{(0)}+\cdots,

and let Πxren\Pi_x^{\mathrm{ren}} be the renormalized radial canonical momentum conjugate to axa_x. Write the retarded current correlator and the DC conductivity in terms of these quantities.

Solution

The boundary source for JxJ_x is ax(0)a_x^{(0)}. After imposing infalling regularity at the future horizon, the retarded correlator is obtained from the source-response ratio

GJxJxR(ω,0)=limrΠxren(r;ω)ax(r;ω),G^R_{J_xJ_x}(\omega,\mathbf 0) = \lim_{r\to\infty} \frac{\Pi_x^{\mathrm{ren}}(r;\omega)}{a_x(r;\omega)},

up to the overall normalization fixed by the Maxwell action and the current normalization.

The DC conductivity is then

σmDC=limω01ωImGJxJxR(ω,0).\sigma_{ m DC} =-\lim_{\omega\to0} \frac{1}{\omega} \operatorname{Im}G^R_{J_xJ_x}(\omega,\mathbf 0).

In many two-derivative holographic models the low-frequency flux associated with axa_x can be evaluated at the horizon, which is why DC transport often has a simple horizon formula.