Modular Witten Diagrams and Quantum Extremality

This paper establishes a precise holographic correspondence for ball-shaped entanglement entropy in excited states by explicitly calculating $O(\lambda^2)$ CFT corrections via modular-flowed Witten diagrams and demonstrating their exact match with the quantum extremal surface formula, including backreaction-induced shape deformations of the entanglement wedge.

The Gist

The Big Picture: A Cosmic Puzzle

Imagine the universe is a giant hologram. There is a 3D "bulk" reality (like a video game world) and a 2D "boundary" reality (like the screen displaying the game). Physicists have a famous rule called the Ryu-Takayanagi (RT) formula that says: The amount of "entanglement" (quantum connection) between two parts of the screen is equal to the area of a specific surface floating inside the 3D world.

For a long time, this rule worked perfectly when the universe was calm and empty. But what happens when you shake things up? What if you add energy or change the rules of the game? The surface inside the 3D world doesn't just stay still; it warps, bends, and shifts shape.

This paper is about figuring out exactly how that surface shifts when you add a little bit of "quantum stuff" to the mix, and proving that the math on the 2D screen matches the math in the 3D world perfectly.

---

The Characters and the Setup

1. The "Ball" on the Screen (The CFT)
Imagine you have a ball drawn on a 2D screen. This ball represents a specific region of space. In the quantum world, everything inside the ball is connected to everything outside it. This connection is called Entanglement Entropy.

2. The "Double-Trace" Switch
The authors decide to turn on a "switch" in the quantum system. They add a specific type of energy source (a "double-trace operator") with a small amplitude, which we'll call $\lambda$.

• Analogy: Imagine you are gently tapping a drum. You aren't smashing it; you are just giving it a tiny, rhythmic tap. This tap changes the vibration of the drum slightly.

3. The "Quantum Extremal Surface" (The Shifting Horizon)
Inside the 3D holographic world, there is a special surface (like a soap bubble) that defines the boundary of the ball's influence.

• The Old Rule: In a calm universe, this bubble is a perfect sphere.
• The New Reality: When you tap the drum (turn on the source $\lambda$), the bubble doesn't just stay put. Because the energy of the tap creates gravity, the bubble gets pushed and pulled. It changes shape.
• The Goal: The paper wants to calculate exactly how much the bubble moves and prove that the movement matches the "tap" on the screen.

---

The Two Sides of the Story

The authors solve this puzzle by looking at it from two different angles and showing they tell the same story.

Side A: The Gravity Side (The 3D World)

On the gravity side, they use a tool called the Quantum Extremal Surface (QES) formula.

• The Problem: The bubble moves because of two things:
  1. Back-reaction: The energy tap creates gravity, which physically pushes the bubble.
  2. Quantum Entanglement: The particles inside the bubble get entangled with particles outside, which also pushes the bubble.
• The Calculation: They calculate the "displacement profile"—essentially, a map showing exactly how far the bubble moves at every point. They find that the bubble moves to a new spot where the total "cost" (area + quantum entropy) is minimized.

Side B: The Quantum Field Side (The 2D Screen)

On the screen side, they calculate the entanglement entropy directly using quantum mechanics.

• The Problem: Calculating how a quantum system changes when you tap it is hard. Usually, you just add up simple interactions. But here, the "tap" changes the flow of time inside the system (called Modular Flow).
• The Innovation: To handle this, the authors invented a new way to draw diagrams.
  • Standard Diagrams (Witten Diagrams): These are like blueprints for how particles interact in the 3D world.
  • Modular Witten Diagrams: These are the authors' new invention. They are blueprints for interactions where time is flowing in a weird, twisted way (modular flow).
  • Analogy: Imagine standard blueprints show a house being built in a straight line. Modular Witten Diagrams are blueprints for a house being built while the construction crew is spinning in a circle. The authors figured out the rules for drawing these spinning blueprints.

---

The "Aha!" Moment: Connecting the Dots

The paper's biggest achievement is connecting Side A and Side B.

1. The Calculation: They used their new "Modular Witten Diagrams" to calculate the entanglement entropy on the 2D screen.
2. The Result: When they did the math, they found a specific term in the equation that looked exactly like the "shape change" of the bubble they calculated on the gravity side.
3. The Verification: They proved that the "push" the bubble feels in the 3D world (due to gravity and quantum effects) is exactly the same as the "push" calculated from the quantum taps on the 2D screen.

