Skip to content

Retarded Green Functions and Quasinormal Modes

Equilibrium thermodynamics uses only a few pieces of horizon data. The entropy is area, the temperature is surface gravity, and the free energy is the Euclidean on-shell action. Real-time physics is more demanding. To ask how a thermal state reacts to a small disturbance, we must solve a Lorentzian initial-boundary-value problem.

The central lesson is simple:

Dissipation in the boundary theory is absorption by the black-hole horizon.

More precisely, the retarded Green function of a thermal CFT operator is obtained by solving the dual bulk fluctuation equation with a prescribed source at the AdS boundary and an infalling condition at the future horizon. The poles of this retarded Green function are the quasinormal frequencies of the black brane.

Schematically,

source at boundary+infalling at horizonGR(ω,k),\text{source at boundary} +\text{infalling at horizon} \quad\Longrightarrow\quad G_R(\omega,k),

and

infalling at horizon+no source at boundaryω=ωn(k).\text{infalling at horizon} +\text{no source at boundary} \quad\Longrightarrow\quad \omega=\omega_n(k).

The same boundary value problem therefore gives both linear response and relaxation. A boundary perturbation excites a tower of damped collective modes,

δO(t,k)nRn(k)eiωn(k)t,Imωn<0,\delta\langle \mathcal O(t,\vec k)\rangle \sim \sum_n R_n(\vec k)e^{-i\omega_n(\vec k)t}, \qquad \operatorname{Im}\omega_n<0,

where the mode closest to the real axis controls the latest-time exponential decay, unless a hydrodynamic pole or a branch cut dominates.

A black-brane fluctuation with boundary source and infalling horizon condition gives a retarded Green function; imposing zero source gives quasinormal poles in the lower half complex frequency plane.

The retarded holographic problem has two ends. Near the boundary, the field has source and response coefficients A(ω,k)A(\omega,k) and B(ω,k)B(\omega,k), with GRB/AG_R\sim B/A up to local counterterms. Near the future horizon, regularity in ingoing coordinates selects the infalling wave. Quasinormal modes satisfy the same infalling condition but have A(ωn,k)=0A(\omega_n,k)=0, so they appear as poles of GRG_R in the lower half ω\omega-plane.

This page completes the finite-temperature module. Later, in the transport module, we will use exactly this technology to compute conductivities, diffusion constants, shear viscosity, sound attenuation, and hydrodynamic dispersion relations.

Retarded correlators in thermal field theory

Section titled “Retarded correlators in thermal field theory”

Let O\mathcal O be a bosonic Heisenberg operator in a thermal state

ρβ=eβHZ,Z=TreβH,β=1T.\rho_\beta={e^{-\beta H}\over Z}, \qquad Z=\operatorname{Tr} e^{-\beta H}, \qquad \beta={1\over T}.

The retarded Green function is

GR(t,x)=iθ(t)[O(t,x),O(0,0)]β.G_R(t,\vec x) = -i\theta(t) \langle[\mathcal O(t,\vec x),\mathcal O(0,\vec 0)]\rangle_\beta.

Its Fourier transform is defined by

GR(ω,k)=dtdd1xeiωtikxGR(t,x).G_R(\omega,\vec k) = \int dt\,d^{d-1}x\, e^{i\omega t-i\vec k\cdot\vec x}G_R(t,\vec x).

The step function makes GRG_R causal: it vanishes for t<0t<0. As a consequence, for a stable thermal state, GR(ω,k)G_R(\omega,\vec k) is analytic in the upper half of the complex ω\omega-plane. Singularities below the real axis encode the decay of disturbances.

The spectral density is

ρ(ω,k)=2ImGR(ω,k),\rho(\omega,\vec k) =-2\operatorname{Im}G_R(\omega,\vec k),

