Effective density matrix for vacua in asymptotically flat gravity

This paper explicitly constructs the effective density matrix and modular Hamiltonian for the vacuum state of a large spherically symmetric causal diamond in four-dimensional asymptotically flat gravity by utilizing the soft effective action to integrate out soft graviton modes, thereby revealing that the variance of the modular Hamiltonian scales with the diamond's area and the inverse square of the UV cutoff.

The Gist

The Big Picture: The "Fuzzy" Edge of Space

Imagine you are standing in the middle of a giant, empty room (which represents our universe, or "asymptotically flat space"). In the middle of this room, you draw a giant, invisible sphere. This sphere is what physicists call a causal diamond. It's a region of space where light and information can travel back and forth.

The authors of this paper are asking a very specific question: What does the "empty" space inside this sphere actually look like if we zoom in on its edges?

In standard physics, we often think of "empty space" (the vacuum) as a perfectly smooth, quiet, and uniform nothingness. But this paper argues that if you look closely at the boundary of this sphere, the vacuum is actually fuzzy, noisy, and full of hidden fluctuations.

The Cast of Characters

To understand their discovery, we need to meet three key characters:

1. The Soft Gravitons (The Whispering Wind):
   Gravity usually involves massive objects like stars. But there are also "soft" gravitational waves—extremely low-energy ripples that are so gentle they are almost undetectable. Think of these as a constant, barely-there whisper of wind blowing across the universe. They are always there, even in "empty" space.

2. The Goldstone Mode (The Stretchy Fabric):
   Because of a symmetry in the laws of physics (called supertranslation), the universe has a "Goldstone mode." Imagine the fabric of space-time is like a giant, stretchy rubber sheet. Even if you don't pull on it, the sheet has a natural tendency to ripple or shift slightly. This "Goldstone mode" is the mathematical description of those ripples on the edge of our sphere.

3. The Density Matrix (The Blurry Photograph):
   In quantum mechanics, when you can't see everything inside a system, you describe it with a "density matrix." Think of this as a photograph. If you take a photo of a fast-moving car, it comes out blurry. The "density matrix" is that blurry photo of the vacuum state. It tells us the probabilities of what the edge of the sphere is doing, rather than a single, sharp fact.

The Main Discovery: The "Fuzzy" Vacuum

The authors built a mathematical tool called the Soft Effective Action. You can think of this as a recipe book that tells us how the "whispering wind" (soft gravitons) and the "stretchy fabric" (Goldstone mode) interact at the edge of our sphere.

Here is what they found:

1. The Vacuum isn't Empty: When they calculated the "blurry photograph" (the density matrix) of the vacuum, they found it wasn't a single, static image. Instead, it was a Gaussian distribution.

   • Analogy: Imagine a dartboard. If the vacuum were a perfect, boring nothingness, all the darts would land in the exact center. But the authors found that the darts are scattered in a bell-curve pattern around the center. The vacuum is constantly fluctuating, jittering slightly around a central point.

2. The "Edge" is Real: They showed that these fluctuations happen specifically on the edge (the surface area $A$) of the sphere. The interior of the sphere is less important here; the action is all happening on the boundary, like the skin of an apple.

3. The Area Law: They calculated how much these fluctuations vary (the "variance"). They found a beautiful, simple rule:

   • The amount of "jitter" or fluctuation is directly proportional to the Area of the sphere's surface.
   • Analogy: If you double the size of the sphere's surface, the amount of quantum "noise" or fluctuation on that surface also doubles. It's like saying the amount of static on a TV screen depends entirely on how big the screen is.

The "Modular Hamiltonian" (The Energy of the Blur)

The paper also calculates something called the Modular Hamiltonian.

