Wormholes, Gravitational Path Integrals, and Ensembles

A gravitational path integral becomes a scientific statement only after its boundary data, topology class, gauge quotient, integration cycle, observable, and interpretation are specified. The baby-universe analysis of Marolf and Maxfield 2020 illustrates why a connected gravitational amplitude and a fixed-theory observable cannot be identified without further structure. This chapter develops that discipline while keeping Lorentzian Einstein–Rosen bridges, traversable wormholes, Euclidean connected saddles, replica wormholes, and baby-universe sectors separate.

Helpful background. Complex Saddles, Lefschetz Thimbles, and Integration Cycles and Stokes Jumps, Saddle Dominance, and Contour Dependence supply the contour language. Wormholes, Chronology, and Superluminal-Travel Constraints supplies causal constraints. JT Topological Expansion and Weil–Petersson Volumes and Replica Derivations and Cosmic Branes provide two controlled deployments.

Enter through the object being computed

Take the contour-first route when the question begins with a formal expression such as

$$Z[B]=\int_{\mathcal C(B)}\frac{\mathcal D g\,\mathcal D\Phi}{\mathrm{Diff}_0(B)} \exp\!\left[-I_E[g,\Phi]\right].$$

Begin by asking what the boundary datum $B$ fixes, which topologies and bundles occur, what the contour $\mathcal C$ is, and how gauge and zero modes are treated. The first three pages build that definition.

Take the wormhole-first route when a geometry has already been proposed. Classify its signature, causal role, number of asymptotic boundaries, replica boundary conditions, and whether baby-universe degrees of freedom are included. Only then ask what amplitude or state it represents.

Chapter route

1. Euclidean Gravitational Path Integrals, Topology Sums, and Boundary Conditions states the complete integration-domain contract.
2. Conformal-Factor Problem, Integration Contours, and Resurgent-Completion Proposals explains why a contour is indispensable.
3. Saddles, Negative Modes, and Steepest-Descent Cycles separates gauge, zero, stable, and negative fluctuations.
4. Lorentzian Einstein–Rosen Bridges and Two-Boundary States relates a two-sided geometry to an entangled state.
5. Traversable Wormholes, Couplings, and Energy Conditions derives the controlled opening mechanism.
6. Euclidean Wormholes and Connected Boundary Amplitudes identifies what a connected saddle does and does not establish.
7. Semiclassical Gravitational Replicas defines the integer-replica boundary-value problem.
8. Replica Wormholes and Saddle Competition compares disconnected and connected replica saddles.
9. Baby Universes, Alpha Parameters, and Proposed Superselection Sectors derives the conditional alpha-parameter description.
10. Factorization, Ensembles, and the Gravitational Path Integral formulates the fixed-theory tension.
11. Fixed-Theory Factorization and Nonperturbative Completion Tests sets acceptance tests for a completion.

Synthesis: one amplitude, several possible domains

Suppose a two-boundary calculation gives

$$\langle Z[B_1]Z[B_2]\rangle_{\mathrm{grav}} =Z_{\mathrm{disc}}[B_1,B_2]+Z_{\mathrm{conn}}[B_1,B_2].$$

This equation alone does not say whether the brackets are an average, an alpha-sector expectation, or a notation for one fixed theory. Nor does $Z_{\mathrm{conn}}\neq0$ create a traversable Lorentzian channel. The contour and topology pages determine whether the saddle contributes; the wormhole taxonomy determines its physical category; the last three pages determine what factorization claim is licensed.

Review the chapter

A satisfactory analysis should answer all of the following.

• What boundary geometry, sources, state preparation, gauge quotient, topology set, and counterterms define the amplitude?
• Which convergent cycle contains each saddle, and how do negative and zero modes enter?
• Is the object Lorentzian, Euclidean, replicated, traversable, or baby-universe-valued?
• Is the boundary object a fixed theory, a disorder average, an ensemble moment, or a proposed conditioned sector?
• Which change of contour, topology, coupling sign, replica continuation, or sector conditioning would invalidate the conclusion?
• What finite, factorizing observables would distinguish candidate nonperturbative completions?

An answer that reports only a saddle geometry, or only an asymptotic genus expansion, is incomplete.

Exits

For evaporating replicas, islands, and the Page curve, continue to Black-Hole Information, Islands, and Interiors. For the low-dimensional model in which the genus expansion is calculable, return to JT Topological Expansion and Weil–Petersson Volumes. For the logical standards applied to all quantum-gravity claims, use Fixed-Theory, Ensemble, and Superselection Claims.

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 wormhole contribution is defined only with a contour and theory; connected boundaries do not by themselves establish an ensemble or a fixed-theory completion. 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 wormhole contribution is defined only with a contour and theory; connected boundaries do not by themselves establish an ensemble or a fixed-theory completion. 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 Wormholes, Gravitational Path Integrals, and Ensembles

Claim object	State, ensemble, and conventions	Approximation, status, and evidence timing	Uncertainty and counterevidence	Falsifier	Failure condition	Licensed conclusion
Euclidean wormhole	Declare boundary data, measure, and cycle; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: boundary conditions and contour → saddles and negative modes → topology or replica sum → factorization and alpha-sector tests → completion claim. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “negative-mode and steepest-descent check” check is counterevidence to the promoted claim.	negative-mode and steepest-descent check	a convergent gravitational path integral	a saddle contribution
replica wormhole	Declare replica boundary conditions and continuation; use the volume conventions unless the page states a local replacement.	Model-specific calculation or conditional result. Control chain: boundary conditions and contour → saddles and negative modes → topology or replica sum → factorization and alpha-sector tests → completion claim. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “saddle competition and entropy check” check is counterevidence to the promoted claim.	saddle competition and entropy check	microscopic evaporation dynamics	a semiclassical replica contribution
factorization statement	Declare fixed theory, ensemble, or alpha sector; use the volume conventions unless the page states a local replacement.	Conditional theorem or structural result. Control chain: boundary conditions and contour → saddles and negative modes → topology or replica sum → factorization and alpha-sector tests → completion claim. Sources are cited on the destination page; literature checked through 10 August 2026.	Track omitted corrections, alternate branches, and competing definitions. A failed “multi-boundary connectedness test” check is counterevidence to the promoted claim.	multi-boundary connectedness test	automatic ensemble averaging	the declared factorization property

Download the structured table data (JSON).

References

• Gibbons, G. W., and S. W. Hawking. “Action Integrals and Partition Functions in Quantum Gravity.” Physical Review D 15 (1977): 2752–2756. DOI.
• Marolf, D., and H. Maxfield. “Transcending the Ensemble: Baby Universes, Spacetime Wormholes, and the Order and Disorder of Black Hole Information.” Journal of High Energy Physics 2020, 8 (2020): 044. DOI.
• Saad, P., S. H. Shenker, and D. Stanford. “JT Gravity as a Matrix Integral.” arXiv:1903.11115.