up to the sign convention used for Fourier transforms and operator ordering. For Hermitian bosonic operators one often chooses conventions for which ρ(ω,k)\rho(\omega,\vec k) is positive for ω>0\omega>0 in suitable channels. The exact normalization is less important than the analytic structure: poles, cuts, residues, and low-frequency slopes are physical.

A small source deformation

δSCFT=dtdd1xJ(t,x)O(t,x)\delta S_{\mathrm{CFT}} = -\int dt\,d^{d-1}x\,J(t,\vec x)\mathcal O(t,\vec x)

produces the linear response

δO(ω,k)=GR(ω,k)J(ω,k).\delta\langle\mathcal O(\omega,\vec k)\rangle = G_R(\omega,\vec k)J(\omega,\vec k).

The retarded function is therefore the object that answers the physical question: after a small perturbation, what does the plasma do?

Why Euclidean data are not enough by themselves

Section titled “Why Euclidean data are not enough by themselves”

At finite temperature, Euclidean correlators are defined on a thermal circle. Their Fourier frequencies are discrete Matsubara values,

ωn=2πnTfor bosons,ωn=(2n+1)πTfor fermions.\omega_n=2\pi nT \quad\text{for bosons}, \qquad \omega_n=(2n+1)\pi T \quad\text{for fermions}.

The retarded correlator is related to Euclidean data by analytic continuation, but this statement hides a real difficulty. Knowing a function only at discrete Matsubara frequencies is not the same as knowing its analytic continuation. In a holographic computation, Lorentzian signature gives a direct prescription: solve the bulk equations at complex ω\omega with the correct horizon condition.

The practical rule is:

Desired boundary objectBulk prescription
Euclidean thermal correlatorsmooth Euclidean field on the Euclidean black hole
retarded correlator GRG_RLorentzian solution infalling at the future horizon
advanced correlator GAG_ALorentzian solution outgoing at the future horizon
quasinormal frequencyinfalling at horizon and source-free at boundary
normal mode of thermal AdSregular in the interior and normalizable at boundary

The difference between a Euclidean regularity condition and a Lorentzian infalling condition is not cosmetic. It is the difference between equilibrium data and causal response.

Consider a scalar field Φ\Phi of mass mm in the planar AdSd+1_{d+1} black-brane geometry

ds2=L2z2[f(z)dt2+dx2+dz2f(z)],f(z)=1(zzh)d.ds^2 = {L^2\over z^2} \left[ -f(z)dt^2+d\vec x^{\,2}+{dz^2\over f(z)} \right], \qquad f(z)=1-\left({z\over z_h}\right)^d.

The boundary is at z=0z=0, the horizon is at z=zhz=z_h, and

T=d4πzh.T={d\over4\pi z_h}.

Take a Fourier mode

Φ(t,x,z)=eiωt+ikxϕω,k(z).\Phi(t,\vec x,z) =e^{-i\omega t+i\vec k\cdot\vec x}\phi_{\omega,\vec k}(z).

The Klein-Gordon equation is

1gz(ggzzzϕ)(gttω2+gijkikj+m2)ϕ=0.{1\over\sqrt{-g}}\partial_z \left(\sqrt{-g}\,g^{zz}\partial_z\phi\right) - \left(g^{tt}\omega^2+g^{ij}k_i k_j+m^2\right)\phi =0.

This is a second-order radial equation. The holographic computation of GRG_R is a boundary value problem with two asymptotic conditions:

  1. near z=0z=0, specify the non-normalizable coefficient, interpreted as the boundary source;
  2. near z=zhz=z_h, impose infalling behavior, interpreted as absorption into the future horizon.

Near the AdS boundary, the scalar behaves as

ϕ(z)=A(ω,k)zdΔ(1+)+B(ω,k)zΔ(1+),\phi(z) = A(\omega,k)z^{d-\Delta}\left(1+\cdots\right) + B(\omega,k)z^{\Delta}\left(1+\cdots\right),

where

Δ(Δd)=m2L2.\Delta(\Delta-d)=m^2L^2.

