Large N and Semiclassical Bulk Criteria

Large $N$ supplies several independent organizing principles, not a one-step derivation of gravity. This chapter separates factorization, double-line topology, stress-tensor normalization, spectral sparsity, the higher-spin gap, Mellin boundedness, bulk cutoff estimates, and exponentially small finite-$N$ effects. The goal is to infer the strongest bulk regime supported by the supplied boundary data—and to stop when a missing condition or counterexample blocks the inference.

Helpful background. Large-N Limits, Normalizations, and Orders of Limits and Large-N Factorization and Master-Field Claims supply the QFT methods. Large-N CFT Data and Vector Models supplies spectral examples. Holographic Duality: Claims, Dictionaries, and Regimes fixes the claim language needed before interpreting those results gravitationally.

From boundary scaling to a controlled bulk regime

Two entry routes lead through the chapter.

From a gauge or matrix theory. Begin by normalizing single-trace operators, derive connected-correlator scaling, separate single- and multi-trace sectors, and verify double-line genus counting. Only then ask whether $C_T$, the coupling, and the spectrum support weakly coupled gravity rather than merely a string-like topological expansion.

From CFT data. Begin with $C_T$, the light single-trace spectrum, and the spin-resolved gap. Add connected OPE scaling and Mellin behavior, state an energy window, and estimate loop, derivative, and nonperturbative errors. This route can diagnose a candidate semiclassical sector without assuming a microscopic matrix presentation.

Both routes must keep fixed the observable, operator normalization, state, coupling scaling, and order of limits. The target may be a weak bulk field sector, a local AdS EFT below a cutoff, or an Einstein regime; these are different conclusions.

Check your preparation

You are ready to begin if you can normalize a single-trace two-point function to order one, distinguish a connected correlator from its disconnected contractions, and explain why $N\to\infty$ at fixed coupling is different from a simultaneous strong-coupling limit.

• If index counting or master fields are unfamiliar, use the first two helpful-background links and enter at pages 1–3.
• If your input is a spectrum and OPE coefficients rather than a Lagrangian, use the CFT-data link and enter at pages 4–7.
• If “a gravity dual” is currently an unqualified phrase, use the claims-and-regimes link before comparing criteria.

Preparation is capability-specific: knowing double-line counting does not replace understanding a higher-spin gap, and Mellin fluency does not fix the finite-$N$ order of limits.

Choose a route

Starting data or goal	Route through the numbered guide	Required stopping test
Matrix or adjoint gauge theory	1–4, then 6–12	Do strong coupling and a spin-resolved gap actually emerge?
Vector model	1–2, then 5–7 and 12	Do light higher-spin currents obstruct an Einstein conclusion?
Numerical or bootstrap CFT data	4–10, then 12	Are normalization, spectral thresholds, and errors controlled?
Candidate local AdS EFT	5–10, then 11–12	Are Mellin growth, finite-gap terms, and exponential sectors bounded?
Diagnose an overclaim	7, 9–12	Which necessary condition failed, and what weaker conclusion survives?

The routes are not alternative definitions. They expose which inputs are available and where the argument must pause.

Chapter guide

1. Large-N Factorization and Classical Bulk Scaling derives connected three- and four-point scaling after explicit two-point normalization, then uses a vector-model counterexample to limit the gravitational conclusion.
2. Single-Trace, Multi-Trace, and Collective-Field Organization diagonalizes single/double-trace mixing and identifies which nonlinear field redefinitions leave observables unchanged.
3. From Genus Counting to a Holographic String Regime turns double-line topology into powers of $N$ and explains why vector and tensor expansions need different bulk interpretations.
4. Central Charge, Newton Coupling, and the Planck Scale maps the stress-tensor coefficient to $L^{d-1}/G_{d+1}$ only after conventions and species effects are fixed.
5. Weakly Coupled Bulk Fields from Connected Correlators extracts cubic scaling from a three-point function and checks it against exchange and contact terms at four points.
6. Sparse Spectra, Large Gaps, and Semiclassical Bulk Criteria partitions light single-trace, multi-trace, and heavy sectors and tests the partition against a low higher-spin state.
7. Higher-Spin Gaps and Einstein-Regime Obstructions contrasts matrix and vector large-$N$ limits and shows why a fixed gap does not become parametrically large merely because $N$ does.
8. Bulk Interaction Scaling and Effective Cutoffs combines contact power counting, loops, species, and heavy thresholds into an observable-dependent cutoff estimate.
9. Approximate Bulk Locality from Spectral and Mellin Data reads low-degree Mellin polynomials as contact interactions and defeats finite-data locality claims with an exponentially growing Regge deformation.
10. Corrections, Nonuniform Limits, and Failure Modes compares large $N$ with late time and tests energy- and entropy-scaled limits in which nominal corrections become order one.
11. Nonperturbative Exponential Effects and Finite-N Sectors separates genus terms from brane, saddle, finite-rank, and level-discreteness effects invisible to every algebraic order.
12. Necessary, Sufficient, and Heuristic Bulk Criteria evaluates generalized free, vector, matrix, and top-down examples on one counterexample-indexed implication map.

