Skip to content

Large-N Gauge Theory

The previous page explained why gravity suggests an unusual counting of states: black-hole entropy scales like an area in Planck units. The next ingredient is a field-theory mechanism that can produce a controlled expansion looking like quantum gravity. That mechanism is the large-NN expansion of matrix gauge theories.

The basic observation is simple but deep. In an SU(N)SU(N) or U(N)U(N) gauge theory, fields in the adjoint representation are matrices. Their Feynman diagrams do not merely form ordinary graphs; after color indices are drawn explicitly, they become ribbon graphs. A ribbon graph has a topology. It can be drawn on a sphere, a torus, or a higher-genus surface. The power of NN carried by the diagram is determined by this topology.

In the large-NN limit, planar diagrams dominate. Nonplanar diagrams are suppressed by powers of 1/N21/N^2. This is exactly the pattern of a closed-string perturbation expansion, where each additional handle on the worldsheet costs a factor of gs2g_s^2. Thus large-NN gauge theory supplies the first structural reason that a gauge theory might have a string description:

large-N gauge theorysum over two-dimensional surfaces.\text{large-}N\text{ gauge theory} \quad\Longrightarrow\quad \text{sum over two-dimensional surfaces}.

This statement is not yet AdS/CFT. It does not say what the target space of the string is, whether the string is weakly curved, or whether the bulk theory is Einstein gravity. But it explains why the gauge-theory parameter NN is naturally related to the quantum-gravity loop expansion.

Double-line notation turns adjoint gauge-theory diagrams into ribbon graphs whose powers of N are classified by genus.

Adjoint fields carry two color indices, so their propagators are double lines. A ribbon graph contributes a power NχN^{\chi}, where χ=FE+V=22gb\chi=F-E+V=2-2g-b is the Euler characteristic of the surface on which the graph is drawn. The expansion of the gauge-theory free energy, logZ=gN22gFg(λ)\log Z=\sum_g N^{2-2g}F_g(\lambda), mirrors a closed-string genus expansion with gs1/Ng_s\sim 1/N at fixed λ\lambda.

Consider a gauge theory with gauge group SU(N)SU(N) or U(N)U(N) and fields in the adjoint representation. The Yang-Mills coupling is gYMg_{\mathrm{YM}}, and the natural large-NN coupling is the ‘t Hooft coupling

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

The ‘t Hooft limit is

N,λ fixed.N\to\infty, \qquad \lambda\ \text{fixed}.

This is the correct limit because a typical color loop gives a factor of NN, while a gauge interaction brings powers of gYMg_{\mathrm{YM}}. Holding gYMg_{\mathrm{YM}} fixed would make diagrams blow up with arbitrary powers of NN. Holding λ=gYM2N\lambda=g_{\mathrm{YM}}^2N fixed balances the color combinatorics against the coupling constants.

A schematic adjoint gauge-theory action can be written as

S=Nλddxtr ⁣(14FμνFμν+12(DΦ)2+),S = \frac{N}{\lambda} \int d^d x\,\operatorname{tr}\!\left( \frac{1}{4}F_{\mu\nu}F^{\mu\nu} +\frac{1}{2}(D\Phi)^2 +\cdots \right),

where tr\operatorname{tr} is the trace in the fundamental representation. The precise field content depends on the theory. For example, in N=4\mathcal N=4 super-Yang-Mills there are gauge fields, six adjoint scalars, and four adjoint Weyl fermions. The large-NN counting, however, is much more general than supersymmetry.

A crucial warning: in the ‘t Hooft limit,

gYM2=λN0,g_{\mathrm{YM}}^2=\frac{\lambda}{N}\to 0,

but the theory is not necessarily weakly coupled. The physical interaction strength controlling planar dynamics is λ\lambda, not gYM2g_{\mathrm{YM}}^2 alone. Planar diagrams with arbitrarily many vertices can survive at N=N=\infty. Large NN is a topological expansion, not automatically a perturbative expansion in λ\lambda.