For standard quantization, AA is the source and BB is proportional to the expectation value. With a conventional bulk normalization,

GR(ω,k)=NΔB(ω,k)A(ω,k)+Glocal(ω,k),G_R(\omega,k) = \mathcal N_\Delta{B(\omega,k)\over A(\omega,k)} +G_{\mathrm{local}}(\omega,k),

where

NΔ2Δd\mathcal N_\Delta\propto 2\Delta-d

and GlocalG_{\mathrm{local}} denotes contact terms fixed by counterterms and scheme choices. The ratio B/AB/A is the important nonlocal part.

The horizon condition is easiest to derive using the tortoise coordinate. Near the horizon,

f(z)4πT(zhz),f(z) \simeq 4\pi T(z_h-z),

up to a positive constant depending on the precise radial coordinate convention. Define rr_* by

dr=dzf(z).dr_*=-{dz\over f(z)}.

The minus sign is convenient because the coordinate zz increases inward. As zzhz\to z_h, one then has rr_*\to -\infty, as in the usual Schwarzschild radial coordinate. The wave equation locally becomes

(r2+ω2)ϕ0,\left(\partial_{r_*}^2+\omega^2\right)\phi\simeq0,

so

Φeiωte±iωr.\Phi\sim e^{-i\omega t}e^{\pm i\omega r_*}.

Introduce the ingoing Eddington-Finkelstein coordinate

v=t+r.v=t+r_*.

The mode

eiω(t+r)=eiωve^{-i\omega(t+r_*)}=e^{-i\omega v}

is regular on the future horizon. This is the infalling solution. In Schwarzschild time coordinates, it appears as

ϕ(z)(1zzh)iω/(4πT).\phi(z) \sim \left(1-{z\over z_h}\right)^{-i\omega/(4\pi T)}.

The outgoing solution behaves as

ϕ(z)(1zzh)+iω/(4πT).\phi(z) \sim \left(1-{z\over z_h}\right)^{+i\omega/(4\pi T)}.

The outgoing solution is regular on a past horizon, not on the future horizon. It computes the advanced correlator rather than the retarded correlator. This is one of the most common places to lose a sign.

There is also a cleaner modern phrasing: use ingoing Eddington-Finkelstein coordinates from the start. Then the retarded solution is simply the solution that is regular at the future horizon.

The ratio B/AB/A is the simplest way to state the scalar result, but the variational formula is more general and more robust.

For a quadratic bulk action

S2=12dd+1xg(gMNMΦNΦ+m2Φ2),S_2 =-{1\over2}\int d^{d+1}x\sqrt{-g} \left(g^{MN}\partial_M\Phi\partial_N\Phi+m^2\Phi^2\right),

the radial canonical momentum is

Π(z;ω,k)=δS2δ(zΦ)=ggzzzΦ.\Pi(z;\omega,k) ={\delta S_2\over\delta(\partial_z\Phi)} =-\sqrt{-g}\,g^{zz}\partial_z\Phi.

After solving the equation of motion, the on-shell action reduces to a boundary term,

S2os=12dωdd1k(2π)dΦ(ω,k,z)Π(ω,k,z)z=ϵz=zh.S_2^{\mathrm{os}} ={1\over2}\int{d\omega\,d^{d-1}k\over(2\pi)^d} \Phi(-\omega,-\vec k,z)\Pi(\omega,\vec k,z)\bigg|_{z=\epsilon}^{z=z_h}.

The horizon term is handled by the causal prescription; the UV term is renormalized by adding local counterterms. The retarded Green function is then obtained from the renormalized momentum-to-field ratio,

GR(ω,k)=limz0Πren(z;ω,k)Φ(z;ω,k).G_R(\omega,k) = -\lim_{z\to0} {\Pi_{\mathrm{ren}}(z;\omega,k)\over\Phi(z;\omega,k)}.

The overall sign depends on the action and Fourier conventions. The invariant statement is that differentiating the renormalized Lorentzian on-shell action with infalling boundary conditions gives the retarded correlator.

