Skip to content

The Four Languages of AdS/CFT

AdS/CFT is one correspondence, but it is rarely understood from only one point of view. The same physical statement can look like a theorem about CFT correlators, a boundary-value problem in curved spacetime, a string-theoretic decoupling limit of branes, or a statement about entanglement and quantum error correction. A mature understanding of holography means being able to translate between these descriptions without confusing their domains of validity.

A useful slogan is:

CFT databulk quantum gravity in asymptotically AdS spacetime.\text{CFT data} \quad \Longleftrightarrow \quad \text{bulk quantum gravity in asymptotically AdS spacetime} .

But in practice we use several approximations to unpack the right-hand side. In the strongest formulation, the boundary CFT is a nonperturbative definition of the bulk quantum gravity theory. In the most calculable regime, the bulk becomes a weakly coupled effective field theory on a classical geometry. Between those two statements lie the parameters, branes, compact spaces, string modes, entanglement wedges, and large-NN limits that make AdS/CFT a usable tool rather than a slogan.

A diamond-shaped map of the four languages of AdS/CFT: CFT data, bulk effective field theory, string and D-brane construction, and quantum information.

The four languages used throughout this course. The exact statement is the equality of the CFT and bulk quantum-gravity descriptions, schematically ZCFT[J]=ZQG[ϕJ]Z_{\mathrm{CFT}}[J]=Z_{\mathrm{QG}}[\phi\to J]. Classical geometry, string/D-brane constructions, and quantum-information structures are different controlled ways of extracting physics from that equality.

Each language has a different natural set of questions.

LanguageNatural objectsTypical question
CFToperators, states, OPE data, sourcesWhat are the exact observables of the boundary theory?
Bulk EFTfields, metrics, horizons, boundary conditionsWhat is the classical or semiclassical gravitational saddle?
String/D-braneopen strings, closed strings, branes, flux, compactificationWhy does this CFT have a gravitational dual, and what controls corrections?
Quantum informationdensity matrices, entropy, modular flow, code subspacesHow does spacetime emerge from entanglement and redundancy?

The languages are not competitors. They are coordinate systems on the same conceptual space. One should use the CFT language for exact definitions, the bulk EFT language for practical calculations at strong coupling and large NN, the string/D-brane language for microscopic origin and correction scales, and the quantum-information language for questions about emergence, subregions, and black-hole information.

The cleanest side of the duality is the conformal field theory. A CFT is defined by its Hilbert space, operator algebra, correlation functions, and stress tensor. In a local CFT, one can organize the local operator content into conformal primaries and descendants. The fundamental data include the spectrum of dimensions and spins,

{Δi,si},\{\Delta_i,s_i\},

and the OPE coefficients,

Oi(x)Oj(0)kCijkOk(0)xΔi+ΔjΔk+,\mathcal O_i(x)\mathcal O_j(0) \sim \sum_k C_{ijk}\,\frac{\mathcal O_k(0)}{|x|^{\Delta_i+\Delta_j-\Delta_k}} +\cdots,

with tensor structures suppressed. In many CFTs, this data is the most intrinsic description of the theory. It does not depend on a Lagrangian, a weak-coupling expansion, or a geometric interpretation.

The CFT language asks questions such as:

  • What are the single-trace primary operators?
  • What are the scaling dimensions Δi\Delta_i and OPE coefficients CijkC_{ijk}?
  • What is the stress-tensor two-point coefficient CTC_T?
  • What is the thermal partition function Z(β)Z(\beta)?
  • What is the entanglement entropy of a spatial region AA?
  • What is the retarded Green function GR(ω,k)G_R(\omega,k) of a conserved current?

In AdS/CFT, these questions become gravitational questions. A scalar primary operator maps to a bulk field. A conserved current maps to a bulk gauge field. The stress tensor maps to the bulk metric. A thermal state maps to a black hole or another Euclidean saddle. Entanglement entropy maps to a geometric or quantum extremal surface.

The CFT side also provides the most precise formulation of unitarity. If the CFT Hamiltonian HH is self-adjoint and time evolution is

U(t)=eiHt,U(t)=e^{-iHt},

then the bulk theory is unitary, even when a semiclassical gravitational description seems to hide information behind horizons. This is why AdS/CFT is so powerful in the black-hole information problem: the boundary theory gives a definition that is not formulated in terms of local bulk spacetime variables.

