Skip to content

Factorization Puzzles and Euclidean Wormholes

Guiding question. If two boundary quantum systems are exactly decoupled, why does the gravitational path integral sometimes appear to include connected Euclidean geometries joining their boundaries?

The island and replica-wormhole pages used one of the strangest lessons of modern black-hole physics: connected saddles in a gravitational replica path integral can be essential for computing fine-grained entropy. That success sharpened an older puzzle. In ordinary quantum mechanics, if two systems are independent, their partition functions and correlators factorize. But a semiclassical gravitational path integral with multiple asymptotic boundaries often appears to allow connected Euclidean wormhole saddles.

The tension is the factorization puzzle. In its cleanest form, it is the apparent clash between

ZCFT×CFT[J1,J2]=ZCFT[J1]ZCFT[J2]Z_{\text{CFT}\times\text{CFT}}[J_1,J_2] = Z_{\text{CFT}}[J_1]Z_{\text{CFT}}[J_2]

for two decoupled copies of a fixed boundary theory, and a bulk expansion of the schematic form

Zgrav[J1,J2]=Zdisc[J1]Zdisc[J2]+Zwh[J1,J2]+,Z_{\text{grav}}[J_1,J_2] = Z_{\text{disc}}[J_1]Z_{\text{disc}}[J_2] +Z_{\text{wh}}[J_1,J_2]+\cdots,

where ZwhZ_{\text{wh}} is a connected Euclidean saddle with both boundaries. If ZwhZ_{\text{wh}} is interpreted as a contribution to the ordinary product partition function of two decoupled CFTs, then the bulk answer does not factorize.

The right lesson is subtle. Euclidean wormholes are not automatically wrong; in some theories they compute real and useful quantities. But in a fixed AdS/CFT dual pair, their interpretation must be more refined than “add every connected Euclidean saddle to the exact product partition function.” This page explains the puzzle, the clean ensemble interpretation, the baby-universe language, the relation to replica wormholes, and the main open problems.

The factorization puzzle: decoupled boundary theories factorize, while a connected Euclidean bulk saddle appears to correlate them.

The factorization puzzle. Two decoupled boundary theories obey Z12=Z1Z2Z_{12}=Z_1Z_2. A connected Euclidean bulk saddle with the same two asymptotic boundaries appears to contribute a nonfactorizing term ZwhZ_{\rm wh}. The question is not merely whether such saddles can exist semiclassically, but what exact observable they compute.

1. Exact factorization in a fixed boundary theory

Section titled “1. Exact factorization in a fixed boundary theory”

Start with two decoupled quantum systems with Hilbert space

H12=H1H2,H12=H11+1H2.\mathcal H_{12}=\mathcal H_1\otimes\mathcal H_2, \qquad H_{12}=H_1\otimes 1+1\otimes H_2.

The two-temperature partition function factorizes exactly:

Z12(β1,β2)=TrH1H2(eβ1H1eβ2H2)=Z1(β1)Z2(β2).\begin{aligned} Z_{12}(\beta_1,\beta_2) &=\operatorname{Tr}_{\mathcal H_1\otimes\mathcal H_2} \left(e^{-\beta_1H_1}\otimes e^{-\beta_2H_2}\right) \\ &=Z_1(\beta_1)Z_2(\beta_2). \end{aligned}

The same statement holds for Euclidean path integrals with independent sources:

Z12[J1,J2]=Z1[J1]Z2[J2].Z_{12}[J_1,J_2]=Z_1[J_1]Z_2[J_2].

Consequently, connected correlators of operators belonging to different decoupled theories vanish:

O1O212O11O22=0.\langle O_1O_2\rangle_{12} - \langle O_1\rangle_1\langle O_2\rangle_2=0.

This is not a large-NN approximation. It is an exact microscopic statement. In an ordinary AdS/CFT dual pair, each asymptotic boundary is associated with its own copy of the boundary Hilbert space. If the copies are not coupled, the boundary answer must factorize.

So if a connected bulk geometry seems to contribute to Z12Z_{12}, one of the words in that sentence must be interpreted carefully: connected, contribute, Z12Z_{12}, or exact.

The Euclidean gravitational path integral with specified asymptotic boundary data is often written schematically as

