Quantum-Gravity Claims, Observables, and Evidence

A quantum-gravity claim becomes determinate only when it identifies the two descriptions, the observable algebra, global and boundary data, state or ensemble, parameter map, approximation regime, evidence class, possible failures, and owner of future updates. This chapter supplies that common grammar before later chapters use a holographic dictionary as a calculational tool; the standard AdS/CFT construction illustrates why the theory pair and parameter regime are indispensable Maldacena 1998.

Helpful background. Duality Claims, Dictionaries, Regimes, and Evidence introduces general duality language. Fixed-Background, Semiclassical, Gravitational-EFT, and Quantum-Gravity Regimes distinguishes low-energy regimes. Correlated Evidence, Independence, and Triangulation develops evidence dependence in nonperturbative QFT.

What makes a quantum-gravity claim determinate

The chapter asks three questions in order:

1. What is the claim? Fix theories, observables, sectors, and logical status.
2. What controls it? State expansion parameters, limit order, uncertainties, and failure conditions.
3. What supports it? Separate predictions from calibration, group dependent evidence, and date mutable conclusions.

It owns this claim discipline. Generic supersymmetric duality tests remain in Volume X, low-energy gravitational regimes in Volume XIV, live confidence judgments in Research, and theorem-first equivalence in Volume XVI.

Check your preparation

You are ready to enter if you can distinguish a state ensemble from an ensemble of theories, explain why a gauge-group global form is more information than its Lie algebra, and identify the remainder in a controlled asymptotic expansion.

• If duality terminology is unfamiliar, use the first helpful-background link above and return to pages 1–4.
• If gravitational approximation regimes are unclear, use the second link and begin with pages 2–3.
• If several papers derived from one identity look like independent tests, use the third link before pages 8–11.

No single score is useful: a reader may be ready to classify evidence while still needing the observable background, or vice versa.

Choose a route

Goal	Route through the numbered guide	Exit capability
Evaluate a proposed duality	1–6, then 8–11	State the map and its strongest supported claim
Compare quantum-gravity programs	2–7, then 10–11	Separate definition, controlled sector, and completion
Prepare a holographic calculation	1–4, then Chapter 2	Carry assumptions and error order into the bulk interpretation
Diagnose overclaiming	4, 8–11	Identify circular support, failed approximations, and stale status

These are purposeful reading paths, not additional prerequisites or sidebar groups.

Chapter guide

1. Holographic Duality: Claims, Dictionaries, and Regimes distinguishes a dictionary, protected match, perturbative equality, saddle relation, numerical test, conjectural equivalence, and definition proposal.
2. Observable and Regime Matrix for Quantum Gravity asks which observables are defined and controlled in each gravitational regime.
3. Relational, Boundary, and Asymptotic Observables compares three ways to construct diffeomorphism-invariant quantities.
4. Exact Statements, Saddle Expansions, and Conditional Derivations propagates hypotheses through protected identities, asymptotic series, and holographic inference.
5. Dictionary Completeness and Global Data adds extended operators, charge lattices, anomalies, sectors, and boundary conditions.
6. Fixed-Theory, Ensemble, and Superselection Claims separates state averaging, theory averaging, and sector conditioning by factorization tests.
7. Nonperturbative Definition and Completion Criteria tests whether a proposal defines objects beyond perturbation theory.
8. Evidence Programs for Holographic Duality combines structural, protected, unprotected, numerical, and dynamical tests.
9. Evidence Independence, Circularity, and Double Counting traces shared assumptions, data, calibrations, and methods.
10. Falsifiers, Negative Results, and Counterexamples distinguishes a failed dictionary from a missing regime, invalid bound, counterexample, or failed method.
11. Claim Status, Freshness, and Research Handoffs separates reproducible exposition from dated assessment.

From correspondence to licensed conclusion

The recurring example is the AdS5/CFT4 correspondence. It begins as a theory-pair and parameter map, acquires local and extended observables, separates exact protected data from large-$N$, strong-coupling saddles, and finally groups its evidence by dependence. Changing the gauge-group global form, boundary conditions, or order of limits changes the claim. A new contrary source changes a dated assessment without automatically invalidating the stable derivations.

