State-dependent geometries from magic-enriched quantum codes

This paper proposes that incorporating gravitational backreaction into holographic models requires approximate quantum error correction rather than exact codes, introducing a new entropy decomposition where "proto-area" emerges from tripartite non-local magic in the encoding map, thereby establishing a state-dependent link between bulk matter entropy and boundary geometry.

The Gist

Imagine the universe as a giant, complex video game. For a long time, physicists have been trying to figure out how the "graphics" (spacetime, gravity, and geometry) are generated by the "code" (quantum information and entanglement).

This paper is like a team of programmers discovering a bug in the old code and fixing it to make the game behave more like real life. Here is the story in simple terms:

1. The Problem: The "Static Background" Glitch

In the past, scientists used a type of quantum code (think of it as a perfect encryption method) to explain how space and time emerge. They called these Exact Codes.

• The Analogy: Imagine you are building a house using a set of LEGO instructions. In the "Exact Code" version, the instructions say: "No matter what kind of furniture you put inside the house, the walls and the size of the rooms stay exactly the same."
• The Reality Check: In our real universe, gravity works differently. If you put a heavy elephant in a room, the floor bends. If you put a star in space, space curves. The geometry reacts to the matter inside it.
• The Bug: The old "Exact Codes" couldn't do this. They described a universe where matter exists, but it never changes the shape of space. It was like a video game where the terrain is frozen, and you can walk on it, but it never sinks or shifts.

2. The Solution: "Magic" and Approximate Codes

The authors realized that to get gravity to work, we need to stop using "perfect" codes and start using Approximate Codes.

• The Analogy: Think of a perfect code like a rigid steel box. You can put a ball inside, but the box doesn't change. An Approximate Code is like a box made of soft, stretchy rubber. If you put a heavy ball inside, the rubber stretches and changes shape.
• The "Magic" Ingredient: To make the box stretchy, you need a special ingredient. In quantum physics, this is called "Magic" (specifically, non-local magic).
  • Note: This isn't Harry Potter magic. In quantum computing, "Magic" is a technical term for a type of complexity that makes a system hard to simulate with a regular computer. It's the "spice" that makes the code non-rigid.
  • The paper argues that Exact Codes (like simple stabilizer codes) have zero "Magic." They are too rigid. To get gravity, you need to inject this "Magic" into the code.

3. How It Works: The "Proto-Area"

The authors created a new formula to measure the "size" of space (the area) in these new, stretchy codes. They call this the Proto-Area.

• The Old Way: In the rigid codes, the "Area" was a fixed number, like a constant background wallpaper.
• The New Way: In the "Magic-enriched" codes, the "Proto-Area" changes depending on what's inside.
  • If you add more "stuff" (matter/entropy) to the bulk (the inside of the universe), the Proto-Area grows.
  • This perfectly mimics Gravitational Backreaction: More matter = more gravity = more curvature (larger area).

4. The Secret Sauce: Tripartite Non-Local Magic

The paper digs deep to find where this Magic comes from. They found it in a specific pattern of connections between three different parts of the system.

• The Analogy: Imagine three friends: Alice (the matter), Bob (the geometry), and Charlie (the reference).
  • In the old rigid codes, Alice and Bob were connected, but only in a simple, local way. They couldn't "talk" to each other to change the room's shape.
  • In the new codes, there is a Tripartite Non-Local Magic. This means Alice, Bob, and Charlie are entangled in a weird, complex way that cannot be broken apart by simple local actions. It's like a three-way handshake that ties the content of the room directly to the walls of the room.
  • If you remove this "Magic" (by making the code simpler), the connection breaks, and gravity disappears.

5. Why This Matters

This paper is a major step forward because:

1. It explains the "Why": It tells us why gravity exists in quantum terms. It's not just a force; it's a consequence of the universe using "Approximate" codes with "Magic" instead of "Exact" rigid codes.
2. It bridges the gap: It connects the abstract math of quantum error correction (fixing mistakes in data) with the physical reality of Einstein's gravity.
3. It's testable: Because this "Magic" is a specific quantum resource, scientists might be able to build small versions of these codes on future quantum computers to simulate how spacetime bends and reacts to matter.

Summary

Think of the universe as a video game.

• Old Theory: The game used a rigid, unchangeable map. You could move characters around, but the map never changed.
• New Discovery: The game actually uses a "stretchy" map.
• The Secret: The map is stretchy because the code uses a special quantum ingredient called "Magic."
• The Result: When you add heavy objects (matter) to the game, the "Magic" in the code causes the map to stretch and warp, creating the effect we call Gravity.

The paper proves that without this specific type of "Magic," you can't have a universe where matter and geometry talk to each other. Gravity is essentially the universe's way of reacting to the "Magic" in its code.

Technical Summary

1. Problem Statement

The paper addresses a fundamental limitation in existing holographic quantum error-correcting code (QECC) models, such as the HaPPY code and stabilizer codes. While these models successfully reproduce kinematic features of holography (e.g., Ryu-Takayanagi entropy formulas and entanglement wedge reconstruction), they fail to capture gravitational backreaction.

• The Limitation: In exact subsystem erasure-correcting codes, the encoded state factorizes into a logical bulk state and a fixed entangled resource state ($\chi$). Consequently, the "area term" (geometric entropy) is state-independent. This implies that changes in bulk matter entropy do not induce changes in the geometry, violating a core principle of General Relativity where matter sources metric perturbations.
• The Gap: Existing no-go theorems suggest that stabilizer codes and their local-unitary deformations cannot support non-trivial, state-dependent area operators. The authors posit that approximate quantum error correction (AQEC) is required to bridge this gap, allowing for correlations between bulk matter and geometry.

