Skip to content

Real-Time Prescription

Euclidean gravity computes equilibrium thermodynamics and Euclidean correlators. But many physical questions are real-time questions:

How does a plasma respond to a perturbation?\text{How does a plasma respond to a perturbation?} What are its transport coefficients?\text{What are its transport coefficients?} How do perturbations fall into a horizon?\text{How do perturbations fall into a horizon?} Where are the poles of GR(ω,k)?\text{Where are the poles of }G_R(\omega,\vec k)?

These questions require Lorentzian holography. The central object is the retarded Green’s function

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.

In thermal holography, the practical rule is:

retarded correlatorsolve the Lorentzian bulk equation with infalling horizon boundary conditions.\boxed{ \text{retarded correlator} \quad\longleftrightarrow\quad \text{solve the Lorentzian bulk equation with infalling horizon boundary conditions.} }

This page explains why that prescription is needed, what it computes, and how it fits into the more general real-time gauge/gravity dictionary.

A Euclidean thermal two-point function is defined at Matsubara frequencies:

ωn={2πnT,bosons,(2n+1)πT,fermions.\omega_n= \begin{cases} 2\pi n T, & \text{bosons},\\ (2n+1)\pi T, & \text{fermions}. \end{cases}

For bosonic operators, one often writes the analytic-continuation relation

GR(ω,k)=GE(iωnω+i0+,k),G_R(\omega,\vec k) = G_E(i\omega_n\to \omega+i0^+,\vec k),

when the continuation is well defined. This formula is useful, but it hides the main bulk issue. In Lorentzian signature, a second-order bulk wave equation needs both:

  1. the boundary source at the AdS boundary;
  2. an interior condition at the horizon or in the deep interior.

The interior condition chooses the real-time Green’s function. Ingoing gives retarded. Outgoing gives advanced. More general choices produce other correlators or states.

For a Hermitian operator O\mathcal O, the basic thermal real-time correlators are

GR(t)=iθ(t)[O(t),O(0)],G_R(t) = -i\theta(t)\langle[\mathcal O(t),\mathcal O(0)]\rangle, GA(t)=iθ(t)[O(t),O(0)],G_A(t) = i\theta(-t)\langle[\mathcal O(t),\mathcal O(0)]\rangle, G>(t)=O(t)O(0),G<(t)=O(0)O(t).G^>(t) = \langle\mathcal O(t)\mathcal O(0)\rangle, \qquad G^<(t) = \langle\mathcal O(0)\mathcal O(t)\rangle.

The spectral density is

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

For transport, retarded functions are especially important because linear response says

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

for a source JJ switched on causally.

In Lorentzian signature, the generating functional has the schematic saddle form

ZCFT[J]exp ⁣(iSren,L[ϕcl;J]).Z_{\rm CFT}[J] \approx \exp\!\left(iS_{{\rm ren},L}[\phi_{\rm cl};J]\right).

For a scalar field with boundary source J=ϕ(0)J=\phi_{(0)}, solve the Lorentzian bulk equation

(m2)ϕ=0(\Box-m^2)\phi=0

subject to

ϕ(z,x)zdΔϕ(0)(x)+as z0,\phi(z,x)\sim z^{d-\Delta}\phi_{(0)}(x)+\cdots \quad\text{as }z\to 0,

and an interior condition appropriate to the state and correlator.

The renormalized one-point function is extracted from the renormalized canonical momentum:

OJ=δSren,Lδϕ(0).\langle\mathcal O\rangle_J = \frac{\delta S_{{\rm ren},L}}{\delta \phi_{(0)}}.

The retarded two-point function is the linear response kernel:

GR(x,y)=δO(x)δϕ(0)(y)ϕ(0)=0,G_R(x,y) = \frac{\delta \langle\mathcal O(x)\rangle}{\delta \phi_{(0)}(y)}\bigg|_{\phi_{(0)}=0},

where the bulk solution obeys retarded interior boundary conditions.

Real-time holographic prescription

For a thermal retarded correlator, prescribe a boundary source, solve the Lorentzian bulk wave equation with infalling behavior at the horizon, renormalize the boundary canonical momentum, and differentiate the response with respect to the source. Changing the horizon condition changes the real-time correlator.

Use the planar black-brane metric

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

The horizon is at z=zhz=z_h, and

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

Near the horizon,

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

For a Fourier mode

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

the radial equation near the horizon has two independent behaviors:

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

The first is infalling; the second is outgoing.

To see this, introduce the tortoise coordinate

z=0zdzf(z)14πTlog ⁣(1zzh),z_* = \int_0^z \frac{dz'}{f(z')} \sim -\frac{1}{4\pi T}\log\!\left(1-\frac{z}{z_h}\right),