The resulting reasoning has the form

$$(\text{theories and observables}) +(\text{regime and errors}) +(\text{independent tests}) \Longrightarrow \text{bounded conclusion}.$$

Removing any parenthesized term weakens the conclusion. In particular, consistency is not independent evidence for a dictionary assumed in deriving it, and a controlled bulk regime is not a proof of nonperturbative completeness.

Review the chapter

Claim reconstruction. Given the phrase “large-$N$ CFT equals gravity,” write the missing theories, observables, global data, parameter map, and limits. A successful answer produces more than one claim class rather than one unqualified equality.

Representation change. Translate a local bulk scalar into a relational observable and a boundary extrapolate. Check that a compactly supported diffeomorphism moves the coordinate insertion but not the correctly anchored quantities.

Comparison. Explain why a thermal trace in one Hamiltonian and an average over Hamiltonians have different factorization rules. The answer must identify what is held fixed and what is averaged.

Failure diagnosis. A tree-level bulk correlator disagrees with finite-coupling CFT data. Decide what additional information is needed before calling this a falsification. A satisfactory answer checks the correction size, normalization, limit order, and whether the same observable was compared.

Evidence dependence. Three protected observables come from one localization identity. State what independent information remains after that identity is removed. The answer distinguishes observable diversity from derivational independence.

Freshness. Insert a new contrary preprint after a page’s cutoff. The correct response preserves reproducible mathematics, marks the mutable assessment for review, and hands the disagreement to Research.

Continue from here

Proceed to Large N and Semiclassical Bulk Criteria to test when boundary scaling data can support a weakly coupled bulk. Return to the volume overview to choose top-down, information-theoretic, non-AdS, or comparative quantum-gravity routes. The rigorous route continues in Mathematical QFT without becoming a prerequisite for the physical discussion.

Evidence cutoff. Examples involving live interpretive claims are fixed to 25 July 2026.

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.

A quantum-gravity claim becomes testable only after its theories, observable, regime, evidence class, and falsifier are fixed. 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.

A quantum-gravity claim becomes testable only after its theories, observable, regime, evidence class, and falsifier are fixed. 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 Quantum-Gravity Claims, Observables, and Evidence

Claim object	State, ensemble, and conventions	Approximation, status, and evidence timing	Uncertainty and counterevidence	Falsifier	Failure condition	Licensed conclusion
dictionary	Declare both theories and parameter map; use the volume conventions unless the page states a local replacement.	Dictionary entry or correspondence claim. Control chain: theory pair and global data → state, algebra, and observable → claim class and regime → evidence and falsifier → bounded conclusion. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “round-trip one protected observable” check is counterevidence to the promoted claim.	round-trip one protected observable	exact equivalence	a stated map of observables
saddle result	Declare state, contour, and expansion order; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: theory pair and global data → state, algebra, and observable → claim class and regime → evidence and falsifier → bounded conclusion. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “vary saddle and limit order” check is counterevidence to the promoted claim.	vary saddle and limit order	nonperturbative completion	an asymptotic result in its regime
phenomenological proposal	Declare mechanism, nuisance model, and data; use the volume conventions unless the page states a local replacement.	Proposal or conditional construction. Control chain: theory pair and global data → state, algebra, and observable → claim class and regime → evidence and falsifier → bounded conclusion. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “compare independent alternatives” check is counterevidence to the promoted claim.	compare independent alternatives	evidence for a unique UV theory	a sensitivity, bound, or anomaly

Download the structured table data (JSON).

References

• Aharony, Ofer, Steven S. Gubser, Juan Maldacena, Hirosi Ooguri, and Yaron Oz. 2000. “Large N Field Theories, String Theory and Gravity,” Physics Reports 323, 183–386.
• Harlow, Daniel. 2018. “TASI Lectures on the Emergence of Bulk Physics in AdS/CFT,” Proceedings of Theoretical Advanced Study Institute Summer School 2017.
• Maldacena, Juan M. 1998. “The Large N Limit of Superconformal Field Theories and Supergravity,” Advances in Theoretical and Mathematical Physics 2, 231–252.