A powerful observation, used constantly in transport computations, is that the imaginary part of the retarded correlator is related to radial flux. For a real-frequency solution, define the conserved Wronskian-like flux

FzggzzIm(ϕzϕ).\mathcal F_z \propto \sqrt{-g}\,g^{zz} \operatorname{Im}\left(\phi^*\partial_z\phi\right).

Absorption by the horizon gives a nonzero imaginary part of GRG_R. This is the bulk origin of dissipation.

A quasinormal mode is a solution of the linearized bulk equations satisfying:

infalling at the future horizon,normalizable/source-free at the AdS boundary.\text{infalling at the future horizon}, \qquad \text{normalizable/source-free at the AdS boundary}.

For the scalar expansion

ϕ(z)=A(ω,k)zdΔ+B(ω,k)zΔ+,\phi(z) = A(\omega,k)z^{d-\Delta}+B(\omega,k)z^{\Delta}+\cdots,

the source-free condition is

A(ω,k)=0.A(\omega,k)=0.

But the retarded Green function has the form

GR(ω,k)B(ω,k)A(ω,k).G_R(\omega,k) \sim {B(\omega,k)\over A(\omega,k)}.

Therefore, when A(ω,k)A(\omega,k) vanishes and B(ω,k)B(\omega,k) is nonzero, GRG_R has a pole. The quasinormal spectrum is the pole spectrum of the retarded correlator:

A(ωn,k)=0ωn(k)PolesGR(ω,k).A(\omega_n,k)=0 \quad\Longleftrightarrow\quad \omega_n(k)\in\operatorname{Poles}G_R(\omega,k).

In a stable black-brane background, these poles lie in the lower half of the complex frequency plane:

Imωn(k)<0.\operatorname{Im}\omega_n(k)<0.

The sign has a direct physical meaning. With the convention eiωte^{-i\omega t},

eiωnt=eiReωnteImωnt.e^{-i\omega_n t} = e^{-i\operatorname{Re}\omega_n t}e^{\operatorname{Im}\omega_n t}.

Thus Imωn<0\operatorname{Im}\omega_n<0 gives decay for t>0t>0.

If a pole crosses into the upper half-plane, the background is linearly unstable. In holographic superconductors, for example, a charged scalar quasinormal mode becomes unstable below the critical temperature. The instability is not a pathology of AdS/CFT; it is the bulk signal that the thermal state wants to reorganize into a new phase.

Suppose a small source perturbs the thermal state and is then turned off. The late-time response can be written by inverse Fourier transform:

δO(t,k)=dω2πeiωtGR(ω,k)J(ω,k).\delta\langle\mathcal O(t,\vec k)\rangle = \int_{-\infty}^{\infty}{d\omega\over2\pi} e^{-i\omega t}G_R(\omega,k)J(\omega,k).

For t>0t>0, one closes the contour in the lower half ω\omega-plane. If the retarded Green function is meromorphic, the answer is a sum over residues of poles:

δO(t,k)nResω=ωn[GR(ω,k)J(ω,k)]eiωnt.\delta\langle\mathcal O(t,\vec k)\rangle \sim \sum_n \operatorname{Res}_{\omega=\omega_n} \left[G_R(\omega,k)J(\omega,k)\right] e^{-i\omega_n t}.

The mode with smallest Imωn|\operatorname{Im}\omega_n| dominates the latest exponential relaxation. This is why quasinormal modes are often called the ringdown spectrum of the black brane.

There are important qualifications:

  • If the operator overlaps with a conserved density, hydrodynamic poles approach the origin as k0k\to0 and dominate long-time, long-distance response.
  • At finite NN or finite volume, exact CFT evolution is unitary and can include recurrences; the classical black-brane computation captures the large-NN, thermodynamic, coarse-grained response.
  • Beyond the classical supergravity limit, branch cuts and multiparticle effects can modify the late-time analytic structure.
  • Very late-time behavior can be sensitive to effects that are invisible in the leading NN\to\infty saddle.