and the ingoing Eddington–Finkelstein coordinate

v=tz.v=t-z_*.

A mode regular in vv behaves as

eiωv=eiωt(1zzh)iω/(4πT).e^{-i\omega v} = e^{-i\omega t} \left(1-\frac{z}{z_h}\right)^{-i\omega/(4\pi T)}.

Thus infalling behavior is regular at the future horizon. This is the gravitational encoding of causal dissipation in the boundary theory.

For a scalar perturbation, normalize the radial solution by

ϕ(z;k)=ϕ(0)(k)F(z;k),F(z;k)zdΔnear the boundary,\phi(z;k)=\phi_{(0)}(k)\,F(z;k), \qquad F(z;k)\to z^{d-\Delta} \quad\text{near the boundary},

or, after stripping the leading source power, by F(0;k)=1F(0;k)=1. Impose infalling behavior at the future horizon.

The renormalized on-shell action has the quadratic form

Sren,L(2)=12ddk(2π)dϕ(0)(k)Fren(k)ϕ(0)(k).S_{{\rm ren},L}^{(2)} = \frac{1}{2}\int \frac{d^dk}{(2\pi)^d}\, \phi_{(0)}(-k)\,\mathcal F_{\rm ren}(k)\,\phi_{(0)}(k).

Then, up to the sign convention used for the Lorentzian action and Fourier transform,

GR(k)=Fren(k).G_R(k)=\mathcal F_{\rm ren}(k).

Equivalently, in canonical-momentum language,

GR(k)=limz0Πren(z;k)ϕ(z;k)infalling,G_R(k) = \lim_{z\to 0} \frac{\Pi_{\rm ren}(z;k)}{\phi(z;k)} \bigg|_{\rm infalling},

where

Π(z;k)=δSLδ(zϕ(k,z))\Pi(z;k) = \frac{\delta S_L}{\delta(\partial_z\phi(-k,z))}

is the radial canonical momentum. Counterterms must be included before the limit is taken.

This is the practical prescription used throughout holographic transport.

For a scalar in the planar black brane, the radial equation can be written schematically as

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

Near the boundary, this equation determines the source and response expansion:

ϕ(z;k)=zdΔϕ(0)(k)++zΔA(k)+.\phi(z;k) = z^{d-\Delta}\phi_{(0)}(k)+\cdots+z^\Delta A(k)+\cdots.

Near the horizon, it determines the infalling/outgoing exponents. A retarded correlator is obtained by connecting these two asymptotic regions through the unique infalling solution.

This “connect boundary source to horizon infalling condition” logic is the Lorentzian analogue of regularity in Euclidean AdS. The difference is that Lorentzian regularity alone is not enough; one must specify which horizon is being used and which causal Green’s function is desired.

The retarded Green’s function has poles when there is a nontrivial solution satisfying:

normalizable at the boundary,infalling at the horizon.\text{normalizable at the boundary}, \qquad \text{infalling at the horizon}.

These are precisely the quasinormal modes of the black brane. Therefore

poles of GR(ω,k)bulk quasinormal frequencies.\boxed{ \text{poles of }G_R(\omega,\vec k) \quad\longleftrightarrow\quad \text{bulk quasinormal frequencies}. }

This is why black-brane perturbations encode the relaxation spectrum of the dual thermal state. Hydrodynamic poles, diffusion, sound, and shear modes all appear this way.

