Skip to content

Replica Wormholes and the Gravitational Replica Trick

The island rule tells us what answer to compute:

S(R)=minIextI[Area(I)4GN+Smatter(RI)].S(R) = \min_I \operatorname{ext}_I \left[ \frac{\operatorname{Area}(\partial I)}{4G_N} + S_{\rm matter}(R\cup I) \right].

Replica wormholes explain why this answer appears in a gravitational path integral.

This is the conceptual leap. In ordinary quantum field theory, the replica trick computes entropy on a fixed background. In gravity, the geometry itself is dynamical, so the replicated boundary conditions must be filled in by a sum over bulk geometries. Some of those geometries connect the replicas. These connected saddles are called replica wormholes.

The slogan of this page is

sum over replicated gravitational saddlesQES and island formula.\boxed{ \text{sum over replicated gravitational saddles} \quad\Longrightarrow\quad \text{QES and island formula}. }

Replica wormholes do not replace Hawking’s local calculation of radiation. They change the computation of the fine-grained entropy, which is a nonlinear functional of the density matrix. This is why the local radiation can look nearly thermal while the fine-grained entropy follows the Page curve.

Let RR be a subsystem with density matrix ρR\rho_R. The von Neumann entropy is

S(R)=TrρRlogρR.S(R)=-\operatorname{Tr}\rho_R\log\rho_R.

The replica trick computes it from the Rényi entropies

Sn(R)=11nlogTrρRn.S_n(R) = \frac{1}{1-n}\log \operatorname{Tr}\rho_R^n.

If the analytic continuation in nn is smooth near n=1n=1, then

S(R)=limn1Sn(R)=nlogTrρRnn=1.S(R) = \lim_{n\to 1}S_n(R) = -\left.\partial_n\log\operatorname{Tr}\rho_R^n\right|_{n=1}.

In a Euclidean path integral, TrρRn\operatorname{Tr}\rho_R^n is computed by taking nn copies of the original path integral and gluing them cyclically along the region RR. The complement of RR is glued within each copy, while the two sides of the cut along RR are sewn from sheet kk to sheet k+1k+1.

The ordinary replica trick glues n copies cyclically along the region R

The ordinary replica trick computes $\operatorname{Tr}\rho_R^n$ by making $n$ copies of the original path integral and cyclically gluing them along the entangling region $R$. In nongravitational QFT, the replicated background is fixed.

For example, in a two-dimensional CFT the entropy of an interval can be computed by inserting twist operators at the endpoints of the interval. The twist operators implement the cyclic permutation of replicas. The details are theory-dependent, but the geometric idea is universal: entropy is extracted from how the partition function changes when the spacetime is given a replica branch structure.

It is useful to introduce the normalized replica partition function

Zn(R)=TrρRn.\mathcal Z_n(R) = \operatorname{Tr}\rho_R^n.

If Zn(R)Z_n(R) denotes the unnormalized path integral on the nn-fold replicated geometry and Z1Z_1 denotes the original partition function, then

Zn(R)=Zn(R)Z1n.\mathcal Z_n(R)=\frac{Z_n(R)}{Z_1^n}.

The entropy is therefore

S(R)=nlogZn(R)Z1nn=1=n(InnI1)n=1,S(R) = -\left.\partial_n\log\frac{Z_n(R)}{Z_1^n}\right|_{n=1} = \left.\partial_n\left(I_n-nI_1\right)\right|_{n=1},

where in the last expression we used the saddle approximation ZneInZ_n\sim e^{-I_n}.

This last formula is the entrance to gravity. In a gravitational theory, InI_n is not the action of a field on a fixed replica geometry. It is the action of a saddle geometry whose boundary is the replicated spacetime.

In gravity the metric is integrated over. Thus the replicated boundary condition does not determine a unique bulk topology. The gravitational replica partition function is schematically

Zn(R)=bulk topologies MnMn=Bn(R)MnDgDΦDiffeI[g,Φ].Z_n(R) = \sum_{\substack{\text{bulk topologies }\mathcal M_n\\ \partial\mathcal M_n=\mathcal B_n(R)}} \int_{\mathcal M_n}\frac{\mathcal D g\,\mathcal D\Phi}{\operatorname{Diff}} \,e^{-I[g,\Phi]}.

Here Bn(R)\mathcal B_n(R) is the replicated boundary geometry, gg is the dynamical metric, and Φ\Phi denotes matter fields. The notation hides gauge-fixing, boundary terms, zero modes, and the choice of integration contour. For our purposes, the essential point is simple:

fixed boundary replicas do not force disconnected bulk replicas.\boxed{ \text{fixed boundary replicas do not force disconnected bulk replicas.} }

At semiclassical order, the path integral is approximated by a sum over saddles,

Zn(R)αeIn(α),Z_n(R) \simeq \sum_\alpha e^{-I_n^{(\alpha)}},

where α\alpha labels different bulk solutions and topologies. Two broad classes are important.

Disconnected replica saddles. The bulk consists of nn copies of the original saddle, possibly with the matter fields sewn through the radiation region. These saddles reproduce the Hawking-like entropy that grows with time.

Connected replica saddles. The bulk replicas are joined through the gravitating region. These are replica wormholes. They give additional contributions to Zn(R)Z_n(R), and after analytic continuation to n1n\to1, they produce the island formula.

Disconnected replica saddles versus connected replica wormhole saddles

The gravitational replica path integral includes both disconnected saddles and connected replica-wormhole saddles. The disconnected saddle gives the Hawking answer. The connected saddle changes the fine-grained entropy and leads to the island contribution after analytic continuation.

The word “wormhole” here should be read carefully. A replica wormhole is not a new classical Lorentzian bridge that an observer can travel through. It is a saddle of the replicated entropy path integral. It connects different replicas used to compute TrρRn\operatorname{Tr}\rho_R^n.

That distinction is important. Replica wormholes can affect entropy without showing up as ordinary perturbative corrections to local correlators in a single semiclassical spacetime.

The two basic saddles for Hawking radiation

Section titled “The two basic saddles for Hawking radiation”

Consider an evaporating black hole coupled to a nongravitating bath, and let RR be a radiation region in the bath. The entropy S(R)S(R) is computed by the gravitational replica trick.

The disconnected saddle gives

Sno-island(R)=Smatter(R),S_{\rm no\text{-}island}(R) = S_{\rm matter}(R),

where the matter entropy is evaluated in the semiclassical black-hole background. For Hawking radiation, this grows approximately linearly at late times in many simple models:

Sno-island(R;t)SHawking(t).S_{\rm no\text{-}island}(R;t) \sim S_{\rm Hawking}(t).

This is the entropy predicted by treating outgoing Hawking quanta as increasingly entangled with interior partners.

The connected replica-wormhole saddle instead gives

Sisland(R)=extI[Area(I)4GN+Smatter(RI)].S_{\rm island}(R) = \operatorname{ext}_I \left[ \frac{\operatorname{Area}(\partial I)}{4G_N} + S_{\rm matter}(R\cup I) \right].

At late times this can be much smaller than Smatter(R)S_{\rm matter}(R) because the island II includes the interior partners of the radiation. The entropy is then approximately bounded by the remaining black-hole entropy rather than by the ever-growing Hawking entropy.

The full answer is the saddle with least generalized entropy:

S(R)=min{Sno-island(R),Sisland(R),}.S(R) = \min\left\{ S_{\rm no\text{-}island}(R), S_{\rm island}(R), \ldots \right\}.

This is the Page transition in gravitational language. At early times the disconnected saddle dominates. At late times the replica-wormhole saddle dominates.

To see why replica wormholes give quantum extremal surfaces, assume for the moment that the dominant nn-replica saddle has a Zn\mathbb Z_n replica symmetry. We can quotient the saddle by this symmetry. The quotient geometry has one asymptotic copy of the boundary, but it contains a codimension-two fixed-point locus XnX_n.

Near XnX_n, the quotient geometry looks like a cone. The opening angle is

2πn,\frac{2\pi}{n},

or equivalently the conical deficit is

Δϕn=2π(11n).\Delta\phi_n=2\pi\left(1-\frac{1}{n}\right).

This conical defect can be represented by a codimension-two cosmic brane with tension

Tn=n14nGN.T_n=\frac{n-1}{4nG_N}.

The brane backreacts on the geometry. Its location is determined by the gravitational equations of motion, including the condition that the total action is stationary under variations of the brane position.

The replica quotient contains a cosmic brane whose n to 1 limit becomes a QES

If the replicated saddle has a $\mathbb Z_n$ symmetry, the quotient geometry contains a conical defect at the fixed-point set $X_n$. The defect is equivalently a cosmic brane with tension $T_n=(n-1)/(4nG_N)$. In the $n\to1$ limit, the brane tension vanishes but its location becomes the quantum extremal surface.

