Skip to content

Large-N CFT Data and Vector Models

In a vector CFT, large NN suppresses fluctuations of normalized singlet composites and organizes their correlators in powers of 1/N1/N. At leading order this produces generalized-free factorization and additive multi-trace dimensions; interactions first appear through connected correlators, anomalous dimensions, and operator mixing at subleading orders. The expansion is controlled only after the NN-scaling of every operator and coupling, the saddle, and any nonuniform kinematic limit are stated.

Required background. Free and generalized-free theories supplies factorized correlators and double-trace families. Large-N limits and normalizations fixes vector-model counting. Helpful background. Vector models and auxiliary-field saddles develops the path integral, while large-N factorization and master fields compares vector and matrix counting.

Normalize the fundamental vector so that

ϕi(x)ϕj(0)=δij(x2)Δϕ.\langle \phi_i(x)\phi_j(0)\rangle =\frac{\delta_{ij}}{(x^2)^{\Delta_\phi}}.

A normalized singlet bilinear has the schematic form

O(x)=1N: ⁣ϕiϕi ⁣:(x),\mathcal O(x)=\frac{1}{\sqrt{N}}:\!\phi_i\phi_i\!:(x),

with an additional NN-independent factor chosen to make OO=(x2)ΔO\langle\mathcal O\mathcal O\rangle=(x^2)^{-\Delta_\mathcal O}. A connected kk-point correlator of such bilinears then scales as

O1Okconn=O ⁣(N1k/2).\langle\mathcal O_1\cdots\mathcal O_k\rangle_{\mathrm{conn}} =O\!\left(N^{1-k/2}\right).

Thus a normalized singlet three-point coefficient is generically O(N1/2)O(N^{-1/2}), and its connected four-point function is O(N1)O(N^{-1}). The disconnected four-point function is O(1)O(1) and has the generalized-free decomposition into double-trace operators [OO]n,[\mathcal O\mathcal O]_{n,\ell} with

Δn,=2ΔO+2n++O(N1).\Delta_{n,\ell}=2\Delta_\mathcal O+2n+\ell+O(N^{-1}).

The terminology “single trace” and “multi-trace” is useful by analogy, but in a vector model a singlet bilinear is the elementary invariant composite; it is not a matrix trace. Large-NN factorization alone also does not imply a sparse spectrum or a large gap. The separation between factorization and the extra large-gap assumption is emphasized in Fitzpatrick and Kaplan 2012, §§2–3.

For a quartic vector model, scale the coupling as

S=ddx[12(ϕi)2+λ4N(ϕiϕi)2].S=\int d^dx\left[ \frac12(\partial\phi_i)^2+\frac{\lambda}{4N}(\phi_i\phi_i)^2 \right].

Formally introduce an auxiliary field σ\sigma through

S[ϕ,σ]=ddx[12(ϕi)2+12σϕiϕiN4λσ2].S[\phi,\sigma]=\int d^dx\left[ \frac12(\partial\phi_i)^2+\frac12\sigma\phi_i\phi_i -\frac{N}{4\lambda}\sigma^2 \right].

The Gaussian contour for σ\sigma is chosen so that integrating it out reproduces the stable positive quartic interaction; the displayed real saddle is reached by the corresponding contour deformation. Integrating out the NN vector components gives

Seff[σ]=N2Trlog(2+σ)N4λddxσ2,S_{\mathrm{eff}}[\sigma] =\frac N2\operatorname{Tr}\log(-\partial^2+\sigma) -\frac{N}{4\lambda}\int d^dx\,\sigma^2,

so saddle fluctuations are explicitly weighted by NN. The conformal critical saddle is selected by tuning the relevant mass deformation and solving the gap equation with the chosen regulator. Other saddles can describe massive or symmetry-broken phases and must not be silently substituted for the critical one.

At the interacting critical point for 2<d<42<d<4, the Hubbard–Stratonovich field replaces the free scalar bilinear as a primary whose leading dimension is 22. In d=3d=3, the first corrections are

Δϕ=12+43π2N+O(N2),Δσ=2323π2N+O(N2).\begin{aligned} \Delta_\phi&=\frac12+\frac{4}{3\pi^2N}+O(N^{-2}),\\ \Delta_\sigma&=2-\frac{32}{3\pi^2N}+O(N^{-2}). \end{aligned}

Equivalently, η=2Δϕ(d2)=8/(3π2N)+O(N2)\eta=2\Delta_\phi-(d-2)=8/(3\pi^2N)+O(N^{-2}). These signs and factors provide a sensitive test of whether η\eta, Δϕ\Delta_\phi, and the thermal exponent have been translated consistently. The auxiliary-field derivation and general-dd critical exponents are reviewed in Moshe and Zinn-Justin 2003, §§2.1–2.5 and 3.1–3.3.

