Exact Statements, Saddle Expansions, and Conditional Derivations

An equality can be exact inside a defined model while its holographic interpretation remains conditional. Conversely, a leading bulk saddle may reproduce an unprotected observable without establishing equality beyond its expansion. Keeping these logical layers separate prevents a precise calculation from inheriting a stronger status than its premises.

Required background. Holographic Duality: Claims, Dictionaries, and Regimes fixes the theory pair, observable, and parameter map to which each statement refers.

Helpful background. Effective Field Theory as a Controlled Expansion and EFT Truncation Errors and Breakdown Diagnostics explain how a remainder turns a formal series into a controlled prediction; Numerical Self-Consistency and Error Budgets supplies the corresponding numerical check.

Four logically different statements

Suppose a boundary quantity $F$ is compared with a bulk calculation. The following statements require different evidence.

Exact model identity. Both sides are independently defined and one proves $F_{\mathrm B}=F_{\mathrm{bulk}}$ with explicit hypotheses.

Protected result. Symmetry or topology makes a quantity independent of some coupling. The equality can be exact within the protected sector without determining generic dynamics.

Asymptotic expansion. At large $N$ one may have

$$F(N,\lambda)\sim \sum_{g=0}^{\infty}N^{-2g}F_g(\lambda) +{\cal O}(e^{-cN}).$$

Agreement of every computed $F_g$ leaves the exponentially small sector undetermined. The series may itself be asymptotic rather than convergent.

Conditional inference. If a dictionary $\mathfrak D$ is assumed, a boundary identity can imply a bulk statement. The derivation proves

$$\mathfrak D\ \Longrightarrow\ P_{\mathrm{bulk}},$$

not $P_{\mathrm{bulk}}$ without the premise and not the dictionary itself.

Protected and unprotected observables

The sphere-localization construction of Pestun 2012 is a canonical example of an exact protected calculation whose holographic interpretation still uses a dictionary.

Supersymmetric localization can reduce selected path integrals to finite-dimensional integrals. In ${\cal N}=4$ super-Yang–Mills theory, certain Wilson-loop and protected quantities can then be calculated across coupling. Mapping such a result to a string worldsheet is a strong check of a specified protected entry in the dictionary.

An unprotected four-point function computed from tree-level supergravity has a different status. Schematically,

$$\langle {\cal O}_1{\cal O}_2{\cal O}_3{\cal O}_4\rangle_{\mathrm{conn}} =\frac{1}{N^2} \left[ F_{\mathrm{sugra}} +{\cal O}(N^{-2}) +{\cal O}(\lambda^{-3/2}) \right],$$

where the displayed correction powers depend on the theory and normalization. The result probes interacting dynamics, but only in the joint regime that suppresses loops and string corrections.

Thus an exact protected match can be narrower than an approximate unprotected match. “Exact” describes the equality that was proved, not the breadth of the theory it probes.

Noncommuting limits and invisible sectors

Before exchanging limits, test uniformity. The elementary function

$$q(N,\lambda)=\frac{N}{N+\lambda}$$

obeys

$$\lim_{N\to\infty}\lim_{\lambda\to\infty}q=0, \qquad \lim_{\lambda\to\infty}\lim_{N\to\infty}q=1.$$

The example is not a holographic observable; it demonstrates the missing mathematical step in any argument that interchanges large-$N$ and strong-coupling limits. A physical derivation must bound its remainder uniformly in the second parameter.

Likewise, adding $\delta F=e^{-cN}G(\lambda)$ changes no coefficient of the $1/N$ expansion. If an “exact” equality was inferred only from perturbation theory, this adversarial addition exposes the overstatement. The strongest surviving claim is order-by-order agreement in the stated sector.

A reproducible statement format

For every consequential result, state the object, hypotheses, equality type, expansion parameters, retained order, remainder estimate, limit order, and imported dictionary premise. Volume V owns generic expansion control, Volume X owns protected-sector techniques, and Volume XVI owns theorem status.

Evidence cutoff. Literature-status examples use a cutoff of 25 July 2026; no current confidence assessment is implied.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Maldacena, Juan M. 1998. “The Large N Limit of Superconformal Field Theories and Supergravity,” Advances in Theoretical and Mathematical Physics 2, 231–252.
• Pestun, Vasily. 2012. “Localization of Gauge Theory on a Four-Sphere and Supersymmetric Wilson Loops,” Communications in Mathematical Physics 313, 71–129.
• Witten, Edward. 1998. “Anti-de Sitter Space and Holography,” Advances in Theoretical and Mathematical Physics 2, 253–291.