The Metaphor:
Imagine you are watching a shadow puppet show (the 2D screen). You see the shadow of a hand move.

• Gravity Side: You calculate how the hand (the 3D object) must move to cast that shadow, considering the light source and the puppet's weight.
• Screen Side: You calculate the movement of the shadow directly by looking at the light patterns.
• The Paper: The authors proved that if you use their new "Modular Witten Diagrams" to calculate the light patterns, you get the exact same answer as calculating the hand's movement. This confirms that the "Quantum Extremal Surface" formula is correct, even when things get messy and quantum.

Why Does This Matter?

1. It's a Reality Check: It confirms that our understanding of how gravity and quantum mechanics fit together (Holography) is robust, even when we add complex quantum effects.
2. New Tools: They created "Modular Witten Diagrams." Think of this as inventing a new type of calculator or a new language. Physicists can now use these tools to study more complex quantum gravity problems that were previously too hard to solve.
3. Understanding the "Shape" of Space: It helps us understand that space isn't a rigid stage; it's a flexible fabric that bends and shifts based on how quantum information is connected.

Summary in One Sentence

The authors invented a new mathematical tool (Modular Witten diagrams) to calculate how quantum connections shift when energy is added, proving that these shifts perfectly match the way gravity bends space in a holographic universe.

Technical Summary

1. Problem Statement

The paper addresses the fundamental challenge of deriving the Quantum Ryu-Takayanagi (QRT) formula from a Lorentzian Hilbert space perspective within the AdS/CFT correspondence.

• The QRT Formula: States that the entanglement entropy $S_R$ of a boundary subregion $R$ is given by the extremization of the generalized entropy:
  $$S_R = \text{ext}_X \left[ \frac{A(X)}{4G_N} + S_{\text{bulk}}(X) \right]$$
  where $X$ is a quantum extremal surface (QES) and $S_{\text{bulk}}$ is the bulk entanglement entropy across $X$.
• The Gap: While the classical RT formula (ignoring $S_{\text{bulk}}$) has been derived via Euclidean path integrals (Lewkowycz-Maldacena) and linearized perturbations (First Law of Entanglement), the emergence of the quantum extremality condition (specifically the deformation of the surface $X$ due to bulk matter backreaction) at second order in perturbation theory has been less understood from a direct CFT calculation.
• Specific Goal: The authors aim to compute the entanglement entropy of excited states in a holographic CFT to second order in a source amplitude ($\mathcal{O}(\lambda^2)$) and demonstrate that it reproduces the QRT formula, including the specific shape deformation of the entanglement wedge caused by quantum extremality.

2. Methodology

The authors employ a dual approach, comparing a bulk gravitational calculation with a boundary CFT calculation using Modular Witten diagrams.

A. Setup

• CFT Side: Consider a family of states $|\Psi(\lambda)\rangle$ prepared by a Euclidean path integral with a source $\lambda$ turned on for a double-trace operator $\mathcal{O}^{(2)} = :\mathcal{O}\mathcal{O}:$. The source has $\mathcal{O}(1)$ amplitude.
• Bulk Side: This corresponds to a semi-classical gravity setup where the double-trace deformation creates an $\mathcal{O}(1)$ stress tensor in the bulk, causing backreaction on the metric ($\mathcal{O}(G_N)$) and modifying the bulk matter state.
• Region: The subregion $R$ is a ball-shaped region (or half-space) in the vacuum, where the modular flow is geometric (generated by a boost).

B. Bulk Calculation (Gravity)

1. Displacement Profile: The authors derive the equation for the displacement of the QES, $v^\pm$, under the state deformation. They utilize the Covariant Phase Space formalism generalized to semi-classical gravity.
2. Hollands-Wald Gauge: They work in a specific gauge where the coordinate location of the QES remains fixed to leading order, isolating the physical displacement.
3. Result: They derive an explicit formula for the displacement profile $v_+$ in terms of the expectation value of the bulk stress tensor and the graviton field, involving an infimum over Connes cocycle flows (modular flows in the complementary wedge).
   $$v_+(y) = -\frac{1}{2} \inf_s \int_{-\infty}^0 dx^+ \Delta \langle \psi_s | \hat{h}_{++} | \psi_s \rangle$$
   This shows that the true QES is located where the time-delay of null rays is minimized by "diluting" matter excitations in the complementary wedge via modular flow.

