Skip to content

Large-N limits

A large number of colors is only one part of a limit. Record the coupling, level, masses in radius units, observable normalization and operator size that stay fixed. The introductory large-N lesson derives the scaling rules; this page helps select the right rule for a formula already in hand.

Here NN is the fundamental color-space dimension. The ranks of SU(N)SU(N) and U(N)U(N) are N−1N-1 and NN. Increasing NN changes neither spacetime dimension nor the number of supersymmetry generators.

Theory and limitWhat stays fixedExpansion being organized
Four-dimensional N=4\mathcal N=4 SYM, planarλYM=gYM2N\lambda_{\rm YM}=g_{\rm YM}^2N, global group choice, fixed-size observableColor corrections, often in 1/N21/N^2 for the specified normalized single-trace observables
Equal-node ABJM, planarλAB=N/k\lambda_{\rm AB}=N/k, compact U(N)k×U(N)−kU(N)_k\times U(N)_{-k}, positive integer levels along the sequenceThe genus/color expansion at fixed coupling ratio
The same ABJM theory, fixed levelA positive integer kk and the sphere-source prescriptionLarge rank with λAB→∞\lambda_{\rm AB}\to\infty; the sphere free energy begins at N3/2N^{3/2}

SYM has sixteen real Poincaré supercharges. The ABJM family has twelve at generic level, with enhancement to sixteen at k=1,2k=1,2. The usual four-dimensional N=1\mathcal N=1 and three-dimensional N=2\mathcal N=2 chiral presentations make four manifest; the SYM circle’s four-dimensional N=2\mathcal N=2 localization presentation makes eight manifest. Background and observable preservation are additional conditions, explained in the linked calculations. See multiplets and charges for these distinctions.

For rational λAB=p/q\lambda_{\rm AB}=p/q, use integers N=pnN=pn, k=qnk=qn. An irrational target can be approached by integer ratios. Holding a finite integer level fixed while claiming to hold N/kN/k fixed is inconsistent as NN grows. AB, section 2.2, and FG, (1.3)–(1.4), identify the distinct limits.

Read the small parameter attached to the observable

Section titled “Read the small parameter attached to the observable”
Supplied resultCorrect interpretationKeep separate
WN/W0=1+g(λ)/N2+Oλ(N−4)W_N/W_0=1+g(\lambda)/N^2+O_\lambda(N^{-4})A relative finite-color expansion at fixed λ\lambdaA strong-coupling expansion of W0W_0 or gg
W0=2I1(λ)/λW_0=2I_1(\sqrt\lambda)/\sqrt\lambdaAn exact planar function of positive couplingThe large-λ\lambda approximation to the Bessel function
F(N,k)∼akN3/2F(N,k)\sim a_kN^{3/2}, ak=π2k/3a_k=\pi\sqrt{2k}/3Leading round-sphere free energy at fixed kk, with F=−log⁡ZF=-\log ZA planar formula at fixed N/kN/k, or a thermal free energy
Zpert=eA(k)C−1/3Ai⁡[C−1/3(N−B)]Z_{\rm pert}=e^{A(k)}C^{-1/3}\operatorname{Ai}[C^{-1/3}(N-B)]Resummation of the perturbative fixed-level sectorExponentially small sectors omitted from the full ZZ

For the first two rows, WW is the normalized fundamental supersymmetric circle in the undeformed round-four-sphere localization background, and IνI_\nu is the modified Bessel function. The ABJM rows use the undeformed, zero-mass supersymmetric round-three-sphere background and its fixed absolute normalization. These are the background and observable choices of the linked calculations. The finite-N lesson supplies the circle’s Gaussian definition and exact answer. At the same physical λ\lambda, removing the central U(1)U(1) gives

WNSU=e−λ/(8N2)WNU,gSU(λ)=gU(λ)−λ8.(RF09.1)W_N^{SU}=e^{-\lambda/(8N^2)}W_N^U, \qquad g_{SU}(\lambda)=g_U(\lambda)-\frac\lambda8. \tag{RF09.1}