For holographic CFTs with matrix degrees of freedom, the large-NN expansion organizes correlation functions in a way that resembles a weakly coupled bulk theory. A single-trace operator has schematic form

O(x)1NTrX2(x),\mathcal O(x) \sim \frac{1}{N}\mathrm{Tr}\,X^2(x),

where the normalization is chosen so that its two-point function is O(N0)O(N^0). Then connected correlators often scale as

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

This is the CFT shadow of bulk perturbation theory. Two-point functions are order one, three-point functions are suppressed by 1/N1/N, and connected four-point functions are suppressed by 1/N21/N^2. In the bulk, this is the statement that interactions among canonically normalized single-particle fields are weak when the gravitational coupling is small.

A useful dictionary entry is therefore:

large-N factorizationweakly coupled bulk perturbation theory.\text{large-}N\ \text{factorization} \quad \Longleftrightarrow \quad \text{weakly coupled bulk perturbation theory}.

Large NN alone is not enough to produce Einstein gravity. A vector model can also have a large-NN expansion, but its bulk dual, when it exists, is usually a higher-spin theory rather than ordinary Einstein gravity. To obtain a local Einstein-like bulk effective field theory, the CFT needs additional structure: a parametrically large gap in the dimensions of higher-spin single-trace operators, sparse low-dimension spectrum, and sufficiently universal stress-tensor dynamics. These conditions will return later when we discuss the canonical example and noncanonical dualities.

The bulk language is the one most people first associate with AdS/CFT: fields propagating on an asymptotically AdS spacetime. A scalar field ϕ\phi in AdSd+1_{d+1}, a Maxwell field AMA_M, and a metric gMNg_{MN} are not merely decorative bulk variables. They encode CFT operators and sources.

The central semiclassical statement is

ZCFT[J]=ZQG[ϕJ]exp(Sbulkren[ϕcl;J])Z_{\mathrm{CFT}}[J] = Z_{\mathrm{QG}}[\phi\to J] \approx \exp\left(-S^{\mathrm{ren}}_{\mathrm{bulk}}[\phi_{\mathrm{cl}};J]\right)

in Euclidean signature. Here JJ is a boundary source, ϕcl\phi_{\mathrm{cl}} solves the bulk equations of motion with prescribed asymptotic behavior, and SbulkrenS^{\mathrm{ren}}_{\mathrm{bulk}} is the renormalized on-shell action. The word “renormalized” is essential: the infinite volume near the AdS boundary produces divergences, and local boundary counterterms are required before differentiating with respect to sources.

For example, if a scalar operator O\mathcal O is sourced by JJ, then

ZCFT[J]=exp(ddxJ(x)O(x))Z_{\mathrm{CFT}}[J] = \left\langle \exp\left(\int d^dx\,J(x)\mathcal O(x)\right) \right\rangle

and the bulk problem is to solve for a scalar field whose near-boundary behavior is controlled by J(x)J(x). Functional derivatives of the renormalized on-shell action then give CFT correlators.

The bulk EFT language is especially efficient for:

CFT questionBulk EFT calculation
Two-point function of O\mathcal OSolve a linear wave equation in AdS.
Thermal entropyCompute the area of a black-hole horizon.
Transport coefficientSolve linearized perturbations with infalling horizon boundary conditions.
RG flowFind a domain-wall solution driven by scalar fields.
Entanglement entropy at leading large NNExtremize an area functional.

The bulk description also explains why spacetime geometry is dynamical. The CFT stress tensor couples to a background metric gμν(0)g^{(0)}_{\mu\nu}, while the dual bulk field is the full metric gMNg_{MN}. The source is the boundary metric, and the response is the expectation value of the stress tensor:

gμν(0)Tμν.g^{(0)}_{\mu\nu} \quad \longleftrightarrow \quad T_{\mu\nu}.

In a semiclassical bulk limit, the expectation value Tμν\langle T_{\mu\nu}\rangle is read from the asymptotic behavior of the metric through holographic renormalization. Thus the gravitational constraints and boundary Ward identities are two versions of the same structure.

The bulk EFT language is powerful because it is geometric. It is dangerous for the same reason. Classical geometry is not the fundamental definition of the theory. It is an approximation valid in a regime where several corrections are small.