How the criteria fit together

For normalized single-particle operators in a matrix-like family, factorization gives

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

This scaling suggests weak bulk vertices, while double-line diagrams organize closed-string handles. Neither result fixes a geometric length scale. A stress-tensor normalization can supply a Planck hierarchy,

$$C_T\sim\frac{L^{d-1}}{G_{d+1}},$$

but only inside an established dictionary and convention. A sparse light single-trace spectrum limits the number of elementary fields below the cutoff; a parametrically large $J>2$ gap supports an Einstein rather than higher-spin regime. Mellin poles and polynomial boundedness then test whether the correlators admit a local derivative expansion. This perturbative reconstruction program is supported by Heemskerk et al. 2009, while causality makes the higher-spin threshold consequential rather than cosmetic Camanho et al. 2016.

The inference can be summarized as

$$\begin{gathered} \text{factorization} +\text{large }C_T +\text{sparse light spectrum}\\ +\text{large higher-spin gap} +\text{bounded Mellin behavior} +\text{controlled errors}\\ \Longrightarrow \text{perturbative local AdS sector in a stated window}. \end{gathered}$$

The plus signs mean that each item contributes independent information. The arrow is conditional and finite-precision. It does not establish a unique nonperturbative completion. Vector models demonstrate why factorization and large central charge do not imply Einstein gravity Klebanov and Polyakov 2002; exponentially distinct completions demonstrate why all-orders genus agreement does not settle finite $N$.

Build a semiclassical-bulk argument

For any proposed example, record the following in a compact scientific table or calculation:

1. Boundary definition: theory, global form, state or ensemble, normalized operators, and correlators.
2. Large-$N$ data: the scaling of $C_T$, connected $n$-point functions, and any genus parameter.
3. Spectrum: the light single-trace list, multi-trace threshold, spin-resolved heavy gap, and how each quantity scales.
4. Bulk interpretation: candidate fields, $L/\ell_{\mathrm P}$, $L/\ell_s$ or another heavy scale, and interaction normalization.
5. Domain: energy, impact parameter or Mellin region, time interval, and which quantities are held fixed.
6. Errors: loop, finite-coupling, finite-gap, species, secular, and exponential finite-$N$ terms.
7. Adversarial case: a theory or synthetic datum satisfying some inputs while failing the target conclusion.
8. Bounded conclusion: the weakest missing condition and the strongest statement still justified.

This format makes comparisons reproducible. It also prevents positive signals from being counted twice—for example, treating $C_T\sim N^2$, $G_N\sim N^{-2}$, and loop suppression as three independent observations when the latter two were inferred from the first through the same dictionary.

Review the chapter

Normalization and interactions. Normalize an adjoint single-trace operator and derive the $N$-scaling of its connected three- and four-point functions. A successful answer states the unnormalized color count, the normalization factor, and why the result supports weak vertices but not locality.

Topology. Compare a planar vacuum diagram with a one-handle correction. The answer must derive the Euler-characteristic power and explain why the same formula is not automatically valid for vector or tensor models.

Planck and string hierarchies. Given $C_T$, a coupling-dependent higher-spin gap, and $N_{\mathrm{sp}}$ light species, estimate the loop and derivative parameters at energy $E$. A complete answer keeps the convention-dependent coefficient separate and states the species-corrected cutoff.

Counterexample. A family factorizes and has $C_T\to\infty$, but retains conserved currents of arbitrarily high spin. The correct conclusion identifies a possible weak higher-spin bulk and explicitly rejects an Einstein regime.

Mellin locality. Fit a degree-two crossing-symmetric polynomial after subtracting light exchanges. The answer identifies the corresponding derivative orders, estimates the next gap-suppressed term, and names polynomial boundedness as information not fixed by the fit.