The same diagrammatic counting generates the first corrections to OPE data. Exchange of σ\sigma produces an O(1/N)O(1/N) connected four-point function of the fundamentals; decomposing it yields anomalous dimensions and OPE-coefficient corrections for singlet, symmetric-traceless, and antisymmetric bilinears. At a fixed spin and fixed excitation number this is an ordinary asymptotic expansion. Taking spin, excitation number, spacetime dimension, or a nearly degenerate operator difference to scale with NN can reorganize the series.

At N=N=\infty, bilinear currents of all even spins in the singlet sector saturate the appropriate conservation bound. At finite NN, only the exact stress tensor and currents of exact global symmetries remain conserved; the other currents acquire O(1/N)O(1/N) anomalous dimensions and recombine with their divergence operators. The weakly broken higher-spin page develops this mechanism.

Multi-trace degeneracies are common. If OA\mathcal O_A share the same N=N=\infty dimension and quantum numbers, their first corrections are eigenvalues of the full O(1/N)O(1/N) mixing matrix computed with the leading two-point metric. Assigning a correction to a suggestive composite expression before diagonalization is basis-dependent.

The following comparison table records the calculational claim, error scale, and failure test for this page’s large-NN sector.

TargetDimension or sectorParameterObservableComputed orderError estimateIndependent checkEvidence basisKnown failure
Critical O(N)O(N) fundamentald=3d=3, fixed kinematics1/N1/NΔϕ=12+43π2N\Delta_\phi=\tfrac12+\tfrac{4}{3\pi^2N}through 1/N1/NO(N2)O(N^{-2}) before any nonuniform limitcompare η=2Δϕ1\eta=2\Delta_\phi-1 and fixed-dimension bootstrap datacritical auxiliary-field saddle and 1/N1/N diagramsusing small NN without higher orders or resummation
Critical O(N)O(N) singletd=3d=3, scalar singlet sector1/N1/NΔσ=2323π2N\Delta_\sigma=2-\tfrac{32}{3\pi^2N}through 1/N1/NO(N2)O(N^{-2}) plus mixing where degeneratecompare the thermal exponent and gap-equation normalizationcritical saddle and auxiliary-field two-point functionconfusing σ\sigma with the free : ⁣ϕ2 ⁣::\!\phi^2\!: primary
Normalized singlet bilinearsvector model at fixed kk1/N1/\sqrt N per normalized extra boundary insertionconnected kk-point scaling N1k/2N^{1-k/2}leading index countingdiagram- and channel-dependent subleading powersexplicit index-loop count for k=2,3,4k=2,3,4Wick and saddle countinginconsistent operator normalization
Double-trace towerfixed n,n,\ell as NN\to\infty1/N1/N2ΔO+2n++O(1/N)2\Delta_\mathcal O+2n+\ell+O(1/N)leading spectrumanomalous dimension and OPE correction at the next ordercrossing of the connected four-point functiongeneralized-free factorization plus connected exchangea large-spin or large-nn limit nonuniform in 1/N1/N
Nearly conserved higher-spin currentsfixed s>2s>2 in the singlet tower1/N1/Nγs=O(1/N)\gamma_s=O(1/N)parametric leading ordermodel-dependent coefficient and mixingnorm of the nonconservation descendantmultiplet recombination plus large-NN factorizationtreating approximate conservation as an exact symmetry

Saddle test. Check stability, the auxiliary-field contour, and the tuned relevant deformation. A formal stationary point need not define the desired CFT.

Counting test. Draw the index loops for a representative two-, three-, and four-point graph after normalizing the external operators. If the announced power of NN changes, the entire OPE hierarchy must be revised.

Nonuniformity test. Repeat the estimate with spin, excitation number, and d2d-2 or 4d4-d explicit. Terms such as /N\ell/N or 1/[N(d2)]1/[N(d-2)] signal a double-scaling problem.

Finite-N test. Compare successive 1/N1/N orders or an independent method. The mere existence of a formal expansion does not bound its remainder at a particular small NN.

Two tests must remain distinct: a truncation comparison probes numerical stability, while a sparse-spectrum consistency test adds an assumption not implied by vector factorization. Large-NN factorization alone is not evidence for a large gap.

Derive the N1k/2N^{1-k/2} scaling of a connected kk-point function of normalized bilinears.

Solution

A connected Wick contraction of kk unnormalized bilinears has one closed vector-index loop and is therefore O(N)O(N). Each normalized bilinear contributes N1/2N^{-1/2}, giving NNk/2=N1k/2N\,N^{-k/2}=N^{1-k/2}.

At what parametric spin can an omitted correction proportional to /N2\ell/N^2 compete with a retained term proportional to 1/N1/N?

Solution

Their ratio is /N\ell/N. They compete when =O(N)\ell=O(N), so the fixed-spin 1/N1/N expansion is not uniform in that regime.