Zgrav[M]=M:MgMDgDϕDiffeIE[g,ϕ].Z_{\text{grav}}[\partial M] = \sum_{M:\partial M} \int_{g|_{\partial M}} \frac{\mathcal Dg\,\mathcal D\phi}{\operatorname{Diff}} \,e^{-I_E[g,\phi]}.

For one connected boundary, this sum includes bulk fillings of that boundary. For two or more boundaries, one must decide whether the sum includes connected manifolds whose conformal boundary has multiple components. If it does, then

Zgrav[B1B2]=Zgravdisc[B1B2]+Zgravconn[B1,B2]+.Z_{\text{grav}}[B_1\sqcup B_2] = Z_{\text{grav}}^{\text{disc}}[B_1\sqcup B_2] + Z_{\text{grav}}^{\text{conn}}[B_1,B_2]+ \cdots .

The disconnected term factorizes:

Zgravdisc[B1B2]=Zgrav[B1]Zgrav[B2].Z_{\text{grav}}^{\text{disc}}[B_1\sqcup B_2] =Z_{\text{grav}}[B_1]Z_{\text{grav}}[B_2].

The connected term does not. It gives

Zgrav[B1B2]Zgrav[B1]Zgrav[B2]Zgravconn[B1,B2].Z_{\text{grav}}[B_1\sqcup B_2] -Z_{\text{grav}}[B_1]Z_{\text{grav}}[B_2] \supset Z_{\text{grav}}^{\text{conn}}[B_1,B_2].

That is the puzzle. The gravitational path integral wants to sum over topologies. The boundary theory says that decoupled systems factorize exactly.

The puzzle is not merely philosophical. Connected Euclidean solutions with multiple AdS boundaries have been explicitly discussed, and in low-dimensional gravity connected topologies such as cylinders or higher-genus surfaces are calculable. At the same time, the Witten–Yau connectedness theorem and related results show that in many negatively curved settings with suitable boundary curvature assumptions, disconnected conformal boundaries are forbidden for complete connected Einstein fillings. Thus the existence and relevance of Euclidean wormholes is highly sensitive to the matter content, boundary conditions, topology, and precise definition of the gravitational path integral.

The sharp version of the puzzle is therefore:

When a semiclassical connected Euclidean saddle exists and appears to be allowed by the rules of the bulk path integral, what exact boundary quantity does it compute?

The word “wormhole” is overloaded, so the distinction matters.

A Lorentzian Einstein–Rosen bridge in the eternal AdS black hole connects two exterior regions behind horizons. It is part of a real-time geometry dual to a special entangled state such as the thermofield double. It is nontraversable unless one modifies the dynamics, for example with a double-trace coupling.

A Euclidean wormhole is a connected Riemannian saddle of a Euclidean path integral. It need not describe a traversable passage in Lorentzian spacetime. Its job is to contribute to a Euclidean amplitude.

A replica wormhole connects different replicas in a path integral computing Trρn\operatorname{Tr}\rho^n. It is Euclidean in the derivation, but the replicas are not independent physical universes; they are copies introduced to compute an entropy.

A baby universe is a closed component, or a sector of closed universes, that can be emitted and reabsorbed by asymptotic boundaries in a Euclidean path integral. In the old Coleman language and its modern AdS refinements, baby universes are used to organize how wormholes can induce an ensemble-like structure.

The factorization puzzle concerns Euclidean wormholes with multiple asymptotic boundaries in a putative exact bulk dual of decoupled boundary theories. It is not the same puzzle as ER=EPR, though both involve the relation between connectivity and quantum information.

4. Ensemble averages make connected wormholes natural

Section titled “4. Ensemble averages make connected wormholes natural”

There is one situation in which connected Euclidean wormholes are not puzzling at all: the bulk theory is dual not to one fixed boundary theory, but to an ensemble of boundary theories.

Suppose HH is drawn from an ensemble E\mathcal E. For a fixed HH, the product ZH(β1)ZH(β2)Z_H(\beta_1)Z_H(\beta_2) is just a product of two numbers. But after averaging,