The planar limits agree, but their first corrections differ. The source formulas are DG (2.26)–(2.27) and DG (5.1). The ordinary trace has an additional factor NN compared with the normalized trace. Fix the group and trace before comparing an error.

For the last row, Ai⁡\operatorname{Ai} is the decaying Airy function,

C=2π2k,B=k24+13k.(RF09.2)C=\frac2{\pi^2k},\qquad B=\frac{k}{24}+\frac1{3k}. \tag{RF09.2}

The rank-independent normalization A(k)A(k) also matters for absolute ZZ. FG (5.67) explicitly retains an additional term. The Airy lesson fixes the current constant-term input and the omitted-sector interpretation; its source guide records the old proposal that was withdrawn.

At fixed kk, expanding the leading shifted power gives a relative correction −3B/(2N)-3B/(2N) to akN3/2a_kN^{3/2}. Logarithmic and constant terms in FF have relative size Ok(log⁡N/N3/2)O_k(\log N/N^{3/2}). Thus the first relative correction here is of order 1/N1/N, even though the planar color expansion of a different family is organized in 1/N21/N^2. The comparison lesson derives this statement and tests it with rank differences.

Worked choice: follow the rank shift along two sequences

Section titled “Worked choice: follow the rank shift along two sequences”

Take the same symbolic function B(k)/NB(k)/N from (RF09.2). At fixed k=4k=4 and N=12nN=12n it is 1/(48n)1/(48n) and tends to zero. Along N=12nN=12n, k=nk=n, the ratio N/k=12N/k=12 stays fixed, but

B(n)12n=1288+136n2⟶1288.(RF09.3)\frac{B(n)}{12n}=\frac1{288}+\frac1{36n^2} \longrightarrow\frac1{288}. \tag{RF09.3}

The algebra is exact for these allowed integer sequences. It demonstrates why an expansion that treats B/NB/N as a vanishing fixed-level correction cannot simply be reused as a fixed-coupling rank expansion. At large fixed λAB\lambda_{\rm AB} its limiting contribution is instead 1/(24λAB)1/(24\lambda_{\rm AB}), a strong-coupling correction.

A separate planar calculation is available: DMP (5.34)–(5.37) uses the shifted coupling and retains constant and exponential contributions. At leading strong coupling its sign-translated sphere result is F/N2∼π2/(3λAB)F/N^2\sim\pi\sqrt2/(3\sqrt{\lambda_{\rm AB}}). That agreement has an independent source; substituting k=N/λk=N/\lambda into a fixed-kk leading term would not establish a uniform remainder estimate. The site’s F=−log⁡ZF=-\log Z is opposite to the free-energy sign in those source formulas.

Two checks before using a gravitational approximation

Section titled “Two checks before using a gravitational approximation”

Large rank and small curvature are distinct requirements. For ABJM’s type-IIA description, the source’s conditions are λAB≫1\lambda_{\rm AB}\gg1 and λAB5/2/N2≪1\lambda_{\rm AB}^{5/2}/N^2\ll1. The first suppresses string-scale curvature; the second suppresses string loops. The eleven-dimensional regime instead includes N≫k5N\gg k^5. These are parametric regimes, not numerical error tolerances. AB (4.5)–(4.7) and the holographic dictionary give their geometric meaning.

For example, the fixed-ratio sequence N=12n,k=nN=12n,k=n makes the loop parameter 125/2/N212^{5/2}/N^2 decrease, while the curvature parameter 1/121/\sqrt{12} stays fixed. Increasing rank alone cannot make that curvature correction arbitrarily small. At fixed k=4k=4, N/k5=N/1024N/k^5=N/1024 instead grows. No particular finite NN becomes certified merely from the inequality symbol ≫\gg.

Finally, distinguish the physical truncation from numerical evaluation. More digits can improve an integral or Bessel evaluation, but cannot restore a discarded genus, change the group, or supply an omitted exponential sector. A useful comparison names the observable, sequence and residual being tested; the Gaussian-loop lab provides a complete example.