The safe statement is that classical quasinormal modes describe the leading large-NN linear relaxation of strongly coupled thermal states with a black-hole dual.

Not all quasinormal modes are alike. The most important distinction is between hydrodynamic and nonhydrodynamic modes.

Hydrodynamic modes are forced by conservation laws. Their frequencies vanish as k0k\to0:

ω(k)0ask0.\omega(k)\to0 \qquad \text{as}\qquad k\to0.

Examples include charge diffusion, shear diffusion, and sound:

ChannelHydrodynamic pole
conserved charge densityω=iDk2+\omega=-iDk^2+\cdots
transverse momentum densityω=iDηk2+\omega=-iD_\eta k^2+\cdots
longitudinal energy-momentumω=±cskiΓsk2+\omega=\pm c_s k-i\Gamma_s k^2+\cdots

For a neutral conformal plasma in 3+13+1 boundary dimensions with a two-derivative Einstein gravity dual,

Dη=ηϵ+p=14πT,cs2=13,ωsound=±k3ik26πT+.D_\eta={\eta\over\epsilon+p}={1\over4\pi T}, \qquad c_s^2={1\over3}, \qquad \omega_{\mathrm{sound}} = \pm {k\over\sqrt3}-{i k^2\over6\pi T}+\cdots.

These formulas will be derived in the transport module. The point here is structural: hydrodynamic poles are quasinormal modes protected by conservation laws.

Nonhydrodynamic modes remain at complex frequencies of order the temperature when k0k\to0:

ωn(k=0)2πT×(complex number).\omega_n(k=0) \sim 2\pi T\times(\text{complex number}).

They are not captured by ordinary hydrodynamics. They encode microscopic relaxation at strong coupling. In a weakly coupled plasma one might look for quasiparticle poles near the real axis. In many classical holographic plasmas, by contrast, nonhydrodynamic poles are typically far from the real axis, reflecting rapid damping and the absence of long-lived quasiparticles.

For scalar fields, the boundary value problem is straightforward. For currents and stress tensors, one must handle gauge redundancy carefully.

A bulk gauge field AMA_M has gauge transformations

AMAM+MΛ.A_M\to A_M+\partial_M\Lambda.

Metric perturbations have infinitesimal diffeomorphism redundancy,

hMNhMN+MξN+NξM.h_{MN}\to h_{MN}+\nabla_M\xi_N+\nabla_N\xi_M.

Individual components such as htxh_{tx} or AzA_z are therefore not automatically physical. The reliable procedure is to build gauge-invariant master fields or fix a gauge and then impose the constraint equations consistently.

For a perturbation with momentum along xx, the black-brane rotational symmetry decomposes fluctuations into channels:

ChannelTypical boundary operatorsTypical physics
scalar field channelscalar operator O\mathcal Ononconserved relaxation
vector/current channelJμJ^\mucharge diffusion, conductivity
shear metric channelTtyT^{ty}, TxyT^{xy}momentum diffusion, shear viscosity
sound metric channelTttT^{tt}, TtxT^{tx}, TxxT^{xx}, trace combinationssound propagation

The radial constraint equations are the bulk versions of Ward identities. For example, gauge invariance leads to current conservation, and diffeomorphism invariance leads to stress-tensor conservation. This is why hydrodynamic modes appear in current and stress-tensor channels but not for a generic nonconserved scalar operator.

A canonical example: massless scalar in AdS5_5 black brane

Section titled “A canonical example: massless scalar in AdS5_55​ black brane”

For the AdS5_5 black brane, a convenient radial coordinate is

u=(zzh)2,f(ν)=1ν2,ν=0 boundary,ν=1 horizon.u= \left({z\over z_h}\right)^2, \qquad f(\nu)=1-\nu^2, \qquad \nu=0\ \text{boundary}, \qquad \nu=1\ \text{horizon}.