This distinction is central in AdS/CFT. Classical supergravity usually requires both

N1andλ1.N\gg 1 \qquad\text{and}\qquad \lambda\gg 1.

The first condition suppresses quantum gravity loops. The second suppresses stringy corrections in powers of α/L2\alpha'/L^2.

An adjoint field is a matrix,

Φ=ΦaTa,Φij,\Phi=\Phi^a T^a, \qquad \Phi^i{}_{j},

with one fundamental index and one anti-fundamental index. In a U(N)U(N) theory, the color structure of the free propagator is schematically

ΦijΦklδilδkj.\left\langle \Phi^i{}_{j}\,\Phi^k{}_{l} \right\rangle \propto \delta^i{}_{l}\delta^k{}_{j}.

This is why one draws the propagator as two oppositely oriented color lines. The first Kronecker delta carries one index along the propagator; the second carries the other index back. Vertices join these strands cyclically because the interactions appear inside traces.

For SU(N)SU(N) rather than U(N)U(N), the adjoint field is traceless. The propagator contains the projector

δilδkj1Nδijδkl.\delta^i{}_{l}\delta^k{}_{j} - \frac{1}{N}\delta^i{}_{j}\delta^k{}_{l}.

The second term subtracts the singlet U(1)U(1) component. It is suppressed in many leading large-NN questions, but it matters for exact finite-NN identities, trace relations, and sometimes for global subtleties. In most AdS/CFT calculations, the distinction between SU(N)SU(N) and U(N)U(N) is invisible at leading order in 1/N1/N.

The important point is that every closed color-index loop gives

δii=N.\delta^i{}_{i}=N.

Therefore the power of NN in a diagram is found by counting closed color loops, propagators, and vertices.

Take a connected vacuum ribbon graph made only of adjoint fields. Let

  • VV be the number of interaction vertices,
  • EE be the number of propagators,
  • FF be the number of closed color-index loops, also called faces.

With the normalization of the action above, a schematic counting gives

AΓNF(λN)E(Nλ)V.\mathcal A_\Gamma \sim N^F \left(\frac{\lambda}{N}\right)^E \left(\frac{N}{\lambda}\right)^V.

Thus

AΓNFE+VλEV.\mathcal A_\Gamma \sim N^{F-E+V}\lambda^{E-V}.

The power of λ\lambda depends on the details of the vertices and on field normalizations. The power of NN is topological. The quantity

χ=FE+V\chi=F-E+V

is the Euler characteristic of the two-dimensional surface obtained by thickening the graph into a ribbon graph. For a connected orientable closed surface of genus gg,

χ=22g.\chi=2-2g.

Therefore a vacuum graph of genus gg contributes as

AgN22gfg(λ).\mathcal A_g \sim N^{2-2g}f_g(\lambda).

The leading diagrams are planar diagrams, g=0g=0, which scale like N2N^2. Diagrams that require one handle, g=1g=1, scale like N0N^0. Two handles give N2N^{-2}, and so on.

Equivalently, the vacuum free energy has the expansion

logZ=N2F0(λ)+F1(λ)+1N2F2(λ)+.\log Z = N^2 F_0(\lambda)+F_1(\lambda)+\frac{1}{N^2}F_2(\lambda)+\cdots.

This is the first major bridge to string theory. A closed-string perturbation expansion has the schematic form

logZstring=1gs2F0+F1+gs2F2+.\log Z_{\mathrm{string}} = \frac{1}{g_s^2}\mathcal F_0+ \mathcal F_1+ g_s^2\mathcal F_2+ \cdots.

Comparing the two expansions suggests

gs1Ng_s\sim \frac{1}{N}

at fixed λ\lambda. In the canonical AdS5_5/CFT4_4 example, the more precise relation includes the ‘t Hooft coupling because gsgYM2λ/Ng_s\sim g_{\mathrm{YM}}^2\sim \lambda/N, up to convention-dependent numerical factors. For genus counting at fixed λ\lambda, however, the important scaling is gsN1g_s\propto N^{-1}.