Z(β1)Z(β2)E=Edμ(H)ZH(β1)ZH(β2)=Z(β1)EZ(β2)E+CovE ⁣(Z(β1),Z(β2)).\begin{aligned} \left\langle Z(\beta_1)Z(\beta_2)\right\rangle_{\mathcal E} &=\int_{\mathcal E} d\mu(H)\,Z_H(\beta_1)Z_H(\beta_2) \\ &=\left\langle Z(\beta_1)\right\rangle_{\mathcal E} \left\langle Z(\beta_2)\right\rangle_{\mathcal E} +\operatorname{Cov}_{\mathcal E}\!\big(Z(\beta_1),Z(\beta_2)\big). \end{aligned}

The covariance term is a connected correlator. There is no contradiction because the ensemble average of a product is not generally the product of ensemble averages.

This is exactly the kind of quantity that a connected Euclidean wormhole can compute:

Zwh(β1,β2)Z(β1)Z(β2)E,c.Z_{\text{wh}}(\beta_1,\beta_2) \quad\leftrightarrow\quad \left\langle Z(\beta_1)Z(\beta_2)\right\rangle_{\mathcal E,c}.

In this interpretation, the wormhole is not saying that a particular Hamiltonian fails to factorize. It is saying that different Hamiltonians in the ensemble have correlated spectral data.

Fixed theories factorize, while ensemble averages can have connected covariance terms.

For a fixed theory, ZH(β1)ZH(β2)Z_H(\beta_1)Z_H(\beta_2) factorizes as a number. For an ensemble, Z1Z2E\langle Z_1Z_2\rangle_{\mathcal E} can contain a connected covariance term. Euclidean wormholes are naturally interpreted as computing this covariance in theories whose bulk dual is ensemble-averaged.

This is the cleanest resolution in models where the boundary dual is genuinely an ensemble. It is also the reason JT gravity became the central laboratory for the factorization puzzle.

JT gravity has a Euclidean path integral over two-dimensional surfaces. The basic one-boundary amplitude is a disk contribution to Z(β)\langle Z(\beta)\rangle. The two-boundary amplitude includes a disconnected pair of disks and a connected cylinder-like geometry often called the double trumpet:

Z(β1)Z(β2)JT=Z(β1)Z(β2)+Z(β1)Z(β2)c.\left\langle Z(\beta_1)Z(\beta_2)\right\rangle_{\text{JT}} = \left\langle Z(\beta_1)\right\rangle \left\langle Z(\beta_2)\right\rangle + \left\langle Z(\beta_1)Z(\beta_2)\right\rangle_c.

The connected term is not a mistake. In the Saad–Shenker–Stanford description, JT gravity is dual to a double-scaled matrix integral. The gravitational genus expansion computes ensemble-averaged spectral observables. The double trumpet computes the connected two-boundary spectral correlator of the matrix ensemble.

JT gravity two-boundary amplitudes as matrix-ensemble correlators.

In JT gravity, the two-boundary amplitude contains two disks and a connected cylinder or double-trumpet contribution. The matrix-integral interpretation says that the connected geometry computes an ensemble connected correlator, not a violation of factorization in a fixed member of the ensemble.

This result is profound, but it is also limited. JT gravity teaches us that some gravitational path integrals are ensemble averages. It does not by itself imply that every AdS/CFT example is ensemble-averaged. For instance, the standard duality between type IIB string theory on AdS5×S5AdS_5\times S^5 and N=4\mathcal N=4 super Yang–Mills is usually understood as a duality with a fixed boundary theory, not an ensemble of gauge theories.

Thus JT gravity resolves the puzzle in JT-like models by changing the boundary interpretation. It leaves a harder question for fixed holographic CFTs:

ZN=4SYM[J1,J2]=ZN=4SYM[J1]ZN=4SYM[J2]Z_{\mathcal N=4\,\text{SYM}}[J_1,J_2] =Z_{\mathcal N=4\,\text{SYM}}[J_1]Z_{\mathcal N=4\,\text{SYM}}[J_2]

must hold exactly, so what becomes of any putative connected Euclidean bulk saddle?

The older Coleman–Giddings–Strominger idea was that Euclidean wormholes can be represented by baby universes. A baby universe is a closed component invisible to asymptotic observers except through its effect on amplitudes with asymptotic boundaries.