As n1n\to1, the tension vanishes:

Tn0.T_n\to0.

But the first derivative with respect to nn is nonzero:

nTnn=1=14GN.\left.\partial_n T_n\right|_{n=1}=\frac{1}{4G_N}.

This derivative is precisely what produces the area term in the entropy.

At the same time, matter fields propagating on the quotient geometry contribute the bulk entropy term. Combining the gravitational area contribution with the matter contribution gives generalized entropy.

This is the mechanism behind the quantum extremal surface prescription.

From the replica derivative to generalized entropy

Section titled “From the replica derivative to generalized entropy”

Let XX be the codimension-two surface that appears as the n1n\to1 limit of the replica fixed-point set. The gravitational replica calculation gives a candidate entropy of the form

SX(R)=Area(X)4GN+Sbulk(ΣX),S_X(R) = \frac{\operatorname{Area}(X)}{4G_N} + S_{\rm bulk}(\Sigma_X),

where ΣX\Sigma_X is the bulk region bounded by RR and XX. In the island problem, ΣX\Sigma_X becomes the union RIR\cup I in the effective lower-dimensional description.

Why must XX be extremal? Because the replicated saddle must solve the equations of motion. Varying the location of the fixed-point set gives

δX[Area(X)4GN+Sbulk(ΣX)]=0.\delta_X \left[ \frac{\operatorname{Area}(X)}{4G_N} + S_{\rm bulk}(\Sigma_X) \right] =0.

Therefore

δXSgen(X)=0.\boxed{ \delta_X S_{\rm gen}(X)=0. }

This is the quantum extremal surface condition.

The minimization comes from saddle dominance. Among all extremal saddles, the entropy is controlled by the one with least generalized entropy:

S(R)=minXextX[Area(X)4GN+Sbulk(ΣX)].\boxed{ S(R) = \min_X\operatorname{ext}_X \left[ \frac{\operatorname{Area}(X)}{4G_N} + S_{\rm bulk}(\Sigma_X) \right]. }

For radiation in a nongravitating bath, the surface XX is the island boundary I\partial I, and the formula becomes

S(R)=minIextI[Area(I)4GN+Smatter(RI)].\boxed{ S(R) = \min_I\operatorname{ext}_I \left[ \frac{\operatorname{Area}(\partial I)}{4G_N} + S_{\rm matter}(R\cup I) \right]. }

The gravitational replica trick leads to the island rule through saddle competition and the n to 1 cosmic brane limit

The island rule is the $n\to1$ limit of the gravitational replica trick. Connected replica saddles become cosmic-brane quotient geometries; their fixed-point sets become QESs; saddle dominance gives the minimization over islands.

There is a useful way to remember the logic:

replica branch cutboundary condition for Zn,sum over bulk fillingsdisconnected and connected saddles,connected saddlereplica wormhole,Zn quotientcosmic brane,n1QES and generalized entropy,saddle dominancemin over islands.\begin{array}{ccl} \text{replica branch cut} &\longrightarrow& \text{boundary condition for }Z_n,\\ \text{sum over bulk fillings} &\longrightarrow& \text{disconnected and connected saddles},\\ \text{connected saddle} &\longrightarrow& \text{replica wormhole},\\ \mathbb Z_n\text{ quotient} &\longrightarrow& \text{cosmic brane},\\ n\to1 &\longrightarrow& \text{QES and generalized entropy},\\ \text{saddle dominance} &\longrightarrow& \text{min over islands}. \end{array}

The replica derivation can feel formal, so it is useful to keep a simple model in mind. Suppose the entropy of radiation is controlled by two candidate saddles:

Sno(t)=γt,S_{\rm no}(t)=\gamma t,

and

Swh(t)=S0,S_{\rm wh}(t)=S_0,

where SnoS_{\rm no} is the disconnected Hawking saddle and SwhS_{\rm wh} is the replica-wormhole saddle. The physical entropy is

SR(t)=min{γt,S0}.S_R(t)=\min\{\gamma t,S_0\}.

The Page time is

tPage=S0γ.t_{\rm Page}=\frac{S_0}{\gamma}.

Before tPaget_{\rm Page}, the disconnected saddle dominates. After tPaget_{\rm Page}, the replica-wormhole saddle dominates. Of course real calculations are more complicated: the island entropy is not exactly constant, the black-hole entropy decreases during evaporation, and greybody factors can matter. But the qualitative saddle competition is exactly the same.

