Precision tests of bulk entanglement: $AdS_3$ vectors

This paper demonstrates that the holographic entanglement entropy of massive Chern-Simons fields in $AdS_3$, calculated via the Faulkner-Lewkowycz-Maldacena formula with vanishing edge mode contributions, precisely matches the single-interval entanglement entropy of the dual primary operator and its descendants in large-charge CFTs, thereby resolving a discrepancy with earlier massless limit calculations.

The Gist

The Big Picture: The Holographic Pizza

Imagine the universe is like a hologram. In this specific theory (AdS/CFT), our 3D universe (the "bulk") is actually a projection of information living on a 2D surface (the "boundary"), much like a 3D image projected from a 2D credit card.

Physicists have a famous rule called the Ryu-Takayanagi (RT) formula. It says that if you want to know how "entangled" (connected) two parts of the 2D boundary are, you just need to measure the surface area of a minimal shape (like a soap film) stretching into the 3D bulk.

• The Problem: The original formula is classical. It's like measuring a pizza's crust. But the universe is quantum. At a deeper level, there are tiny quantum fluctuations (particles) in the bulk that should also contribute to the "entanglement" (the connection) between the two parts.
• The Solution: A new formula (FLM) was proposed. It says:

  Total Entanglement = Area of the Soap Film + Entanglement of the Quantum Stuff inside.

This paper is a precision test. The authors wanted to prove that this "Area + Quantum Stuff" formula actually works by calculating both sides of the equation for a specific type of particle and seeing if they match perfectly.

---

The Characters: The "Massive" Vector

To test this, they needed a specific character to play the role of the "quantum stuff."

1. The Actor: A Massive Vector Field.

   • Analogy: Imagine a standard electromagnetic field (like light) is a massless photon. It's weightless and flies everywhere.
   • The Twist: The authors gave this field mass. Think of it like giving the photon a heavy backpack. Because it has mass, it behaves differently; it doesn't act like a "topological" trick (where things cancel out perfectly) but acts like a real, physical particle that pushes against the fabric of space.
   • Why? If they used a massless field, the math is too tricky and relies on "edge modes" (special boundary effects). By adding mass, they can use standard, robust physics to calculate the result, and then check if it still works when they take the mass away.

2. The Setting: AdS3.

   • Analogy: Imagine a hyperbolic saddle shape that curves inward everywhere. It's a specific type of 3D space where gravity works in a very specific, predictable way.

---

The Experiment: Two Ways to Count the Same Thing

The authors performed a "double-check" experiment. They calculated the entanglement entropy (the measure of connection) in two completely different ways and compared the results.

Method 1: The Boundary View (The CFT)

They looked at the 2D boundary (the "hologram"). They knew exactly what kind of particle was there (a primary operator and its "descendants," which are like excited states of that particle). Using standard quantum field theory rules, they calculated the entanglement entropy.

• Result: They got a precise mathematical formula with a "leading term" (the big chunk) and "sub-leading terms" (tiny corrections).

Method 2: The Bulk View (The FLM Formula)

They looked at the 3D interior. They had to calculate two things:

1. The Area Shift: The particle has mass, so it has energy. Energy bends space (gravity). They calculated how much the "soap film" (the minimal surface) warped because of this particle.
2. The Bulk Entanglement: They calculated the quantum entanglement of the particle itself as it sits in the bulk. This was the hard part. They had to map the particle from the global 3D space to a "Rindler" space (a specific coordinate system that looks like a black hole horizon) to do the math.

---

The "Aha!" Moment: Perfect Harmony

When they added the Area Shift and the Bulk Entanglement together, they got a result.

The Result: The number they got from the 3D Bulk View matched the number from the 2D Boundary View exactly, down to the tiniest decimal places.

• The Analogy: Imagine you have a bank account.
  • Method 1: You check your bank statement (the boundary) and see a balance of $100.50.
  • Method 2: You go to the vault (the bulk), count the physical cash (Area), count the digital transactions (Bulk Entanglement), and add them up.
  • The Test: If the vault math equals the bank statement, the system is consistent. In this paper, the vault math matched the bank statement perfectly.

The Surprise: The "Edge Modes" Vanish

There was a nagging doubt in physics. In some theories (like topological Chern-Simons theory), the entanglement comes entirely from "edge modes"—special states that live right on the surface of the cut (the soap film).

