Evaporating universes

This paper presents a holographic model of black hole evaporation in asymptotically flat spacetimes using Brill-Lindquist wormholes and the HRT formula to demonstrate that entanglement entropy follows the Page curve while numerically verifying the predictions of the Python's Lunch conjecture regarding restricted complexity.

The Gist

The Big Picture: Solving a Cosmic Mystery

Imagine a black hole is like a giant, cosmic trash compactor. For decades, physicists were worried about what happens when this compactor runs out of trash (evaporates). The fear was that the "trash" (information about what fell in) would be destroyed forever, breaking the fundamental laws of physics that say information can never be lost.

This paper proposes a new way to visualize this process using a "toy model." Instead of trying to simulate the messy, real-time explosion of a black hole, the author builds a static, geometric snapshot of the universe at different moments in time. The goal is to prove that if you look at the geometry of space correctly, the information is actually preserved, just like a secret code that gets scrambled but never lost.

The Main Characters and Tools

1. The "Quantum Octopus" (The Geometry)
The paper uses a shape called a Brill-Lindquist wormhole. Imagine a giant octopus made of space itself.

• The Head: This is the black hole.
• The Legs: These are "baths" (or buckets) where the radiation (heat/light) from the black hole is collected.
• The Connection: According to a famous idea called ER=EPR, the black hole and the radiation are so deeply entangled (linked by quantum mechanics) that they are physically connected by a tunnel (wormhole). The octopus shape represents this connection.

2. The "Page Curve" (The Scoreboard)
Physicists track the "entanglement entropy," which is basically a measure of how much information is shared between the black hole and the radiation.

• The Old Fear: If information is lost, this score should just keep going up forever.
• The Hope (Page Curve): If information is saved, the score should go up for a while, hit a peak (the "Page time"), and then go back down as the black hole disappears.
• The Paper's Result: By calculating the surface areas of the octopus's head and legs, the author shows the score follows the "Page Curve." It goes up, peaks, and comes down. This proves information is conserved.

3. The "Python's Lunch" (The Complexity Puzzle)
This is the most creative part of the paper. Imagine the wormhole connecting the black hole and the radiation isn't a straight tube.