For thermal equilibrium correlators, the retarded prescription is closely related to Euclidean regularity. A Euclidean solution regular at the smooth cigar tip can be analytically continued from Matsubara frequency to

iωnω+i0+.i\omega_n\to \omega+i0^+.

After this continuation, regularity at the Euclidean cap selects the infalling Lorentzian solution. This is a useful shortcut for two-point functions in equilibrium.

But this shortcut is not the whole real-time dictionary. For time-dependent sources, non-equilibrium states, time-ordered correlators, Wightman correlators, or higher-point functions, one needs a genuine Lorentzian contour prescription.

Real-time QFT is naturally formulated on a contour in complex time. For thermal correlators, a typical contour has:

  • a forward Lorentzian segment;
  • a backward Lorentzian segment;
  • an imaginary Euclidean segment of length β\beta.

The generating functional is a Schwinger–Keldysh path integral, and sources may be placed independently on different contour segments.

The holographic version fills each segment with an appropriate bulk geometry:

Lorentzian boundary segmentLorentzian bulk segment,\text{Lorentzian boundary segment} \quad\longrightarrow\quad \text{Lorentzian bulk segment}, Euclidean boundary segmentRiemannian bulk segment.\text{Euclidean boundary segment} \quad\longrightarrow\quad \text{Riemannian bulk segment}.

The segments are glued with matching conditions at the corners of the contour. This prescription keeps track of the initial state or density matrix and gives a systematic way to compute retarded, advanced, Feynman, Wightman, and higher real-time correlators.

For the simplest retarded thermal two-point function, the Schwinger–Keldysh machinery collapses to the familiar infalling-horizon rule.

Advanced, Feynman, and Wightman correlators

Section titled “Advanced, Feynman, and Wightman correlators”

Changing the prescription changes the Green’s function:

Boundary correlatorBulk condition
retarded GRG_Rinfalling at future horizon
advanced GAG_Aoutgoing at future horizon
Euclidean GEG_Eregular at Euclidean cap
Feynman GFG_Fcontour-dependent prescription
Wightman G>,G<G^>,G^<Schwinger–Keldysh / thermal contour data

For a thermal state, these correlators are related by KMS identities, but they are not all the same analytic function on the same sheet. The bulk knows this through the choice of contour and horizon data.

The near-boundary divergences are local and do not disappear in Lorentzian signature. The same counterterm logic applies:

Sren,L=limϵ0(SLzϵ+Sct,Lz=ϵ).S_{{\rm ren},L} = \lim_{\epsilon\to 0} \left( S_L^{z\ge \epsilon}+S_{{\rm ct},L}^{z=\epsilon} \right).

The finite response is extracted from the renormalized canonical momentum:

Πren=Π+Πct.\Pi_{\rm ren} = \Pi+\Pi_{\rm ct}.

For a scalar in standard quantization,

O(k)=Πren(k),\langle\mathcal O(k)\rangle = \Pi_{\rm ren}(k),

up to the normalization convention chosen for the scalar action. Differentiating with respect to the boundary source gives the retarded correlator if the bulk solution obeyed the retarded interior condition.

The imaginary part of GRG_R is especially important. It measures dissipation, absorption by the horizon, and spectral weight in the boundary theory.

Boundary real-time conceptBulk Lorentzian object
source J(ω,k)J(\omega,\vec k)non-normalizable boundary value of a bulk field
response δO\delta\langle\mathcal O\ranglerenormalized canonical momentum
retarded correlator GRG_Rinfalling horizon boundary condition
advanced correlator GAG_Aoutgoing horizon boundary condition
spectral density ρ=2ImGR\rho=-2\operatorname{Im}G_Rhorizon absorption / radial flux
relaxation polequasinormal mode
thermal density matrixEuclidean segment of real-time contour
Schwinger–Keldysh sourcessources on different boundary contour segments

The horizon is not a nuisance. It is the mechanism by which the classical bulk encodes causal response and dissipation.

“Lorentzian AdS/CFT is just the Euclidean answer with τ=it\tau=it.”