2. Methodology

The authors develop a framework for emergent geometry within approximate erasure-correcting codes by introducing small non-local perturbations to exact codes.

• Skewed Codes: They consider "skewed" codes obtained by perturbing an exact stabilizer code isometry $V^{(0)}$ with a small non-local unitary deformation $e^{i\epsilon W}$, resulting in $V^{(\epsilon)} = e^{i\epsilon W} V^{(0)}$.
• Entropy Decomposition: They redefine the Ryu-Takayanagi (RT) decomposition for approximate codes:
  • Matter Entropy ($S_{matter}$): Defined as the entropy of the optimally recoverable bulk state. This is obtained by maximizing the coherent information over all possible recovery channels.
  • Proto-Area Entropy ($S_{PA}$): Defined as the residual geometric contribution: $S_{PA} = S_{boundary} - S_{matter}$. This quantity captures the entanglement that cannot be attributed to recoverable bulk matter.
• Perturbative Analysis: The authors perform a perturbative expansion in $\epsilon$ to analyze how $S_{PA}$ changes with the bulk state. They utilize:
  • Haar Averaging: To study typical behavior over random local unitaries acting on the logical subsystems.
  • Weingarten Calculus: To compute averages of random unitaries in trace diagrams.
  • Stabilizer Rényi Entropy (SRE): Used as a diagnostic measure for "magic" (non-stabilizerness).

3. Key Contributions

A. Entropic Decomposition in AQEC

The paper establishes that in approximate codes, the boundary entropy decomposes into a recoverable matter part and a state-dependent geometric part. Unlike exact codes where the geometric term is fixed, the proto-area entropy becomes a function of the logical state.

B. Monotonicity of Proto-Area

The authors prove that for a broad class of skewed codes, the proto-area entropy increases monotonically with the bulk entropy (or bulk entanglement).

• Mixed Bulk States: When the bulk is entangled with an external reference, $S_{PA}$ increases as the bulk entropy increases.
• Pure Bulk States: When the bulk is a pure state entangled between two wedges, $S_{PA}$ increases with the entanglement between the wedges.
  This behavior mimics the response of Quantum Extremal Surfaces (QES) in holography, where the area of the extremal surface shifts to minimize the generalized entropy in the presence of bulk excitations.

C. Identification of "Non-Local Magic"

The central theoretical insight is the identification of the quantum resource responsible for this state-dependence: Tripartite Non-Local Magic.

• Magic Definition: Magic refers to non-stabilizerness (non-Cliffordness). The authors define a specific measure of tripartite non-local magic in the Choi state of the encoding map.
• Mechanism: They show that the strength of the proto-area response is directly proportional to this non-local magic.
  • In stabilizer codes (zero magic), the proto-area is state-independent.
  • In skewed codes, the non-local perturbation $W$ injects tripartite magic that correlates the logical information with the geometric entanglement resource.
• Locality Constraint: They demonstrate that local or bipartite non-Clifford deformations are insufficient; the magic must be non-local (involving three subsystems) to generate the necessary matter-geometry coupling.

4. Results

1. Theorem 4.1 & 4.2: For mixed bulk states, the correction to the proto-area entropy is non-negative and decreases monotonically with bulk entropy (meaning the proto-area itself increases). This holds for almost all small non-local perturbations.
2. Theorem 4.3: For pure bulk states, the proto-area entropy is typically a monotonically increasing function of bulk entanglement. The probability of violating this monotonicity scales as $O(e^{-d^2})$, making it a generic feature.
3. Theorem 5.1 & 5.2: The authors derive explicit formulas linking the proto-area correction to the Stabilizer Rényi Entropy (SRE) of the code's Choi state.
   • $S_{PA} \propto M_{NL}^\alpha(V^{(\epsilon)})$, where $M_{NL}$ is the perturbative tripartite non-local magic.
   • This quantitatively establishes that non-local magic is the "fuel" for gravitational backreaction in these toy models.
4. Appendix G: The authors provide an explicit calculation in AdS$_3$ gravity with backreaction, showing that the classical RT geodesic length increases monotonically with the bulk matter energy density (and thus entropy), validating the qualitative behavior found in their quantum code models.

5. Significance

• Bridging QECC and Gravity: The paper provides a concrete information-theoretic mechanism for how spacetime geometry can emerge and respond to matter. It resolves the "no-go" limitation of exact codes by moving to the regime of approximate error correction.
• Role of Magic: It elevates "magic" from a resource for quantum computational speedup to a fundamental ingredient for gravitational dynamics. It suggests that the non-Clifford nature of quantum gravity is essential for the state-dependence of geometry.
• Experimental Relevance: Since the proposed effects arise in "skewed" codes generated by non-Clifford circuits, the authors suggest that these phenomena could be probed in near-term quantum devices, offering a pathway to simulate emergent spacetime dynamics.
• Theoretical Framework: The work introduces a robust definition of "proto-area" and "matter entropy" in the absence of exact recovery, providing a new language for discussing emergent gravity in generic quantum systems beyond the strict confines of AdS/CFT.

In summary, the paper argues that gravitational backreaction is an emergent phenomenon arising from approximate quantum error correction, driven specifically by tripartite non-local magic in the encoding map. This establishes a precise link between the non-Clifford resources required for quantum advantage and the dynamical nature of spacetime geometry.