This model also explains a common surprise. The replica-wormhole saddle may be exponentially small in the path integral for fixed integer n>1n>1, yet it can dominate the entropy after analytic continuation and differentiation. Entropy is not a linear observable. It is sensitive to correlations that are invisible in a naive local Hawking calculation.

Replica wormholes were first understood most explicitly in two-dimensional models, especially JT gravity coupled to matter. In JT gravity, the gravitational part of the entropy is not an area of a transverse sphere but a dilaton value:

Sgrav(X)=ϕ(X)4GN.S_{\rm grav}(X)=\frac{\phi(X)}{4G_N}.

The island formula becomes

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

The replica-wormhole computation justifies this formula by explicitly summing over replicated JT geometries. For integer nn, the connected geometries join the replicas through the gravitational region. In the quotient description, one obtains a conical defect whose n1n\to1 limit gives the QES near the horizon.

In simple evaporating JT setups, the no-island saddle gives the growing Hawking entropy, while the replica-wormhole saddle gives the late-time entropy of order the remaining black-hole entropy. This is the controlled two-dimensional version of the Page curve.

Why this is not a small correction to Hawking radiation

Section titled “Why this is not a small correction to Hawking radiation”

A tempting but misleading question is: “Where is the correction to Hawking’s local emission process?”

Replica wormholes are not best understood as a large local correction to the stress tensor near the horizon. The local state of a small number of Hawking quanta can remain very close to the semiclassical answer. The correction is to the computation of the fine-grained entropy of a large radiation region.

There are three reasons this distinction matters.

First, fine-grained entropy is nonlinear:

S(ρ)=Trρlogρ.S(\rho)=-\operatorname{Tr}\rho\log\rho.

Tiny changes in high-order correlations can change entropy without changing simple local observables much.

Second, the replica trick computes Trρn\operatorname{Tr}\rho^n, not ρ\rho itself. The gravitational path integral for Trρn\operatorname{Tr}\rho^n can contain topologies that are absent in the path integral for ordinary single-copy correlators.

Third, the Page curve is a statement about the entropy of the entire collected radiation, not about the spectrum of one emitted quantum. The island saddle becomes dominant only after enough radiation has been collected that the global entanglement structure matters.

Thus replica wormholes are compatible with the success of Hawking’s local calculation while modifying its global entropy conclusion.

Analytic continuation and replica symmetry

Section titled “Analytic continuation and replica symmetry”

The derivation has real subtleties. They should not be hidden from students.

The replica path integral is naturally defined for positive integers nn. The entropy requires analytic continuation to real nn near 11:

S(R)=limn111nlogTrρRn.S(R)=\lim_{n\to1}\frac{1}{1-n}\log\operatorname{Tr}\rho_R^n.

This continuation is usually not constructed from first principles. One assumes that the relevant saddles admit a smooth continuation near n=1n=1. This assumption is standard in replica calculations but is conceptually nontrivial in gravity.

The quotient derivation also assumes a replica-symmetric saddle. If replica symmetry is broken, the simple cosmic-brane quotient picture must be modified. In many controlled examples, the replica-symmetric saddle gives the expected answer, but the general problem of classifying all saddles and contours is subtle.

There is also a question of integration contours. Euclidean gravitational path integrals are not ordinary convergent integrals over real metrics. Complex saddles can matter. In the island literature, replica wormholes are often complex or require careful contour choices.

These subtleties do not make the method useless. They mean that the replica-wormhole derivation is a semiclassical saddle-point argument, not a fully nonperturbative definition of quantum gravity.

Replica wormholes are closely related to a broader question: do Euclidean wormholes imply ensemble averaging?

In an ordinary single CFT, partition functions of decoupled systems factorize:

Z1×2=Z1Z2.Z_{1\times2}=Z_1 Z_2.

But a gravitational path integral that includes wormholes connecting two asymptotic boundaries can produce connected contributions:

Z12gravZ1gravZ2grav.Z_{12}^{\rm grav} \neq Z_1^{\rm grav}Z_2^{\rm grav}.

This looks natural if the gravitational path integral computes an ensemble average, since generally

Z1Z2Z1Z2.\langle Z_1 Z_2\rangle \neq \langle Z_1\rangle\langle Z_2\rangle.

In JT gravity, the connection to random matrix ensembles is explicit. In higher-dimensional AdS/CFT, where one often expects a single fixed CFT rather than an ensemble, the interpretation is less clear. This is the factorization puzzle, and it will be treated later in the open-problems page.

