Skip to content

Nonequilibrium Holographic Quantum Matter

Equilibrium is a luxury. Real quantum matter is cooled through transitions, driven by fields, hit by pulses, connected to reservoirs, and asked to relax. Even the cleanest theoretical question,

H(t)=H0+time-dependent perturbation,H(t)=H_0+\text{time-dependent perturbation},

is already hard when H0H_0 describes a strongly coupled many-body system without quasiparticles. Perturbation theory has no small coupling. Kinetic theory has no long-lived particles. Euclidean methods hide the time ordering we want. Hydrodynamics is powerful, but only after local equilibration has already occurred.

This is one of the places where holography is unusually useful. A strongly coupled real-time problem in the boundary theory becomes a classical initial-boundary value problem in the bulk:

time-dependent sources and statestime-dependent geometry and matter fields.\text{time-dependent sources and states} \quad\longleftrightarrow\quad \text{time-dependent geometry and matter fields}.

The geometric picture is simple enough to say in one line: driving the boundary theory sends energy and charge into the bulk; if enough energy is injected, a black brane forms or changes; late-time relaxation is governed by the quasinormal modes and hydrodynamic modes of the final black brane. The calculations are not always easy, but the conceptual structure is clean.

A boundary quench represented as infalling bulk matter and black-brane ringdown

A schematic real-time holographic quench. A boundary source pulse λ(t)\lambda(t) injects energy, producing an infalling bulk shell or scalar pulse. After nonlinear collapse, the late geometry is a black brane. Different observables relax on different schedules: local one-point functions often ring down through quasinormal modes, hydrodynamic variables relax through conserved-density modes, and nonlocal probes such as HRT surfaces can equilibrate later because they reach deeper into the bulk.

The punchline of this page is not that holography magically solves every nonequilibrium problem. It gives a controlled large-NN, strong-coupling laboratory for problems that are otherwise almost inaccessible: rapid quenches, hydrodynamization, entanglement growth, defect formation, vortex dynamics, steady heat flow, and driven dissipation. The price is also clear: classical gravity is a large-NN mean-field description with suppressed fluctuations and a very efficient horizon bath.

Let the boundary theory live in d=ds+1d=d_s+1 spacetime dimensions, where dsd_s is the number of spatial dimensions. A homogeneous scalar drive can be written as

H(t)=H0+λ(t)ddsxO(t,x).H(t)=H_0+\lambda(t) \int d^{d_s}x\,\mathcal O(t,\vec x).

With this sign convention, the work done per unit volume is

dεdt=λ˙(t)O(t).\frac{d\varepsilon}{dt} = \dot\lambda(t)\,\langle \mathcal O(t)\rangle.

This equation is a Ward identity in disguise. It says that energy is conserved only when the Hamiltonian is time independent. The operator expectation value O\langle \mathcal O\rangle is not a passive response: in a strongly coupled system it is determined by the full real-time state.

The bulk dual is a scalar field Φ\Phi with a prescribed near-boundary behavior. In standard quantization,

Φ(z,t,x)=zdΔ[λ(t,x)+]+zΔ[A(t,x)+],\Phi(z,t,\vec x) = z^{d-\Delta}\left[\lambda(t,\vec x)+\cdots\right] + z^{\Delta}\left[\mathcal A(t,\vec x)+\cdots\right],

where Δ\Delta is the dimension of O\mathcal O. The leading coefficient is the source; the normalizable coefficient gives the response,

O=(2Δd)A+local counterterm contributions,\langle \mathcal O\rangle = (2\Delta-d)\,\mathcal A+\text{local counterterm contributions},

up to conventional normalizations. The source is boundary data for the bulk PDE. The response is read off after solving the bulk dynamics.

A metric source works similarly. A time-dependent boundary metric gμν(0)(t,x)g_{\mu\nu}^{(0)}(t,\vec x) sources the stress tensor. A boundary gauge field aμ(t,x)a_\mu(t,\vec x) sources a conserved current JμJ^\mu. The general real-time problem therefore has the structure

{λ(t,x), gμν(0)(t,x), aμ(t,x),}{O,Tμν,Jμ,}.\left\{ \lambda(t,\vec x),\ g_{\mu\nu}^{(0)}(t,\vec x),\ a_\mu(t,\vec x),\ldots \right\} \quad\Rightarrow\quad \left\{ \langle \mathcal O\rangle, \langle T^{\mu\nu}\rangle, \langle J^\mu\rangle, \ldots \right\}.