• The Fear: Some physicists thought, "Maybe the bulk entanglement is zero, and the whole effect comes from the edge."
• The Discovery: The authors calculated the contribution of these edge modes for their massive field. They found that the edge modes contribute exactly zero to the entanglement entropy (once you subtract the vacuum).
• Why it matters: This proves that the entanglement really does come from the bulk quantum fields, not just the edge. It validates the core idea of the FLM formula: the "quantum stuff" inside the space is what matters.

The Massless Limit: The Final Boss

Finally, they did the ultimate test. They took their massive field and slowly turned the mass down to zero (making it a massless vector, like a photon).

• The Expectation: Since the math changes when mass is zero, they worried the perfect match might break.
• The Result: Even with mass zero, the result matched the known answer for a U(1) current (a type of electric current) in the boundary theory.
• The Twist: This is surprising because previous calculations for massless fields relied entirely on edge modes. The authors showed that by starting with a massive field (where edge modes don't matter) and smoothly turning off the mass, they arrive at the same answer. It suggests a deep, hidden connection between the "bulk" view and the "edge" view that we are just beginning to understand.

Summary

This paper is a stress test for our understanding of how space and quantum mechanics are connected.

1. They took a specific particle (a massive vector).
2. They calculated its effect on entanglement from the "inside" (gravity + quantum fields) and the "outside" (quantum field theory).
3. The two calculations matched perfectly.
4. They proved that the "edge" of the space doesn't do the heavy lifting; the "bulk" does.
5. They showed that even when the particle becomes massless, the theory holds up, bridging the gap between different ways of doing physics.

It's a victory for the idea that spacetime is built from quantum entanglement. The math works, the pieces fit, and the hologram is real.

Technical Summary

1. Problem Statement

The paper addresses the verification of the Faulkner-Lewkowycz-Maldacena (FLM) formula for holographic entanglement entropy in the context of massive vector fields in $AdS_3$.

The FLM formula posits that the entanglement entropy $S_{EE}(A)$ of a boundary subregion $A$ is given by:
$$S_{EE}(A) = \frac{\text{Area}(\gamma_A)}{4G_N} + S_{EE}^{\text{bulk}}(\Sigma_A)$$
where the first term is the classical Ryu-Takayanagi (RT) area term and the second is the bulk entanglement entropy of quantum fields across the RT surface $\gamma_A$.

While this formula has been tested for scalar fields and in higher dimensions ($d>3$) for vectors and gravitons, the case of vectors in $AdS_3$ presents unique challenges:

• Topological Nature: Pure Chern-Simons theory in 3D is topological and does not couple to the metric, meaning the area term vanishes. Previous tests for massless vectors relied entirely on edge modes on the RT surface.
• Massive Extension: The authors aim to study massive Chern-Simons fields, which break the topological nature and gauge symmetry, allowing for a non-trivial back-reaction on the geometry (area term) and a bulk entanglement calculation that mimics the methods used for scalars.
• Edge Mode Contribution: A critical open question is whether edge modes (arising from the non-factorization of the Hilbert space) contribute to the entanglement entropy in the massive case, and how the result behaves in the massless limit ($M \to 0$).

2. Methodology

The authors employ a rigorous perturbative approach combining bulk gravity calculations with boundary Conformal Field Theory (CFT) results.

A. Bulk Side (Gravity/AdS$_3$)

1. Quantization of Massive Chern-Simons:

   • The action is $S = -\int d^3x \sqrt{-g} (\epsilon^{\mu\nu\rho} A_\mu \partial_\nu A_\rho + M A_\mu A^\mu)$.
   • Since the theory is a constrained system, the authors use Dirac quantization to handle the primary and secondary constraints, deriving the Dirac brackets for the independent phase space variables ($A_r, A_\phi$).
   • They solve the linearized equations of motion in global $AdS_3$ and Rindler BTZ geometries, expressing solutions in terms of hypergeometric functions (and Jacobi polynomials).
   • They establish the dictionary between bulk single-particle states $|\psi_{m,n}\rangle = a^\dagger_{m,n}|0\rangle$ and CFT states (primaries and descendants).

2. Back-Reaction and Area Correction:

   • They calculate the expectation value of the stress-energy tensor $\langle T_{\mu\nu} \rangle$ for single-particle excited states.
   • Solving Einstein's equations perturbatively in $G_N$, they determine the back-reacted metric.
   • They compute the shift in the minimal geodesic length (the RT area term) due to this deformation.

3. Bulk Entanglement Entropy ($S_{EE}^{\text{bulk}}$):

   • They map the global $AdS_3$ vacuum to a Thermo-Field Double (TFD) state in Rindler BTZ coordinates.
   • They compute Bogoliubov coefficients relating the creation/annihilation operators in global $AdS_3$ to those in Rindler BTZ.
   • Using these coefficients, they evaluate the Von Neumann entropy of the reduced density matrix for the bulk fields, expanding in the short-interval limit ($x \ll 1$).

4. Edge Mode Analysis:

   • Special attention is paid to the $\omega=0$ sector (zero modes) near the horizon, which corresponds to edge modes.
   • They construct the edge states and the modular Hamiltonian to determine if these modes contribute to the vacuum-subtracted entanglement entropy.

B. Boundary Side (CFT)

• The authors utilize known results for the entanglement entropy of excited states in a large-$c$ CFT.
• They consider a primary operator of dimension $\Delta = M+1$ and spin $s=1$, along with its global descendants generated by $L_{-1}$.
• They calculate the single-interval entanglement entropy using the replica trick and the short-interval expansion, keeping terms up to order $x^{4(M+1)}$.

3. Key Contributions and Results

1. Exact Agreement with FLM Formula

The primary result is the precise agreement between the bulk calculation (FLM formula) and the boundary CFT calculation for the entanglement entropy of single-particle vector excitations.

• Leading Order: The sum of the corrected minimal area term and the leading bulk entanglement term reproduces the CFT result:
  $$S(A) = 2(M+1)(1 - \pi x \cot \pi x) + \dots$$
• Sub-leading Order: The sub-leading non-analytic term (order $x^{4(M+1)}$) in the bulk calculation, which arises from the interplay between the area shift and the second-order bulk entanglement, exactly cancels the discrepancy that would exist if only the area term were considered. This reproduces the specific coefficient found in the CFT:
  $$-\frac{\Gamma(3/2)\Gamma(2M+3)}{\Gamma(2M+7/2)} (\pi x)^{4(M+1)}$$
• This agreement holds for both the primary state ($|\psi_{1,0}\rangle$) and the tower of holomorphic descendants ($|\psi_{m,0}\rangle$).

2. Vanishing Edge Mode Contribution

A crucial technical finding is that the contribution of edge modes to the vacuum-subtracted entanglement entropy vanishes in the limit where the "brick wall" cutoff $\epsilon \to 0$.

• The authors show that the modular Hamiltonian for the edge modes is suppressed by a factor of $|\log(2\epsilon)|^{-1}$.
• Consequently, the probability distribution of superselection sectors becomes trivial in the limit, and the edge modes do not contribute to the entanglement entropy.
• This is significant because it contrasts with the massless limit where edge modes were previously thought to be the sole source of entanglement in topological theories.

3. Massless Limit Consistency

• Taking the limit $M \to 0$, the authors recover the entanglement entropy of a $U(1)$ current in the large-$c$ CFT.
• The result matches the exact expression derived in previous literature (e.g., [22]) using topological methods.
• Surprising Insight: In the massless limit, the entanglement is traditionally attributed entirely to edge degrees of freedom on the RT surface. However, the authors' calculation shows that for $M > 0$, the entanglement arises from bulk modes, and the edge contribution vanishes. The fact that the $M \to 0$ limit of the bulk-mode calculation coincides with the edge-mode calculation of the topological theory suggests a deep duality between bulk and boundary descriptions in the topological limit.

4. Significance

• Validation of FLM for Vectors in 3D: This work extends the precision tests of holographic entanglement entropy to vector fields in $AdS_3$, a case previously unexplored due to the topological nature of Chern-Simons theory.
• Resolution of Edge Mode Ambiguity: It clarifies the role of edge modes in massive theories, demonstrating that they do not contribute to the entanglement entropy in the vacuum-subtracted limit, thereby ensuring the consistency of the FLM formula without relying on edge degrees of freedom.
• Bridge Between Topological and Non-Topological Regimes: The paper provides a continuous path from massive (non-topological) to massless (topological) theories, showing how the mechanism of entanglement generation shifts from bulk modes to edge modes as the mass vanishes, yet the final physical observable remains consistent.
• Methodological Framework: The techniques developed (Dirac quantization of massive vectors, Bogoliubov transformations in Rindler BTZ, and handling of edge modes) provide a template for studying higher-spin fields and gravitons in $AdS_3$, which are also topological in the massless limit.

In summary, the paper successfully demonstrates that the FLM formula holds with high precision for massive vector fields in $AdS_3$, resolving the contributions of bulk and edge modes and confirming the robustness of holographic entanglement entropy calculations across different field types and mass limits.