For the present page, the important point is narrower: replica wormholes provide a semiclassical gravitational derivation of the island rule. They do not by themselves settle every question about the nonperturbative definition of the gravitational path integral.

Replica wormholes teach four lessons.

First, the entropy of Hawking radiation is not computed by a single fixed semiclassical geometry. It is computed by a replicated gravitational path integral that includes multiple saddles.

Second, the island formula is not an ad hoc rule. It is the n1n\to1 limit of connected saddles in the replica path integral.

Third, the Page transition is a saddle transition. At early times, the disconnected Hawking saddle dominates. At late times, a connected replica-wormhole saddle dominates.

Fourth, semiclassical gravity contains more information about fine-grained entropy than Hawking’s original calculation used. The missing ingredient is not a violent local correction at the horizon, but the correct gravitational treatment of entropy.

Pitfall 1: “The replica wormhole is a traversable wormhole.”

No. It is a Euclidean or complex saddle in a replicated entropy calculation. It connects replicas, not necessarily physical universes through which an observer can travel.

Pitfall 2: “The wormhole changes the state of each Hawking quantum.”

Not directly. The local Hawking spectrum can remain approximately thermal. Replica wormholes affect the fine-grained entropy of large radiation regions.

Pitfall 3: “The island is added by hand.”

The island appears as the n1n\to1 remnant of the replica fixed-point set. In the quotient geometry, this fixed-point set is represented by a cosmic brane.

Pitfall 4: “The derivation is completely rigorous.”

It is a powerful semiclassical saddle-point derivation. It still depends on analytic continuation, saddle selection, replica symmetry or its controlled replacement, and a definition of the gravitational path integral.

Pitfall 5: “Replica wormholes solve factorization automatically.”

They solve a specific entropy problem semiclassically. The relationship between wormholes, ensemble averages, baby universes, and factorization remains a deeper structural issue.

Exercise 1: Rényi entropies and the von Neumann limit

Section titled “Exercise 1: Rényi entropies and the von Neumann limit”

Let ρ\rho be a diagonal density matrix with eigenvalues pip_i. Show that

Sn(ρ)=11nlogipinS_n(\rho)=\frac{1}{1-n}\log\sum_i p_i^n

satisfies

limn1Sn(ρ)=ipilogpi.\lim_{n\to1}S_n(\rho)=-\sum_i p_i\log p_i.
Solution

Define

f(n)=ipin.f(n)=\sum_i p_i^n.

Since ipi=1\sum_i p_i=1, we have f(1)=1f(1)=1. The Rényi entropy is

Sn=logf(n)1n.S_n=\frac{\log f(n)}{1-n}.

Both numerator and denominator vanish as n1n\to1, so use l’Hôpital’s rule:

limn1Sn=limn1f(n)/f(n)1=ipilogpiipi=ipilogpi.\lim_{n\to1}S_n = \lim_{n\to1} \frac{f'(n)/f(n)}{-1} = -\frac{\sum_i p_i\log p_i}{\sum_i p_i} = -\sum_i p_i\log p_i.

This is the von Neumann entropy.

Exercise 2: Normalized replica partition functions

Section titled “Exercise 2: Normalized replica partition functions”

Suppose a Euclidean path integral gives an unnormalized replicated partition function ZnZ_n and a single-copy partition function Z1Z_1. Explain why

TrρRn=ZnZ1n,\operatorname{Tr}\rho_R^n=\frac{Z_n}{Z_1^n},

and show that in a saddle approximation ZneInZ_n\simeq e^{-I_n},

S(R)=n(InnI1)n=1.S(R)=\left.\partial_n(I_n-nI_1)\right|_{n=1}.
Solution

The density matrix must be normalized by the single-copy partition function. If ρ~R\tilde \rho_R is the unnormalized reduced density matrix, then

ρR=ρ~RZ1.\rho_R=\frac{\tilde \rho_R}{Z_1}.

Taking the nnth power and tracing gives

TrρRn=Trρ~RnZ1n=ZnZ1n.\operatorname{Tr}\rho_R^n = \frac{\operatorname{Tr}\tilde\rho_R^n}{Z_1^n} = \frac{Z_n}{Z_1^n}.

The von Neumann entropy is

S(R)=nlogTrρRnn=1.S(R)= -\left.\partial_n\log\operatorname{Tr}\rho_R^n\right|_{n=1}.

Using ZneInZ_n\simeq e^{-I_n} gives

logTrρRn=logZnnlogZ1=In+nI1.\log\operatorname{Tr}\rho_R^n = \log Z_n-n\log Z_1 = -I_n+nI_1.

Therefore

S(R)=n(In+nI1)n=1=n(InnI1)n=1.S(R)= -\left.\partial_n(-I_n+nI_1)\right|_{n=1} = \left.\partial_n(I_n-nI_1)\right|_{n=1}.

Exercise 3: Cosmic-brane tension near n=1n=1

Section titled “Exercise 3: Cosmic-brane tension near n=1n=1n=1”

The cosmic brane in the replica quotient has tension

Tn=n14nGN.T_n=\frac{n-1}{4nG_N}.

Compute T1T_1 and nTnn=1\partial_n T_n|_{n=1}. Explain why the brane can produce an entropy contribution even though its tension vanishes at n=1n=1.

Solution

Rewrite

Tn=14GN(11n).T_n=\frac{1}{4G_N}\left(1-\frac{1}{n}\right).

Then

T1=0,T_1=0,

and

nTnn=1=14GN1n2n=1=14GN.\left.\partial_n T_n\right|_{n=1} = \frac{1}{4G_N}\left.\frac{1}{n^2}\right|_{n=1} = \frac{1}{4G_N}.

The entropy is obtained by differentiating the replica action with respect to nn at n=1n=1. Thus the first derivative of the brane action contributes even though the brane tension itself vanishes at n=1n=1. This derivative produces the familiar area term Area/4GN\operatorname{Area}/4G_N.

Exercise 4: Extremizing generalized entropy

Section titled “Exercise 4: Extremizing generalized entropy”

Suppose a candidate island boundary is labeled by a coordinate xx, and the generalized entropy is

Sgen(x)=A(x)4GN+Sbulk(x).S_{\rm gen}(x) = \frac{A(x)}{4G_N}+S_{\rm bulk}(x).

Show that the QES condition is

A(x)4GN+Sbulk(x)=0.\frac{A'(x)}{4G_N}+S_{\rm bulk}'(x)=0.

Give a physical interpretation of the two terms.

Solution

The QES is obtained by stationarity of SgenS_{\rm gen}:

0=dSgendx=A(x)4GN+Sbulk(x).0=\frac{dS_{\rm gen}}{dx} = \frac{A'(x)}{4G_N}+S_{\rm bulk}'(x).

The first term is the change in gravitational entropy when the candidate surface moves. The second term is the change in bulk matter entropy of the region bounded by the surface. The QES balances these two effects. In the replica derivation, this balance is the condition that the cosmic-brane quotient geometry solves the equations of motion when the brane position is varied.

Consider the toy model

Sno(t)=γt,Swh(t)=S0ϵt,S_{\rm no}(t)=\gamma t, \qquad S_{\rm wh}(t)=S_0-\epsilon t,

with γ>0\gamma>0 and 0<ϵγ0<\epsilon\ll\gamma. Find the Page time at which the dominant saddle changes.

Solution

The transition occurs when the two generalized entropies are equal:

γt=S0ϵt.\gamma t=S_0-\epsilon t.

Thus

tPage=S0γ+ϵ.t_{\rm Page}=\frac{S_0}{\gamma+\epsilon}.

For t<tPaget<t_{\rm Page}, Sno<SwhS_{\rm no}<S_{\rm wh} and the no-island saddle dominates. For t>tPaget>t_{\rm Page}, Swh<SnoS_{\rm wh}<S_{\rm no} and the replica-wormhole/island saddle dominates.

Exercise 6: Why local thermality is not enough

Section titled “Exercise 6: Why local thermality is not enough”

Explain why the statement “each emitted Hawking quantum is approximately thermal” does not determine the fine-grained entropy of the full radiation system.

Solution

The entropy of the full radiation depends on the entire density matrix ρR\rho_R, including correlations among all emitted quanta. Knowing the reduced density matrix of each individual quantum only fixes one-body marginals. Many globally different states can have the same one-body marginals.

For example, a pure entangled state of many qubits can have each individual qubit maximally mixed. Thus local thermality does not imply that the global radiation state is maximally mixed. The Page curve is a statement about the global fine-grained entropy of the collected radiation, while Hawking’s local calculation mainly controls local emission probabilities and low-point observables.

Replica wormholes modify the gravitational computation of global entropy without requiring a large violation of local thermality for each emitted quantum.