In equilibrium we often solve ordinary differential equations in the radial coordinate. In a nonequilibrium homogeneous quench, we solve PDEs in (t,z)(t,z). In an inhomogeneous quench or vortex problem, we solve PDEs in (t,z,x)(t,z,\vec x). This is why the subject quickly becomes numerical.

Infalling coordinates and why horizons are friendly

Section titled “Infalling coordinates and why horizons are friendly”

For real-time evolution, the most convenient bulk coordinates are usually ingoing Eddington—Finkelstein coordinates. The reason is practical and physical. Infalling coordinates are regular at a future horizon, so the classical equations can evolve through horizon formation without constantly fighting coordinate singularities.

For a homogeneous neutral quench into a planar black brane, a useful toy model is the Vaidya-AdS metric,

ds2=L2z2[f(v,z)dv22dvdz+dx2],ds^2 = \frac{L^2}{z^2} \left[ -f(v,z)dv^2-2\,dv\,dz+d\vec x^{\,2} \right],

with

f(v,z)=1m(v)zd.f(v,z)=1-m(v)z^d.

Here z=0z=0 is the boundary and increasing zz moves into the bulk. If m(v)=0m(v)=0, the geometry is pure Poincare AdS. If m(v)=mfm(v)=m_f is constant, the geometry is a planar AdS black brane with horizon

zh=mf1/d.z_h=m_f^{-1/d}.

The final temperature and entropy density are

Tf=d4πzh,sf=14GN(d+1)(Lzh)ds.T_f=\frac{d}{4\pi z_h}, \qquad s_f= \frac{1}{4G_N^{(d+1)}} \left(\frac{L}{z_h}\right)^{d_s}.

The function m(v)m(v) encodes the infalling energy. A sharp quench is modeled by

m(v)=mfΘ(v),m(v)=m_f\Theta(v),

while a smooth quench might use

m(v)=mf2[1+tanh(vvs)].m(v)=\frac{m_f}{2}\left[1+\tanh\left(\frac{v}{v_s}\right)\right].

The matter supporting this geometry has Tvvmatterm(v)T_{vv}^{\rm matter}\propto m'(v), so the null energy condition requires

m(v)0.m'(v)\ge 0.

That is exactly what we expect for an infalling positive-energy shell.

This model is not the most general holographic quench. It is a clean geometric caricature of a homogeneous injection of energy. Its virtue is that it separates the main physics from the technical details: a boundary pulse becomes an infalling shell, and the late state is a black brane.

A time-dependent geometry contains two horizon notions that are easy to confuse.

The event horizon is globally defined. One must know the entire future spacetime to determine which null rays escape to the boundary and which do not. This makes the event horizon conceptually important but numerically teleological.

The apparent horizon or, more generally, a marginally trapped surface, is quasi-local on a time slice. It is often the more useful object in numerical time evolution. Its area gives a natural local measure of entropy production in the classical bulk evolution.

In equilibrium the distinction disappears. In a quench, it matters. The event horizon can start growing before the boundary source has visibly injected energy, because its definition knows the future. The apparent horizon forms when trapped surfaces appear in the chosen slicing.

“Thermalization” is a word with too many jobs. In holographic quantum matter, it is better to split it into several sharper notions.

A one-point function equilibrates when quantities such as Tμν\langle T^{\mu\nu}\rangle, Jμ\langle J^\mu\rangle, or O\langle \mathcal O\rangle approach their final thermal values.

A system hydrodynamizes when its stress tensor and currents are well described by hydrodynamic constitutive relations, even if the pressure anisotropy or other non-equilibrium features are still visible. For a relativistic fluid,

Thydroμν=εuμuν+pΔμνησμνζΔμνρuρ+,T^{\mu\nu}_{\rm hydro} = \varepsilon u^\mu u^\nu +p\Delta^{\mu\nu} - \eta\sigma^{\mu\nu} - \zeta\Delta^{\mu\nu}\nabla_\rho u^\rho +\cdots,

where

Δμν=gμν+uμuν.\Delta^{\mu\nu}=g^{\mu\nu}+u^\mu u^\nu.

For a conformal fluid, ζ=0\zeta=0 and p=ε/dsp=\varepsilon/d_s.