• The Constriction: The entrance and exit are narrow (like a snake's mouth).
• The Bulge: In the middle, the tunnel gets very wide and bulbous.
• The Analogy: Think of a python that has just swallowed a large meal. The snake is thin at the head and tail, but bulges in the middle.
• The Meaning: The "Python's Lunch Conjecture" says that the wider the bulge, the harder it is to "decode" the information. It's like trying to untangle a knot in a very thick, swollen part of a rope.
  • Early on: The bulge is huge. Decoding the radiation is exponentially hard (impossible for practical purposes).
  • Late on: As the black hole evaporates, the bulge shrinks. Eventually, the snake is just a thin line again. Decoding becomes easy.

How the Model Works (The "Time Travel" Trick)

The author doesn't simulate the black hole moving. Instead, they use a mathematical trick:

1. They start with a specific shape of the octopus where the head is big and the legs are small.
2. They slowly change the shape: the head shrinks, and the legs grow.
3. They calculate the "surface area" of the black hole (the head) and the radiation (the legs) at every step.
4. They found that at a specific moment (the Page time), the "best" way to measure the information switches from looking at the legs to looking at the head. This switch causes the entropy curve to turn around and go down, exactly as predicted by the laws of quantum mechanics.

The "Broken" Octopus

The paper notes a limitation: If you try to look at the very beginning of the process (before the black hole starts evaporating), the geometry breaks. The "head" and "legs" separate, and the octopus falls apart into two separate black holes.

• The Takeaway: This model only works once the black hole has already started its journey. It's like a movie that only makes sense once the action has already started; you can't see the very first frame where the hero enters the room.

Summary of Findings

• Information is Safe: By using this geometric octopus model, the paper confirms that black hole evaporation preserves information (unitarity).
• The Curve Matches: The calculated "entanglement entropy" follows the famous Page curve.
• Decoding gets easier: The "Python's Lunch" (the difficulty of decoding) starts high but drops to zero as the black hole disappears, matching theoretical predictions.
• It's a Snapshot: The model treats the universe as a series of frozen pictures rather than a flowing movie, which simplifies the math but skips the very earliest and very latest quantum moments.

In short, the author built a geometric Lego set of a black hole and its radiation, showed that the pieces fit together in a way that saves all the information, and demonstrated that the "puzzle" of decoding that information becomes easier as the black hole vanishes.

Technical Summary

Technical Summary: Evaporating Universes

Problem and Motivation
The black hole information paradox centers on whether the evaporation of a black hole preserves unitarity. Hawking's original semiclassical calculation suggested that entanglement entropy increases monotonically, implying information loss. Conversely, Page argued that unitarity requires the entropy to follow a "Page curve," rising to a maximum (the Page time) and then decreasing. While recent developments in AdS/CFT using the Quantum Extremal Surface (QES) formula have successfully reproduced the Page curve for evaporating black holes, these models typically rely on a semi-classical AdS bulk coupled to auxiliary systems.

A more direct geometric realization of the entanglement between a black hole and its radiation is provided by the "quantum octopus" concept derived from ER=EPR, where the entangled system is dual to a connected wormhole geometry. However, extending holographic tools like the Ryu-Takayanagi (RT) and Hubeny-Rangamani-Takayanagi (HRT) formulas to asymptotically flat spacetimes remains a challenge. This paper addresses the need for a unitary model of black hole evaporation in four-dimensional asymptotically flat spacetime (Mink$_4$) without relying on an auxiliary AdS bulk.

Methodology
The author constructs a toy model of black hole evaporation using Brill-Lindquist (BL) wormholes, which describe time-symmetric initial data for multiple asymptotically flat regions in Einstein-Maxwell theory. The methodology relies on the following components:

1. Extended HRT Formula: The model utilizes a recent extension of the HRT formula proposed for asymptotically flat multi-boundary wormholes (Headrick, Sasieta, and Gupta). This conjecture posits that for a connected spacetime $M$ with $n$ asymptotically flat regions, the entanglement entropy between a subset of boundaries $A$ and its complement is given by the area of the minimal surface homologous to $A$, divided by $4G_N$.
2. Geometric Setup: The "quantum octopus" is modeled as a fixed $n$-boundary BL wormhole. The "head" of the octopus (the evaporating black hole) corresponds to one asymptotic region ($a_n$), while the "legs" (radiation baths) correspond to the remaining $n-1$ regions. Unlike previous "dynamic" octopus models where the number of legs grows, this model keeps the number of boundaries fixed ($n=3$ and $n=4$).
3. Dynamics via Geometry: Time evolution is simulated not by changing the number of boundaries, but by varying the separation distances ($r_{ij}$) between the punctures in the BL metric. The evolution parameter $t$ is defined as the ratio of the puncture size parameters ($\alpha_i$) to the separation distance. Conservation of total ADM mass constrains the system, causing the black hole mass to decrease and the bath masses to increase as $t$ increases.
4. Numerical Computation: Since minimal surfaces in BL geometries are not known analytically, the author employs a numerical shooting method to compute the areas of:
   • Index-0 surfaces: Minimal surfaces homologous to boundary regions, used to calculate entanglement entropy via the HRT formula.
   • Index-1 surfaces: Extremal surfaces (candidate "bulges") involved in the Python's Lunch Conjecture (PLC). These are used to estimate the computational complexity of decoding Hawking radiation.

Key Contributions and Results

• Reproduction of the Page Curve:

  • For both $n=3$ and $n=4$ BL wormholes, the numerical analysis demonstrates that the entanglement entropy follows the Page curve.
  • Before the Page time: The minimal surface homologous to the radiation ($\gamma_R$) has the smaller area, so $S(A) = |\gamma_R|/4G_N$. The entropy increases as the black hole evaporates.
  • After the Page time: The minimal surface homologous to the black hole ($\gamma_{BH}$) becomes the global minimum, so $S(A) = |\gamma_{BH}|/4G_N$. The entropy decreases as the black hole shrinks.
  • The transition point (Page time) is identified where the areas of the competing minimal surfaces are equal.

• Complexity and the Python's Lunch Conjecture:

  • The paper applies the generalized PLC to compute the restricted complexity $C(R)$ of decoding the radiation. This complexity is exponentially related to the area difference between the "bulge" (index-1 surface) and the "constriction" (the larger minimal surface).
  • $n=3$ Model: The bulge surface is identified as a specific index-1 surface ($\tilde{\gamma}_3$). The area difference $|\tilde{\gamma}_3| - |\gamma_R|$ decreases as the black hole evaporates, approaching zero at late times. This reproduces the PLC prediction that decoding complexity becomes polynomial once the black hole has fully evaporated.
  • $n=4$ Model: The geometry is more complex, featuring multiple minimal surfaces and candidate bulges in different Cauchy subregions. The analysis identifies a transition in the dominant bulge surface (from $\tilde{\gamma}_4$ to $\tilde{\gamma}_{12} \cup \gamma_3$) occurring near the time when the black hole area drops to half its initial value. This transition aligns with the PLC prediction of a "forward-to-reverse sweep" transition.
  • In both cases, the complexity decays to polynomial levels as the black hole evaporates ($|\gamma_{BH}| \to 0$).

• Mass and Area Ratios:

  • The model yields specific ratios for the black hole area at the Page time. For $n=3$, the ratio $|\gamma_{BH}|/|\gamma_0| \approx 0.69$, and for $n=4$, it is $\approx 0.54$. Both values are consistent with the expectation that the ratio should be greater than 0.5 for large Schwarzschild black holes.

Significance and Claims
The paper claims to provide a unitary model of black hole evaporation in asymptotically flat spacetime without invoking an auxiliary AdS system. By utilizing the extended HRT formula on BL wormholes, the author demonstrates that:

1. The geometric entanglement entropy naturally reproduces the Page curve, supporting the conservation of information.
2. The computational complexity of decoding radiation, as estimated by the Python's Lunch Conjecture, exhibits the expected time-dependent behavior, including phase transitions and a reduction to polynomial complexity upon complete evaporation.
3. The model serves as a "coarse-graining" of the full quantum-corrected entropy, where the classical connected geometry captures the dominant $O(G_N^{-1})$ term.

The author notes limitations, specifically that the model relies on time-symmetric initial data (a snapshot) and assumes all relevant extremal surfaces lie on this slice. Furthermore, the model treats radiation baths as distinct asymptotic regions rather than a single universe, though it argues this is a valid approximation for sufficiently separated regions. The work is presented as a continuation of the HRT extension in [10], offering a concrete numerical realization of holographic principles in flat space.