For a massless scalar, dual to an operator of dimension Δ=4\Delta=4, define

w=ω2πT,q=k2πT.\mathfrak w={\omega\over2\pi T}, \qquad \mathfrak q={k\over2\pi T}.

The radial equation takes the standard form

ϕ(ν)1+ν2νf(ν)ϕ(ν)+w2q2f(ν)νf(ν)2ϕ(ν)=0,\phi''(\nu) - {1+\nu^2\over\nu f(\nu)}\phi'(\nu) + {\mathfrak w^2-\mathfrak q^2 f(\nu)\over \nu f(\nu)^2}\phi(\nu)=0,

where primes denote derivatives with respect to ν\nu. The infalling behavior at ν=1\nu=1 is

ϕ(ν)=(1ν)iw/2F(ν),\phi(\nu) = (1-\nu)^{-i\mathfrak w/2}F(\nu),

with F(ν)F(\nu) regular at ν=1\nu=1. Near the boundary,

ϕ(ν)=A(ω,k)(1+)+B(ω,k)ν2(1+)+logarithmic terms.\phi(\nu) =A(\omega,k) \left(1+\cdots\right) + B(\omega,k)\nu^2 \left(1+\cdots\right) +\text{logarithmic terms}.

The logarithmic terms occur because Δd=0\Delta-d=0 for a massless scalar in AdS5_5; they contribute local contact terms. The nonlocal retarded correlator is still read from the ratio B/AB/A after holographic renormalization.

The numerical computation is conceptually simple:

  1. factor out the infalling behavior;
  2. impose regularity of F(ν)F(\nu) at ν=1\nu=1;
  3. integrate to the boundary;
  4. extract A(ω,k)A(\omega,k) and B(ω,k)B(\omega,k);
  5. compute GRB/AG_R\sim B/A or find zeros of AA to obtain quasinormal frequencies.

The practical computation can be done by shooting, Frobenius series, spectral collocation, or determinant methods. In serious applications, one checks convergence by increasing resolution, verifies gauge-invariant variables, and confirms that residual gauge modes are absent.

A pole of the retarded Green function near the real axis often produces a peak in the spectral density. But a peak is not the same thing as a pole, and absence of a narrow peak does not mean absence of a mode.

Near a simple pole,

GR(ω,k)Rn(k)ωωn(k)+regular.G_R(\omega,k) \simeq {R_n(k)\over \omega-\omega_n(k)} +\text{regular}.

If

ωn=ΩniΓn,Γn>0,\omega_n=\Omega_n-i\Gamma_n, \qquad \Gamma_n>0,

then the time-domain contribution is

eiωnt=eiΩnteΓnt.e^{-i\omega_n t}=e^{-i\Omega_n t}e^{-\Gamma_n t}.

A small Γn\Gamma_n produces a long-lived excitation and a sharp spectral feature. A large Γn\Gamma_n produces rapid decay and a broad response. Strongly coupled holographic plasmas often have broad spectral functions because their excitations decay on timescales of order 1/T1/T.

For conserved currents and stress tensors, the small-frequency part of the spectral function determines transport coefficients through Kubo formulas. For example, shear viscosity is extracted from

η=limω01ωImGRTxyTxy(ω,k=0).\eta = - \lim_{\omega\to0}{1\over\omega} \operatorname{Im}G_R^{T^{xy}T^{xy}}(\omega,\vec k=0).

The next module will turn this equation into a computation.

At zero temperature in global AdS, regularity in the interior and normalizability at the boundary lead to real normal-mode frequencies. These modes correspond to stable oscillations of the CFT on the cylinder.

At finite temperature with a black-hole horizon, the boundary condition changes. The future horizon absorbs energy. The spectrum becomes complex:

ωn=ΩniΓn.\omega_n=\Omega_n-i\Gamma_n.

This is the real-time version of the difference between a box and an absorber. AdS still reflects waves at the boundary, but the black hole supplies a dissipative sink in the interior.