A nonlocal probe equilibrates when an extended observable reaches its thermal value. Examples include equal-time two-point functions, Wilson loops, and entanglement entropy. In holography these are often computed by geodesics, string worldsheets, or HRT extremal surfaces. Larger boundary regions dip deeper into the bulk, so they can remain sensitive to the pre-quench region after local observables have already settled down.

Finally, a state is fully thermal only when all observables are described by the thermal density matrix at the relevant conserved charges. Classical gravity is excellent at capturing the approach of low-point, large-NN observables to thermal behavior, but it does not by itself resolve fine-grained finite-NN questions such as recurrences or exact late-time spectral discreteness.

So the hierarchy is usually

local equilibrationhydrodynamizationnonlocal equilibrationfine-grained thermalization.\text{local equilibration} \quad\lesssim\quad \text{hydrodynamization} \quad\lesssim\quad \text{nonlocal equilibration} \quad\lesssim\quad \text{fine-grained thermalization}.

The inequalities are schematic, not a theorem. The order can depend on the observable and the state.

After the nonlinear stage of a homogeneous quench, the final black brane is perturbed but close to equilibrium. The deviations of one-point functions then have the universal form of black-brane ringdown:

δO(t)=ncneiωnt.\delta\langle \mathcal O(t)\rangle = \sum_n c_n e^{-i\omega_n t}.

The complex frequencies ωn\omega_n are quasinormal-mode frequencies. Their imaginary parts are negative for a stable black brane:

Imωn<0.\operatorname{Im}\omega_n<0.

This is the nonequilibrium version of a theme that has appeared throughout the course. Quasiparticles are replaced by quasinormal modes. The late-time response is not controlled by particles with long lifetimes but by damped collective modes of the horizon.

The hydrodynamic modes are special QNMs whose frequencies vanish as k0k\to0. Examples include diffusion,

ω(k)=iDk2+,\omega(k)=-iDk^2+\cdots,

and sound,

ω(k)=±vskiΓsk2+.\omega(k)=\pm v_s k-i\Gamma_s k^2+\cdots.

All other QNMs are nonhydrodynamic. They have frequencies of order the temperature,

ωnT,\omega_n\sim T,

in a strongly coupled black-brane state. This is the geometric reason holographic systems often hydrodynamize on a time scale of order 1/T1/T: the nonhydrodynamic modes die quickly, leaving only the conserved-density modes.

Hydrodynamization is therefore not the same as “the system has become boring.” It means the surviving degrees of freedom are the ones protected by conservation laws.

Entanglement entropy is one of the cleanest probes of the difference between local and nonlocal equilibration. In a time-dependent state, the holographic prescription uses an extremal surface EA\mathcal E_A in the Lorentzian bulk:

SA(t)=Area(EA)4GN+,EA=A(t).S_A(t) = \frac{\operatorname{Area}(\mathcal E_A)}{4G_N}+\cdots, \qquad \partial\mathcal E_A=\partial A(t).

In a homogeneous global quench, the qualitative behavior for a large region AA is often:

ΔSA(t)SA(t)SA(0){0,tmicro,seqvEAt,microttsat,seqVol(A),ttsat.\Delta S_A(t) \equiv S_A(t)-S_A(0) \simeq \begin{cases} 0, & t\ll \ell_{\rm micro},\\ s_{\rm eq}v_E|\partial A|t, & \ell_{\rm micro}\ll t\ll t_{\rm sat},\\ s_{\rm eq}\operatorname{Vol}(A), & t\gtrsim t_{\rm sat}. \end{cases}

Here seqs_{\rm eq} is the final thermal entropy density and vEv_E is an entanglement velocity. This form should be read as a scaling picture, not a universal exact formula. It says that after an initial transient, entanglement spreads approximately linearly until the region saturates at the thermal entropy expected for its volume.

In Vaidya-AdS, this behavior has a vivid geometric explanation. An HRT surface anchored at boundary time tt bends into the bulk. At early times it mostly probes the pre-shell geometry. At intermediate times it crosses the shell. At late times it lies in the final black-brane region and can run close to the horizon. Large regions have surfaces that reach deeper, so their saturation time grows with size.

This is also a useful caution. A boundary stress tensor can be thermal while an HRT surface for a large region still remembers the quench. Thermalization is observable-dependent.

Spatial quenches and nonequilibrium steady states

Section titled “Spatial quenches and nonequilibrium steady states”

Not every quench is homogeneous. A simple spatial quench connects two reservoirs at different temperatures,

TLTR,T_L\ne T_R,

and lets them exchange energy. In one spatial dimension, a CFT gives an especially simple picture: left-moving excitations come from one bath and right-moving excitations from the other. The central region can settle into a nonequilibrium steady state rather than a static equilibrium state.

In relativistic notation, a boosted thermal density matrix has the form

ρboostexp ⁣[β(coshθHsinhθP)].\rho_{\rm boost} \propto \exp\!\left[-\beta\left(\cosh\theta\,H-\sinh\theta\,P\right)\right].

This is the natural structure of a steady state that carries heat current. In higher dimensions the exact CFT2_2 simplification is gone, but hydrodynamics gives an analogous picture: a central steady region can form between outgoing waves or shocks.

Holographically, these problems are hard but direct. One solves a time-dependent inhomogeneous Einstein problem with boundary conditions corresponding to the two reservoirs. The late-time state can be interpreted as a boosted black brane or a more complicated flowing horizon geometry. This is one of the cleanest uses of holography as a bridge between hydrodynamics and microscopic strong-coupling dynamics.

The same caveat repeats itself: the steady state is a large-NN strong-coupling answer. It is not automatically the steady state of a lattice material with impurities, phonons, finite NN, and long-lived quasiparticles.

Quenches through ordered phases and the Kibble—Zurek mechanism

Section titled “Quenches through ordered phases and the Kibble—Zurek mechanism”

Some of the most interesting nonequilibrium problems occur when the system is driven through a phase transition. A canonical example is a normal-to-superfluid transition. Let

ϵ(t)=1T(t)Tc\epsilon(t)=1-\frac{T(t)}{T_c}

measure the distance from the critical point, and suppose that the quench is approximately linear near TcT_c:

ϵ(t)=tτQ.\epsilon(t)=\frac{t}{\tau_Q}.

Near a continuous transition, the equilibrium correlation length and relaxation time scale as

ξ(ϵ)=ξ0ϵν,τrel(ϵ)=τ0ϵzdynν.\xi(\epsilon)=\xi_0|\epsilon|^{-\nu}, \qquad \tau_{\rm rel}(\epsilon)=\tau_0|\epsilon|^{-z_{\rm dyn}\nu}.

Here ν\nu is the correlation-length exponent and zdynz_{\rm dyn} is the dynamical critical exponent. As the system approaches the critical point, the relaxation time diverges. Eventually the system can no longer adjust adiabatically to the changing temperature. The freeze-out time t^\hat t is estimated by

τrel ⁣(ϵ(t^))t^.\tau_{\rm rel}\!\left(\epsilon(\hat t)\right)\sim \hat t.

Using ϵ=t/τQ\epsilon= t/\tau_Q, this gives

t^τ0(τQτ0)zdynν1+zdynν,\hat t \sim \tau_0 \left(\frac{\tau_Q}{\tau_0}\right)^{\frac{z_{\rm dyn}\nu}{1+z_{\rm dyn}\nu}},

and the corresponding freeze-out length is

ξ^ξ0(τQτ0)ν1+zdynν.\hat\xi \sim \xi_0 \left(\frac{\tau_Q}{\tau_0}\right)^{\frac{\nu}{1+z_{\rm dyn}\nu}}.

If the ordered phase supports topological defects of dimension dtopd_{\rm top}, the defect density scales as

ndefξ^(dsdtop).n_{\rm def} \sim \hat\xi^{-(d_s-d_{\rm top})}.

For a superfluid in ds=2d_s=2, vortices are point defects, so dtop=0d_{\rm top}=0 and

nvortξ^2.n_{\rm vort} \sim \hat\xi^{-2}.

For a superfluid in ds=3d_s=3, vortex lines have dtop=1d_{\rm top}=1, so again nvortn_{\rm vort} per unit transverse area scales like ξ^2\hat\xi^{-2}.

A minimal holographic superfluid is described by an Einstein—Maxwell—charged-scalar system,

S=dd+1xg[R+d(d1)L214FabFabDΨ2m2Ψ2],S=\int d^{d+1}x\sqrt{-g} \left[ R+\frac{d(d-1)}{L^2} -\frac14 F_{ab}F^{ab} -|D\Psi|^2-m^2|\Psi|^2 \right],

with

DaΨ=(aiqAa)Ψ.D_a\Psi=(\nabla_a-iqA_a)\Psi.

A thermal quench can be modeled by changing the temperature or chemical potential through the critical value. The condensate is extracted from the normalizable boundary coefficient of Ψ\Psi:

Ψ(z,t,x)=zdΔΨψsource(t,x)+zΔΨψvev(t,x)+.\Psi(z,t,\vec x) = z^{d-\Delta_\Psi}\psi_{\rm source}(t,\vec x) + z^{\Delta_\Psi}\psi_{\rm vev}(t,\vec x)+\cdots.

For spontaneous ordering, the source is set to zero and

OΨψvev.\langle \mathcal O_\Psi\rangle\propto \psi_{\rm vev}.

The bulk dynamics then computes the growth of the condensate, the formation of vortices, and their subsequent motion.

A subtlety is essential. In classical gravity, thermal fluctuations are suppressed by powers of 1/Neff21/N_{\rm eff}^2:

δOδOconnO21Neff2.\frac{\langle \delta O\,\delta O\rangle_{\rm conn}}{\langle O\rangle^2} \sim \frac{1}{N_{\rm eff}^2}.

But Kibble—Zurek defect formation needs fluctuations to seed different order-parameter phases in different regions. In a purely deterministic homogeneous classical simulation, the condensate can choose the same phase everywhere. Practical holographic studies therefore add small random boundary or initial data, or interpret the noise as standing in for the leading finite-NN fluctuations.

This is not a failure; it is a reminder of the regime. Classical holography captures strong dissipation and nonlinear order-parameter growth, but genuine thermal noise is a subleading quantum-gravity effect.

Once vortices form, the system has another nonequilibrium stage: vortex motion, reconnection, annihilation, and possible turbulent cascades.

In a boundary superfluid, a vortex is a zero of the complex condensate around which the phase winds:

argOΨd=2πn.\oint \nabla\arg\langle \mathcal O_\Psi\rangle\cdot d\vec \ell = 2\pi n.

In the bulk, the vortex extends into the radial direction. The charged scalar field vanishes along a bulk vortex core, and the gauge field carries the corresponding circulation. At nonzero temperature the vortex interacts with a horizon, which acts as a dissipative bath.

This makes holographic turbulence different from a conservative Gross—Pitaevskii evolution. Energy in the superfluid component can be transferred to the normal component and ultimately to the horizon. That is precisely why the model is interesting for strongly coupled dissipative superfluids.

In two spatial dimensions, vortices and antivortices can annihilate. A turbulent configuration can exhibit an inverse cascade, where energy moves toward larger scales. Holographic simulations can track both the boundary vortex dynamics and the bulk horizon response, giving a simultaneous view of order-parameter dynamics and entropy production.

The limitation is once again large NN. A classical bulk simulation resolves mean-field vortex dynamics and dissipation, but not all finite-NN stochastic fluctuations.

A quench has a beginning and an end. A drive can continue forever. Examples include electric fields, periodic sources, rotating phases, and thermal gradients.

A constant electric field in a translationally invariant finite-density system does work at a rate

dεdt=EJ.\frac{d\varepsilon}{dt} = \vec E\cdot\vec J.

Unless energy can leave the system, the state heats. In the bulk, energy flows through the gauge field and metric into the horizon. A steady DC conductivity calculation often implicitly assumes either a linear-response limit or an external mechanism that removes the heat.

A periodic drive can be written schematically as

λ(t)=λ0cosΩt.\lambda(t)=\lambda_0\cos\Omega t.

At generic strong coupling, such a drive tends to heat the system. In a holographic model, this heating is geometric: the horizon area grows. However, special driven states can evade simple heating intuition for long times, especially when additional symmetries, integrability-like structures, or large-NN limits suppress energy absorption.

The careful question is therefore not “does the drive heat?” but rather:

Where does the injected energy go, and on what time scale?\text{Where does the injected energy go, and on what time scale?}

Holography answers this by tracking radial energy flux, horizon growth, and the response of boundary one-point functions.

Numerical workflow for time-dependent holography

Section titled “Numerical workflow for time-dependent holography”

The practical computation has a standard rhythm.

First choose a bulk action and boundary sources. For a scalar quench this means specifying λ(t,x)\lambda(t,\vec x). For a thermal or metric quench it means specifying a boundary metric or stress-tensor injection. For a superfluid quench it means evolving the charged scalar and Maxwell field through an instability.

Second choose a coordinate system that is regular at future horizons. Infalling Eddington—Finkelstein coordinates are common because infalling boundary conditions are automatic for regular fields.

Third impose asymptotic AdS boundary conditions. The near-boundary expansion determines the sources and one-point functions. Holographic renormalization supplies the counterterms needed to define finite expectation values.

Fourth evolve the bulk equations. In homogeneous problems this may reduce to nested radial ODEs at each time step. In inhomogeneous problems it is a genuine PDE problem. Spectral methods are common when the fields are smooth; finite-difference or finite-element methods are useful when sharp structures or complicated domains appear.

Fifth monitor constraints and horizons. A reliable simulation checks that the radial constraints propagate correctly, that the apparent horizon behaves sensibly, and that extracted one-point functions satisfy the boundary Ward identities.

Finally analyze observables. A local one-point function may be enough for ringdown. Two-point functions require solving fluctuation equations on the time-dependent background or using geodesic approximations at large operator dimension. Entanglement requires HRT surfaces in a dynamical geometry. Turbulence requires defect tracking and possibly spectra of kinetic energy or vorticity.

What holography teaches about nonequilibrium matter

Section titled “What holography teaches about nonequilibrium matter”

Several lessons are robust across many models.

First, horizons geometrize dissipation. A strongly coupled large-NN state can lose memory of perturbations by dumping energy into a horizon. The boundary sees this as fast relaxation without quasiparticles.

Second, hydrodynamics can appear early. The system need not be isotropic or fully thermal before the stress tensor is well described by hydrodynamic constitutive relations. Hydrodynamization is controlled by the decay of nonhydrodynamic QNMs, not by a literal quasiparticle collision time.

Third, nonlocal observables remember longer. Entanglement entropy and large Wilson loops can probe regions of the bulk that local one-point functions do not see. They can therefore equilibrate later.

Fourth, defects and order-parameter textures are natural in holography. A bulk scalar can condense, vortices can form, and a horizon can dissipate their energy. This makes holography a useful laboratory for dissipative ordered phases.

Fifth, large NN suppresses fluctuations. Classical gravity is deterministic. Noise, rare events, recurrences, and exact late-time discreteness require quantum corrections in the bulk.

These lessons are not a replacement for microscopic condensed matter modeling. They are controlled examples of strongly coupled nonequilibrium dynamics, and they provide a language for asking sharper questions.

“A horizon formed, so the boundary theory is fully thermal.”

Section titled ““A horizon formed, so the boundary theory is fully thermal.””

Not necessarily. Horizon formation is a geometric sign of coarse-grained entropy production and local equilibration, but nonlocal observables can still remember the initial state. Fine-grained thermalization is a stronger statement.

“Hydrodynamization means isotropization.”

Section titled ““Hydrodynamization means isotropization.””

No. Hydrodynamics can describe anisotropic stress tensors. Hydrodynamization means the stress tensor is well approximated by hydrodynamic constitutive relations; it does not require all pressures to be equal.

“Vaidya-AdS is the holographic dual of every quench.”

Section titled ““Vaidya-AdS is the holographic dual of every quench.””

Nope. Vaidya-AdS is a useful toy model for homogeneous energy injection by null matter. A scalar quench, charged quench, anisotropic quench, or vortex quench generally requires solving the full coupled Einstein—matter equations.

“Classical holography automatically includes thermal noise.”

Section titled ““Classical holography automatically includes thermal noise.””

It does not. Classical bulk fields capture leading large-NN expectation values. Thermal fluctuations are suppressed by 1/Neff21/N_{\rm eff}^2 and require bulk quantum effects or explicit stochastic sources.

“A short relaxation time proves holography.”

Section titled ““A short relaxation time proves holography.””

Also no. Fast relaxation of order 1/T1/T is consistent with holographic dynamics, but many systems can have short time scales. Holography is most convincing when it organizes several observables at once: stress response, charge transport, entropy growth, defect dynamics, and scaling.

Exercise 1: Work done by a homogeneous source

Section titled “Exercise 1: Work done by a homogeneous source”

Let

H(t)=H0+λ(t)ddsxO(t,x).H(t)=H_0+\lambda(t)\int d^{d_s}x\,\mathcal O(t,\vec x).

Assume the state evolves unitarily with this Hamiltonian. Show that the energy density obeys

dεdt=λ˙(t)O(t)\frac{d\varepsilon}{dt}=\dot\lambda(t)\langle\mathcal O(t)\rangle

for a spatially homogeneous state.

Solution

The total energy is

E(t)=H(t).E(t)=\langle H(t)\rangle.

Taking a time derivative gives

dEdt=Ht+i[H,H].\frac{dE}{dt} = \left\langle \frac{\partial H}{\partial t}\right\rangle +i\langle [H,H]\rangle.

The commutator term vanishes. Therefore

dEdt=λ˙(t)ddsxO(t,x).\frac{dE}{dt} = \dot\lambda(t) \left\langle \int d^{d_s}x\,\mathcal O(t,\vec x)\right\rangle.

For a homogeneous state, O(t,x)=O(t)\langle\mathcal O(t,\vec x)\rangle=\langle\mathcal O(t)\rangle, so

dEdt=Vλ˙(t)O(t).\frac{dE}{dt} = V\dot\lambda(t)\langle\mathcal O(t)\rangle.

Dividing by the spatial volume VV gives

dεdt=λ˙(t)O(t).\frac{d\varepsilon}{dt}=\dot\lambda(t)\langle\mathcal O(t)\rangle.

The sign would change if one defined the deformation with the opposite sign in the Hamiltonian.

Exercise 2: Temperature of the final Vaidya black brane

Section titled “Exercise 2: Temperature of the final Vaidya black brane”

Consider the Vaidya-AdS metric

ds2=L2z2[f(v,z)dv22dvdz+dx2],f(v,z)=1m(v)zd.ds^2 = \frac{L^2}{z^2} \left[-f(v,z)dv^2-2dv dz+d\vec x^{\,2}\right], \qquad f(v,z)=1-m(v)z^d.

Suppose m(v)m(v) approaches a constant mfm_f at late times. Find the final horizon position zhz_h and the final temperature TfT_f.

Solution

At late times,

f(z)=1mfzd.f(z)=1-m_f z^d.

The horizon is where f(zh)=0f(z_h)=0, so

1mfzhd=0.1-m_f z_h^d=0.

Thus

zh=mf1/d.z_h=m_f^{-1/d}.

For a planar AdS black brane in these conventions, the Hawking temperature is

T=f(zh)4π.T=\frac{|f'(z_h)|}{4\pi}.

Since

f(z)=dmfzd1,f'(z)=-d m_f z^{d-1},

we have

f(zh)=dmfzhd1.|f'(z_h)|=d m_f z_h^{d-1}.

Using mfzhd=1m_f z_h^d=1 gives

mfzhd1=1zh.m_f z_h^{d-1}=\frac{1}{z_h}.

Therefore

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

Exercise 3: Kibble—Zurek freeze-out scaling

Section titled “Exercise 3: Kibble—Zurek freeze-out scaling”

Assume

ϵ(t)=tτQ,τrel(ϵ)=τ0ϵzdynν,ξ(ϵ)=ξ0ϵν.\epsilon(t)=\frac{t}{\tau_Q}, \qquad \tau_{\rm rel}(\epsilon)=\tau_0|\epsilon|^{-z_{\rm dyn}\nu}, \qquad \xi(\epsilon)=\xi_0|\epsilon|^{-\nu}.

Derive the freeze-out time t^\hat t and freeze-out length ξ^\hat\xi.

Solution

The freeze-out estimate is

τrel ⁣(ϵ(t^))t^.\tau_{\rm rel}\!\left(\epsilon(\hat t)\right) \sim \hat t.

Using ϵ(t^)=t^/τQ\epsilon(\hat t)=\hat t/\tau_Q gives

τ0(t^τQ)zdynνt^.\tau_0\left(\frac{\hat t}{\tau_Q}\right)^{-z_{\rm dyn}\nu} \sim \hat t.

Rearranging,

t^1+zdynντ0τQzdynν.\hat t^{1+z_{\rm dyn}\nu} \sim \tau_0\tau_Q^{z_{\rm dyn}\nu}.

Thus

t^τ011+zdynντQzdynν1+zdynν=τ0(τQτ0)zdynν1+zdynν.\hat t \sim \tau_0^{\frac{1}{1+z_{\rm dyn}\nu}} \tau_Q^{\frac{z_{\rm dyn}\nu}{1+z_{\rm dyn}\nu}} = \tau_0 \left(\frac{\tau_Q}{\tau_0}\right)^{\frac{z_{\rm dyn}\nu}{1+z_{\rm dyn}\nu}}.

The freeze-out length is

ξ^=ξ0(t^τQ)ν.\hat\xi = \xi_0\left(\frac{\hat t}{\tau_Q}\right)^{-\nu}.

Using the result for t^\hat t,

t^τQ(τ0τQ)11+zdynν.\frac{\hat t}{\tau_Q} \sim \left(\frac{\tau_0}{\tau_Q}\right)^{\frac{1}{1+z_{\rm dyn}\nu}}.

Therefore

ξ^ξ0(τQτ0)ν1+zdynν.\hat\xi \sim \xi_0 \left(\frac{\tau_Q}{\tau_0}\right)^{\frac{\nu}{1+z_{\rm dyn}\nu}}.

Exercise 4: Why hydrodynamization can precede thermalization

Section titled “Exercise 4: Why hydrodynamization can precede thermalization”

Consider a homogeneous but anisotropic state with stress tensor

T νμ=diag(ε,pL,pT,pT).T^\mu_{\ \nu}=\operatorname{diag}(-\varepsilon,p_L,p_T,p_T).

Explain how the system can be hydrodynamic even if pLpTp_L\ne p_T.

Solution

Hydrodynamics is not the statement that the stress tensor equals the equilibrium perfect-fluid form. It is the statement that the stress tensor is expressible in terms of a small number of slowly varying hydrodynamic variables, such as ε\varepsilon, uμu^\mu, and conserved charge densities, together with a derivative expansion.

Anisotropic pressures can arise from gradient corrections, expansion, shear, or external forcing. For example, the first-order viscous correction contains

ησμν,-\eta\sigma^{\mu\nu},

which can make different pressure components unequal. If the full stress tensor is well approximated by the hydrodynamic constitutive relation, then the system has hydrodynamized.

Thermal equilibrium is stronger. In equilibrium, gradients vanish and a rotationally invariant state has

pL=pT=p.p_L=p_T=p.

Thus a system can hydrodynamize before it isotropizes or fully thermalizes.

Exercise 5: QNM ringdown and the leading late-time mode

Section titled “Exercise 5: QNM ringdown and the leading late-time mode”

Suppose a one-point function after a quench has the form

δO(t)=ncneiωnt,ωn=ΩniΓn,Γn>0.\delta\langle O(t)\rangle = \sum_n c_n e^{-i\omega_n t}, \qquad \omega_n=\Omega_n-i\Gamma_n, \qquad \Gamma_n>0.

Which mode dominates at late times, assuming its coefficient is nonzero?

Solution

Each term behaves as

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

The mode with the smallest positive damping rate Γn\Gamma_n decays most slowly. Therefore, among modes with nonzero coefficients cnc_n, the late-time behavior is dominated by the mode satisfying

Γ=min{Γn:cn0}.\Gamma_\ast=\min\{\Gamma_n: c_n\ne0\}.

The late-time signal is approximately

δO(t)ceiΩteΓt.\delta\langle O(t)\rangle \simeq c_\ast e^{-i\Omega_\ast t}e^{-\Gamma_\ast t}.

If a hydrodynamic mode is allowed by the channel and has very small kk, it can dominate because its damping rate vanishes as k0k\to0. At exactly homogeneous k=0k=0, conserved quantities do not decay; nonconserved one-point functions are usually controlled by the lowest nonhydrodynamic QNM.

For the nonequilibrium sections of holographic quantum matter, see Hartnoll, Lucas, and Sachdev, Holographic Quantum Matter, especially the discussion of uniform quenches, spatial quenches, Kibble—Zurek dynamics, turbulence, and the large-NN caveat. For Vaidya-AdS, global quenches, HRT surfaces, and entanglement growth, see Rangamani and Takayanagi, Holographic Entanglement Entropy, chapter 7. For numerical real-time holography, see Chesler and Yaffe’s characteristic formulation of asymptotically AdS gravitational dynamics, together with later numerical work on holographic superconductors, vortex dynamics, and inhomogeneous quenches.