Skip to content

Dictionary Tables

The AdS/CFT dictionary is not a single table. It is a layered set of identifications between boundary quantum observables and bulk gravitational, stringy, or brane objects. The most compact slogan is

ZCFT[J]=Zstring[bulk fields  boundary sources J],Z_{\rm CFT}[J] = Z_{\rm string}\bigl[\text{bulk fields }\to\text{ boundary sources }J\bigr],

and in the classical bulk limit,

WCFT[J]={SE,bulkren[Φˉ[J]],Euclidean conventions with Z=eSE,SL,bulkren[Φˉ[J]],Lorentzian conventions, up to the usual iϵ prescription.W_{\rm CFT}[J] = \begin{cases} -\,S^{\rm ren}_{E,{\rm bulk}}[\bar\Phi[J]], & \text{Euclidean conventions with } Z=e^{-S_E},\\ S^{\rm ren}_{L,{\rm bulk}}[\bar\Phi[J]], & \text{Lorentzian conventions, up to the usual } i\epsilon \text{ prescription}. \end{cases}

Here Φˉ[J]\bar\Phi[J] is the bulk solution satisfying boundary conditions determined by the source JJ. Correlators are obtained by functional differentiation. One-point functions are obtained from the renormalized radial canonical momenta. Entropies and nonlocal observables are computed by extremizing geometric or brane actions. Thermal states are represented by black-hole or black-brane saddles.

This page collects the practical dictionary in one place. It is meant to be used while doing calculations. The tables are intentionally redundant: in real research, most mistakes happen when one remembers the right slogan but applies it in the wrong normalization, ensemble, or regime.

Unless explicitly stated otherwise, the boundary theory has dimension dd and the bulk has dimension d+1d+1. The AdS radius is LL, the radial coordinate is zz near the conformal boundary, and the Poincaré AdS metric is

ds2=L2z2(dz2+ημνdxμdxν),z0 is the boundary.ds^2 = \frac{L^2}{z^2} \left(dz^2+\eta_{\mu\nu}dx^\mu dx^\nu\right), \qquad z\to 0 \text{ is the boundary}.

The Fefferman-Graham form is

ds2=L2z2(dz2+gμν(z,x)dxμdxν),ds^2 = \frac{L^2}{z^2} \left(dz^2+g_{\mu\nu}(z,x)dx^\mu dx^\nu\right),

with

gμν(z,x)=gμν(0)(x)+z2gμν(2)(x)++zdgμν(d)(x)+.g_{\mu\nu}(z,x) = g^{(0)}_{\mu\nu}(x)+z^2g^{(2)}_{\mu\nu}(x)+\cdots+z^d g^{(d)}_{\mu\nu}(x)+\cdots .

The source for an operator O\mathcal O of dimension Δ\Delta has engineering dimension

[J]=dΔ,[J]=d-\Delta,

because it appears in the deformation

δSCFT=ddxJ(x)O(x).\delta S_{\rm CFT} = \int d^d x\, J(x)\mathcal O(x).

A useful warning: the boundary value of a bulk field is not usually the vev. The leading non-normalizable coefficient is usually the source, and the subleading normalizable coefficient usually determines the vev after holographic renormalization. The word “usually” matters: alternate quantization, mixed boundary conditions, gauge constraints, anomalies, and finite counterterms can modify the precise statement.

Boundary objectBulk objectLeading relationMain caveat
Generating functional ZCFT[J]Z_{\rm CFT}[J]String/gravity partition function with boundary dataZCFT[J]=Zstring[ΦJ]Z_{\rm CFT}[J]=Z_{\rm string}[\Phi\to J]Exact statement is stringy and quantum; supergravity is an approximation.
Connected functional W[J]=logZ[J]W[J]=\log Z[J]Renormalized on-shell actionWSErenW\sim -S_E^{\rm ren} in Euclidean signatureSigns depend on Euclidean versus Lorentzian conventions.
Single-trace primary O\mathcal OSingle-particle bulk field Φ\PhiJOJ_{\mathcal O} is the boundary coefficient of Φ\PhiA local Einstein-like bulk requires large NN and a large higher-spin/string gap.
Multi-trace operator :O1O2::\mathcal O_1\mathcal O_2:Multiparticle bulk stateDimensions start near Δ1+Δ2+2n+\Delta_1+\Delta_2+2n+\ellInteractions generate anomalous dimensions at subleading 1/N1/N.
Conserved current JμJ^\muBulk gauge field AMA_MAμ(0)A^{(0)}_\mu sources JμJ^\muGauge choice and boundary terms determine ensemble.
Stress tensor TμνT^{\mu\nu}Bulk metric gMNg_{MN}gμν(0)g^{(0)}_{\mu\nu} sources TμνT^{\mu\nu}Counterterms and anomalies affect local terms.
Global symmetry group GGBulk gauge symmetry GGBoundary global transformations are non-normalizable gauge transformationsA bulk gauge symmetry is a redundancy, not a boundary global symmetry.
Boundary conformal groupBulk AdS isometry groupSO(2,d)SO(2,d) for Lorentzian AdSd+1_{d+1}Boundary conformal frame is not unique.
Thermal stateEuclidean saddle with Sβ1S^1_\beta or Lorentzian black holeT=1/βT=1/\beta; S=AH/(4GN)S=A_H/(4G_N)Dominant saddle depends on ensemble and boundary topology.
Chemical potential μ\muBoundary value of AtA_tμ=At()At(rh)\mu=A_t(\infty)-A_t(r_h)In Euclidean signature, regularity at the thermal circle fixes the horizon gauge.
Charge density ρ\rhoRadial electric fluxρδSren/δAt(0)\rho\sim \delta S^{\rm ren}/\delta A_t^{(0)}Normalization depends on Maxwell coupling and counterterms.
Wilson loop W(C)W(C)Fundamental string worldsheet ending on CCW(C)eSNGren\langle W(C)\rangle\sim e^{-S_{\rm NG}^{\rm ren}}Perimeter divergences must be subtracted.
Entanglement entropy SAS_ART/HRT or QES surfaceSA=Area(γA)/(4GN)S_A={\rm Area}(\gamma_A)/(4G_N) at leading orderQuantum corrections add bulk entropy and shift the surface.
Defect CFTProbe brane or backreacted brane geometryDefect operators live on brane intersectionsProbe limit requires NfNN_f\ll N or analogous suppression.
RG scaleRadial positionRoughly z1/Ez\sim 1/ERadial evolution is not literally Wilsonian RG without further construction.

The most frequently used dictionary entries are local operators and their dual bulk fields.

CFT operatorDimension/spinBulk fieldSourceResponse/vevTypical use
Scalar primary O\mathcal O(Δ,0)(\Delta,0)Scalar ϕ\phiLeading coefficient ϕ(0)\phi_{(0)}Normalizable coefficient or renormalized momentumDeformations, condensates, scalar correlators
Conserved current JμJ^\muΔ=d1\Delta=d-1, spin 11Gauge field AMA_MAμ(0)A^{(0)}_\muJμ\langle J^\mu\rangle from electric fluxConductivity, charge density, global symmetries
Stress tensor TμνT^{\mu\nu}Δ=d\Delta=d, spin 22Metric gMNg_{MN}gμν(0)g^{(0)}_{\mu\nu}Tμν\langle T^{\mu\nu}\rangle from Brown-York tensorThermodynamics, viscosity, energy density
Fermionic operator Oψ\mathcal O_\psispin 1/21/2Bulk spinor ψ\psiOne boundary chirality/componentConjugate boundary componentFermion spectral functions, Fermi surfaces
Marginal scalar operatorΔ=d\Delta=dMassless scalarBoundary scalar couplingVev coefficient plus anomaly termsCoupling deformations, dilaton/axion sources
Relevant scalar operatorΔ<d\Delta<dScalar with m2<0m^2<0 but above BF boundCoefficient of zdΔz^{d-\Delta}Coefficient of zΔz^\DeltaRG flows and domain walls
Irrelevant scalar operatorΔ>d\Delta>dMassive scalarCoefficient of zdΔz^{d-\Delta} grows near boundaryVev coefficientUV completion needed; sources are subtle
Antisymmetric tensor currentdepends on form degreeBulk pp-form gauge fieldBoundary pp-form sourceHigher-form currentHigher-form symmetries, branes
Line operatornonlocalString, D-brane, or M-braneBoundary curve and internal dataRenormalized brane actionWilson, ’t Hooft, dyonic loops
Surface or higher-dimensional defectnonlocalHigher-dimensional braneBoundary submanifoldRenormalized brane action and fluctuationsSurface operators, defects, interfaces

A single bulk field can encode several boundary quantities once one allows fluctuations around nontrivial states. For example, a bulk gauge field background At(r)A_t(r) encodes μ\mu and ρ\rho, while its transverse fluctuation ax(r)eiωta_x(r)e^{-i\omega t} encodes optical conductivity.

The mass of a bulk field determines the scaling dimension of the dual operator. The most important case is a scalar:

Δ(Δd)=m2L2,Δ±=d2±ν,ν=d24+m2L2.\Delta(\Delta-d)=m^2L^2, \qquad \Delta_\pm=\frac d2\pm \nu, \qquad \nu=\sqrt{\frac{d^2}{4}+m^2L^2}.

Standard quantization usually takes Δ=Δ+\Delta=\Delta_+. In the Breitenlohner-Freedman window,

d24<m2L2<d24+1,-\frac{d^2}{4}<m^2L^2<-\frac{d^2}{4}+1,

one may often choose alternate quantization with Δ=Δ\Delta=\Delta_-.

Bulk fieldMass-dimension relationConserved/massless special caseBoundary interpretation
Scalar ϕ\phiΔ(Δd)=m2L2\Delta(\Delta-d)=m^2L^2m2=0Δ=dm^2=0\Rightarrow \Delta=d or 00Scalar primary or coupling
Massive vector AMA_M(Δ1)(Δd+1)=m2L2(\Delta-1)(\Delta-d+1)=m^2L^2m2=0Δ=d1m^2=0\Rightarrow \Delta=d-1Conserved current
Dirac spinor ψ\psiΔ=d2+mL\Delta=\frac d2+\lvert mL\rvert in standard quantizationm=0Δ=d/2m=0\Rightarrow\Delta=d/2Fermionic operator
Massive pp-form(Δp)(Δ+pd)=m2L2(\Delta-p)(\Delta+p-d)=m^2L^2Gauge pp-form gives conserved higher-form currentHigher-form symmetry current
Graviton hMNh_{MN}fixed by diffeomorphism invarianceΔ=d\Delta=dStress tensor

Two comments prevent many mistakes. First, a massless scalar in AdS has two formal roots, Δ=0\Delta=0 and Δ=d\Delta=d; the usual standard quantization for a nontrivial scalar operator uses Δ=d\Delta=d. Second, for gauge fields and gravitons, the dimensions of JμJ^\mu and TμνT^{\mu\nu} are fixed by conservation, not by an arbitrary mass parameter.

Near-boundary expansions encode sources and vevs. The following table suppresses logarithms that appear when dimensions collide with integers or when conformal anomalies are present.

Bulk fieldNear-boundary formSourceResponse/vev data
Scalar ϕ\phiϕ=zdΔϕ(0)++zΔϕ(2Δd)+\phi=z^{d-\Delta}\phi_{(0)}+\cdots+z^\Delta\phi_{(2\Delta-d)}+\cdotsϕ(0)\phi_{(0)}ϕ(2Δd)\phi_{(2\Delta-d)} plus local terms
Gauge field AμA_\muAμ=Aμ(0)++zd2Aμ(d2)+A_\mu=A_\mu^{(0)}+\cdots+z^{d-2}A_\mu^{(d-2)}+\cdotsAμ(0)A^{(0)}_\muRadial electric flux, often proportional to Aμ(d2)A_\mu^{(d-2)}
Metric gμνg_{\mu\nu}gμν=gμν(0)++zdgμν(d)+g_{\mu\nu}=g^{(0)}_{\mu\nu}+\cdots+z^d g^{(d)}_{\mu\nu}+\cdotsgμν(0)g^{(0)}_{\mu\nu}Renormalized Brown-York tensor
Dirac spinor ψ\psiψ=zd/2mLψ(0)++zd/2+mLψ(2mL)+\psi=z^{d/2-mL}\psi_{(0)}+\cdots+z^{d/2+mL}\psi_{(2mL)}+\cdotsleading independent spinor componentconjugate component after renormalization
Probe-brane embedding θ\thetaθ=zdΔθ(0)++zΔθ(2Δd)+\theta=z^{d-\Delta}\theta_{(0)}+\cdots+z^\Delta\theta_{(2\Delta-d)}+\cdotsmass or defect/source parametercondensate or defect vev

For a scalar in standard quantization, the schematic one-point function is

OJ=(2Δd)Nϕϕ(2Δd)+local terms,\langle \mathcal O\rangle_J =(2\Delta-d)\mathcal N_\phi\,\phi_{(2\Delta-d)}+\text{local terms},

where Nϕ\mathcal N_\phi is fixed by the normalization of the bulk kinetic term. The phrase “local terms” includes scheme-dependent terms and anomaly-related terms determined by counterterms.

For a Maxwell field with action

SA=14gd+12dd+1xgFMNFMN,S_A=-\frac{1}{4g_{d+1}^2}\int d^{d+1}x\sqrt{-g}\,F_{MN}F^{MN},

the radial canonical momentum is

ΠAμ=1gd+12gFzμ,\Pi^\mu_A =-\frac{1}{g_{d+1}^2}\sqrt{-g}\,F^{z\mu},

and the renormalized current is schematically

Jμ=ΠA,renμ.\langle J^\mu\rangle =\Pi^\mu_{A,\rm ren}.

For the metric, the stress tensor is obtained from the renormalized action by

Tμν=2g(0)δSrenδgμν(0),\langle T^{\mu\nu}\rangle =\frac{2}{\sqrt{-g^{(0)}}}\frac{\delta S^{\rm ren}}{\delta g^{(0)}_{\mu\nu}},

up to sign conventions in Lorentzian versus Euclidean signature.

Desired CFT quantityBulk operationFormula or prescriptionTypical pitfall
One-point functionVary renormalized on-shell action onceO(x)J=δW/δJ(x)\langle\mathcal O(x)\rangle_J=\delta W/\delta J(x)Forgetting counterterms or factors of g\sqrt g.
Connected two-point functionVary twiceGc(x,y)=δ2W/δJ(x)δJ(y)G_c(x,y)=\delta^2 W/\delta J(x)\delta J(y)Contact terms are scheme-dependent.
Euclidean correlatorSolve regular Euclidean boundary-value problemGEG_E from on-shell actionNot every Euclidean result analytically continues uniquely without specifying contour.
Retarded correlatorSolve Lorentzian problem with infalling horizon conditionGR=Πren/ϕ(0)G_R=\Pi_{\rm ren}/\phi_{(0)} for linear fieldsOutgoing or regular-but-not-infalling conditions give the wrong Green function.
Spectral densityImaginary part of retarded functionρ(ω,k)=2ImGR(ω,k)\rho(\omega,k)=-2\operatorname{Im}G_R(\omega,k)Sign conventions vary. State them.
Normal modesNormalizable solution in horizonless geometrySource =0=0, regular interiorNormal modes are not the same as black-hole quasinormal modes.
Quasinormal modesInfalling solution with source =0=0Poles of GR(ω,k)G_R(\omega,k)Gauge redundancies require gauge-invariant variables.
Witten diagramPerturbatively evaluate bulk interactionsTree diagrams give leading connected large-NN correlatorsExchange diagrams require correct cubic couplings and boundary conditions.
OPE coefficientCompare three-point function normalizationC123C_{123}\leftrightarrow cubic bulk couplingOperator normalization must be fixed first.
Double-trace anomalous dimensionExtract from four-point dataBulk exchange/contact interactions shift dimensionsMixing is common at finite spin and finite NN.

In Euclidean signature, with

Z[J]=expW[J],Z[J]=\exp W[J],

one often writes

O(x1)O(xn)c=δnW[J]δJ(x1)δJ(xn)J=0.\langle \mathcal O(x_1)\cdots \mathcal O(x_n)\rangle_c =\left.\frac{\delta^n W[J]}{\delta J(x_1)\cdots\delta J(x_n)}\right|_{J=0}.

If instead one uses Z=eSEZ=e^{-S_E} and identifies W=SErenW=-S_E^{\rm ren}, the sign is absorbed into the definition of WW. Do not mix these conventions halfway through a calculation.

Thermal AdS/CFT calculations are saddle comparisons in the Euclidean path integral or horizon calculations in Lorentzian signature.

Boundary thermodynamic quantityBulk dualFormulaCaution
Temperature TTEuclidean time circle or surface gravityT=1/β=κ/(2π)T=1/\beta=\kappa/(2\pi)Euclidean smoothness fixes the period only for the contractible thermal circle.
Entropy SSHorizon areaS=AH/(4GN)S=A_H/(4G_N) for Einstein gravityHigher-derivative gravity uses Wald-like entropy, not simply area.
Free energy FFRenormalized Euclidean actionF=TSErenF=T S^{\rm ren}_EMust compare saddles with the same boundary data.
Energy density ϵ\epsilonBoundary stress tensorϵ=Ttt\epsilon=\langle T^{tt}\rangleCounterterm subtraction matters.
Pressure ppSpatial stress tensor or F/V-F/VFor a CFT, ϵ=(d1)p\epsilon=(d-1)pBroken conformality changes the equation of state.
Chemical potential μ\muGauge potential differenceμ=At()At(rh)\mu=A_t(\infty)-A_t(r_h)Gauge-dependent unless horizon regularity is imposed.
Charge density ρ\rhoElectric fluxρ=Jt\rho=\langle J^t\rangleCanonical and grand-canonical ensembles use different boundary terms.
Grand potential Ω\OmegaOn-shell action with fixed μ\muΩ=ETSμQ\Omega=E-TS-\mu QLegendre transform for fixed charge.
Polyakov loopString worldsheet ending on thermal circlePeSstring\langle P\rangle\sim e^{-S_{\rm string}}Contractibility of the thermal circle matters.
Deconfinement transitionHawking-Page-like transitionFblack hole<Fthermal AdSF_{\rm black\ hole}<F_{\rm thermal\ AdS}Only sharp at large NN in finite volume.

For the planar AdSd+1_{d+1} black brane,

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 temperature and entropy density are

T=d4πzh,s=14Gd+1(Lzh)d1.T=\frac{d}{4\pi z_h}, \qquad s=\frac{1}{4G_{d+1}}\left(\frac{L}{z_h}\right)^{d-1}.

For a conformal plasma, dimensional analysis then gives

sCTTd1,pCTTd,ϵ=(d1)p.s\propto C_T T^{d-1}, \qquad p\propto C_T T^d, \qquad \epsilon=(d-1)p.

Transport coefficients are low-frequency, low-momentum limits of retarded Green functions.

Transport quantityKubo formulaBulk fluctuationCommon limit issue
Electrical conductivityσ(ω)=iωGJxJxR(ω,0)\sigma(\omega)=-\frac{i}{\omega}G^R_{J^xJ^x}(\omega,0)ax(r)eiωta_x(r)e^{-i\omega t}At finite density, momentum conservation can create a delta function at ω=0\omega=0.
DC conductivityσDC=limω0Reσ(ω)\sigma_{\rm DC}=\lim_{\omega\to0}\operatorname{Re}\sigma(\omega)Horizon electric flux in many modelsNeed momentum relaxation for finite charge-overlap contribution.
Charge susceptibilityχ=ρ/μ\chi=\partial\rho/\partial\muStatic AtA_t perturbationEnsemble and boundary counterterms matter.
Charge diffusionω=iDk2+\omega=-iD k^2+\cdotsCoupled longitudinal Maxwell/gravity channelD=σ/χD=\sigma/\chi only under appropriate hydrodynamic assumptions.
Shear viscosityη=limω01ωImGTxyTxyR(ω,0)\eta=-\lim_{\omega\to0}\frac{1}{\omega}\operatorname{Im}G^R_{T^{xy}T^{xy}}(\omega,0)Transverse graviton hxyh^x{}_yη/s=1/(4π)\eta/s=1/(4\pi) assumes two-derivative Einstein gravity.
Sound attenuationPole in sound channelCoupled metric perturbationsHydrodynamic frame conventions matter.
Thermal conductivityHeat-current correlatorCoupled metric and gauge perturbationsAt finite density, heat and charge transport mix.
Momentum relaxation rateWidth of Drude poleTranslation-breaking scalars, lattices, Q-latticesDistinguish explicit breaking from spontaneous breaking.
Butterfly velocity vBv_BOTOC frontNear-horizon shockwaveNot a conventional linear-response coefficient.
Lyapunov exponent λL\lambda_LOTOC growthNear-horizon scatteringEinstein black holes saturate 2πT2\pi T under standard assumptions.

The membrane-paradigm intuition is that some low-frequency transport coefficients can be computed from horizon data. But this is not a license to ignore the boundary. Horizon data gives the answer only after the correct boundary variational problem and conserved radial flux are identified.

Boundary observableBulk objectLeading approximationRenormalization/subtraction
Fundamental Wilson loop W(C)W(C)Fundamental string ending on CCW(C)eSNGren\langle W(C)\rangle\sim e^{-S_{\rm NG}^{\rm ren}}Subtract straight-string/perimeter divergence.
’t Hooft loopD1 string or magnetic dual objecteSD1rene^{-S_{\rm D1}^{\rm ren}}Depends on duality frame and boundary conditions.
Dyonic loop(p,q)(p,q) stringeS(p,q)rene^{-S_{(p,q)}^{\rm ren}}Sensitive to axio-dilaton and charge lattice.
Antisymmetric Wilson representationD5-brane with worldvolume flux in AdS5×S5_5\times S^5DBI plus WZ saddleFlux quantization fixes representation data.
Symmetric Wilson representationD3-brane with worldvolume fluxDBI plus WZ saddleValid at large representation rank.
Baryon operator in SU(N)SU(N)-like theoryWrapped D-brane plus NN stringsD5 on S5S^5 for AdS5×S5_5\times S^5Gauss law from WZ coupling forces NN strings.
Defect CFTProbe brane with AdS slicingDBI/WZ action and fluctuationsProbe limit suppresses backreaction.
Meson spectrumNormal modes on flavor braneSturm-Liouville eigenvalue problemQuark mass and condensate require holographic renormalization.
Entanglement entropy SAS_ART/HRT surfaceA/(4GN)A/(4G_N)Homology constraint and phase transitions are essential.
Quantum entanglement entropyQuantum extremal surfaceext[A/(4GN)+Sbulk]\operatorname{ext}\left[A/(4G_N)+S_{\rm bulk}\right]Bulk entropy and area counterterms renormalize together.
Complexity proposalsMaximal volume/action-like quantitiesCV, CA, or related prescriptionsLess universal than RT/HRT; normalization is subtle.

For string and brane observables, the boundary conditions include both spacetime data and internal-space data. The half-BPS Maldacena-Wilson loop, for instance, specifies not only a contour CR4C\subset \mathbb R^4 but also a coupling to the scalar fields, which is represented by where the string ends on S5S^5.

A deformation by a scalar operator is written

SCFTSCFT+ddxλO(x)O(x).S_{\rm CFT}\to S_{\rm CFT}+\int d^d x\,\lambda_{\mathcal O}(x)\mathcal O(x).

If O\mathcal O has dimension Δ\Delta, the dual scalar behaves near the boundary as

ϕ(z,x)=zdΔλO(x)++zΔvO(x)+.\phi(z,x) =z^{d-\Delta}\lambda_{\mathcal O}(x)+\cdots+z^\Delta v_{\mathcal O}(x)+\cdots .
Field-theory conceptBulk representationDiagnostic formulaCaution
Relevant deformationScalar source with Δ<d\Delta<dϕzdΔλ\phi\sim z^{d-\Delta}\lambdaBackreaction usually creates a domain wall.
Marginal deformationMassless scalar sourceΔ=d\Delta=dExactly marginal only if beta function vanishes.
Irrelevant deformationScalar source with Δ>d\Delta>dLeading mode grows toward boundaryNeeds UV completion; hard to impose as a source.
Vev flowSource set to zero, normalizable mode nonzeroλ=0\lambda=0, v0v\neq0Regularity often selects allowed vevs.
Source flowNonzero couplingλ0\lambda\neq0Vev may be induced dynamically.
Holographic beta functionRadial variation of scalarβ(ϕ)=dϕ/dA\beta(\phi)=d\phi/dAScheme-dependent away from fixed points.
cc-functionWarp-factor combinationC1/[A(r)]d1\mathcal C\propto 1/[A'(r)]^{d-1}Monotonicity typically assumes a null energy condition.
Confinement scaleEnd of geometry or IR wall/capmass gap, area lawA discrete spectrum alone is not the same as Wilson-loop confinement.
Chiral symmetry breakingBrane joining or scalar condensatemqm_q source, qˉq\langle\bar q q\rangle responseBottom-up and top-down meanings can differ.

For a domain-wall metric

ds2=dr2+e2A(r)ημνdxμdxν,ds^2=dr^2+e^{2A(r)}\eta_{\mu\nu}dx^\mu dx^\nu,

the radial coordinate is often interpreted as an energy scale through EeA(r)E\sim e^{A(r)}. This is a powerful organizing idea, but one should not confuse coordinate choice with a physical RG scheme.

Entanglement and reconstruction dictionary

Section titled “Entanglement and reconstruction dictionary”
Boundary conceptBulk conceptLeading relationImportant refinement
Region AABoundary domain of dependence D[A]D[A]Defines the subregion problemUse the domain of dependence, not just a time-slice shape.
Entanglement entropy SAS_AExtremal surface γA\gamma_ASA=A(γA)/(4GN)S_A=A(\gamma_A)/(4G_N)Homology condition selects the correct surface.
Time-dependent entropyHRT surfaceExtremal, not necessarily minimal on a chosen time sliceMaximin helps establish properties.
Quantum correctionBulk entropy across γA\gamma_ASA=A/(4GN)+Sbulk+S_A=A/(4G_N)+S_{\rm bulk}+\cdotsUse quantum extremal surfaces at higher orders.
Entanglement wedge E[A]\mathcal E[A]Bulk domain bounded by AγAA\cup\gamma_ARegion reconstructable from AA in a code subspaceState and code-subspace dependence matter.
Causal wedge C[A]\mathcal C[A]Bulk causal region associated with D[A]D[A]Usually smaller than entanglement wedgeCausal wedge is not the full reconstruction wedge.
Modular Hamiltonian KAK_ABulk modular Hamiltonian plus area termJLMS relationOperator equality holds in an appropriate code subspace.
Relative entropy S(ρAσA)S(\rho_A\Vert\sigma_A)Bulk relative entropy in wedgeEquality at leading quantum orderRequires matching states in the same code subspace.
Redundant reconstructionQuantum error correctionSame logical operator on different boundary regionsBulk operators must be gravitationally dressed.
IslandPart of gravitating region included in radiation wedgeQES generalized entropy saddleRelevant for evaporating setups or coupled baths.

The RT/HRT entry is one of the cleanest parts of the dictionary, but also one of the easiest to misuse. The surface is not chosen by visual prettiness. It is chosen by extremality, homology, boundary anchoring, and the correct saddle dominance.

Canonical AdS5_5/CFT4_4 parameter dictionary

Section titled “Canonical AdS5_55​/CFT4_44​ parameter dictionary”

For type IIB string theory on AdS5×S5\mathrm{AdS}_5\times S^5 dual to four-dimensional N=4\mathcal N=4 super Yang-Mills, a common convention is

gYM2=4πgs,λ=gYM2N=4πgsN,L4α2=λ.g_{\rm YM}^2=4\pi g_s, \qquad \lambda=g_{\rm YM}^2N=4\pi g_sN, \qquad \frac{L^4}{\alpha'^2}=\lambda.

Normalizations differ by factors of 2π2\pi in the literature, especially in the definition of gYM2g_{\rm YM}^2. Always identify the convention before comparing formulas.

CFT parameterBulk/string parameterMeaning
Rank NNFive-form flux through S5S^5Number of D3-branes; controls degrees of freedom
’t Hooft coupling λ=gYM2N\lambda=g_{\rm YM}^2NCurvature in string unitsL4/α2=λL^4/\alpha'^2=\lambda
Gauge coupling gYMg_{\rm YM}String coupling gsg_sgsgYM2g_s\sim g_{\rm YM}^2 up to convention
Theta angle θYM\theta_{\rm YM}RR axion C0C_0Complex coupling maps to axio-dilaton
Central charge CTN2C_T\sim N^2L3/G5L^3/G_5Measures inverse bulk gravitational coupling
Large NNSmall bulk loop expansionG5/L31/N2G_5/L^3\sim 1/N^2
Large λ\lambdaSmall stringy curvature correctionsα/L21/λ\alpha'/L^2\sim 1/\sqrt\lambda
Planar limitClassical string genus expansiongsλ/Ng_s\sim \lambda/N small when NλN\gg\lambda
Supergravity limitClassical low-energy gravityN1N\gg1 and λ1\lambda\gg1 with appropriate suppression of loops

The hierarchy of approximations is

full CFTfull string theoryclassical string theoryclassical supergravitylower-dimensional Einstein gravity.\text{full CFT} \leftrightarrow \text{full string theory} \leftrightarrow \text{classical string theory} \leftrightarrow \text{classical supergravity} \leftrightarrow \text{lower-dimensional Einstein gravity}.

Each arrow discards corrections. Do not use a result from the rightmost description unless the discarded corrections are parametrically small for the observable under discussion.

Boundary expansionBulk interpretationTypical scaling
Large-NN factorizationClassical bulk limitConnected normalized correlators are suppressed.
Single-trace operatorsSingle-particle fieldsOne bulk field per light single-trace primary.
Multi-trace operatorsMultiparticle statesDouble-trace dimensions begin near sums of single-trace dimensions.
Planar diagramsString worldsheet genus zeroLeading in 1/N1/N.
Nonplanar diagramsHigher genus worldsheetsSuppressed by powers of 1/N21/N^2.
1/N1/N correctionsBulk loops and quantum gravity correctionsControlled by GN/Ld1G_N/L^{d-1}.
1/λ1/\lambda correctionsStringy α\alpha' correctionsHigher-derivative terms in the bulk effective action.
Large spectral gapLocal bulk EFTHeavy single-trace operators correspond to stringy states.
No large gapHigher-spin or stringy bulkLarge NN alone does not imply Einstein gravity.

A common large-NN normalization is to choose single-trace operators Oi\mathcal O_i such that

Oi(x)Oi(0)O(1),\langle \mathcal O_i(x)\mathcal O_i(0)\rangle\sim O(1),

then connected nn-point functions often scale as

O1OnconnN2n\langle \mathcal O_1\cdots\mathcal O_n\rangle_{\rm conn} \sim N^{2-n}

in matrix large-NN theories with single-trace operators. Some authors instead normalize operators with explicit powers of NN. Before comparing OPE coefficients, identify the normalization.

Boundary conditions are part of the observable. Changing them changes the dual theory, state, or ensemble.

Bulk conditionBoundary meaningExampleCaution
Dirichlet for scalar leading modeFix sourceStandard scalar deformationVev is determined dynamically.
Alternate quantizationSwap source and responseBF-window scalarAllowed only in a restricted mass range and with unitarity constraints.
Mixed scalar boundary conditionMulti-trace deformationfO2/2f\mathcal O^2/2Requires Legendre transform or boundary term.
Dirichlet for gauge fieldFixed chemical potential/sourceGrand-canonical ensembleBoundary global symmetry is fixed.
Neumann-like gauge boundary conditionFixed charge or dynamical boundary gauge field in some dimensionsCanonical ensembleMust add appropriate boundary term.
Fixed boundary metricCFT on prescribed geometryStandard AdS/CFTIntegrating over boundary metric changes the theory.
Regular Euclidean interiorSmooth Euclidean saddleThermal black-hole cigarDoes not by itself give retarded real-time correlators.
Infalling horizon conditionRetarded responseLorentzian black braneNeeded for causal dissipative correlators.
Outgoing horizon conditionAdvanced responseTime-reversed problemWrong for retarded response.
Normalizable at interiorState excitation or mode spectrumGlobal AdS normal modesHorizonless and black-hole interiors differ.
Brane endpoint fixed on boundaryNonlocal sourceWilson loop contourInternal-space endpoint may also be part of the source.
Homology condition for RT/HRTCorrect entropy saddleThermal entropy contributionEssential in black-hole backgrounds.

Mixed boundary conditions are especially important. For a scalar with standard source α\alpha and response β\beta, a double-trace deformation

δSCFT=f2ddxO2\delta S_{\rm CFT}=\frac f2\int d^d x\,\mathcal O^2

is implemented by a boundary condition of the schematic form

α=fβ\alpha=f\beta

or β=fα\beta=f\alpha, depending on which quantization and notation are used. This is a place where convention-hunting is not optional.

Bulk gauge redundancies become boundary Ward identities. These are among the best checks of a holographic calculation.

Bulk symmetry/constraintBoundary Ward identityWith sources
Gauge invariance of AMA_MCurrent conservationμJμ=0\nabla_\mu\langle J^\mu\rangle=0 unless charged sources/anomalies are present
Diffeomorphism invarianceStress-tensor conservationμTμν=FνμJμ+OνJO+\nabla_\mu\langle T^{\mu\nu}\rangle=F^{\nu}{}_{\mu}\langle J^\mu\rangle+\langle\mathcal O\rangle\nabla^\nu J_{\mathcal O}+\cdots
Weyl transformationsTrace Ward identityTμμ=(dΔ)JO+A\langle T^\mu{}_{\mu}\rangle=(d-\Delta)J\langle\mathcal O\rangle+\mathcal A
Hamiltonian constraintRG-like flow equationEncodes radial evolution of the on-shell action
Momentum constraintBoundary conservation lawFixes divergence of Brown-York tensor
Gauss constraint on braneCharge quantization or string endpointsBaryon vertex requires attached strings

For a CFT deformed by a scalar source J(x)J(x), the trace Ward identity has the schematic form

Tμμ=(dΔ)JO+A,\langle T^\mu{}_{\mu}\rangle =(d-\Delta)J\langle\mathcal O\rangle+\mathcal A,

where A\mathcal A is the conformal anomaly when present. In odd boundary dimensions and on simple backgrounds, A\mathcal A often vanishes; in even dimensions it is generally nonzero.

QuantityTrapSafer practice
gYM2g_{\rm YM}^2Factors of 2π2\pi or 4π4\pi differState the convention before using λ\lambda.
G5G_5 versus G10G_{10}Forgetting compactification volumeUse 1/G5=Vol(S5)/G101/G_5={\rm Vol}(S^5)/G_{10} with radius factors.
Operator normalizationComparing OPE coefficients across papersNormalize two-point functions first.
Stress tensorSign and factor errors in 2/g2/\sqrt g variationWrite the variational definition explicitly.
CurrentMaxwell coupling omittedKeep 1/gd+121/g_{d+1}^2 in all formulas.
Euclidean actionWrong sign in W=SEW=-S_EFix Z=eSEZ=e^{-S_E} or Z=eWZ=e^{W} at the start.
Fourier transformDifferent 2π2\pi conventionsWrite the transform convention.
Contact termsTreating scheme-dependent polynomial terms as physicalFocus on separated points or nonanalytic momentum dependence.
Horizon gaugeUsing At(rh)0A_t(r_h)\neq0 in Euclidean black holesChoose a gauge regular at the contractible thermal circle.
Entropy formulaUsing area law in higher-derivative gravityUse Wald or generalized entropy as appropriate.
Probe limitForgetting backreaction scaleCheck Nf/NN_f/N, brane tension, and charge density scalings.
Bottom-up modelsTreating model parameters as top-down predictionsState which parameters are phenomenological inputs.

Minimal working dictionary by problem type

Section titled “Minimal working dictionary by problem type”
ProblemBoundary inputBulk setupOutput
Scalar two-point functionOperator dimension Δ\Delta, source ϕ(0)\phi_{(0)}Free scalar in Euclidean AdSO(x)O(0)x2Δ\langle\mathcal O(x)\mathcal O(0)\rangle\propto \lvert x\rvert^{-2\Delta}
Three-point coefficientOperators Oi\mathcal O_iCubic coupling g123ϕ1ϕ2ϕ3g_{123}\phi_1\phi_2\phi_3C123C_{123} after fixing two-point normalizations
Retarded correlatorOperator and thermal stateLinear fluctuation in black brane with infalling conditionGR(ω,k)G_R(\omega,k) and spectral density
ConductivityCurrent JxJ^xMaxwell fluctuation ax(r)a_x(r)σ(ω)\sigma(\omega) from GJxJxRG^R_{J^xJ^x}
Shear viscosityStress tensor TxyT^{xy}Graviton hxy(r)h^x{}_y(r)η\eta from Kubo formula
Equation of stateThermal CFTBlack-brane saddleϵ\epsilon, pp, ss, FF
Heavy-quark potentialRectangular Wilson loopU-shaped string worldsheetV(R)V(R) from SNGrenS_{\rm NG}^{\rm ren}
Meson spectrumFlavor bilinear operatorsProbe-brane fluctuationsDiscrete normal-mode masses
Entanglement entropyRegion AART/HRT/QES surfaceSAS_A
RG flowRelevant deformationEinstein-scalar domain wallRunning vevs, cc-function, IR geometry
Finite-density phaseμ\mu, TT, charged operatorsCharged black brane plus possible hairPhase diagram and response functions
Momentum relaxationTranslation-breaking sourceAxions, lattices, Q-lattices, massive-gravity-like modelsFinite DC transport

When in doubt, return to the variational problem.

Source variedConjugate observableBulk canonical object
Scalar source ϕ(0)\phi_{(0)}O\langle\mathcal O\rangleΠϕren=δSren/δϕ(0)\Pi_\phi^{\rm ren}=\delta S^{\rm ren}/\delta\phi_{(0)}
Gauge source Aμ(0)A^{(0)}_\muJμ\langle J^\mu\rangleΠAμ,ren\Pi_A^{\mu,\rm ren}
Boundary metric gμν(0)g^{(0)}_{\mu\nu}Tμν\langle T^{\mu\nu}\rangleRenormalized Brown-York tensor
Fermion source componentOψ\langle\mathcal O_\psi\rangleConjugate spinor component
Brane embedding sourceDefect/flavor condensateRenormalized brane momentum
Wilson-loop contourForce or shape responseVariation of string action
Entangling surface shapeEntanglement shape responseVariation of extremal-surface area or generalized entropy
Thermal period β\betaEnergy/free energyVariation of Euclidean saddle
Chemical potential μ\muCharge density ρ\rhoElectric flux

The safest habit is to write the first variation of the renormalized on-shell action:

δSosren=ddxg(0)(12Tμνδgμν(0)+JμδAμ(0)+Oδϕ(0)+).\delta S^{\rm ren}_{\rm os} =\int d^d x\sqrt{|g^{(0)}|}\left( \frac12\langle T^{\mu\nu}\rangle\delta g^{(0)}_{\mu\nu} +\langle J^\mu\rangle\delta A^{(0)}_\mu +\langle\mathcal O\rangle\delta\phi_{(0)} +\cdots \right).

This one line fixes many factors and signs, provided your convention for SES_E or SLS_L is stated.

How to use these tables in a real calculation

Section titled “How to use these tables in a real calculation”

Use the dictionary in the following order:

  1. Identify the observable. Is it a one-point function, a retarded correlator, a transport coefficient, a free energy, a Wilson loop, or an entropy?
  2. Identify the source. What boundary data must be held fixed?
  3. Identify the state. Vacuum, thermal state, charged state, defect state, time-dependent state, or ensemble?
  4. Choose the bulk approximation. Classical supergravity, probe brane, classical string, perturbative Witten diagram, or quantum-corrected QES?
  5. Impose the correct boundary and interior conditions. Regular Euclidean, infalling Lorentzian, normalizable, mixed, homology, flux quantization, and so on.
  6. Renormalize before differentiating. Bare canonical momenta are usually divergent.
  7. Check Ward identities and scaling. A result that violates a Ward identity is almost always wrong.
  8. State the regime of validity. Every holographic answer is surrounded by assumptions.

A scalar primary O\mathcal O in a d=4d=4 CFT has dimension Δ=3\Delta=3. What is the dimension of its source JJ? What is the leading near-boundary power of the dual scalar in standard quantization?

Solution

The deformation is

δS=d4xJO,\delta S=\int d^4x\,J\mathcal O,

so [J]=dΔ=1[J]=d-\Delta=1. The standard near-boundary expansion is

ϕ(z,x)=zdΔϕ(0)(x)++zΔϕ(2Δd)(x)+.\phi(z,x)=z^{d-\Delta}\phi_{(0)}(x)+\cdots+z^\Delta\phi_{(2\Delta-d)}(x)+\cdots .

For d=4d=4 and Δ=3\Delta=3,

ϕ(z,x)=zϕ(0)(x)++z3ϕ(2)(x)+.\phi(z,x)=z\phi_{(0)}(x)+\cdots+z^3\phi_{(2)}(x)+\cdots .

The coefficient of zz is the source in standard quantization.

Exercise 2: scalar mass from operator dimension

Section titled “Exercise 2: scalar mass from operator dimension”

For a scalar operator of dimension Δ\Delta in a dd-dimensional CFT, show that the dual scalar mass is

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

Evaluate this for d=4d=4, Δ=2\Delta=2. Is the scalar below the BF bound?

Solution

The scalar mass-dimension relation is

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

For d=4d=4 and Δ=2\Delta=2,

m2L2=2(24)=4.m^2L^2=2(2-4)=-4.

The BF bound in AdS5_5 is

m2L2d24=4.m^2L^2\ge -\frac{d^2}{4}=-4.

Thus m2L2=4m^2L^2=-4 saturates the BF bound. It is not below the bound, but logarithmic subtleties may appear because the two roots coincide.

Consider a Maxwell field in AdS with action

SA=14gd+12dd+1xgFMNFMN.S_A=-\frac{1}{4g_{d+1}^2}\int d^{d+1}x\sqrt{-g}\,F_{MN}F^{MN}.

Show that the canonical momentum conjugate to AμA_\mu along the radial direction is proportional to gFzμ\sqrt{-g}F^{z\mu}.

Solution

Vary the Maxwell action:

δSA=12gd+12dd+1xgFMNδFMN.\delta S_A =-\frac{1}{2g_{d+1}^2}\int d^{d+1}x\sqrt{-g}\,F^{MN}\delta F_{MN}.

Using

δFMN=MδANNδAM,\delta F_{MN}=\nabla_M\delta A_N-\nabla_N\delta A_M,

and integrating by parts, the boundary term at fixed radial coordinate is

δSAbdy=1gd+12z=ϵddxgFzμδAμ,\delta S_A\big|_{\rm bdy} =-\frac{1}{g_{d+1}^2}\int_{z=\epsilon} d^d x\sqrt{-g}\,F^{z\mu}\delta A_\mu,

up to orientation conventions. Thus

ΠAμ=1gd+12gFzμ.\Pi_A^\mu =-\frac{1}{g_{d+1}^2}\sqrt{-g}\,F^{z\mu}.

After adding counterterms and taking the cutoff to the boundary, this becomes the renormalized current expectation value.

You want the retarded correlator of a scalar operator in a thermal state. Should the bulk field be regular in Euclidean signature, normalizable in global AdS, infalling at the Lorentzian horizon, or outgoing at the Lorentzian horizon?

Solution

For a retarded thermal correlator, use the Lorentzian black-hole or black-brane geometry and impose the infalling condition at the future horizon. The infalling condition implements causal response: the horizon absorbs disturbances rather than emitting them in response to a boundary source.

Regularity in the Euclidean geometry computes Euclidean thermal correlators. Normalizability in global AdS computes normal modes in a horizonless geometry. Outgoing horizon conditions compute the advanced response or a time-reversed problem, not the retarded Green function.

In AdS5_5/CFT4_4, classify each correction as primarily a 1/N1/N correction or a 1/λ1/\lambda correction:

  1. A one-loop graviton diagram in AdS.
  2. An R4R^4 higher-derivative term in type IIB string theory.
  3. A genus-one string worldsheet correction.
  4. A finite string length correction to a classical supergravity background.
Solution
  1. A one-loop graviton diagram is a bulk quantum correction, so it is primarily a 1/N1/N correction.
  2. The R4R^4 term is a stringy α\alpha' correction, so it is primarily a 1/λ1/\lambda correction. In AdS5×S5_5\times S^5, the leading correction scales as a positive power of λ3/2\lambda^{-3/2} in many observables.
  3. A genus-one string worldsheet correction is a string loop correction, so it is controlled by gsg_s and hence by 1/N1/N at fixed or large λ\lambda.
  4. A finite string length correction is an α\alpha' correction, so it is primarily a 1/λ1/\lambda correction.

Some effects can mix the two expansions, but this classification captures the leading physical origin.

A boundary theory has a conserved U(1)U(1) current, is placed at temperature TT, and is deformed by a relevant scalar operator. You want to compute the DC conductivity at finite density. List the minimal bulk ingredients.

Solution

The minimal ingredients are:

  • a bulk metric with a black-hole or black-brane horizon to represent the thermal state;
  • a bulk Maxwell field AMA_M dual to the conserved current;
  • a nonzero background At(r)A_t(r) with boundary value μ\mu and radial electric flux ρ\rho to represent finite density;
  • a bulk scalar ϕ(r)\phi(r) dual to the relevant deformation, with leading boundary coefficient equal to the scalar source;
  • a consistent set of coupled background equations for gMNg_{MN}, AMA_M, and ϕ\phi;
  • linearized perturbations, typically including axa_x, htxh_{tx}, and possibly scalar or translation-breaking perturbations;
  • infalling horizon conditions for retarded response;
  • holographic renormalization to extract GJxJxRG^R_{J^xJ^x};
  • if the system has finite density and conserved momentum, a mechanism for momentum relaxation or an explicit treatment of the delta function in the DC conductivity.