Order of limits. Compare a thermal correlator at fixed time as $N\to\infty$ with its finite-$N$ late-time behavior. A satisfactory answer distinguishes a smooth saddle from level discreteness and estimates the Heisenberg-scale crossover without assigning a universal recurrence time.

Sufficiency. Remove one hypothesis from the combined criterion. A successful answer supplies an explicit counterexample when known; otherwise it marks the implication unresolved instead of asserting a theorem.

Continue from here

Proceed to The AdS/CFT Dictionary when the large-$N$, coupling, and spectral regime has been fixed and you are ready to map sources, fields, states, and correlators. For the QFT derivation of the large-$N$ methods themselves, return to Nonperturbative Dynamics. For spectral and OPE constraints, continue in Conformal Field Theory and Bootstrap. Return to the volume overview to select a string, information-theoretic, black-hole, non-AdS, or comparative route.

Evidence cutoff: 25 July 2026. The chapter’s implication map reflects the cited structural results and known counterexample classes through this date. It does not claim a universal sufficiency theorem, a unique nonperturbative completion, or a released computational result.

Chapter-scale structure and validity checks

The chapter-scale structure map locates this page’s result inside the full reasoning chain. Follow the solid arrows through the declared inputs and checks; the dashed final arrow marks the point where an additional inference would be required.

Factorization, sparsity, a higher-spin gap, and controlled corrections are independent criteria; large N alone does not imply Einstein gravity. The diagram is an original schematic, is not to scale, and uses the dashed final arrow to mark the claim boundary.

Accessible figure data (JSON)

The companion validity map turns three common overclaims into explicit failure tests. Read each row from its declared object to the diagnostic, then compare the licensed conclusion with the dashed “not” endpoint.

Factorization, sparsity, a higher-spin gap, and controlled corrections are independent criteria; large N alone does not imply Einstein gravity. Each row pairs a diagnostic with the strongest supported conclusion and an explicitly unsupported promotion. The diagram is an original schematic and is not to scale.

Accessible figure data (JSON)

Claim-domain comparison

The table below gives a screen-reader-friendly comparison of three representative claims. It keeps the required declaration, approximation status, evidence timing, counterevidence, falsifier, failure condition, and licensed conclusion in one reading order.

Representative claim domains and validity boundaries for Large N and Semiclassical Bulk Criteria

Claim object	State, ensemble, and conventions	Approximation, status, and evidence timing	Uncertainty and counterevidence	Falsifier	Failure condition	Licensed conclusion
factorization	Declare operator normalization and N scaling; use the volume conventions unless the page states a local replacement.	Conditional theorem or structural result. Control chain: normalized large-N data → factorization and spectrum → gap and coupling hierarchy → locality and correction tests → semiclassical-bulk criterion. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “connected-correlator hierarchy” check is counterevidence to the promoted claim.	connected-correlator hierarchy	geometric locality	classical large-N organization
large gap	Declare single-trace sector and gap definition; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: normalized large-N data → factorization and spectrum → gap and coupling hierarchy → locality and correction tests → semiclassical-bulk criterion. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “Regge and finite-gap tests” check is counterevidence to the promoted claim.	Regge and finite-gap tests	a sufficient local bulk	heavy higher-spin sector
finite-N sector	Declare order of N, time, and energy limits; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: normalized large-N data → factorization and spectrum → gap and coupling hierarchy → locality and correction tests → semiclassical-bulk criterion. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “exponential and recurrence checks” check is counterevidence to the promoted claim.	exponential and recurrence checks	exact late-time behavior	a stated asymptotic approximation

Download the structured table data (JSON).

References

• Camanho, Xian O.; Edelstein, José D.; Maldacena, Juan; and Zhiboedov, Alexander. “Causality Constraints on Corrections to the Graviton Three-Point Coupling.” Journal of High Energy Physics 2016, 020 (2016). doi:10.1007/JHEP02(2016)020.
• Heemskerk, Idse; Penedones, João; Polchinski, Joseph; and Sully, James. “Holography from Conformal Field Theory.” Journal of High Energy Physics 2009, 079 (2009). doi:10.1088/1126-6708/2009/10/079.
• Klebanov, Igor R., and Polyakov, Alexander M. “AdS Dual of the Critical $O(N)$ Vector Model.” Physics Letters B 550, 213–219 (2002). doi:10.1016/S0370-2693(02)02980-5.
• Maldacena, Juan M. “The Large $N$ Limit of Superconformal Field Theories and Supergravity.” Advances in Theoretical and Mathematical Physics 2, 231–252 (1998). doi:10.1023/A:1026654312961.