• Analogy: Imagine you have a blurry photo (the density matrix). The Modular Hamiltonian is like a "cost function" that tells you how much energy it takes to create that specific blur.
• The authors found that the average cost and the fluctuation of this cost are both tied to the area of the sphere.
• They discovered that the fluctuations follow a "root-N" rule. If you imagine the vacuum as being made of tiny building blocks (qudits), the fluctuations grow like the square root of the number of blocks. This is a classic statistical rule, similar to how the noise in a crowd grows as the crowd gets larger, but not quite linearly.

The "Infinite" Problem and the Fix

There is one tricky part. The math initially suggested that the energy of these fluctuations was infinite (a "divergence").

• Analogy: It's like trying to measure the volume of a room that has no ceiling; the number goes to infinity.
• The authors explain this happens because they are looking at "zero energy" ripples. In the real world, nothing is truly at zero energy; there is always a tiny bit of energy.
• They suggest that if you add a tiny bit of energy (like a small potential, similar to a spring), the infinity disappears, and the math works perfectly. They compare this to a particle on a line (infinite) versus a particle on a ring (finite). The ring fixes the math.

Summary of the Claim

The paper claims that:

1. We can mathematically construct a "density matrix" (a probability map) for the vacuum of a large region of space.
2. This map is not a single, boring state. It is a Gaussian distribution of ripples (Goldstone modes) on the surface.
3. The fluctuations (the "jitter") of this vacuum state are directly proportional to the surface area of the region.
4. This confirms that the "edge" of space is where the quantum magic happens, and these fluctuations are a fundamental property of gravity, surviving even when we account for complex quantum corrections.

In short: Empty space isn't empty; it's a shimmering, fluctuating surface, and the amount of shimmer is determined by how big the surface is.

Technical Summary

Technical Summary: Effective Density Matrix for Vacua in Asymptotically Flat Gravity

Problem Statement
The description of subregions of spacetime in quantum gravity, particularly in the presence of horizons, requires accounting for "edge" modes—degrees of freedom that propagate on the boundary. In asymptotically flat gravity, these edge modes are associated with soft (low-energy) graviton modes and Goldstone modes arising from the spontaneous breaking of supertranslation symmetry. While the entanglement entropy of such regions has been established to obey an area law, the fluctuations of the modular Hamiltonian (the operator generating the modular flow) remain less understood. Specifically, there is a need to explicitly construct the density matrix $\hat{\rho}_s$ for the vacuum state of a large causal diamond in four-dimensional asymptotically flat gravity and to compute the mean and variance of the associated soft modular Hamiltonian $\hat{K}_s \equiv -\ln \hat{\rho}_s$. Previous results suggesting a specific scaling for these fluctuations relied on semiclassical analyses or thermodynamic arguments that did not explicitly incorporate the soft effective action or loop corrections.

Methodology
The authors utilize the Soft Effective Action (SEA), introduced in prior work [26], which characterizes the low-energy gravitational degrees of freedom in the long-distance limit of the Einstein–Hilbert action. The SEA describes the dynamics of the leading soft graviton mode $N$ and the Goldstone mode $C$ associated with spontaneously broken supertranslation symmetry.

The methodology proceeds through the following steps:

1. Formulation of the SEA: The authors start with the SEA for four-dimensional asymptotically flat spacetimes, expressed in Bondi-Sachs coordinates. The action includes the soft graviton mode $N_{zz}$ and the Goldstone mode $C_{zz}$ (related to the supertranslation field $C$).
2. Integration of Soft Gravitons: By treating the causal diamond as an open quantum system, the authors integrate out the soft graviton mode $N$ to obtain an effective action $S_{\text{eff}}[C]$ purely for the Goldstone mode. This is achieved by solving the equation of motion for $N$ and substituting it back into the action.
3. Construction of the Density Matrix: The vacuum density matrix $\hat{\rho}_s$ is constructed such that expectation values of operators in the soft Hilbert space $\mathcal{H}_s$ correspond to path integrals weighted by $e^{-S_{\text{eff}}[C]}$. The modular Hamiltonian is identified as $\hat{K}_s = S_{\text{eff}}[\hat{C}] + \ln \langle C | C \rangle$, where the second term accounts for the non-normalizability of the $\hat{C}$ eigenstates.
4. Regularization and Calculation: To compute the mean $\langle \hat{K}_s \rangle$ and variance $\langle \Delta \hat{K}_s^2 \rangle$, the authors expand the field $C$ in spherical harmonics on the celestial sphere $S^2$. They introduce a UV cutoff $\epsilon$ (related to a maximum angular momentum $\ell_{\text{max}}$) to regulate the path integral. The measure for the path integral is explicitly constructed in the Supplementary Materials to ensure proper normalization and gauge invariance, accounting for the $R^4$ gauge symmetry of the supertranslations.

