Skip to content

Higher-Spin, Vector Models, and Sparse Spectra

The canonical AdS5_5/CFT4_4 example can create a dangerous habit. One sees a large-NN CFT and immediately imagines an Einstein-like bulk dual: a metric, a few light matter fields, black holes, and stringy corrections far above the AdS scale. That habit is often useful, but it is not a theorem.

Large NN by itself gives a classical expansion. It does not guarantee that the classical bulk theory is Einstein gravity.

The sharp lesson of higher-spin holography is:

large N controls bulk loops, but a large spectral gap controls bulk locality.\boxed{ \text{large }N\text{ controls bulk loops, but a large spectral gap controls bulk locality.} }

More precisely, a CFT with large stress-tensor two-point coefficient CTC_T has a small bulk Newton constant,

GNLd11CT.\frac{G_N}{L^{d-1}}\sim \frac{1}{C_T}.

This is the condition for a semiclassical bulk expansion. But to get a local Einstein-like effective field theory below the AdS scale, one also needs a gap in the single-particle spectrum, especially in higher-spin single-trace operators:

ΔgapminO single-traces>2ΔO1.\Delta_{\mathrm{gap}} \equiv \min_{\substack{\mathcal O\ \mathrm{single\text{-}trace}\\ s>2}} \Delta_{\mathcal O} \gg 1.

The phrase “single-trace” is being used in the broad AdS/CFT sense: a single-particle CFT primary. In a matrix theory this is often literally a trace, such as TrXk\mathrm{Tr}X^k. In a vector model it is usually a singlet bilinear, such as ϕaϕa\phi^a\phi^a or ϕasϕa\phi^a\partial^s\phi^a.

The contrast is the whole point:

  • Sparse matrix-like large-NN CFTs can have an Einstein/string bulk with a parametrically high string scale.
  • Vector-like large-NN CFTs have an infinite tower of light higher-spin currents and are instead dual to higher-spin gravity, not to ordinary Einstein gravity.

A black and gray comparison of vector-model higher-spin holography and sparse matrix large-N holography. On the left, a vector large-N CFT has an infinite tower of conserved or weakly broken higher-spin currents J_0, J_2, J_4, and so on, with no gap to higher spin. Its bulk dual is Vasiliev-like higher-spin gravity with many massless or light fields. On the right, a sparse matrix large-N CFT has C_T much larger than one and a large gap Delta_gap before single-trace spin greater than two operators. Its bulk dual is a local Einstein effective field theory below the string scale.

Two different large-NN universes. Vector models have CTNC_T\sim N and an infinite tower of conserved or nearly conserved higher-spin currents, giving Vasiliev-like higher-spin gravity in AdS. Sparse matrix-like CFTs have CT1C_T\gg 1 and Δgap1\Delta_{\mathrm{gap}}\gg 1, giving a local Einstein effective theory below the scale set by the first stringy or higher-spin single-particle states.

The slogan for this page is:

Einstein gravity is what remains after higher-spin single-particle states become heavy.\boxed{ \text{Einstein gravity is what remains after higher-spin single-particle states become heavy.} }

That sentence should be read carefully. It does not mean that all higher-spin fields disappear from the full theory. In string theory they are present, but their masses are of order the string scale. At strong ‘t Hooft coupling in the canonical duality,

Lsλ1/4,ΔstringMsLλ1/4.\frac{L}{\ell_s}\sim \lambda^{1/4}, \qquad \Delta_{\mathrm{string}}\sim M_s L\sim \lambda^{1/4}.

When λ1\lambda\gg 1, those stringy higher-spin states are heavy compared with the AdS scale and can be integrated out. The result is ordinary supergravity plus controlled higher-derivative corrections. In vector-model holography, by contrast, the higher-spin tower remains at the AdS scale. There is no Einstein truncation with a finite number of low-spin fields.

It is helpful to separate two notions that are often blurred.

A CFT with a large parameter CTC_T has a weak bulk loop expansion. Since the stress tensor maps to the graviton,

Tμνhab,T_{\mu\nu} \quad\longleftrightarrow\quad h_{ab},

the normalization of stress-tensor correlators determines the gravitational coupling:

CTLd1Gd+1.C_T\sim \frac{L^{d-1}}{G_{d+1}}.

Thus CT1C_T\gg 1 means

Gd+1Ld1,G_{d+1}\ll L^{d-1},

so quantum gravity loops are suppressed. This is the bulk analogue of large-NN factorization.

For a matrix large-NN theory,

CTN2,O1OkconnN2kC_T\sim N^2, \qquad \langle \mathcal O_1\cdots \mathcal O_k\rangle_{\mathrm{conn}} \sim N^{2-k}

for suitably normalized single-trace operators. The bulk loop-counting parameter is roughly 1/N21/N^2.

For a vector large-NN theory,

CTN,J1JkconnN1k/2C_T\sim N, \qquad \langle J_1\cdots J_k\rangle_{\mathrm{conn}} \sim N^{1-k/2}

for suitably normalized singlet bilinear operators JJ. The bulk loop-counting parameter is roughly 1/N1/N.

Both have a classical limit. The difference is what becomes classical.

Einstein-like holography needs more than a small Newton constant. It needs a low-energy bulk Lagrangian organized by a derivative expansion:

Sbulk=116πGNdd+1xg[R+d(d1)L2+Lmatter+L2a1R2+L4a2R3+],S_{\mathrm{bulk}} = \frac{1}{16\pi G_N} \int d^{d+1}x\sqrt{-g} \left[ R+\frac{d(d-1)}{L^2} +\mathcal L_{\mathrm{matter}} +L^2 a_1 R^2 +L^4 a_2 R^3 +\cdots \right],

with higher-derivative terms suppressed by a scale much higher than 1/L1/L.

In a stringy AdS dual, that scale is usually the string scale:

MsLΔgap.M_s L\sim \Delta_{\mathrm{gap}}.

