Skip to content

Fixed-Theory, Ensemble, and Superselection Claims

A thermal average in one theory, a statistical average over different theories, and conditioning on a superselection sector are different operations. A bulk calculation must say what is integrated, what is averaged, what is held fixed, and which factorization test the result should satisfy.

Required background. Observable and Regime Matrix for Quantum Gravity fixes the observable, while Dictionary Completeness and Global Data supplies the sector and global data.

Helpful background. Statistical Ensembles and Field Configurations distinguishes state ensembles within one theory. Thermodynamic Limits, Phases, and Ensemble Equivalence explains when thermodynamic ensembles agree.

For one Hamiltonian HH, a canonical thermal expectation is

Aβ,H=TrH(eβHA)TrHeβH.\langle A\rangle_{\beta,H} =\frac{\operatorname{Tr}_{\mathcal H}(e^{-\beta H}A)} {\operatorname{Tr}_{\mathcal H}e^{-\beta H}}.

This averages over states in a fixed Hilbert space. By contrast, a disorder or theory average has a probability measure P(H)P(H),

EH[ZH(β)]=dP(H)ZH(β),\mathbb E_H[Z_H(\beta)] =\int \mathrm dP(H)\,Z_H(\beta),

and changes the theory being sampled. A superselection decomposition

H=αHα\mathcal H=\bigoplus_{\alpha}\mathcal H_\alpha

introduces a third choice: compute in one sector α\alpha, form a classical mixture of sectors, or sum sector amplitudes according to a specified rule.

For two decoupled boundaries in a fixed theory, one normally expects

ZH(β1,β2)=ZH(β1)ZH(β2).Z_H(\beta_1,\beta_2)=Z_H(\beta_1)Z_H(\beta_2).

After an ensemble average,

EH[ZH(β1)ZH(β2)]EH[ZH(β1)]EH[ZH(β2)]=CovH(Z1,Z2)\mathbb E_H[Z_H(\beta_1)Z_H(\beta_2)] -\mathbb E_H[Z_H(\beta_1)]\mathbb E_H[Z_H(\beta_2)] =\operatorname{Cov}_H(Z_1,Z_2)

need not vanish. The connected term is then ensemble covariance, not an interaction between two copies of one fixed boundary theory.

Thermal state, disorder average, and gravity

Section titled “Thermal state, disorder average, and gravity”
ConstructionHeld fixedAveragedAppropriate check
Canonical ensembleHamiltonian and couplingsStates or energiesKMS and thermodynamic identities
Disorder ensembleSampling measureHamiltonians or couplingsMean, variance, and sample dependence
Superselection mixtureSector algebraClassical sector labelSector-resolved observables
Two-boundary gravity amplitudeBoundary data and contour as declaredGeometries or topologies as declaredCompare with the proposed boundary factorization rule

In JT gravity, the genus expansion is reproduced by a matrix integral Saad, Shenker, and Stanford 2019. This is concrete evidence for an ensemble interpretation of that model, but the nonperturbative matrix completion is not unique. It cannot be promoted silently to a universal claim about every holographic theory; fixed-theory factorization is a separate question emphasized by McNamara and Vafa 2020.

Take a random variable ZHZ_H. With no theory average, two copies satisfy ZH2Z_H^2 exactly. Under P(H)P(H), the connected quantity is the variance

EH[ZH2]EH[ZH]20.\mathbb E_H[Z_H^2]-\mathbb E_H[Z_H]^2\ge0.

Changing P(H)P(H) changes the answer. Calling that same connected term both fixed-theory nonfactorization and ensemble covariance is inconsistent. The strongest conclusion is conditional: the bulk quantity matches the declared averaged or sector-resolved boundary object.

Chapter 18 develops JT and matrix-integral realizations; Chapter 20 treats topology sums, baby universes, and factorization. This page supplies only the distinction needed before those calculations.

Evidence cutoff. The ensemble-interpretation discussion is fixed to 25 July 2026 and is not a current verdict on live factorization disputes.

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.