Boundaries: operator insertions and fundamental matter

Section titled “Boundaries: operator insertions and fundamental matter”

A ribbon graph may also have boundaries. There are two common sources of boundaries.

First, a single-trace operator insertion such as

tr(Φk)(x)\operatorname{tr}(\Phi^k)(x)

creates a marked cyclic boundary for color lines. Second, if the theory contains fields in the fundamental representation, a closed fundamental loop forms a boundary rather than a face made from adjoint color flow.

For a connected orientable surface with genus gg and bb boundaries,

χ=22gb.\chi=2-2g-b.

So the corresponding color factor behaves like

N22gb.N^{2-2g-b}.

This formula explains two standard large-NN facts.

First, each additional trace insertion reduces the naive power of NN by one before one chooses the normalization of the external operators. This is the origin of large-NN scaling rules for single-trace correlators.

Second, with NfN_f fundamental flavors held fixed as NN\to\infty, fundamental loops are suppressed relative to adjoint loops. A diagram with bb fundamental boundaries carries a factor roughly

N22gbNfb.N^{2-2g-b}N_f^b.

For fixed NfN_f, each boundary costs a factor of Nf/NN_f/N. This is the field-theory origin of the probe-flavor approximation in holography: flavor branes with NfNN_f\ll N do not backreact at leading order on the geometry. In the Veneziano limit,

N,NfN fixed,N\to\infty, \qquad \frac{N_f}{N}\ \text{fixed},

fundamental matter is not quenched, and the dual flavor sector should backreact.

The topological expansion implies a second key property: gauge-invariant observables become classical variables at large NN.

Let oI\mathfrak o_I denote a normalized single-trace observable whose expectation value remains order one at large NN. Schematically one may think of

oI(x)1Ntr ⁣(Φk(x)+),\mathfrak o_I(x) \sim \frac{1}{N}\operatorname{tr}\!\left(\Phi^k(x)+\cdots\right),

although the exact normalization depends on the operator. Couple it to a source by writing

Z[J]=exp ⁣(N2ddxJI(x)oI(x)).Z[J] = \left\langle \exp\!\left( N^2\int d^d x\,J^I(x)\mathfrak o_I(x) \right) \right\rangle.

The large-NN expansion says

logZ[J]=N2w0[J]+w1[J]+O(N2).\log Z[J] = N^2 w_0[J]+w_1[J]+O(N^{-2}).

Connected correlators of the oI\mathfrak o_I are obtained by differentiating logZ\log Z and dividing by the source-coupling factors. Therefore

o1onconnN22n.\left\langle \mathfrak o_1\cdots \mathfrak o_n \right\rangle_{\mathrm{conn}} \sim N^{2-2n}.

In particular,

o1o2=o1o2+O(N2).\left\langle \mathfrak o_1\mathfrak o_2 \right\rangle = \left\langle \mathfrak o_1\right\rangle \left\langle \mathfrak o_2\right\rangle +O(N^{-2}).

This is large-NN factorization. It is analogous to the statement that fluctuations around a classical saddle are small. The role of \hbar is played by 1/N21/N^2.

A second normalization is often more convenient in AdS/CFT. Define a particle-normalized operator

OI=NoI,\mathcal O_I=N\mathfrak o_I,

so that its connected two-point function is order one when the one-point function vanishes:

OI(x)OJ(0)connN0.\left\langle \mathcal O_I(x)\mathcal O_J(0) \right\rangle_{\mathrm{conn}} \sim N^0.

Then

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

This is the normalization behind the common statement that cubic bulk couplings are order 1/N1/N and quartic bulk couplings are order 1/N21/N^2.

Both normalizations are useful. The first makes factorization look like classical probability. The second makes the CFT operators look like canonically normalized single-particle fields. Confusing these two normalizations is one of the most common sources of wrong powers of NN.

Single-trace operators as single-particle states

Section titled “Single-trace operators as single-particle states”