A large gap means the first genuinely stringy or higher-spin single-particle states have large AdS energy. Below that energy, the bulk cannot resolve their structure, so the dynamics is local and low-spin.

Without a large gap, the bulk may still be classical, but it is not Einstein-like. It can contain infinitely many light higher-spin fields whose interactions are nonlocal at the AdS scale. This is the higher-spin/vector-model world.

A symmetric traceless spin-ss primary operator in a unitary dd-dimensional CFT obeys the unitarity bound

Δss+d2,s1.\Delta_s\ge s+d-2, \qquad s\ge 1.

When the bound is saturated, the operator is conserved:

μ1Jμ1μ2μs=0,Δs=s+d2.\partial^{\mu_1}J_{\mu_1\mu_2\cdots\mu_s}=0, \qquad \Delta_s=s+d-2.

For s=1s=1, this is an ordinary conserved current. For s=2s=2, it is the stress tensor. For s>2s>2, it is a higher-spin conserved current.

The AdS dictionary says that a conserved spin-ss current maps to a massless spin-ss gauge field in the bulk:

Jμ1μsφa1as.J_{\mu_1\cdots\mu_s} \quad\longleftrightarrow\quad \varphi_{a_1\cdots a_s}.

For spin s1s\ge 1, a useful mass-dimension relation is

ms2L2=(Δ+s2)(Δsd+2),m_s^2L^2 = (\Delta+s-2)(\Delta-s-d+2),

with the understanding that gauge redundancies and AdS representation theory determine the precise field equation. If

Δ=s+d2,\Delta=s+d-2,

then

ms2=0.m_s^2=0.

So the CFT statement “there is a conserved spin-ss current” is the bulk statement “there is a massless spin-ss gauge field.”

For s=1s=1 and s=2s=2, this is familiar and welcome:

Jμ  Aa,Tμν  gab.J_\mu\ \leftrightarrow\ A_a, \qquad T_{\mu\nu}\ \leftrightarrow\ g_{ab}.

For s>2s>2, it is much more restrictive. A finite number of interacting massless higher-spin fields in flat space is strongly constrained by no-go theorems. AdS evades the flat-space assumptions, but only in a special way: consistent higher-spin theories contain an infinite tower of fields and interactions tied to the AdS scale.

Thus a conserved higher-spin current is not just another light operator. It is a sign of an enlarged symmetry powerful enough to reorganize the entire theory.

Free vector models and their higher-spin currents

Section titled “Free vector models and their higher-spin currents”

Consider the free O(N)O(N) vector model in dd dimensions:

S=12ddxμϕaμϕa,a=1,,N.S = \frac{1}{2} \int d^d x\,\partial_\mu\phi^a\partial^\mu\phi^a, \qquad a=1,\ldots,N.

The fundamental fields ϕa\phi^a are not singlets under O(N)O(N). The natural singlet primaries are bilinears:

J(0)ϕaϕa,J^{(0)}\sim \phi^a\phi^a,

and, for even spins in the real bosonic O(N)O(N) singlet sector,

Jμ1μs(s)ϕa(μ1μs)ϕatracesimprovements,s=2,4,6,.J^{(s)}_{\mu_1\cdots\mu_s} \sim \phi^a\partial_{(\mu_1}\cdots\partial_{\mu_s)}\phi^a -\text{traces} -\text{improvements}, \qquad s=2,4,6,\ldots.

The improvements are chosen so that the currents are symmetric, traceless, primary, and conserved:

μ1Jμ1μs(s)=0.\partial^{\mu_1}J^{(s)}_{\mu_1\cdots\mu_s}=0.

Their dimensions are

Δs=s+d2.\Delta_s=s+d-2.

Already this spectrum tells us the nature of the bulk dual. There is an infinite tower

s=0,2,4,6,s=0,2,4,6,\ldots

of single-particle fields with AdS-scale masses. The spin-22 member is the graviton; the spin-44, spin-66, and higher members are massless higher-spin gauge fields. The dual is not Einstein gravity plus a few matter fields. It is a Vasiliev-like higher-spin theory.

In d=3d=3, the basic free scalar has dimension

Δϕ=12,\Delta_\phi=\frac{1}{2},

so the scalar singlet

J(0)=ϕaϕaJ^{(0)}=\phi^a\phi^a

has

Δ0=1.\Delta_0=1.

This is important because the corresponding bulk scalar in AdS4_4 has

m2L2=Δ(Δ3)=2,m^2L^2=\Delta(\Delta-3)=-2,

which admits two allowed quantizations:

Δ=1,Δ+=2.\Delta_-=1, \qquad \Delta_+=2.

The free O(N)O(N) vector model uses the Δ=1\Delta=1 quantization, while the critical O(N)O(N) model uses the Δ=2\Delta=2 quantization at leading large NN.

The basic higher-spin/vector-model duality is the Klebanov-Polyakov proposal:

minimal bosonic higher-spin theory on AdS4large-N O(N) vector model singlet sector in d=3.\boxed{ \text{minimal bosonic higher-spin theory on }\mathrm{AdS}_4 \quad\longleftrightarrow\quad \text{large-}N\ O(N)\text{ vector model singlet sector in }d=3. }

There are two closely related boundary theories:

free O(N) vector modelΔ(ϕaϕa)=1,critical O(N) vector modelΔ(ϕaϕa)=2+O(1/N).\begin{array}{ccl} \text{free }O(N)\text{ vector model} && \Delta(\phi^a\phi^a)=1,\\ \text{critical }O(N)\text{ vector model} && \Delta(\phi^a\phi^a)=2+O(1/N). \end{array}

The same bulk scalar has m2L2=2m^2L^2=-2, but the boundary condition changes. This is one of the cleanest physical uses of alternate quantization:

Δ=1free vector model,\Delta_-=1 \quad\leftrightarrow\quad \text{free vector model}, Δ+=2critical vector model.\Delta_+=2 \quad\leftrightarrow\quad \text{critical vector model}.