Modern AdS discussions often package this idea as follows. The gravitational path integral defines a Hilbert space HBU\mathcal H_{\text{BU}} of baby-universe states. Boundary partition functions act as commuting operators on this space:

Z[J]:HBUHBU.Z[J]:\mathcal H_{\text{BU}}\to\mathcal H_{\text{BU}}.

If these operators are diagonalized simultaneously, an eigenstate α|\alpha\rangle satisfies

Z[J]α=Zα[J]α.Z[J]|\alpha\rangle=Z_\alpha[J]|\alpha\rangle.

In such an α\alpha-state, products factorize:

αZ[J1]Z[J2]α=Zα[J1]Zα[J2].\langle \alpha|Z[J_1]Z[J_2]|\alpha\rangle = Z_\alpha[J_1]Z_\alpha[J_2].

But in a more general baby-universe state Ψ|\Psi\rangle, one obtains an average over α\alpha labels:

ΨZ[J1]Z[J2]Ψ=dαpΨ(α)Zα[J1]Zα[J2].\langle \Psi|Z[J_1]Z[J_2]|\Psi\rangle = \int d\alpha\,p_\Psi(\alpha)\, Z_\alpha[J_1]Z_\alpha[J_2].

This looks precisely like an ensemble average. The α\alpha label plays the role of a superselection parameter specifying a particular member of the ensemble.

Baby-universe alpha states distinguish fixed theories from ensemble states.

Baby-universe language separates an ensemble state from an α\alpha-state. A general baby-universe state gives an average over α\alpha labels and can have connected multi-boundary correlators. A fixed α\alpha-state has definite values Zα[J]Z_\alpha[J] and restores factorization.

This language is useful because it makes the tension algebraic. The question becomes: which baby-universe state does the gravitational path integral prepare, and what boundary theory does that state describe?

For JT gravity, the natural answer is ensemble-like. For a fixed holographic CFT, the putative answer should be closer to a fixed α\alpha-state, or else there must be additional nonperturbative effects that restore factorization.

7. Half-wormholes, eigenbranes, and nonperturbative completion

Section titled “7. Half-wormholes, eigenbranes, and nonperturbative completion”

The ensemble interpretation is clean, but it is not the only lesson. In fixed-coupling versions of SYK-like toy models, one can ask what replaces the ensemble wormhole when the disorder couplings are held fixed.

A schematic story is:

ZJ(β1)ZJ(β2)DJ+W+HJ.Z_J(\beta_1)Z_J(\beta_2) \approx D_J+W+H_J.

Here DJD_J is an ordinary disconnected contribution, WW is a wormhole-like contribution that is approximately independent of the particular couplings JJ, and HJH_J is a coupling-sensitive contribution sometimes described in terms of half-wormholes. The sum can factorize in a fixed theory even though the wormhole-like term appears in an intermediate collective-field description.

The moral is not that every fixed theory literally contains semiclassical half-wormholes of the same kind. The moral is that an effective saddle analysis can isolate a universal wormhole-like piece while hiding other nonperturbative, microstate-sensitive contributions needed for exact factorization.

Half-wormhole-like contributions can restore fixed-coupling factorization in toy models.

In fixed-coupling toy models, the factorized answer is not the ensemble wormhole alone. Additional coupling-sensitive pieces, often described as half-wormholes or nonperturbative sectors, combine with wormhole-like saddles to give the fixed-theory product ZJ(β1)ZJ(β2)Z_J(\beta_1)Z_J(\beta_2).

A related theme appears in JT gravity through eigenbranes and spectral discreteness. The perturbative genus expansion of JT captures the smooth ensemble density of states. A fixed member of a discrete-spectrum theory requires nonperturbative information about individual eigenvalues. Brane-like contributions that condition or fix spectral data can change late-time observables and help restore fixed-theory behavior.

This should sound familiar from the Page-curve story. Semiclassical gravity often captures universal coarse-grained effects. Exact factorization and exact unitarity are sharper, more microscopic constraints. They are sensitive to effects invisible in any finite order of the naive semiclassical expansion.

8. Relation to replica wormholes and islands