The usual hierarchy is:

LP1andLs1,\frac{L}{\ell_{\mathrm{P}}} \gg 1 \quad \text{and} \quad \frac{L}{\ell_s} \gg 1,

where LL is the AdS radius, P\ell_{\mathrm{P}} is the bulk Planck length, and s\ell_s is the string length. The first inequality suppresses quantum gravitational loops. The second suppresses higher-derivative stringy corrections. In the canonical AdS5_5/CFT4_4 example, these conditions are tied to large NN and large ‘t Hooft coupling λ\lambda:

L3G5N2,L4α2λ.\frac{L^3}{G_5}\sim N^2, \qquad \frac{L^4}{\alpha'^2}\sim \lambda .

Thus the sentence “the dual is classical gravity” should always be expanded into the more precise statement:

the CFT is in a regime where the dual string theory is well approximated by classical two-derivative bulk gravity.\text{the CFT is in a regime where the dual string theory is well approximated by classical two-derivative bulk gravity.}

That longer sentence is less catchy, but it is much less misleading.

The string/D-brane language explains why the most famous holographic CFTs exist in the first place. It is the microscopic construction language.

A D-brane has two complementary descriptions. Open strings ending on the brane produce gauge fields and matter degrees of freedom living on the brane worldvolume. The same D-brane also carries energy, tension, and Ramond-Ramond charge, so it sources closed-string fields and curves spacetime. In an appropriate low-energy decoupling limit, these two descriptions isolate two apparently different theories that are then identified.

For NN coincident D3-branes, the open-string description gives four-dimensional N=4\mathcal N=4 super Yang-Mills theory with gauge group roughly U(N)U(N) or SU(N)SU(N) after removing the decoupled center-of-mass U(1)U(1). The closed-string description gives type IIB string theory in the near-horizon geometry

AdS5×S5.\mathrm{AdS}_5\times S^5.

This is why the canonical duality is not an arbitrary guess. It comes from a system with two low-energy descriptions:

open strings on D3-branesclosed strings in the near-horizon D3 geometry.\text{open strings on D3-branes} \quad \Longleftrightarrow \quad \text{closed strings in the near-horizon D3 geometry}.

The string language naturally contains objects that are invisible or awkward in pure bulk EFT:

  • fundamental strings ending on the boundary, dual to Wilson loops;
  • D-branes wrapping cycles in the compact space, dual to baryon vertices or defects;
  • Kaluza-Klein modes on the internal manifold, dual to towers of CFT operators;
  • string oscillator modes, dual to heavy single-trace operators;
  • worldsheet genus expansion, dual to the 1/N1/N expansion;
  • α\alpha' corrections, dual to finite-coupling corrections in the CFT.

The two parameters gsg_s and α\alpha' are especially important. The string coupling gsg_s controls the splitting and joining of closed strings, while α=s2\alpha'=\ell_s^2 controls the string length. In the canonical example,

gsλN,L2αλ.g_s \sim \frac{\lambda}{N}, \qquad \frac{L^2}{\alpha'}\sim \sqrt\lambda .

At fixed large λ\lambda, taking NN\to\infty makes gsg_s small and suppresses string loops. Taking λ\lambda\to\infty makes the string length much smaller than the AdS radius and suppresses stringy higher-derivative corrections. Classical Einstein gravity requires both.

For many applications, especially bottom-up holography, one begins directly with an effective gravitational action and does not specify a full string compactification. This can be extremely useful. But the string language remains conceptually important for at least three reasons.

First, it explains which quantum gravity theory the bulk EFT is approximating. An Einstein-Maxwell-scalar action in AdS can be a useful model, but by itself it is not automatically a complete ultraviolet-consistent quantum gravity theory.

Second, it controls correction terms. Higher-derivative terms, extra fields, brane sources, and internal dimensions are not arbitrary decorations; in top-down examples they are constrained by string theory.

Third, it distinguishes universal from model-dependent results. Some predictions depend only on two-derivative gravity and horizon regularity. Others depend on the precise compactification, matter content, brane embedding, or string-scale physics.

A good habit is to ask of every bulk model:

Is this a top-down construction, a consistent truncation, or a bottom-up effective model?\text{Is this a top-down construction, a consistent truncation, or a bottom-up effective model?}

The answer determines how much microscopic trust one should place in the calculation.

The quantum-information language became central because classical geometry alone cannot explain how bulk spacetime is encoded in the boundary theory. A boundary subregion AA has a reduced density matrix

ρA=TrAˉρ,\rho_A=\mathrm{Tr}_{\bar A}\rho,

and an entanglement entropy

SA=TrρAlogρA.S_A=-\mathrm{Tr}\,\rho_A\log\rho_A .

In holographic theories, the leading large-NN entropy of a spatial region is computed by an extremal surface in the bulk:

SA=Area(γA)4GN+.S_A = \frac{\mathrm{Area}(\gamma_A)}{4G_N} +\cdots .

The dots are not an afterthought. They include bulk entanglement entropy and further quantum corrections. The deeper statement is not simply “entropy equals area.” It is that the pattern of entanglement in the CFT knows about the connectivity, locality, and causal structure of the emergent bulk.

The quantum-information language asks questions such as:

  • Which bulk region is encoded in a boundary subregion AA?
  • Why can the same bulk operator be reconstructed from different boundary regions?
  • How does the radial direction emerge from scale and entanglement?
  • What is the role of the modular Hamiltonian
KA=logρA?K_A=-\log\rho_A?
  • How does a black-hole Page curve arise from a gravitational entropy calculation?

The answer to the first question is the entanglement wedge. Roughly, the boundary region AA reconstructs the bulk domain bounded by AA and the appropriate extremal surface γA\gamma_A. The answer to the second question uses quantum error correction: bulk information is encoded redundantly in the boundary, so a low-energy bulk operator may have multiple boundary reconstructions.

This language is indispensable for modern questions about black holes. The classical bulk description treats the region behind a horizon as a geometric interior. The CFT description treats the same physics as encoded in quantum degrees of freedom with unitary time evolution. The quantum-information language explains how both can be true inside a restricted code subspace, and why semiclassical intuition may fail outside that code subspace.

The following table gives a first map between the four languages. Later chapters turn each row into a calculation.

Physical ideaCFT languageBulk EFT languageString/D-brane languageQuantum-information language
Local scalar excitationPrimary operator O\mathcal O with dimension Δ\DeltaScalar field ϕ\phi with m2L2=Δ(Δd)m^2L^2=\Delta(\Delta-d)Kaluza-Klein or string modeLow-energy bulk excitation in a code subspace
Global symmetryConserved current JμJ^\muGauge field AMA_MGauge field from compactification or branesCharged sectors of the Hilbert space
Energy and momentumStress tensor TμνT_{\mu\nu}Bulk metric gMNg_{MN}Closed-string gravitonModular energy and gravitational constraints
Source deformationAdd JO\int J\mathcal O to the actionBoundary condition ϕJ\phi\to JChange asymptotic string backgroundChange the state or Hamiltonian data
Thermal stateZ(β)=TreβHZ(\beta)=\mathrm{Tr}\,e^{-\beta H}Euclidean saddle or Lorentzian black holeThermal string backgroundMixed state or one side of a thermofield double
Wilson loopNonlocal operator W(C)W(C)Minimal surface ending on CCFundamental string worldsheetProbe of confinement and screening
Entanglement entropySA=TrρAlogρAS_A=-\mathrm{Tr}\rho_A\log\rho_AArea of an extremal surface plus correctionsGeometry from branes and stringsEntanglement wedge and error correction
RG flowRelevant deformation and running observablesRadial domain-wall geometryChange of brane configuration or flux backgroundCoarse graining and scale-dependent encoding

This table should be used actively. When reading a paper, pause whenever an object appears and ask which row it belongs to. For example, a “charged scalar in RN-AdS” is not just a bulk field in a black-hole metric. It is also a charged CFT operator at finite chemical potential, a sector of a possible string compactification, and a probe of the entanglement structure of a finite-density state.

Consider a scalar primary operator O\mathcal O in a dd-dimensional CFT. In CFT language, conformal invariance fixes its two-point function up to normalization:

O(x)O(0)=COx2Δ.\langle \mathcal O(x)\mathcal O(0)\rangle = \frac{C_{\mathcal O}}{|x|^{2\Delta}}.

In bulk EFT language, this result comes from solving the scalar wave equation in AdSd+1_{d+1}. Near the boundary, the scalar behaves schematically as

ϕ(z,x)zdΔJ(x)+zΔA(x)+.\phi(z,x) \sim z^{d-\Delta}J(x)+z^\Delta A(x)+\cdots .

The leading coefficient J(x)J(x) is the source, while the subleading coefficient is related to the expectation value O(x)\langle \mathcal O(x)\rangle. The mass of the bulk scalar is tied to the dimension of the operator:

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

In string language, the scalar may be a Kaluza-Klein mode of a ten- or eleven-dimensional field on the compact internal space, or a genuine string excitation. Its mass and interactions are determined by the compactification. In quantum-information language, this scalar describes a low-energy bulk excitation inside a code subspace: a small perturbation around a semiclassical background that can be reconstructed from suitable boundary regions.

All four descriptions are talking about the same object, but they answer different questions. The CFT fixes the allowed conformal form. The bulk EFT computes the normalization and strong-coupling dynamics. The string construction explains where the field came from and what corrections exist. Quantum information tells us how the excitation is encoded in boundary subregions.

Now consider a thermal CFT state at inverse temperature β\beta:

ρβ=eβHZ(β),Z(β)=TreβH.\rho_\beta=\frac{e^{-\beta H}}{Z(\beta)}, \qquad Z(\beta)=\mathrm{Tr}\,e^{-\beta H}.

In Euclidean CFT language, this is the partition function on a space with a thermal circle of circumference β\beta. In Lorentzian language, it defines real-time thermal correlators and hydrodynamic response functions.

In bulk EFT language, a high-temperature deconfined state of a holographic large-NN CFT is often represented by an AdS black brane or black hole. The temperature is the Hawking temperature, and the entropy is the Bekenstein-Hawking entropy:

Sthermal=AH4GN.S_{\mathrm{thermal}} = \frac{A_{\mathcal H}}{4G_N}.

In string language, the same background may include a compact thermal circle, possible winding modes, and string-scale corrections. At sufficiently high curvature or near special transitions, the classical black-hole picture may fail and stringy degrees of freedom become important.

In quantum-information language, a thermal density matrix can be purified as a thermofield double state,

TFD=1Z(β)neβEn/2nLnR,|\mathrm{TFD}\rangle = \frac{1}{\sqrt{Z(\beta)}} \sum_n e^{-\beta E_n/2}|n\rangle_L|n\rangle_R,

which is dual, in the appropriate regime, to an eternal two-sided AdS black hole. The Einstein-Rosen bridge is then not an additional independent system. It is a geometric representation of entanglement between two CFTs in a special entangled state.

A relevant deformation of a CFT has the form

SCFTSCFT+ddxgO(x),Δ<d.S_{\mathrm{CFT}} \to S_{\mathrm{CFT}}+\int d^dx\,g\,\mathcal O(x), \qquad \Delta<d.

In CFT language, this triggers a renormalization-group flow away from the original fixed point. In bulk EFT language, the source gg changes the near-boundary behavior of the scalar field dual to O\mathcal O, and the geometry may become a domain wall interpolating between two asymptotic regimes. In string language, the flow may correspond to changing brane data, fluxes, compactification moduli, or relevant modes of the worldvolume theory. In quantum-information language, the flow changes the organization of degrees of freedom across length scales and hence the entanglement structure.

The radial coordinate is therefore not merely “the energy scale.” That phrase is often useful, but it is shorthand. The precise statement is that radial evolution in the bulk encodes the way boundary observables change under changes of scale, sources, and cutoff. The map is powerful, but it is not a literal identification of a coordinate with an RG parameter in every gauge and every state.

A common beginner mistake is to choose one language too early and forget the others. A better workflow is:

  1. Define the observable in CFT language. This prevents confusion about what is actually being computed.
  2. Translate it into a bulk boundary-value problem. This gives a practical calculation when the semiclassical approximation is valid.
  3. Ask what controls the approximation. This usually requires large-NN and string-theory language.
  4. Ask what is encoded where. This becomes essential for subregions, horizons, and information-theoretic questions.

For example, suppose one wants the conductivity of a finite-density holographic state. The CFT observable is the retarded current-current correlator,

GJxJxR(ω,k=0).G^R_{J_xJ_x}(\omega,k=0).

The bulk EFT computation solves a Maxwell perturbation ax(r)eiωta_x(r)e^{-i\omega t} in a charged black-hole background with infalling boundary conditions at the horizon. The string/D-brane language asks whether the Maxwell field is a consistent truncation, whether there are charged branes or extra light modes, and what corrections may affect the result. The quantum-information language asks what the horizon and near-horizon region mean in the boundary theory, especially near extremality.

This habit of translation is what turns holography from a collection of famous formulas into a research method.

Mistake 1: treating the bulk picture as always classical

Section titled “Mistake 1: treating the bulk picture as always classical”

The exact duality, when it exists, relates the CFT to quantum gravity or string theory, not merely to Einstein’s equations. Classical geometry is a limit. The bulk may contain string-scale curvature, quantum loops, branes, topology change, or no useful geometric description at all.

Mistake 2: treating every large-NN CFT as Einstein gravity

Section titled “Mistake 2: treating every large-NNN CFT as Einstein gravity”

Large NN gives factorization and a perturbative expansion. It does not automatically give a local Einstein bulk. The low-dimension single-trace spectrum and higher-spin gap matter. This is why matrix large-NN theories, vector large-NN theories, and generalized free theories can have very different bulk interpretations.

Writing “AdSd+1_{d+1}” often hides the internal manifold. In top-down examples, the bulk is usually something like

AdSd+1×X,\mathrm{AdS}_{d+1}\times X,

where XX is compact. The symmetries, Kaluza-Klein spectrum, flux quantization, and brane objects depend on XX. Ignoring it is sometimes an excellent low-energy approximation, but it is still an approximation.

A source changes the Hamiltonian or action. A state chooses a vector or density matrix in the Hilbert space. In the bulk, these often correspond to different asymptotic and normalizable data. For a scalar field,

ϕ(z,x)zdΔJ(x)+zΔA(x)+,\phi(z,x) \sim z^{d-\Delta}J(x)+z^\Delta A(x)+\cdots,

where JJ is source-like and AA is response-like, up to subtleties such as alternate quantization and contact terms.

Mistake 5: reducing quantum information to a metaphor

Section titled “Mistake 5: reducing quantum information to a metaphor”

Entanglement wedges and quantum error correction are not just analogies. They give precise constraints on which bulk operators can be reconstructed from which boundary regions. The language is especially important when semiclassical geometry gives ambiguous intuition, as in black-hole interiors and island calculations.

Fill in the missing entries in the following dictionary.

CFT objectBulk EFT object
Scalar primary O\mathcal O?
Conserved current JμJ^\mu?
Stress tensor TμνT_{\mu\nu}?
Wilson loop W(C)W(C)?
Entanglement entropy SAS_A?
Solution

The standard leading dictionary is:

CFT objectBulk EFT object
Scalar primary O\mathcal OBulk scalar field ϕ\phi with m2L2=Δ(Δd)m^2L^2=\Delta(\Delta-d)
Conserved current JμJ^\muBulk gauge field AMA_M
Stress tensor TμνT_{\mu\nu}Bulk metric gMNg_{MN}, with boundary value gμν(0)g^{(0)}_{\mu\nu}
Wilson loop W(C)W(C)Fundamental string worldsheet ending on CC at the boundary
Entanglement entropy SAS_AExtremal surface area, plus quantum corrections

The entries are leading statements. For example, the Wilson-loop entry is sharpest in string theory, not in pure Einstein gravity. The entanglement entry becomes

SA=Area(γA)4GN+Sbulk+S_A=\frac{\mathrm{Area}(\gamma_A)}{4G_N}+S_{\mathrm{bulk}}+\cdots

once bulk quantum corrections are included.

Exercise 2: Functional derivatives in the semiclassical limit

Section titled “Exercise 2: Functional derivatives in the semiclassical limit”

Suppose the Euclidean generating functional is approximated by

ZCFT[J]exp(Sren[J]),Z_{\mathrm{CFT}}[J] \approx \exp\left(-S_{\mathrm{ren}}[J]\right),

and define

W[J]=logZCFT[J].W[J]=\log Z_{\mathrm{CFT}}[J].

Show that, with the convention

O(x)J=δW[J]δJ(x),\langle \mathcal O(x)\rangle_J=\frac{\delta W[J]}{\delta J(x)},

one has

O(x)J=δSren[J]δJ(x).\langle \mathcal O(x)\rangle_J = -\frac{\delta S_{\mathrm{ren}}[J]}{\delta J(x)}.

Explain why signs may differ in the literature.

Solution

From the saddle-point approximation,

W[J]=logZCFT[J]Sren[J].W[J]=\log Z_{\mathrm{CFT}}[J] \approx -S_{\mathrm{ren}}[J].

Therefore

O(x)J=δW[J]δJ(x)=δSren[J]δJ(x).\langle \mathcal O(x)\rangle_J = \frac{\delta W[J]}{\delta J(x)} = -\frac{\delta S_{\mathrm{ren}}[J]}{\delta J(x)}.

Different sign conventions arise because authors may define the Euclidean source term as either

SESEJOS_E\to S_E-\int J\mathcal O

or

SESE+JO.S_E\to S_E+\int J\mathcal O.

They may also work in Lorentzian signature, where the saddle is written as eiSe^{iS} instead of eSEe^{-S_E}. The invariant lesson is that CFT one-point functions are obtained by differentiating the properly renormalized on-shell action with respect to boundary sources, after fixing a convention.

Exercise 3: Large-NN factorization and bulk interactions

Section titled “Exercise 3: Large-NNN factorization and bulk interactions”

Assume normalized single-trace operators obey

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

What is the scaling of the connected three-point and four-point functions? Interpret the result in bulk language.

Solution

For n=3n=3,

O1O2O3connN1.\langle \mathcal O_1\mathcal O_2\mathcal O_3\rangle_{\mathrm{conn}} \sim N^{-1}.

For n=4n=4,

O1O2O3O4connN2.\langle \mathcal O_1\mathcal O_2\mathcal O_3\mathcal O_4\rangle_{\mathrm{conn}} \sim N^{-2}.

In the bulk, normalized single-trace operators create single-particle states. The suppression of connected higher-point functions means that bulk interactions are weak. A cubic vertex among canonically normalized bulk fields is typically suppressed by 1/N1/N, while tree-level exchange or contact contributions to connected four-point functions scale like 1/N21/N^2. This is the CFT manifestation of weakly coupled bulk perturbation theory.

Exercise 4: A thermal state in four languages

Section titled “Exercise 4: A thermal state in four languages”

Describe the same thermal state in the four languages of this page.

Solution

In CFT language, a thermal state is described by the density matrix

ρβ=eβHZ(β)\rho_\beta=\frac{e^{-\beta H}}{Z(\beta)}

and the partition function

Z(β)=TreβH.Z(\beta)=\mathrm{Tr}\,e^{-\beta H}.

In bulk EFT language, the dominant high-temperature saddle of a holographic large-NN theory is often an AdS black hole or black brane. The temperature is the Hawking temperature, and the entropy is computed from the horizon area.

In string/D-brane language, the same state is a thermal state of the underlying string background, with possible winding modes, branes, compact-space effects, and α\alpha' corrections.

In quantum-information language, the thermal density matrix can be purified as a thermofield double state. When the semiclassical regime is valid, the thermofield double is dual to a two-sided eternal AdS black hole.

Exercise 5: Which language controls which approximation?

Section titled “Exercise 5: Which language controls which approximation?”

For each statement below, identify the language that most directly diagnoses the issue.

  1. Whether a CFT has a large higher-spin gap.
  2. Whether a Wilson loop should be computed by a fundamental string or by a D-brane.
  3. Whether a black-brane conductivity calculation needs infalling boundary conditions.
  4. Whether a bulk operator lies in the entanglement wedge of a boundary subregion.
Solution
  1. The higher-spin gap is diagnosed in CFT language, through the spectrum of single-trace primary operators. It has a bulk interpretation as the separation between light Einstein-sector fields and stringy or higher-spin fields.
  2. The distinction between fundamental strings and D-branes is most naturally made in string/D-brane language. The answer depends on the representation of the Wilson loop or the type of nonlocal object being inserted.
  3. Infalling boundary conditions are a feature of the bulk EFT language for Lorentzian retarded correlators in black-hole backgrounds.
  4. Entanglement wedge membership is part of the quantum-information language, although it is computed geometrically in the bulk when the semiclassical approximation is valid.

The point is not that only one language is relevant. The point is that each issue has one language in which it is most sharply formulated.