The bulk side contains a scalar plus one massless gauge field for each even spin:

s=0,2,4,6,.s=0,2,4,6,\ldots.

This theory is often called the minimal type-A Vasiliev theory. The non-minimal version contains all integer spins and is naturally related to U(N)U(N) vector models. Fermionic vector models are associated with type-B higher-spin theories, whose light scalar is parity odd in the simplest versions.

The duality is conceptually powerful because the boundary theory is weakly coupled or exactly solvable at large NN, while the bulk is a genuine gravitational theory with infinitely many gauge fields. It is a rare case where quantum gravity in AdS is dual to a theory that is much simpler than a strongly coupled matrix CFT.

A subtle point: the free vector model has fundamental fields ϕa\phi^a. If one keeps the full theory, the spectrum contains non-singlet operators. A simple Vasiliev theory is not dual to all of them.

The usual holographic statement is about the singlet sector. Operationally, one can project to singlets by gauging the global O(N)O(N) symmetry with a topological or non-dynamical gauge field. In flat space at zero temperature, this distinction can look harmless. On compact spaces or at finite temperature, it is not harmless: singlet projection changes the state counting.

For example, the singlet sector of a vector model has many fewer degrees of freedom than the full ungauged theory. This matters for black-hole-like questions. Vector-model/higher-spin duality is not expected to reproduce the same kind of large AdS black holes as a sparse matrix CFT with O(N2)O(N^2) deconfined degrees of freedom.

The lesson is:

The boundary global/gauge structure is part of the holographic dictionary.\boxed{ \text{The boundary global/gauge structure is part of the holographic dictionary.} }

One should not say “the free vector model is dual to Vasiliev theory” without specifying which singlet projection and which bulk boundary conditions are intended.

Both matrix and vector theories have large-NN factorization, but their operator algebras and bulk interpretations differ.

A matrix model has adjoint fields XijX^i{}_j. Its single-trace operators look like

OkTr(Xk).\mathcal O_k\sim \mathrm{Tr}(X^k).

At large NN,

CTN2,C_T\sim N^2,

and connected correlators of normalized single-trace operators scale as

O1OkconnN2k.\langle \mathcal O_1\cdots \mathcal O_k\rangle_{\mathrm{conn}} \sim N^{2-k}.

The topological expansion is organized by two-dimensional surfaces:

N22g.N^{2-2g}.

That is why matrix large-NN naturally suggests closed strings.

A vector model has fields ϕa\phi^a. Its singlet “single-particle” operators are bilinears:

Jϕaϕa.J\sim \phi^a\phi^a.

With normalized bilinears

J^1Nϕaϕa,\widehat J\sim \frac{1}{\sqrt N}\phi^a\phi^a,

the connected kk-point functions scale as

J^1J^kconnN1k/2.\langle \widehat J_1\cdots\widehat J_k\rangle_{\mathrm{conn}} \sim N^{1-k/2}.

So the three-point coupling scales as

J^J^J^1N,\langle \widehat J\widehat J\widehat J\rangle\sim \frac{1}{\sqrt N},

and the four-point connected piece scales as

J^J^J^J^conn1N.\langle \widehat J\widehat J\widehat J\widehat J\rangle_{\mathrm{conn}} \sim \frac{1}{N}.

The corresponding bulk coupling is therefore

gbulk1N,GN1N.g_{\mathrm{bulk}}\sim \frac{1}{\sqrt N}, \qquad G_N\sim \frac{1}{N}.

This is still a classical bulk limit, but not a closed-string genus expansion of the matrix type. The combinatorics of vector models lead naturally to tree-level higher-spin fields rather than to a finite-tension string theory with an Einstein low-energy limit.

Higher-spin symmetry is extraordinarily constraining.

In an ordinary interacting CFT, one expects the stress tensor and global currents to be conserved, but generic higher-spin symmetric traceless operators acquire anomalous dimensions:

Δs>s+d2,s>2.\Delta_s>s+d-2, \qquad s>2.

In a free theory, there are infinitely many conserved higher-spin currents. The existence of such currents reflects the fact that free particles carry infinitely many conserved charges.

In three-dimensional unitary CFTs with a unique stress tensor, the Maldacena-Zhiboedov theorem makes this intuition precise: the existence of one conserved higher-spin current implies an infinite tower of conserved higher-spin currents, and the correlators are those of free bosons or free fermions, up to the allowed structures and assumptions.

The theorem is an AdS/CFT diagnostic. If a CFT has exact higher-spin symmetry, its bulk dual is not a generic interacting Einstein theory. The bulk has higher-spin gauge symmetry, which is the spacetime reflection of the boundary conservation laws.

The contrapositive is what we use all the time:

A strongly interacting CFT with an Einstein-like bulk should not have exactly conserved s>2 currents.\boxed{ \text{A strongly interacting CFT with an Einstein-like bulk should not have exactly conserved }s>2\text{ currents.} }

In such a theory, higher-spin single-trace operators should be heavy:

Δs1,s>2,\Delta_s\gg 1, \qquad s>2,

or at least parametrically above the low-energy bulk cutoff.

Higher-spin symmetry can also be slightly broken. This happens in important large-NN three-dimensional Chern-Simons vector models.

Consider a U(N)U(N) or O(N)O(N) vector model coupled to Chern-Simons gauge fields at level kk. The large-NN ‘t Hooft limit is

N,k,λ=Nk fixed.N\to\infty, \qquad k\to\infty, \qquad \lambda=\frac{N}{k}\ \text{fixed}.

At N=N=\infty, the single-trace spectrum still contains currents with approximately conserved higher-spin charges. At finite NN, the higher-spin currents are not exactly conserved. Schematically,

