Algebras for generalized entanglement wedges

This paper proposes a framework associating generalized entanglement wedges in arbitrary spacetimes with algebras in a fundamental holographic description, suggesting that algebraic entropy inequalities naturally explain the inclusion monotonicity and strong subadditivity of these wedges while offering a generalized Ryu-Takayanagi formula.

The Gist

Imagine the universe as a giant, complex hologram. In the most famous version of this idea (called AdS/CFT), we know that the 3D "bulk" of space is mathematically equivalent to a 2D "surface" code. In this known version, specific chunks of the 3D space (called entanglement wedges) correspond perfectly to specific chunks of the 2D code.

This paper asks a bolder question: What if the universe isn't just a simple hologram? What if we are in a more complex, general spacetime (like our own expanding universe) where we don't yet know the underlying "code"?

The authors propose a new way to understand these complex spaces by treating them like a library of information rather than just a map of geometry. Here is the breakdown of their ideas using everyday analogies:

1. The New "Wedges" (The BP Wedges)

In standard holography, we have neat, geometric shapes called entanglement wedges. Recently, physicists Bousso and Penington (BP) discovered that even in messy, general spacetimes, you can still find special regions that act like these wedges. They call them Generalized Entanglement Wedges.

Think of these wedges as special "zones of influence" in a room.

• The Rule: A zone is a valid "wedge" if you can't make it bigger without increasing the "messiness" (entropy) of the room. It's the most efficient shape for holding information in that specific area.
• The Puzzle: We know these zones exist geometrically, but we don't know what they correspond to in the fundamental "code" of the universe, because we don't know what that code looks like yet.

2. The Big Hypothesis: Wedges = Algebras

The authors suggest a bridge between the geometry (the shape of the wedge) and the math (the underlying code).

• The Old View: A wedge is a piece of space.
• The New View: A wedge is actually a collection of rules and questions (an "algebra").

Imagine the universe is a massive, locked library.

• A Wedge is a specific section of the library (e.g., the "History" section).
• The Algebra is the specific set of books and the rules for reading them in that section.
• The authors propose that for every geometric wedge, there is a matching "book collection" (algebra) and a specific "reading state" (state) in the fundamental description of the universe.

3. The "Ryu-Takayanagi" Formula (The Price Tag)

In standard holography, there is a famous formula (Ryu-Takayanagi) that says: The amount of information (entropy) in a chunk of space is equal to the area of its boundary.

The authors try to generalize this. They ask: If we don't have a simple area, how do we calculate the "information cost" of a wedge?

They propose a new formula based on Algebraic Entropy:

• Imagine you have a huge database (the whole universe).
• You zoom in on a specific section (the wedge/algebra).
• The "cost" of this section is calculated by taking the information inside it, subtracting the "maximum possible information" it could hold, and adjusting for the size of the database relative to the section.

They call this adjustment the "Index."

• Analogy: Think of the Index as the "zoom factor." If you are looking at a tiny pixel on a giant screen, the "Index" tells you how much bigger the whole screen is compared to that pixel. This factor is crucial for making the math work out so that the "cost" (entropy) behaves correctly.

4. Why This Matters: The "Lego" Logic

The paper shows that if you accept this idea (Wedges = Algebras), the weird geometric rules that Bousso and Penington found for these wedges suddenly make perfect sense as simple math rules about information.

• Inclusion: If Wedge A is inside Wedge B, then the "Book Collection" of A is a subset of the "Book Collection" of B. (This is obvious for books, but it explains the geometry).
• Strong Subadditivity: This is a fancy math rule that says: The information in two overlapping zones is never more than the sum of their separate parts.
  • In the paper, this geometric rule is shown to be a direct result of a known rule in information theory: You can't create new information just by overlapping two sets of data.
  • By mapping the wedges to algebras, the authors prove that the geometric rules of the universe are just shadows of these fundamental information rules.

5. The "Toy Model" Check

Since we can't test this on the whole universe yet, the authors tested their idea using a Random Tensor Network.

• Analogy: Imagine a giant net made of rubber bands and knots.
• They showed that if you cut out a specific shape in this net, the math of their "Algebraic Formula" perfectly predicts the "Area" of that shape in the net.
• This suggests their idea works even in simplified, toy versions of the universe.

Summary

The paper argues that geometry is just a shadow of information.

1. We have these special geometric shapes (Generalized Entanglement Wedges) in complex spacetimes.
2. The authors propose these shapes correspond to specific mathematical structures (Algebras) in the fundamental code of the universe.
3. By treating them as Algebras, we can use known rules of information theory to explain why these shapes behave the way they do (like how they overlap or how their "entropy" is calculated).
4. They provide a new formula to calculate the "information cost" of these shapes, which works even when the shapes are weird or the universe is expanding.

In short: The shape of space is determined by the rules of the information library that describes it.

Technical Summary

Technical Summary: Algebras for Generalized Entanglement Wedges

Problem Statement
The mathematical structure underlying quantum gravity for general spacetimes remains unknown. While asymptotically Anti-de Sitter (AdS) spacetimes possess a well-defined holographic dual (quantum mechanics or quantum field theory) with a familiar algebraic structure, more general spacetimes (such as cosmological ones) lack a known fundamental description. Recently, Bousso and Penington (BP) proposed a generalization of entanglement wedges for arbitrary spacetimes. These "BP wedges" share key properties with standard entanglement wedges, including inclusion relations, spacelike separation, intersection/join operations, and specific entropy inequalities (monotonicity and strong subadditivity). However, the algebraic origin of these properties in a general gravitational context is unclear. This paper investigates the hypothesis that each generalized entanglement wedge corresponds to a specific subalgebra of observables and a state in the underlying (unknown) fundamental description.