For thermal AdS without a horizon, there is no classical absorption and no black-hole quasinormal spectrum. For an AdS black brane, the horizon is essential. This is why the Hawking-Page transition is not merely thermodynamic; it changes the analytic structure of real-time correlators at leading order in large NN.

Quasinormal modes are extraordinarily useful, but their interpretation should be precise.

They do tell us:

  • the pole spectrum of leading large-NN retarded correlators;
  • linear relaxation times of small perturbations around a thermal state;
  • hydrodynamic dispersion relations in conserved channels;
  • stability or instability of a chosen black-hole background;
  • how horizon absorption appears as boundary dissipation.

They do not by themselves tell us:

  • the full nonlinear thermalization process;
  • finite-NN recurrence physics;
  • the complete late-time behavior when branch cuts or nonperturbative effects matter;
  • that a narrow quasiparticle exists;
  • that every broad spectral feature should be interpreted as a particle.

A mature use of holography keeps the hierarchy clear: QNMs are the correct language for linear response about a black-hole saddle.

Mistake 1: using the outgoing mode for a retarded correlator. The retarded prescription uses the future horizon, hence infalling or regular in ingoing coordinates. The outgoing condition gives the advanced correlator.

Mistake 2: confusing source-free with field-free. A quasinormal mode is not zero at the boundary in every coefficient. It has zero non-normalizable/source coefficient and generally nonzero normalizable/response coefficient.

Mistake 3: reading physical poles from gauge-dependent variables. For currents and stress tensors, use gauge-invariant combinations or impose constraints carefully.

Mistake 4: treating contact terms as relaxation physics. Local polynomial terms in ω\omega and kk can shift real parts of correlators but do not create dissipative poles.

Mistake 5: assuming Euclidean smoothness automatically gives the retarded answer. Euclidean data require analytic continuation. The Lorentzian prescription directly selects the causal Green function.

Mistake 6: overinterpreting the leading saddle. Classical black-hole QNMs are leading large-NN objects. Exact finite-NN CFT evolution is unitary.

Consider a black-brane horizon with

f(z)4πT(zhz).f(z)\simeq4\pi T(z_h-z).

Using the tortoise coordinate dr=dz/f(z)dr_*=-dz/f(z), show that an infalling scalar mode behaves as

ϕ(z)(1zzh)iω/(4πT).\phi(z)\sim\left(1-{z\over z_h}\right)^{-i\omega/(4\pi T)}.
Solution

Near the horizon,

dr=dzf(z)dz4πT(zhz).dr_*=-{dz\over f(z)} \simeq -{dz\over4\pi T(z_h-z)}.

Therefore

r14πTlog(zhz)+constant.r_* \simeq {1\over4\pi T}\log(z_h-z)+\text{constant}.

Since zhzz_h-z is proportional to 1z/zh1-z/z_h, the infalling Eddington-Finkelstein coordinate is

v=t+r.v=t+r_*.

A regular infalling wave is

Φeiωv=eiωteiωr.\Phi\sim e^{-i\omega v}=e^{-i\omega t}e^{-i\omega r_*}.

Thus the radial factor is

ϕ(z)(zhz)iω/(4πT)(1zzh)iω/(4πT).\phi(z) \sim (z_h-z)^{-i\omega/(4\pi T)} \sim \left(1-{z\over z_h}\right)^{-i\omega/(4\pi T)}.

This is exactly the exponent used in the retarded prescription. The outgoing mode has the opposite exponent.

Suppose the infalling solution near the boundary has the expansion

ϕ(z)=A(ω,k)zdΔ+B(ω,k)zΔ+.\phi(z)=A(\omega,k)z^{d-\Delta}+B(\omega,k)z^\Delta+\cdots.

Assume standard quantization and no degeneracy. Explain why A(ωn,k)=0A(\omega_n,k)=0 implies that GR(ω,k)G_R(\omega,k) has a pole at ω=ωn\omega=\omega_n.