Section titled “8. Relation to replica wormholes and islands”

Replica wormholes are not the same as the Euclidean wormholes in the two-boundary factorization puzzle, but they are close enough to make the issue urgent.

The island formula is derived by computing

TrρRn\operatorname{Tr}\rho_R^n

using a gravitational path integral with nn replicas. Replica wormholes are connected saddles joining these replicas. In the n1n\to 1 limit, they give the island rule

S(R)=minIextI[Area(I)4GN+Smatter(RI)].S(R)=\min_{\mathcal I}\operatorname*{ext}_{\mathcal I} \left[ \frac{\operatorname{Area}(\partial\mathcal I)}{4G_N} +S_{\text{matter}}(R\cup\mathcal I) \right].

Why is this not immediately the same as a violation of factorization? Because the replicas are not independent physical CFTs whose product partition function is being measured. They are copies introduced by the replica trick to compute a nonlinear functional of a density matrix. The gluing in the radiation region already couples the replicas in the path integral representation of TrρRn\operatorname{Tr}\rho_R^n.

Still, the conceptual worry remains. In an ensemble-averaged theory, replica wormholes may compute an averaged entropy-like quantity. In a fixed theory, the fine-grained entropy should have a definite value, and the exact answer should factorize whenever the boundary problem demands factorization. This is one reason the factorization puzzle is central rather than peripheral: it asks whether the same gravitational path-integral technology that gives the Page curve is an exact microscopic rule, an ensemble average, or an effective coarse-grained rule missing nonperturbative completion.

A careful conclusion is:

replica wormholes explain the Page curve in controlled semiclassical models,\text{replica wormholes explain the Page curve in controlled semiclassical models,}

but

factorization asks what the exact nonperturbative completion is.\text{factorization asks what the exact nonperturbative completion is.}

The two statements are compatible, but their compatibility is a research problem, not a slogan.

There is no single accepted universal resolution that applies equally to JT gravity, SYK-like models, higher-dimensional AdS/CFT, and realistic black holes. Instead, several mechanisms appear in different settings.

Resolution routes for the factorization puzzle.

The factorization puzzle has several model-dependent resolution routes. In ensemble duals, connected wormholes compute covariance. In fixed theories, factorization can be restored by working in an α\alpha-state, by including nonperturbative effects such as branes or half-wormhole-like contributions, or by recognizing that the wormhole arose in an exact effective theory after tracing over hidden sectors.

9.1 The connected saddle is absent or unstable

Section titled “9.1 The connected saddle is absent or unstable”

In some settings, the proposed connected Euclidean geometry is simply not part of the correct contour or has an instability. It may fail boundary conditions, possess negative modes, or be excluded by topological or energy conditions. The Witten–Yau theorem is an important example of how geometric assumptions can forbid disconnected conformal boundaries for connected Einstein fillings.

This is the most conservative resolution: the problematic saddle does not contribute to the exact path integral.

This is the JT gravity resolution. The bulk path integral computes ensemble-averaged quantities, so connected Euclidean wormholes compute connected ensemble correlators.

This is not a failure of quantum mechanics. It is simply not the partition function of one fixed boundary Hamiltonian.

9.3 The path integral prepares a fixed alpha state

Section titled “9.3 The path integral prepares a fixed alpha state”

In baby-universe language, a general state gives ensemble-like averages, while an α\alpha-state gives definite values of all boundary partition-function operators. If a fixed CFT corresponds to a fixed α\alpha, factorization is restored.

The challenge is constructive: one needs to know how the exact bulk theory selects or prepares the appropriate α\alpha-state, and whether this can be implemented in a controllable semiclassical calculation.

9.4 Nonperturbative sectors restore factorization

Section titled “9.4 Nonperturbative sectors restore factorization”

The semiclassical wormhole may be only one term in an asymptotic expansion. Exact factorization can require contributions that are nonperturbative in GNG_N, sensitive to discrete spectral data, or invisible in the naive saddle expansion.

Half-wormholes, eigenbranes, and related objects are concrete realizations of this idea in lower-dimensional or toy models.

9.5 Wormholes arise from exact effective theory

Section titled “9.5 Wormholes arise from exact effective theory”