In matrix large-NN theories, the basic gauge-invariant local operators are traces:

tr(FμνFμν),tr(ΦIΦJ),tr(ψˉΓDψ),\operatorname{tr}(F_{\mu\nu}F^{\mu\nu}), \qquad \operatorname{tr}(\Phi^I\Phi^J), \qquad \operatorname{tr}(\bar\psi\Gamma D\psi), \qquad \ldots

A single trace is the gauge-theory analog of one closed string. A product of traces is the analog of a multi-string or multi-particle state. In the CFT operator language, this means

single-trace primarysingle-particle bulk field,\text{single-trace primary} \quad\longleftrightarrow\quad \text{single-particle bulk field},

while

multi-trace operatormulti-particle bulk state.\text{multi-trace operator} \quad\longleftrightarrow\quad \text{multi-particle bulk state}.

At N=N=\infty, multi-trace operators behave almost like composites of independent single-trace operators. For example, in a large-NN CFT, a double-trace primary schematically of the form

[OiOj]n,[\mathcal O_i\mathcal O_j]_{n,\ell}

has dimension

Δij,n,=Δi+Δj+2n++O(N2),\Delta_{ij,n,\ell} = \Delta_i+ \Delta_j+2n+\ell+O(N^{-2}),

where nn counts radial excitations and \ell is spin. The O(N2)O(N^{-2}) correction is the anomalous dimension produced by bulk interactions. In Witten-diagram language, it appears from tree-level exchange and contact diagrams. In bulk language, it is a binding-energy correction between two particles in AdS.

This is a remarkably concrete statement. Large NN does not merely say that some diagrams are small. It says that the Hilbert space organizes itself approximately like a Fock space:

single particlestwo-particle statesthree-particle states,\text{single particles} \oplus \text{two-particle states} \oplus \text{three-particle states} \oplus \cdots,

with interactions suppressed by powers of 1/N1/N.

Central charge, Newton’s constant, and classical gravity

Section titled “Central charge, Newton’s constant, and classical gravity”

A matrix CFT has order N2N^2 degrees of freedom. This shows up in thermodynamics, anomalies, and stress-tensor correlation functions. For example, the stress-tensor two-point coefficient behaves as

CTN2C_T\sim N^2

in adjoint large-NN gauge theories.

On the gravity side, the coefficient multiplying the classical bulk action is

1Gd+1.\frac{1}{G_{d+1}}.

For an AdSd+1_{d+1} dual with radius LL, the dimensionless measure of the gravitational coupling is

Ld1Gd+1.\frac{L^{d-1}}{G_{d+1}}.

The holographic dictionary therefore identifies the large central charge with the inverse Newton coupling:

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

This is why the large-NN limit is the classical-gravity limit. Bulk loops are suppressed by powers of

Gd+1/Ld11N2.G_{d+1}/L^{d-1}\sim \frac{1}{N^2}.

But this is only the loop expansion. To obtain a weakly curved Einstein-like bulk, one also needs a large gap to higher-spin and stringy states. In the canonical D3-brane example, that gap is controlled by the ‘t Hooft coupling λ\lambda:

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

So the rough hierarchy is

N1classical bulk, suppressed quantum loops,λ1weakly curved bulk, suppressed stringy corrections.\begin{array}{ccl} N\gg 1 &\Longleftrightarrow& \text{classical bulk, suppressed quantum loops},\\ \lambda\gg 1 &\Longleftrightarrow& \text{weakly curved bulk, suppressed stringy corrections}. \end{array}

Large NN alone gives something string-like. Large NN plus strong coupling and a sparse light spectrum give something close to classical Einstein gravity.

A small worked example: why four-point functions start at 1/N21/N^2

Section titled “A small worked example: why four-point functions start at 1/N21/N^21/N2”

Use particle-normalized single-trace operators Oi\mathcal O_i with

OiOjconnN0.\langle\mathcal O_i\mathcal O_j\rangle_{\mathrm{conn}} \sim N^0.