Methodology
The authors propose a map $W \to (\mathcal{A}_W, \omega_W)$ associating a generalized entanglement wedge $W$ with a subalgebra of observables $\mathcal{A}_W$ and a state $\omega_W$. They postulate specific features of this map to explain the mathematical properties of BP wedges algebraically:

1. Structural Correspondence:

   • Inclusion: $W_1 \subset W_2 \iff \mathcal{A}_{W_1} \subset \mathcal{A}_{W_2}$.
   • Spacelike Separation: $W_1, W_2$ are spacelike separated $\iff \mathcal{A}_{W_1} \subset \mathcal{A}'_{W_2}$ (commutant).
   • Intersections and Joins: The intersection of wedges corresponds to the intersection of algebras ($\mathcal{A}_{W_1 \cap W_2} = \mathcal{A}_{W_1} \wedge \mathcal{A}_{W_2}$), and the join of wedges corresponds to the algebra generated by the union of algebras ($\mathcal{A}_{W_1 \vee W_2} \supset \mathcal{A}_{W_1} \vee \mathcal{A}_{W_2}$).

2. Algebraic Entropy and the Generalized RT Formula:
   The paper seeks an algebraic interpretation for the generalized entropy $S_{gen}(W)$. Standard von Neumann entropy is insufficient for general spacetimes where algebras may be Type III (lacking a trace). The authors utilize algebraic entropy defined via relative entropy with respect to a reference state (often a trace $\tau$ in Type II settings) and the concept of conditional expectations (coarse-graining maps).

   They propose a generalized Ryu-Takayanagi (RT) formula for wedges with finite generalized entropy:
   $$S_{gen}(W) = S(\omega_W | \mathcal{A}_W) - \log \text{Ind}(E_{\Omega \to \mathcal{A}_W}) + K_{\Omega}$$
   where:

   • $S(\omega_W | \mathcal{A}_W)$ is the algebraic entropy of the state on the subalgebra.
   • $\text{Ind}(E_{\Omega \to \mathcal{A}_W})$ is the index of a conditional expectation from a larger algebra $\Omega$ to $\mathcal{A}_W$, measuring the relative size of the algebras.
   • $K_{\Omega}$ is a state-independent constant.

3. Derivation of Properties:
   Using the proposed formula and properties of algebraic entropies (specifically inequalities involving relative entropy and the index), the authors demonstrate that the monotonicity and strong subadditivity of $S_{gen}$ follow naturally from algebraic inequalities, provided the algebras satisfy specific conditions (e.g., commuting square conditions for conditional expectations).

4. Verification via Toy Models:
   The authors test these hypotheses in two contexts:

   • Asymptotically AdS Spacetimes: They compare their proposal to the Leutheusser-Liu (LL) subregion-subalgebra duality. They argue that while LL algebras are Type III in the strict large $N$ limit, the BP context (finite generalized entropy) suggests a transition to Type II algebras that survive $1/N$ corrections.
   • Random Tensor Networks: They construct a toy model where tensor network subregions obey an extremality condition analogous to BP wedges. In the large bond dimension limit, these regions admit isometric maps to the boundary, allowing the assignment of subalgebras. The model confirms that the proposed algebraic entropy formula reproduces the expected tensor network "area" terms (logarithm of bond dimension times the number of legs).

Key Contributions and Results

• Algebraic Origin of Wedge Properties: The paper establishes a framework where the partial ordering, intersection, and join operations of generalized entanglement wedges are mapped to the lattice structure of von Neumann subalgebras.
• Generalized RT Formula: A concrete proposal (Eq. 1.2 / 2.7) is provided that relates generalized gravitational entropy to algebraic entropy and the index of conditional expectations. This formula successfully reproduces the monotonicity and strong subadditivity properties of BP wedges as consequences of algebraic entropy inequalities.
• Type II Algebra Hypothesis: The authors suggest that for generalized entanglement wedges with finite entropy, the associated algebras in the fundamental description should be Type II von Neumann factors (possessing a finite trace), distinguishing them from the Type III algebras typically associated with causal diamonds in the strict large $N$ limit.
• Non-Uniqueness and Unitary Equivalence: In the tensor network model, the assignment of a specific subalgebra to a region is shown to be non-unique; rather, a wedge corresponds to a family of unitarily equivalent algebras. This suggests the map $W \to \mathcal{A}_W$ in full gravity may involve such a family, potentially related to quantum error correction.
• Connection to Gravitational Dressing: The paper discusses how these algebras relate to recent constructions of gravitational algebras using modular crossed products, which also yield Type II algebras with finite entropy.

Significance and Claims
The authors characterize this work as speculative and preliminary, intended to serve as a starting point for further investigation rather than a finished theory. They claim that:

• The proposed map provides a natural algebraic explanation for the mathematical properties of BP wedges, specifically linking the strong subadditivity of generalized entropy to algebraic strong subadditivity.
• The framework extends the holographic dictionary even in standard AdS/CFT, offering a way to associate algebras with bounded bulk regions and more general boundary-intersecting regions beyond standard entanglement wedges.
• The connection between the index of conditional expectations and the generalized entropy offers a potential route to deriving gravitational equations (like Einstein's equations) from quantum information principles (positivity of relative entropy) in a background-independent manner.
• The tensor network toy model provides tangible evidence that the proposed algebraic structure and entropy formula are consistent with holographic principles in a simplified setting.

The paper concludes by outlining future directions, including exploring background independence, the modular Berry phase, and the role of gauge-invariant subregions and quantum error correction in this algebraic framework.