Js=1Ns1,s2Cs;s1s2(λ)Js1Js2+.\partial\cdot J_s = \frac{1}{\sqrt N}\sum_{s_1,s_2}C_{s;s_1s_2}(\lambda)\,J_{s_1}J_{s_2} +\cdots.

This implies anomalous dimensions

γsΔs(s+d2)1N.\gamma_s \equiv \Delta_s-(s+d-2) \sim \frac{1}{N}.

On the bulk side, the spin-ss gauge field becomes slightly massive:

ms2L2(2s+d4)γs+O(γs2).m_s^2L^2 \simeq (2s+d-4)\gamma_s +O(\gamma_s^2).

This is the higher-spin analogue of a Higgs mechanism. The gauge symmetry is exact at N=N=\infty and weakly broken at finite NN.

Chern-Simons vector models are especially beautiful because the planar three-point functions depend continuously on λ\lambda, while the single-trace spectrum remains higher-spin-like at leading large NN. The bulk interpretation is a parity-violating family of higher-spin theories. These models are also part of the broader web of three-dimensional bosonization dualities.

The important message for this course is not the technical details of Chern-Simons matter. It is the scale separation:

slightly broken higher-spin symmetrymsL1 or O(1),\text{slightly broken higher-spin symmetry} \quad\Rightarrow\quad m_sL\ll 1\ \text{or }O(1),

not

Δgap1.\Delta_{\mathrm{gap}}\gg 1.

So these theories are not Einstein-like, even though they have controlled large-NN expansions.

The modern CFT-first view of AdS/CFT says that a local bulk effective theory is encoded in special properties of the CFT data. The rough criterion is:

CT1large-N factorizationΔgap1 for single-trace spin s>2local bulk EFT below the gap.\boxed{ \begin{array}{c} C_T\gg 1\\ \text{large-}N\text{ factorization}\\ \Delta_{\mathrm{gap}}\gg 1\text{ for single-trace spin }s>2 \end{array} \quad\Longrightarrow\quad \text{local bulk EFT below the gap.} }

The first condition gives small GNG_N. The second condition organizes perturbation theory into tree-level and loop-level bulk diagrams. The third condition allows a derivative expansion.

A very useful way to say this is:

bulkL1Δgap,\frac{\ell_{\mathrm{bulk}}}{L} \sim \frac{1}{\Delta_{\mathrm{gap}}},

where bulk\ell_{\mathrm{bulk}} is the shortest length scale at which new single-particle physics appears. In a string compactification,

bulks,ΔgapMsL.\ell_{\mathrm{bulk}}\sim \ell_s, \qquad \Delta_{\mathrm{gap}}\sim M_sL.

Below the gap, integrating out heavy single-trace operators produces local higher-derivative interactions:

1Δgap2R2,1Δgap4R3,1Δgap2n2nRm,.\frac{1}{\Delta_{\mathrm{gap}}^2}R^2, \qquad \frac{1}{\Delta_{\mathrm{gap}}^4}R^3, \qquad \frac{1}{\Delta_{\mathrm{gap}}^{2n}}\nabla^{2n}R^m, \qquad \cdots.

This is the AdS version of Wilsonian effective field theory.

The gap is not a gap to all operators. That would be impossible in an interacting large-NN CFT, because multi-trace operators are always present. If O1\mathcal O_1 and O2\mathcal O_2 are light single-trace primaries, then double-trace operators have leading dimensions

Δn,(0)=Δ1+Δ2+2n+.\Delta_{n,\ell}^{(0)} = \Delta_1+ \Delta_2+2n+\ell.

These are dual to two-particle states in AdS. They are not evidence against locality. The sparse-spectrum condition is a gap in the single-particle spectrum, especially in spin s>2s>2 single-trace primaries.

In the canonical duality,

N=4 SYMtype IIB on AdS5×S5,\mathcal N=4\ \mathrm{SYM} \quad\longleftrightarrow\quad \text{type IIB on }\mathrm{AdS}_5\times S^5,

the gap depends on the ‘t Hooft coupling:

λ=gYM2N.\lambda=g_{\mathrm{YM}}^2N.

At weak coupling, the theory has many nearly conserved higher-spin operators. For example, twist-two operators of schematic form

Tr(ΦD(μ1Dμs)Φ)\mathrm{Tr}\left(\Phi D_{(\mu_1}\cdots D_{\mu_s)}\Phi\right)

have dimensions close to their free-field values. The dual string is not well approximated by supergravity.

At strong coupling,

λ1,\lambda\gg 1,

the string scale separates from the AdS scale:

L2αλ,MsLλ1/4.\frac{L^2}{\alpha'}\sim \sqrt\lambda, \qquad M_sL\sim \lambda^{1/4}.

The first stringy higher-spin states have

Δgapλ1/41.\Delta_{\mathrm{gap}}\sim \lambda^{1/4}\gg 1.

This is why classical type IIB supergravity is a good approximation. The low-energy bulk includes the graviton, gauge fields from isometries, protected Kaluza-Klein modes, and other supergravity fields, but not the full string tower.

Vector models sit at the opposite end. They have

Δs=s+d2\Delta_s=s+d-2

for infinitely many ss, so there is no large higher-spin gap:

Δgap=O(1).\Delta_{\mathrm{gap}}=O(1).

The bulk dual is classical at large NN, but its interactions are controlled by higher-spin symmetry rather than by an Einstein derivative expansion.

Higher-spin gravity is not merely “gravity plus a spin-44 field.” A consistent interacting theory contains infinitely many fields:

φ(0),φ(1),φ(2),φ(3),\varphi^{(0)},\quad \varphi^{(1)},\quad \varphi^{(2)},\quad \varphi^{(3)},\quad\ldots

or a minimal even-spin subset, depending on the model.

The spin-22 field is the graviton. The spin-11 fields, when present, are ordinary gauge fields. The higher fields are gauge fields with transformations schematically of the form

δφa1as=(a1ϵa2as)+.\delta \varphi_{a_1\cdots a_s} = \nabla_{(a_1}\epsilon_{a_2\cdots a_s)}+\cdots.

The dots denote trace terms and nonlinear corrections. These gauge symmetries remove unphysical polarizations and enforce the boundary conservation laws.

Vasiliev theory gives nonlinear equations for these infinitely many fields in AdS. The formalism is elegant but technically unfamiliar: it uses master fields depending on auxiliary spinor-like variables and noncommutative star products. For this course, the essential physics is enough:

  1. The theory is naturally formulated in AdS, not flat space.
  2. It contains an infinite tower of massless higher-spin gauge fields.
  3. Its interaction scale is tied to the AdS radius.
  4. It is dual to vector-like CFTs with exact or weakly broken higher-spin symmetry.

This explains why higher-spin holography is both close to and far from the canonical AdS/CFT example. It is close because it is a real gauge/gravity duality. It is far because the bulk is not governed by an Einstein effective action with a large separation of scales.

The previous page explained that AdS3_3 gravity is special because its asymptotic symmetry algebra is Virasoro. AdS3_3 higher-spin gravity is special for a related reason: many higher-spin theories in three bulk dimensions can be written as Chern-Simons theories.

Ordinary AdS3_3 gravity can be written as

SL(2,R)×SL(2,R)SL(2,\mathbb R)\times SL(2,\mathbb R)

Chern-Simons theory. Higher-spin extensions replace SL(2)SL(2) by a larger algebra, such as

SL(N,R)×SL(N,R)SL(N,\mathbb R)\times SL(N,\mathbb R)

or an infinite-dimensional algebra such as hs[λ]hs[\lambda].

On the boundary, the Virasoro symmetry is enhanced to a W\mathcal W-algebra. Minimal model holography proposes a duality between certain large-NN limits of two-dimensional WN\mathcal W_N minimal models and higher-spin theories on AdS3_3.

This story is not the same as the vector-model/Vasiliev duality in AdS4_4, but it teaches the same structural lesson:

enhanced chiral or higher-spin symmetry gives a non-Einstein bulk.\boxed{ \text{enhanced chiral or higher-spin symmetry gives a non-Einstein bulk.} }

It also reinforces a warning: AdS3_3 theories can look gravitational while having no local bulk gravitons in the Einstein sector. Boundary symmetry and spectrum are more informative than the word “gravity.”

Suppose someone hands you a CFT and asks whether it has a local Einstein-like dual. What should you look for?

A practical diagnostic is the following.

CFT propertyBulk interpretationEinstein-like?
CT1C_T\gg 1small GN/Ld1G_N/L^{d-1}necessary
factorization of low-dimension single-particle correlatorstree-level bulk expansionnecessary
unique stress tensorone connected gravitational sectorusually necessary
no conserved currents with s>2s>2no massless higher-spin gauge fieldsnecessary for Einstein-like interacting bulk
Δgap1\Delta_{\mathrm{gap}}\gg 1 for single-trace s>2s>2stringy/higher-spin states are heavycrucial
low-dimension double-trace towersmulti-particle AdS statesexpected, not a problem
polynomially bounded Mellin amplitudes at low energylocal derivative expansionstrong evidence

This table is a compact version of the modern “holography from CFT” viewpoint. Crossing symmetry of CFT four-point functions is extremely restrictive. In large-NN CFTs with a gap, solutions to crossing at leading nontrivial order organize themselves like Witten diagrams generated by local bulk interactions.

That is a profound result. It means bulk locality is not an extra mystical assumption. It is encoded in ordinary CFT consistency conditions plus special spectral data.

Why higher-spin fields obstruct an Einstein truncation

Section titled “Why higher-spin fields obstruct an Einstein truncation”

Imagine trying to start with a higher-spin/vector-model dual and simply discard the spin-44, spin-66, and higher fields. This does not work.

The boundary reason is simple. The currents JsJ_s are part of the single-particle operator algebra. Their three-point functions with the stress tensor and with each other are nonzero. Removing the dual bulk fields would remove poles and exchange contributions required by CFT OPE data.

The bulk reason is also simple. Higher-spin gauge symmetry ties the fields together. Interactions of the spin-22 field alone are not closed under the full gauge algebra. The infinite tower is not optional decoration; it is needed for consistency.

This is analogous to string theory, where the infinite tower of string states is required for ultraviolet consistency. But there is a crucial difference:

stringy Einstein limit:MsL1,higher-spin/vector limit:MHSL=O(1) or 0.\begin{array}{ccl} \text{stringy Einstein limit} &:& M_sL\gg 1,\\ \text{higher-spin/vector limit} &:& M_{\mathrm{HS}}L=O(1)\text{ or }0. \end{array}

In the first case, the tower can be integrated out at low energy. In the second case, it cannot.

A conserved spin-ss current has

Δs=s+d2.\Delta_s=s+d-2.

If the theory is deformed so that the current is no longer conserved, then

Δs=s+d2+γs.\Delta_s=s+d-2+\gamma_s.

The anomalous dimension γs\gamma_s measures the breaking of higher-spin symmetry. In the bulk, it measures the mass of the corresponding spin-ss field:

ms2L2=(Δs+s2)(Δssd+2)m_s^2L^2 =(\Delta_s+s-2)(\Delta_s-s-d+2)

so for small γs\gamma_s,

ms2L2=(2s+d4)γs+O(γs2).m_s^2L^2 = (2s+d-4)\gamma_s+O(\gamma_s^2).

There are three regimes:

CFT regimeHigher-spin dimensionsBulk regime
exact higher-spin symmetryγs=0\gamma_s=0massless higher-spin gauge fields
slightly broken higher-spin symmetryγs1\gamma_s\ll 1light massive higher-spin fields
sparse strong-coupling regimeΔs1\Delta_s\gg 1 for s>2s>2heavy stringy/higher-spin states

The last regime is the one that produces Einstein gravity at low energies.

This is why anomalous dimensions are not just technical CFT data. They are bulk mass measurements.

String theory also has infinitely many higher-spin particles. Why is it not automatically higher-spin gravity?

The answer is scale. In a weakly curved string compactification,

MsL1.M_sL\gg 1.

The higher-spin string excitations are massive in AdS units, and only a finite number of supergravity fields remain light. Their interactions are local at scales much larger than s\ell_s.

At special tensionless limits, string theory can acquire enhanced higher-spin symmetry. The boundary CFT then develops many nearly conserved higher-spin currents. Weakly coupled N=4\mathcal N=4 SYM is an example of a CFT regime where many higher-spin-like operators become light. The bulk string is then highly curved in string units:

Lsλ1/4=O(1)or smaller,\frac{L}{\ell_s}\sim \lambda^{1/4}=O(1) \quad\text{or smaller},

and supergravity is not reliable.

Thus higher-spin holography is not disconnected from string theory. It is best viewed as a controlled corner where an infinite higher-spin symmetry is manifest, while Einstein gravity appears only after a large gap opens.

Mistake 1: “Large NN means Einstein gravity.”

Section titled “Mistake 1: “Large NNN means Einstein gravity.””

Large NN means a classical bulk expansion. The classical bulk might be Einstein gravity, string theory, higher-spin gravity, or something more exotic. The spectrum decides.

Mistake 2: “A low-dimension spin-44 operator is harmless.”

Section titled “Mistake 2: “A low-dimension spin-444 operator is harmless.””

A single low-dimension spin-44 single-trace operator can already signal trouble for a simple Einstein truncation. If it is conserved, it is a massless spin-44 gauge field. If it is merely light, it is a low-cutoff bulk degree of freedom that cannot be ignored.

Mistake 3: “The gap is a gap to all operators.”

Section titled “Mistake 3: “The gap is a gap to all operators.””

No. Double-trace operators remain light and numerous. They are multi-particle states in AdS. The crucial gap is in the single-particle, single-trace spectrum, especially for spin s>2s>2.

Mistake 4: “Higher-spin gravity is just a small correction to GR.”

Section titled “Mistake 4: “Higher-spin gravity is just a small correction to GR.””

It is not. Higher-spin gauge symmetry changes the structure of the theory. Vasiliev theory is not Einstein gravity plus perturbatively small spin-44 matter.

Mistake 5: “Free vector models are dual to ordinary weakly coupled bulk fields.”

Section titled “Mistake 5: “Free vector models are dual to ordinary weakly coupled bulk fields.””

The bulk is weakly coupled at large NN, but it contains infinitely many massless higher-spin fields. Weak coupling is not the same as low-spin locality.

Mistake 6: “The fundamental vector field is a bulk single-particle field.”

Section titled “Mistake 6: “The fundamental vector field is a bulk single-particle field.””

In the singlet-sector duality, the fundamental ϕa\phi^a is not a singlet operator and does not correspond to an ordinary local bulk field. The basic bulk fields map to singlet bilinears.

Boundary objectBulk object
CTNC_T\sim N in vector modelGN/Ld11/NG_N/L^{d-1}\sim 1/N
singlet bilinear ϕaϕa\phi^a\phi^ascalar field in AdS
conserved JsJ_s, s>2s>2massless spin-ss gauge field
critical versus free vector modelalternate boundary condition for scalar
weakly broken higher-spin currentlight massive spin-ss field
Δgap=O(1)\Delta_{\mathrm{gap}}=O(1)no Einstein low-energy truncation
Δgap1\Delta_{\mathrm{gap}}\gg 1local bulk EFT below the gap
double-trace operator [OO]n,[\mathcal O\mathcal O]_{n,\ell}two-particle AdS state
matrix large-NN genus expansionclosed-string perturbation theory

The last row is useful but not universal. Some CFTs are neither simple matrix theories nor simple vector theories. The diagnostic remains the same: inspect the CFT data.

Worked example: free versus critical O(N)O(N) in d=3d=3

Section titled “Worked example: free versus critical O(N)O(N)O(N) in d=3d=3d=3”

In the free O(N)O(N) vector model,

Δϕ=12,Δϕ2=1.\Delta_\phi=\frac{1}{2}, \qquad \Delta_{\phi^2}=1.

The scalar singlet ϕaϕa\phi^a\phi^a maps to an AdS4_4 scalar with

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

This mass admits both standard and alternate quantization because it lies in the window above the Breitenlohner-Freedman bound:

94<m2L2<54.-\frac{9}{4}<m^2L^2<-\frac{5}{4}.

The two possible dimensions are

Δ=1,Δ+=2.\Delta_-=1, \qquad \Delta_+=2.

At the critical point, the Hubbard-Stratonovich description introduces a field σ\sigma coupled as

d3xσϕaϕa.\int d^3x\,\sigma\,\phi^a\phi^a.

At leading large NN, the operator corresponding to the scalar singlet has dimension

Δσ=2+O(1/N).\Delta_\sigma=2+O(1/N).

Thus the free and critical theories differ in the boundary condition for the same bulk scalar:

Δ=1free O(N),Δ=2critical O(N).\begin{array}{ccl} \Delta=1 && \text{free }O(N),\\ \Delta=2 && \text{critical }O(N). \end{array}

The higher-spin tower is present in both cases at N=N=\infty, although interactions and 1/N1/N effects differ. This is a beautiful example of how RG flow and alternate quantization are linked in AdS/CFT.

Worked example: detecting the Einstein limit in N=4\mathcal N=4 SYM

Section titled “Worked example: detecting the Einstein limit in N=4\mathcal N=4N=4 SYM”

Consider four-dimensional N=4\mathcal N=4 SYM.

The large-NN condition is

N1,N\gg 1,

which gives

CTN2.C_T\sim N^2.

But classical five-dimensional Einstein gravity also requires strong ‘t Hooft coupling:

λ1.\lambda\gg 1.

Why? Because the higher-spin string states have dimensions of order

Δgapλ1/4.\Delta_{\mathrm{gap}}\sim \lambda^{1/4}.

At weak coupling, many single-trace operators are light, including higher-spin operators that are close to conserved currents. The bulk is stringy at the AdS scale. At strong coupling, those operators acquire large anomalous dimensions, the gap opens, and the low-energy bulk becomes supergravity.

So the actual supergravity regime is not merely

N1.N\gg 1.

It is

N1,λ1,λN1N\gg 1, \qquad \lambda\gg 1, \qquad \frac{\lambda}{N}\ll 1

in conventions where gsλ/Ng_s\sim \lambda/N.

The conditions mean:

N1suppresses quantum gravity loops,λ1suppresses stringy higher-spin states,λ/N1keeps string loops weak.\begin{array}{ccl} N\gg 1 && \text{suppresses quantum gravity loops},\\ \lambda\gg 1 && \text{suppresses stringy higher-spin states},\\ \lambda/N\ll 1 && \text{keeps string loops weak}.\\ \end{array}

This is the canonical example of the general rule.

Higher-spin/vector-model dualities are not side curiosities. They are stress tests for the foundations of holography.

They show that:

  1. Bulk gravity does not require matrix degrees of freedom. Vector models can have gravitational duals.
  2. Classicality and locality are different. Large NN gives classicality; a spectral gap gives locality.
  3. The CFT spectrum is the bulk cutoff. Operator dimensions are not merely labels; they are AdS masses.
  4. Einstein gravity is not generic. It is a special low-energy phase of holography with higher-spin/stringy states parametrically heavy.
  5. Crossing symmetry knows about bulk locality. Large-NN crossing solutions with a gap organize into local Witten diagrams.

For research, this page is a bridge between three literatures that are sometimes studied separately:

  • higher-spin gravity and Vasiliev theory,
  • vector-model and Chern-Simons-matter dualities,
  • CFT-bootstrap constraints on bulk locality.

A modern AdS/CFT practitioner should be fluent in all three, even if their primary work is black holes, transport, entanglement, or string compactifications. The large-gap criterion is now one of the cleanest ways to state what makes a holographic CFT “Einstein-like.”

Let

J(x)=1N:ϕa(x)ϕa(x):J(x)=\frac{1}{\sqrt N}:\phi^a(x)\phi^a(x):

in a free O(N)O(N) vector model. Use Wick contractions to determine the NN-scaling of the connected kk-point function

J(x1)J(xk)conn.\langle J(x_1)\cdots J(x_k)\rangle_{\mathrm{conn}}.
Solution

The unnormalized bilinear

J~=:ϕaϕa:\widetilde J=:\phi^a\phi^a:

has one summed vector index loop in a connected Wick contraction of any number of bilinears. Therefore the connected correlator of kk unnormalized bilinears scales as

J~(x1)J~(xk)connN.\langle \widetilde J(x_1)\cdots \widetilde J(x_k)\rangle_{\mathrm{conn}} \sim N.

Each normalized operator contributes a factor 1/N1/\sqrt N, so

J(x1)J(xk)connN(1N)k=N1k/2.\langle J(x_1)\cdots J(x_k)\rangle_{\mathrm{conn}} \sim N\left(\frac{1}{\sqrt N}\right)^k = N^{1-k/2}.

Thus

JJN0,JJJN1/2,JJJJconnN1.\langle JJ\rangle\sim N^0, \qquad \langle JJJ\rangle\sim N^{-1/2}, \qquad \langle JJJJ\rangle_{\mathrm{conn}}\sim N^{-1}.

This is the vector-model analogue of large-NN factorization. The bulk coupling scales as gbulkN1/2g_{\mathrm{bulk}}\sim N^{-1/2}.

Exercise 2: Conserved currents and massless higher-spin fields

Section titled “Exercise 2: Conserved currents and massless higher-spin fields”

For a spin-s1s\ge 1 symmetric traceless primary, use

ms2L2=(Δ+s2)(Δsd+2)m_s^2L^2=(\Delta+s-2)(\Delta-s-d+2)

to show that a conserved current has ms2=0m_s^2=0. Then expand for

Δ=s+d2+γs,γs1.\Delta=s+d-2+\gamma_s, \qquad |\gamma_s|\ll 1.
Solution

A conserved spin-ss current saturates the unitarity bound,

Δ=s+d2.\Delta=s+d-2.

Substituting into the second factor gives

Δsd+2=(s+d2)sd+2=0,\Delta-s-d+2=(s+d-2)-s-d+2=0,

so

ms2L2=0.m_s^2L^2=0.

For a slightly broken current,

Δ=s+d2+γs.\Delta=s+d-2+\gamma_s.

Then

Δsd+2=γs,\Delta-s-d+2=\gamma_s,

and

Δ+s2=2s+d4+γs.\Delta+s-2=2s+d-4+\gamma_s.

Thus

ms2L2=(2s+d4+γs)γs=(2s+d4)γs+O(γs2).m_s^2L^2 =(2s+d-4+\gamma_s)\gamma_s =(2s+d-4)\gamma_s+O(\gamma_s^2).

Small anomalous dimensions correspond to small bulk masses for the higher-spin fields.

Show that a scalar with m2L2=2m^2L^2=-2 in AdS4_4 admits dimensions Δ=1\Delta=1 and Δ=2\Delta=2. Explain why this is relevant for the free and critical O(N)O(N) vector models in d=3d=3.

Solution

For a scalar in AdSd+1_{d+1},

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

For AdS4_4, d=3d=3. With m2L2=2m^2L^2=-2,

Δ(Δ3)=2.\Delta(\Delta-3)=-2.

This gives

Δ23Δ+2=0,\Delta^2-3\Delta+2=0,

so

(Δ1)(Δ2)=0.(\Delta-1)(\Delta-2)=0.

Therefore

Δ=1,Δ+=2.\Delta_-=1, \qquad \Delta_+=2.

In the free O(N)O(N) vector model, the scalar singlet ϕaϕa\phi^a\phi^a has dimension 11. In the critical O(N)O(N) model, the corresponding scalar operator has dimension 2+O(1/N)2+O(1/N). The two theories are therefore represented holographically by different boundary conditions for the same bulk scalar.

Exercise 4: Why double-trace operators do not destroy the gap

Section titled “Exercise 4: Why double-trace operators do not destroy the gap”

Suppose a large-NN CFT has a light scalar single-trace operator O\mathcal O of dimension Δ\Delta. Show that it has double-trace operators with dimensions

Δn,(0)=2Δ+2n+\Delta_{n,\ell}^{(0)}=2\Delta+2n+\ell

at leading large NN. Why does this not contradict the sparse-spectrum criterion?

Solution

At leading large NN, generalized free-field factorization implies that products of two single-trace primaries behave as independent two-particle states. Schematically,

[OO]n,O2n(μ1μ)Otraces.[\mathcal O\mathcal O]_{n,\ell} \sim \mathcal O\,\partial^{2n}\partial_{(\mu_1}\cdots\partial_{\mu_\ell)}\mathcal O -\text{traces}.

Their leading dimensions are additive:

Δn,(0)=2Δ+2n+.\Delta_{n,\ell}^{(0)}=2\Delta+2n+\ell.

These operators can have dimensions of order one or moderately large dimensions even in a sparse holographic CFT. They do not contradict the sparse-spectrum criterion because they are not single-particle states. They are dual to two-particle states in AdS.

The gap required for Einstein-like locality is a gap in the single-trace, single-particle spectrum, especially for spin s>2s>2 operators. Multi-trace towers are expected and necessary in any large-NN bulk theory.

For each CFT, classify the expected bulk regime as “Einstein-like,” “stringy at the AdS scale,” or “higher-spin-like.”

  1. Large-NN free O(N)O(N) vector model singlet sector.
  2. Large-NN critical O(N)O(N) vector model in d=3d=3.
  3. N=4\mathcal N=4 SYM at N1N\gg 1 and λ1\lambda\ll 1.
  4. N=4\mathcal N=4 SYM at N1N\gg 1, λ1\lambda\gg 1, and λ/N1\lambda/N\ll 1.
  5. A hypothetical large-CTC_T CFT with no single-trace spin s>2s>2 operators below Δgap=100\Delta_{\mathrm{gap}}=100.
Solution
  1. The free O(N)O(N) vector model singlet sector is higher-spin-like. It has infinitely many conserved higher-spin currents.

  2. The critical O(N)O(N) vector model is also higher-spin-like at leading large NN. It differs from the free model by the scalar boundary condition and by interactions, but it still has the higher-spin tower at N=N=\infty.

  3. Weakly coupled N=4\mathcal N=4 SYM is stringy at the AdS scale. It has many low-twist higher-spin single-trace operators with small anomalous dimensions. Supergravity is not reliable.

  4. Strongly coupled large-NN N=4\mathcal N=4 SYM with weak string coupling is Einstein-like at low energies. The string scale is high in AdS units, MsLλ1/41M_sL\sim \lambda^{1/4}\gg 1, and loops are suppressed.

  5. The hypothetical large-CTC_T sparse CFT is Einstein-like below the scale set by Δgap=100\Delta_{\mathrm{gap}}=100, assuming crossing and other CFT consistency conditions are satisfied and the low-lying spectrum contains a sensible stress tensor sector.

In AdS5_5/CFT4_4, use

L2αλ\frac{L^2}{\alpha'}\sim \sqrt\lambda

to estimate the dimension of the first stringy excitation. Why is the answer proportional to λ1/4\lambda^{1/4} rather than λ\sqrt\lambda?

Solution

The string mass scale is

Ms1α.M_s\sim \frac{1}{\sqrt{\alpha'}}.

The AdS dimension of a heavy bulk particle is approximately its mass in AdS units:

ΔML.\Delta\sim ML.

Therefore the first stringy excitation has

ΔstringMsLLα.\Delta_{\mathrm{string}} \sim M_sL \sim \frac{L}{\sqrt{\alpha'}}.

Using

L2αλ,\frac{L^2}{\alpha'}\sim \sqrt\lambda,

we find

Lαλ1/4.\frac{L}{\sqrt{\alpha'}} \sim \lambda^{1/4}.

Thus

Δgapλ1/4.\Delta_{\mathrm{gap}} \sim \lambda^{1/4}.

The quantity L2/αL^2/\alpha' controls the classical string action, such as Wilson-loop areas. The mass of a string oscillator in AdS units involves L/αL/\sqrt{\alpha'}, which gives the fourth root.

  • I. R. Klebanov and A. M. Polyakov, “AdS Dual of the Critical O(N)O(N) Vector Model,” arXiv:hep-th/0210114.
  • M. A. Vasiliev, “Higher Spin Gauge Theories in Various Dimensions,” arXiv:hep-th/0401177.
  • S. Giombi and X. Yin, “Higher Spin Gauge Theory and Holography: The Three-Point Functions,” arXiv:0912.3462.
  • J. Maldacena and A. Zhiboedov, “Constraining Conformal Field Theories with a Higher Spin Symmetry,” arXiv:1112.1016.
  • I. Heemskerk, J. Penedones, J. Polchinski, and J. Sully, “Holography from Conformal Field Theory,” arXiv:0907.0151.
  • O. Aharony, G. Gur-Ari, and R. Yacoby, “Correlation Functions of Large NN Chern-Simons-Matter Theories and Bosonization in Three Dimensions,” arXiv:1207.4593.
  • M. R. Gaberdiel and R. Gopakumar, “An AdS3_3 Dual for Minimal Model CFTs,” arXiv:1011.2986.