Section titled ““Lorentzian AdS/CFT is just the Euclidean answer with τ=it\tau=itτ=it.””

Sometimes analytic continuation is enough, especially for equilibrium two-point functions. But Lorentzian problems require interior boundary conditions. The continuation must know which Green’s function is being selected.

“Regularity at the horizon uniquely fixes the answer.”

Section titled ““Regularity at the horizon uniquely fixes the answer.””

In Euclidean signature, smoothness at the cap is the natural condition. In Lorentzian signature, both infalling and outgoing modes can be locally finite in appropriate coordinates. Retarded response selects infalling behavior at the future horizon.

“The infalling condition is an arbitrary absorption assumption.”

Section titled ““The infalling condition is an arbitrary absorption assumption.””

It is the bulk representation of causal boundary response. A perturbation sourced at the boundary can fall through the future horizon; a retarded Green’s function should not contain radiation emerging from a past horizon as an independent source.

Normal modes in global AdS without a horizon have real frequencies. Quasinormal modes in black-brane backgrounds usually have complex frequencies, reflecting decay in the boundary thermal state.

“Counterterms are a Euclidean-only issue.”

Section titled ““Counterterms are a Euclidean-only issue.””

No. UV divergences are near-boundary divergences. They are present in Euclidean and Lorentzian signature and are removed by the same local counterterm structure, with appropriate factors of ii in the path integral.

Using

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

show that a massless scalar mode near the horizon behaves as

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

Near the horizon, the dominant part of the radial wave equation comes from the (t,z)(t,z) part of the metric. Introduce the tortoise coordinate

z=zdzf(z).z_* = \int^z \frac{dz'}{f(z')}.

Since

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

we have

z14πTlog ⁣(1zzh).z_* \sim -\frac{1}{4\pi T}\log\!\left(1-\frac{z}{z_h}\right).

Near the horizon, the wave equation reduces to a flat two-dimensional wave equation in tt and zz_*, so the solutions are

eiωte±iωz.e^{-i\omega t}e^{\pm i\omega z_*}.

Using the logarithmic behavior of zz_* gives

eiωt(1zzh)iω/(4πT).e^{-i\omega t} \left(1-\frac{z}{z_h}\right)^{\mp i\omega/(4\pi T)}.

The sign convention depends on how one defines zz_* and the ingoing coordinate. With the convention used in this page, infalling behavior is

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

Exercise 2: Why outgoing gives the advanced correlator

Section titled “Exercise 2: Why outgoing gives the advanced correlator”

Explain why replacing infalling by outgoing boundary conditions should compute an advanced rather than retarded correlator.

Solution

The retarded correlator describes causal response: the response at time tt depends only on sources at earlier times. In the bulk, this is implemented by allowing disturbances to enter the future horizon. No independent signal is allowed to emerge from the future horizon.

The outgoing condition reverses this causal choice. It corresponds to radiation emerging from the horizon rather than being absorbed by it. This is the time-reversed condition and therefore gives the advanced response, whose support is appropriate to response before the source rather than after it.

In frequency space, retarded and advanced correlators are related by opposite i0+i0^+ prescriptions and have poles in opposite half-planes.

Why does a source-free, normalizable, infalling bulk solution imply a pole in GRG_R?

Solution

For a linear bulk equation, write the near-boundary solution schematically as

ϕ(z;k)zdΔϕ(0)(k)+zΔA(k).\phi(z;k) \sim z^{d-\Delta}\phi_{(0)}(k)+z^\Delta A(k).

The retarded Green’s function is the response divided by the source,

GR(k)A(k)ϕ(0)(k),G_R(k)\sim \frac{A(k)}{\phi_{(0)}(k)},

after holographic renormalization.

A quasinormal mode is a nonzero solution that is infalling at the horizon and normalizable at the boundary. Normalizable means

ϕ(0)(k)=0\phi_{(0)}(k)=0

while A(k)A(k) is not zero. This means the ratio A(k)/ϕ(0)(k)A(k)/\phi_{(0)}(k) is singular. Hence the corresponding frequency is a pole of GRG_R.