The connected three-point function scales as

O1O2O3conn1N.\langle\mathcal O_1\mathcal O_2\mathcal O_3\rangle_{\mathrm{conn}} \sim \frac{1}{N}.

Therefore the corresponding cubic bulk interaction has coupling of order 1/N1/N. A connected four-point function receives contributions from two basic kinds of tree-level bulk diagrams:

  1. an exchange diagram with two cubic vertices,
  2. a contact diagram with one quartic vertex.

The exchange diagram scales as

(1N)2=1N2.\left(\frac{1}{N}\right)^2 = \frac{1}{N^2}.

The quartic coupling must also scale as 1/N21/N^2 if the bulk action has the form

SbulkN2dd+1xL(ϕ),S_{\mathrm{bulk}} \sim N^2\int d^{d+1}x\,\mathcal L(\phi),

with canonically normalized fluctuations obtained by expanding fields with a factor of 1/N1/N. Hence

O1O2O3O4conn1N2.\langle \mathcal O_1\mathcal O_2\mathcal O_3\mathcal O_4 \rangle_{\mathrm{conn}} \sim \frac{1}{N^2}.

This is the CFT origin of tree-level Witten diagrams. A disconnected four-point function is order N0N^0, being a product of two two-point functions, while the connected part is suppressed by 1/N21/N^2. The connected part is where bulk interactions live.

The following dictionary is only schematic, but it is one of the most useful summaries in the subject.

Large-NN gauge-theory featureBulk interpretation
logZN2\log Z\sim N^2Classical bulk action scales like 1/GN1/G_N
Planar dominanceClassical string worldsheet or tree-level closed-string physics
Genus-gg suppression N22gN^{2-2g}Closed-string loop expansion with gs1/Ng_s\sim 1/N
Large-NN factorizationClassical bulk saddle; suppressed quantum fluctuations
Single-trace primariesSingle-particle bulk fields or single-string states
Multi-trace operatorsMulti-particle bulk states
Connected nn-point functions N2n\sim N^{2-n} in particle normalizationBulk nn-point interactions suppressed by powers of 1/N1/N
CTN2C_T\sim N^2Ld1/Gd+1N2L^{d-1}/G_{d+1}\sim N^2
Fundamental loops suppressed for fixed NfN_fProbe flavor branes with negligible backreaction

The table also hints at a limitation. A large-NN expansion is necessary for a weakly coupled bulk, but it is not sufficient for a simple geometric bulk. Vector large-NN theories, for example, can have duals involving higher-spin gauge fields rather than ordinary Einstein gravity. Matrix large-NN theories are naturally string-like, but whether the string has a local weakly curved target-space description is a further dynamical question.

Mistake 1: Large NN means weak coupling.

No. The ‘t Hooft coupling λ\lambda can be small, finite, or large. Large NN organizes diagrams by topology. It does not by itself make the planar theory easy.

Mistake 2: Planar means classical gravity.

Planar means genus zero in the gauge-theory/string expansion. Classical Einstein gravity also requires the string scale to be small compared with the AdS radius and requires the light spectrum to be sparse enough that only a few low-spin fields remain relevant.

Mistake 3: Every single-trace operator is light in the bulk.

Single-trace means single-string or single-particle, but the corresponding bulk state may be very heavy. In a strongly coupled holographic CFT, most stringy single-trace operators have dimensions that grow with a positive power of λ\lambda.

Mistake 4: The normalization of operators is harmless.

It is not. The same physical correlator can be described using classical-variable normalization, particle normalization, or stress-tensor normalization. Always say which one is being used before assigning powers of NN.

Mistake 5: SU(N)SU(N) and U(N)U(N) are always identical.

They agree for many leading large-NN observables, but finite-NN trace relations, decoupled U(1)U(1) sectors, global forms of the gauge group, and line operators can distinguish them.

Exercise 1: Euler characteristic from double-line counting

Section titled “Exercise 1: Euler characteristic from double-line counting”