C. Boundary Calculation (CFT)

1. Relative Entropy: Instead of calculating entropy directly, they compute the relative entropy $S_{\text{rel}}(\rho_\lambda || \rho_0)$ to $\mathcal{O}(\lambda^2)$.
2. Modular Flow: The calculation involves modular-flowed correlation functions of double-trace operators. The modular flow is implemented via the Connes cocycle.
3. Modular Witten Diagrams: To evaluate these correlators in the bulk, the authors introduce Modular Witten diagrams.
   • They treat the modular flow as a thermal Schwinger-Keldysh (SK) contour in the bulk.
   • They establish Feynman rules for these diagrams, distinguishing between Euclidean vertices (Wightman propagators) and Lorentzian vertices (Causal/Retarded propagators).
   • They justify these rules via analytic continuation from Euclidean replica correlators (replica trick with $n \to 1$ and $k \to is$).

3. Key Contributions

1. Derivation of Modular Witten Diagrams:
   The paper systematically develops the rules for computing modular-flowed correlation functions using bulk Witten diagrams. This involves a novel contour ordering prescription where the modular flow parameter $s$ acts as a time coordinate on a "time-fold" geometry, effectively treating the modular flow as a thermal state in the bulk.

2. Explicit Calculation of $\mathcal{O}(\lambda^2)$ Entanglement Entropy:
   The authors explicitly calculate the second-order correction to the relative entropy in the CFT. They focus on the s-channel graviton exchange diagram, which is the leading contribution involving bulk gravity.

3. Reproduction of the Quantum Extremality Formula:
   By evaluating the modular Witten diagram, they show that the boundary relative entropy decomposes into:

   • A Symplectic Flux term: $\Omega_{\text{grav}}(\langle h \rangle, \mathcal{L}_\xi \langle h \rangle)$, which matches the canonical energy in the bulk.
   • Boundary Terms: Arising from the vertical contours at infinity in the complex $s$-plane. These terms are shown to be localized exactly on the QES.

4. Matching the Displacement Profile:
   Crucially, the boundary terms derived from the CFT calculation are shown to be exactly equivalent to the Lie derivative of the metric along the displacement vector field $V$ (which is identified with the QES displacement profile $v$).
   $$\text{Boundary Term} \propto \int_X \chi_{[\xi, V]} \implies V = v$$
   This proves that the CFT calculation naturally "knows" about the shift in the extremal surface required by the quantum extremality condition.

4. Key Results

• Equation (2.24): The displacement profile of the QES at linear order in state deformation is given by the integral of the metric perturbation along the null horizon:
  $$v_+(y) = \frac{1}{2} \int_0^\infty dx^+ \delta g_{++}(x^+, 0, y)$$
• Equation (4.66) & (4.73): The CFT relative entropy calculation yields a term that matches the gravitational symplectic flux plus a boundary term. The boundary term forces the identification of the gauge transformation vector $V$ with the physical displacement $v$ of the QES.
• Geometric Interpretation: The minimization of the time delay (via the infimum over the Connes cocycle parameter $s$) physically corresponds to the "dilution" of matter excitations in the complementary wedge, pushing the QES to its true quantum extremal location.

5. Significance

• Hilbert Space Derivation: This work provides a significant step toward a Lorentzian, Hilbert-space derivation of the QRT formula. It demonstrates that the extremization over surfaces is not an ad-hoc prescription but emerges naturally from the structure of modular flow and relative entropy in the CFT.
• Role of Gravitons: It clarifies the role of gravitons in the quantum RT formula. The shape deformation of the entanglement wedge is driven by the exchange of gravitons (stress tensor correlations) in the bulk, captured by the specific modular Witten diagrams.
• Tool Development: The development of Modular Witten diagrams provides a powerful new tool for studying quantum gravity corrections to holographic entanglement. It bridges the gap between Euclidean replica methods and Lorentzian SK formalism, allowing for the calculation of non-trivial quantum corrections in semi-classical gravity.
• Validation of QES: The paper confirms that the "Quantum Extremal Surface" is the correct geometric object to extremize, as the boundary CFT calculation (which knows nothing about the bulk geometry a priori) reproduces the bulk extremality condition exactly.

In summary, the paper successfully connects the abstract algebraic structure of modular flow in the CFT to the geometric deformation of the entanglement wedge in the bulk, providing a robust microscopic justification for the Quantum Ryu-Takayanagi formula.