Solution

In standard quantization, the coefficient AA is the source and BB is proportional to the response. The retarded Green function is the linear response coefficient,

GR(ω,k)B(ω,k)A(ω,k)+local terms.G_R(\omega,k) \sim {B(\omega,k)\over A(\omega,k)} +\text{local terms}.

A quasinormal mode is an infalling solution with no source at the boundary, so

A(ωn,k)=0.A(\omega_n,k)=0.

If B(ωn,k)0B(\omega_n,k)\neq0 and the zero of AA is simple, then near ωn\omega_n,

A(ω,k)A(ωn,k)(ωωn),A(\omega,k) \simeq A'(\omega_n,k)(\omega-\omega_n),

so

GR(ω,k)B(ωn,k)A(ωn,k)(ωωn).G_R(\omega,k) \sim {B(\omega_n,k) \over A'(\omega_n,k)(\omega-\omega_n)}.

This is a simple pole.

Let a retarded correlator have a pair of poles at

ω±=±ΩiΓ,Γ>0.\omega_\pm=\pm\Omega-i\Gamma, \qquad \Gamma>0.

What is the qualitative time dependence of the corresponding contribution to the response?

Solution

A pole at ω+=ΩiΓ\omega_+=\Omega-i\Gamma contributes

eiω+t=eiΩteΓt.e^{-i\omega_+t} =e^{-i\Omega t}e^{-\Gamma t}.

A pole at ω=ΩiΓ\omega_-=-\Omega-i\Gamma contributes

eiωt=e+iΩteΓt.e^{-i\omega_-t} =e^{+i\Omega t}e^{-\Gamma t}.

For a real perturbation, the two contributions combine into a damped oscillation,

δO(t)eΓtcos(Ωt+φ),\delta\langle\mathcal O(t)\rangle \sim e^{-\Gamma t}\cos(\Omega t+\varphi),

where φ\varphi depends on the residues and the source. The damping time is τ=1/Γ\tau=1/\Gamma.

For a neutral conformal plasma with a two-derivative Einstein gravity dual in 3+13+1 boundary dimensions, use

ηs=14π,ϵ+p=sT{\eta\over s}={1\over4\pi}, \qquad \epsilon+p=sT

to show that the shear diffusion constant is

Dη=14πT.D_\eta={1\over4\pi T}.
Solution

The shear diffusion constant is

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

For a thermal state with no chemical potential,

ϵ+p=sT.\epsilon+p=sT.

Therefore

Dη=ηsT=1Tηs=14πT.D_\eta ={\eta\over sT} ={1\over T}{\eta\over s} ={1\over4\pi T}.

The corresponding hydrodynamic quasinormal mode is

ω=iDηk2+=ik24πT+.\omega=-iD_\eta k^2+\cdots =-i{k^2\over4\pi T}+\cdots.

Exercise 5: Normal modes versus quasinormal modes

Section titled “Exercise 5: Normal modes versus quasinormal modes”

Explain why a scalar field in global thermal AdS has real normal-mode frequencies at leading classical order, while a scalar field on an AdS black-brane background has complex quasinormal frequencies.

Solution

In global thermal AdS there is no horizon. The radial problem is like a reflecting box: impose regularity in the interior and normalizability at the boundary. The resulting linear operator has a self-adjoint structure under suitable boundary conditions, so the frequencies are real. The dual CFT on the cylinder has stable oscillatory modes at leading large NN.

In an AdS black-brane background there is a future horizon. The retarded problem imposes infalling boundary conditions at the horizon. Energy can be absorbed by the black hole, so the boundary perturbation decays. The radial problem is not a self-adjoint normal-mode problem with reflecting conditions at both ends. The frequencies are complex,

ωn=ΩniΓn,Γn>0,\omega_n=\Omega_n-i\Gamma_n, \qquad \Gamma_n>0,

for a stable black brane.