Key Contributions and Results

• Explicit Density Matrix Construction: The paper explicitly constructs the density matrix $\hat{\rho}_s$ for the vacuum state of a large causal diamond. The resulting density matrix implies a Gaussian distribution for the soft Goldstone mode $\hat{C}$, contrasting with the trivial vacuum structure often assumed in perturbative quantum field theory.
• Modular Hamiltonian Statistics: The authors compute the mean and variance of the soft modular Hamiltonian $\hat{K}_s$.
  • The variance is found to be $\langle \Delta \hat{K}_s^2 \rangle = \frac{1}{2} \left( \frac{A}{\epsilon^2} - 4 \right)$, where $A$ is the area of the causal diamond and $\epsilon$ is the UV cutoff. In the regime $A/\epsilon^2 \gg 1$, this simplifies to $\langle \Delta \hat{K}_s^2 \rangle \approx A/\epsilon^2$.
  • The mean is found to be $\langle \hat{K}_s \rangle = \frac{1}{2} \left( \frac{A}{\epsilon^2} - 4 \right) + \ln \langle C | C \rangle$.
• Verification of Area Law Scaling: The result confirms that the variance of the modular Hamiltonian scales linearly with the area $A$ of the causal diamond, consistent with the relation $\langle \Delta \hat{K}_s^2 \rangle \approx \langle \hat{K}_s \rangle$ (ignoring the logarithmic term). This verifies previous conjectures [5, 14, 31, 42–44] that modular fluctuations satisfy an area law.
• Role of Loop Corrections: Unlike previous semiclassical derivations, this result is derived directly from the soft effective action, which incorporates the infrared divergent structure of the theory. The authors demonstrate that the area-law scaling survives loop corrections, as the result is derived from the exact structure of the soft density matrix.
• Logarithmic Divergence: The paper identifies a logarithmic divergence in the mean $\langle \hat{K}_s \rangle$ arising from the non-normalizability of the $\hat{C}$ eigenstates (due to the non-compactness of the conjugate momentum $\hat{N}$). The authors argue this is a physical feature of the zero-energy limit of the soft modes and discuss potential regularization schemes (e.g., compactification or introducing a small potential) that would render the eigenstates normalizable, though a precise implementation is left for future work.

Significance
The paper claims that by utilizing the Soft Effective Action, it successfully constructs a density matrix that reproduces the leading soft theorem and the infrared factorization of scattering amplitudes. This construction provides a concrete framework for understanding the entanglement structure of the vacuum in asymptotically flat gravity. The explicit calculation of the modular Hamiltonian variance demonstrates that the "root-N" statistics (where $N \sim A$) of vacuum fluctuations are a robust feature of the theory, surviving quantum corrections. Furthermore, the work clarifies that the non-trivial entanglement in the vacuum, driven by the soft Goldstone modes, is responsible for the area-law scaling of modular fluctuations, a phenomenon difficult to capture with traditional field theory techniques that assume a unique vacuum. The authors note that the scaling of these fluctuations is sensitive to both the IR scale (controlled by $A$) and the UV scale (controlled by $\epsilon$), and that the modular fluctuations scale as the four-point function of the Goldstone mode, linking them to length fluctuations in perturbative quantum gravity.