Another modern viewpoint is that wormhole-like couplings can appear after exactly integrating out hidden sectors of a more complete theory. In that case the effective description need not factorize by itself because it describes a reduced state or an averaged description. The underlying complete theory can still factorize.

This viewpoint is appealing because it connects wormholes, effective field theory, tracing over inaccessible degrees of freedom, and quantum error correction. But it also highlights a warning: sufficiently fine observables may distinguish the exact theory from its effective wormhole description.

The factorization puzzle is important precisely because it is easy to overstate.

It does show that the gravitational path integral is not fully defined by the phrase “sum over all smooth Euclidean geometries.” One must specify the contour, the allowed topologies, the boundary interpretation, and the nonperturbative completion.

It does show that low-dimensional gravity can naturally compute ensemble-averaged observables. JT gravity is the cleanest example.

It does show that replica wormholes and islands raise questions about exact factorization, because the same connected-topology technology appears in entropy calculations.

It does not show that AdS/CFT is inconsistent.

It does not show that every holographic CFT is secretly an ensemble.

It does not show that Lorentzian wormholes connect decoupled boundary theories by a traversable channel.

It does not by itself solve the black-hole information problem in every UV-complete theory. It tells us where the nonperturbative microscopic information must enter.

A good working attitude is this:

Euclidean wormholes are powerful semiclassical saddles, but exact factorization is a microscopic constraint. The tension between them is not a bug to hide; it is a diagnostic of what the gravitational path integral still needs.

The next frontier page, Ensemble Averaging, Baby Universes, and JT Gravity, will unpack the ensemble interpretation more systematically. We will treat JT gravity as a matrix integral, explain the role of baby-universe Hilbert spaces and α\alpha parameters, and clarify the difference between annealed and quenched quantities.

After that, the page on Holography of Information and Asymptotic Observables will approach factorization from a different angle: gravitational Gauss laws, boundary dressings, and the idea that quantum gravity may encode bulk information more globally than ordinary local QFT suggests.

Exercise 1: Exact factorization from tensor products

Section titled “Exercise 1: Exact factorization from tensor products”

Let H12=H1H2\mathcal H_{12}=\mathcal H_1\otimes\mathcal H_2 and H12=H11+1H2H_{12}=H_1\otimes 1+1\otimes H_2. Show that

Z12(β1,β2)=Z1(β1)Z2(β2).Z_{12}(\beta_1,\beta_2)=Z_1(\beta_1)Z_2(\beta_2).

Then explain why this is an exact statement, not a large-NN approximation.

Solution

Because H11H_1\otimes 1 and 1H21\otimes H_2 commute,

eβ1H11β21H2=eβ1H1eβ2H2.e^{-\beta_1H_1\otimes 1-\beta_2 1\otimes H_2} = e^{-\beta_1H_1}\otimes e^{-\beta_2H_2}.

Therefore

Z12(β1,β2)=TrH1H2(eβ1H1eβ2H2)=TrH1eβ1H1TrH2eβ2H2=Z1(β1)Z2(β2).\begin{aligned} Z_{12}(\beta_1,\beta_2) &=\operatorname{Tr}_{\mathcal H_1\otimes\mathcal H_2} \left(e^{-\beta_1H_1}\otimes e^{-\beta_2H_2}\right) \\ &=\operatorname{Tr}_{\mathcal H_1}e^{-\beta_1H_1}\, \operatorname{Tr}_{\mathcal H_2}e^{-\beta_2H_2} \\ &=Z_1(\beta_1)Z_2(\beta_2). \end{aligned}

No approximation has been used. This follows from the tensor-product structure and the absence of coupling between the two systems.

Exercise 2: Connected terms from an ensemble

Section titled “Exercise 2: Connected terms from an ensemble”

Let XX and YY be two random variables. Show that

XY=XY+Cov(X,Y).\langle XY\rangle=\langle X\rangle\langle Y\rangle+\operatorname{Cov}(X,Y).

Apply this identity to X=ZH(β1)X=Z_H(\beta_1) and Y=ZH(β2)Y=Z_H(\beta_2) in an ensemble of Hamiltonians.

Solution

The covariance is defined by