Consider a connected vacuum ribbon graph with VV vertices, EE propagators, and FF closed index loops. Use the schematic rules

face:N,propagator:λN,vertex:Nλ\text{face}:N, \qquad \text{propagator}:\frac{\lambda}{N}, \qquad \text{vertex}:\frac{N}{\lambda}

to show that the amplitude scales as NχN^{\chi} times a function of λ\lambda, where χ=FE+V\chi=F-E+V.

Solution

Multiplying the factors gives

AΓNF(λN)E(Nλ)V=NFE+VλEV.\mathcal A_\Gamma \sim N^F \left(\frac{\lambda}{N}\right)^E \left(\frac{N}{\lambda}\right)^V = N^{F-E+V}\lambda^{E-V}.

The exponent of NN is

FE+V=χ.F-E+V=\chi.

For a connected orientable closed ribbon graph drawn on a genus-gg surface,

χ=22g,\chi=2-2g,

so

AgN22gfg(λ).\mathcal A_g\sim N^{2-2g}f_g(\lambda).

The precise power of λ\lambda depends on the graph and on the interaction vertices, but the power of NN is topological.

Exercise 2: Handles and the string coupling

Section titled “Exercise 2: Handles and the string coupling”

Suppose the connected vacuum free energy of a matrix gauge theory has the expansion

logZ=N2F0(λ)+F1(λ)+N2F2(λ)+.\log Z = N^2F_0(\lambda)+F_1(\lambda)+N^{-2}F_2(\lambda)+\cdots.

Compare this with a closed-string expansion and identify the scaling of gsg_s with NN.

Solution

A closed-string perturbation expansion has the form

logZstring=g=0gs2g2Fg.\log Z_{\mathrm{string}} = \sum_{g=0}^{\infty}g_s^{2g-2}\mathcal F_g.

The sphere term scales as gs2g_s^{-2}, the torus term as gs0g_s^0, and the genus-two term as gs2g_s^2. Matching this with

N2,N0,N2,N^2, \qquad N^0, \qquad N^{-2},

we find

gs1Ng_s\sim \frac{1}{N}

at fixed ‘t Hooft coupling. In the D3-brane duality, convention-dependent constants and powers of λ\lambda refine this relation, but the genus-counting statement is gsN1g_s\propto N^{-1} at fixed λ\lambda.

Exercise 3: Factorization from the generating functional

Section titled “Exercise 3: Factorization from the generating functional”

Let o\mathfrak o be a normalized single-trace observable with source coupling

Z[J]=exp ⁣(N2Jo),Z[J] = \left\langle \exp\!\left(N^2\int J\mathfrak o\right) \right\rangle,

and suppose

logZ[J]=N2w0[J]+O(N0).\log Z[J]=N^2w_0[J]+O(N^0).

Show that

o(x)o(y)connN2.\langle \mathfrak o(x)\mathfrak o(y)\rangle_{\mathrm{conn}} \sim N^{-2}.
Solution

Because the source appears as N2JoN^2J\mathfrak o, differentiating once gives

o(x)=1N2δlogZδJ(x).\langle\mathfrak o(x)\rangle = \frac{1}{N^2}\frac{\delta\log Z}{\delta J(x)}.

Differentiating twice gives

o(x)o(y)conn=1N4δ2logZδJ(x)δJ(y).\langle\mathfrak o(x)\mathfrak o(y)\rangle_{\mathrm{conn}} = \frac{1}{N^4} \frac{\delta^2\log Z}{\delta J(x)\delta J(y)}.

Since logZ=N2w0+O(N0)\log Z=N^2w_0+O(N^0), the second derivative of logZ\log Z is generically order N2N^2. Therefore

o(x)o(y)connN2N4=N2.\langle\mathfrak o(x)\mathfrak o(y)\rangle_{\mathrm{conn}} \sim \frac{N^2}{N^4} = N^{-2}.

This gives large-NN factorization:

o(x)o(y)=o(x)o(y)+O(N2).\langle\mathfrak o(x)\mathfrak o(y)\rangle = \langle\mathfrak o(x)\rangle\langle\mathfrak o(y)\rangle +O(N^{-2}).

Exercise 4: Changing operator normalization

Section titled “Exercise 4: Changing operator normalization”

Assume classical-variable normalization gives

o1onconnN22n.\langle \mathfrak o_1\cdots\mathfrak o_n\rangle_{\mathrm{conn}} \sim N^{2-2n}.

Define particle-normalized operators Oi=Noi\mathcal O_i=N\mathfrak o_i. Show that

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

Substituting Oi=Noi\mathcal O_i=N\mathfrak o_i gives

O1Onconn=Nno1onconn.\langle \mathcal O_1\cdots\mathcal O_n\rangle_{\mathrm{conn}} = N^n \langle \mathfrak o_1\cdots\mathfrak o_n\rangle_{\mathrm{conn}}.

Using the assumed scaling,

NnN22n=N2n.N^n\cdot N^{2-2n}=N^{2-n}.

Thus particle-normalized two-point functions are order N0N^0, three-point functions are order 1/N1/N, and connected four-point functions are order 1/N21/N^2.

Exercise 5: Fundamental matter and probe flavor

Section titled “Exercise 5: Fundamental matter and probe flavor”

Consider an adjoint gauge theory with NfN_f fundamental flavors. A connected diagram with genus gg and bb closed fundamental loops scales as

N22gbNfb.N^{2-2g-b}N_f^b.

Explain why fundamental loops are suppressed when NfN_f is fixed, and why they are not suppressed in the Veneziano limit.

Solution

Relative to a purely adjoint planar contribution, which scales as N2N^2, a diagram with bb fundamental loops and genus zero scales as

N2bNfb=N2(NfN)b.N^{2-b}N_f^b = N^2\left(\frac{N_f}{N}\right)^b.

If NfN_f is held fixed as NN\to\infty, then each fundamental boundary is suppressed by Nf/NN_f/N. This is the quenched or probe-flavor regime.

In the Veneziano limit, Nf/NN_f/N is held fixed. Then

(NfN)b\left(\frac{N_f}{N}\right)^b

is order one, so diagrams with fundamental loops are not parametrically suppressed. In holography this corresponds to flavor branes whose stress tensor can backreact on the geometry.

Exercise 6: Matrix large NN versus vector large NN

Section titled “Exercise 6: Matrix large NNN versus vector large NNN”

A theory with NN vector fields often has a large-NN expansion, but its number of elementary degrees of freedom scales like NN, not N2N^2. Explain why this suggests a different kind of bulk dual from a matrix large-NN gauge theory.

Solution

In a matrix gauge theory, adjoint fields have two color indices, so the number of components scales like N2N^2. The perturbative expansion is organized by ribbon graphs, and the power of NN is related to the genus of a two-dimensional surface. This is why matrix large-NN theories are naturally connected to closed-string expansions.

In a vector model, fields have one index, so the number of components scales like NN. The diagrams are not organized in the same way by closed orientable string worldsheets. The singlet sector can still have a large-NN expansion and can still admit a bulk interpretation, but the dual is often higher-spin-like rather than Einstein-like. This is one reason large NN alone is not enough to guarantee a conventional semiclassical gravity dual.

The original source of the topological expansion is G. ‘t Hooft, A Planar Diagram Theory for Strong Interactions. For a concise review by ‘t Hooft, see Large N, arXiv:hep-th/0204069. For the role of large NN in AdS/CFT, see Aharony, Gubser, Maldacena, Ooguri, and Oz, Large N Field Theories, String Theory and Gravity, arXiv:hep-th/9905111. David Tong’s gauge-theory lecture notes also give a clear pedagogical account of double-line notation and large-NN counting.

The next page explains how these ribbon-graph surfaces become physically string-like in confining gauge theories and why AdS/CFT requires a more subtle notion of string than the QCD flux tube.