Cov(X,Y)=(XX)(YY).\operatorname{Cov}(X,Y) =\langle (X-\langle X\rangle)(Y-\langle Y\rangle)\rangle.

Expanding gives

Cov(X,Y)=XYXY.\operatorname{Cov}(X,Y) =\langle XY\rangle-\langle X\rangle\langle Y\rangle.

Thus

XY=XY+Cov(X,Y).\langle XY\rangle=\langle X\rangle\langle Y\rangle+\operatorname{Cov}(X,Y).

For X=ZH(β1)X=Z_H(\beta_1) and Y=ZH(β2)Y=Z_H(\beta_2), the connected part of the ensemble-averaged product is the covariance of the two partition functions across the ensemble. A connected Euclidean wormhole can naturally compute this covariance.

Exercise 3: Alpha states and factorization

Section titled “Exercise 3: Alpha states and factorization”

Assume that the partition-function operators Z[J]Z[J] commute and that α|\alpha\rangle is a simultaneous eigenstate:

Z[J]α=Zα[J]α.Z[J]|\alpha\rangle=Z_\alpha[J]|\alpha\rangle.

Show that αZ[J1]Z[J2]α\langle \alpha|Z[J_1]Z[J_2]|\alpha\rangle factorizes.

Solution

Act first with Z[J2]Z[J_2]:

Z[J2]α=Zα[J2]α.Z[J_2]|\alpha\rangle=Z_\alpha[J_2]|\alpha\rangle.

Then

Z[J1]Z[J2]α=Zα[J2]Z[J1]α=Zα[J2]Zα[J1]α.Z[J_1]Z[J_2]|\alpha\rangle =Z_\alpha[J_2]Z[J_1]|\alpha\rangle =Z_\alpha[J_2]Z_\alpha[J_1]|\alpha\rangle.

Taking the inner product with α\langle\alpha| gives

αZ[J1]Z[J2]α=Zα[J1]Zα[J2].\langle \alpha|Z[J_1]Z[J_2]|\alpha\rangle =Z_\alpha[J_1]Z_\alpha[J_2].

Thus a fixed α\alpha-state behaves like a fixed member of the ensemble.

Exercise 4: Why replica wormholes are not immediately a factorization violation

Section titled “Exercise 4: Why replica wormholes are not immediately a factorization violation”

Explain why a replica wormhole contributing to TrρRn\operatorname{Tr}\rho_R^n is not the same object as a Euclidean wormhole contributing to Z12Z_{12} for two decoupled CFTs.

Solution

The product Z12=Z1Z2Z_{12}=Z_1Z_2 is an observable of two independent physical systems. If the systems are decoupled, microscopic quantum mechanics requires exact factorization.

By contrast, TrρRn\operatorname{Tr}\rho_R^n is a nonlinear functional of a single density matrix. The replica trick introduces nn copies as a computational device, and the radiation region is glued cyclically between replicas. Thus the replicas are not independent physical boundary theories whose partition function must factorize. They are part of the path-integral representation of an entropy.

This does not eliminate all conceptual worries, because both problems involve connected gravitational saddles. But it explains why a replica wormhole is not automatically a violation of the ordinary product factorization Z12=Z1Z2Z_{12}=Z_1Z_2.

Exercise 5: Diagnose a proposed resolution

Section titled “Exercise 5: Diagnose a proposed resolution”

Suppose someone says: “Connected Euclidean wormholes exist, therefore AdS/CFT must be an ensemble average.” Identify the logical gap in this statement.

Solution

The existence of a connected semiclassical Euclidean geometry does not by itself determine the exact boundary interpretation. Several possibilities remain:

  1. the saddle may not lie on the correct integration contour;
  2. it may have an instability or fail boundary conditions;
  3. it may compute an ensemble covariance in an ensemble dual such as JT gravity;
  4. a fixed theory may require working in a fixed α\alpha-state;
  5. additional nonperturbative sectors may cancel or complete the wormhole contribution;
  6. the wormhole may arise in an effective theory after tracing over hidden degrees of freedom.

Therefore “connected saddle exists” does not logically imply “all AdS/CFT duals are ensembles.” It implies that the nonperturbative definition of the gravitational path integral needs to explain factorization.