Entanglement entropy and conformal bounds for $d=5$ CFTs

This paper demonstrates that unlike in three dimensions, the universal entanglement entropy term $F(A)$ in five-dimensional conformal field theories is unbounded for general regions and fails to be maximized by free scalars, though a weaker bound on small spherical deformations holds and implies a specific constraint on the ratio of the stress-tensor two-point function coefficient to the sphere partition function.

The Gist

Imagine the universe is made of a giant, invisible fabric called a "Quantum Field." In this fabric, different regions are constantly jiggling and fluctuating, even when they look empty. Physicists call this "entanglement entropy." It's a way of measuring how much information is shared between two neighboring patches of this fabric.

However, there's a catch. When you try to calculate this entropy for a specific shape (like a ball or a strip), the math blows up to infinity. To fix this, physicists use a "ruler" (a regulator) to smooth things out. Once they do that, a mysterious, finite number pops out. Let's call this number F.

This number F is special. It doesn't depend on the size of your ruler; it's a universal fingerprint of the theory describing that patch of the universe.

The Old Rulebook (3 Dimensions)

For a long time, physicists studied this in a 3-dimensional world (like our everyday space, but with time frozen). They discovered a beautiful rule:

• If you take a perfect sphere, F has a specific minimum value.
• If you squish or stretch that sphere into weird shapes, F always goes up.
• It's like a valley: the sphere is the bottom, and any deformation makes you climb the hill.
• Furthermore, they found that no matter what kind of "universe" (theory) you are in, F is always trapped between two limits: a "Free Scalar" (the most energetic, chaotic version) and a "Maxwell" theory (the most orderly).

They thought, "Great! This rule probably holds for all dimensions. Let's check 5 dimensions."

The 5-Dimensional Surprise

This paper is about what happens when the authors tried to apply this rule to 5-dimensional universes. They expected to find the same neat valley and the same safety rails (bounds).

Instead, they found a chaotic landscape.

1. The Valley Disappears
In 3D, the sphere was the absolute bottom of the valley. In 5D, the sphere is still a local bottom (a small dip), but it's not the lowest point in the entire world.

• The Analogy: Imagine a bowl. In 3D, the bottom of the bowl is the lowest point on Earth. In 5D, the bottom of the bowl is just a small dip on a massive, rolling mountain range. If you walk far enough in a specific direction (like stretching the region into a very thin strip), you can fall into a deep hole where F becomes negative. If you go another way (like a sharp cone), F can shoot up to infinity.
• The Result: There is no "floor" and no "ceiling" for F in 5D. It can be any number, positive or negative, depending on the shape of the region you pick. The old rule that "F is always positive" is broken.

2. The Safety Rails Break
Because F can be negative or huge, the old idea that "F is always between Theory A and Theory B" falls apart for general shapes.

• The Analogy: In 3D, it was like saying, "No matter how you drive, your speed is always between 0 and 100 mph." In 5D, they found that for some weird shapes, your speed could be -500 mph or 1,000,000 mph. The speed limit signs are gone.

3. The Glimmer of Hope (The "Small Deformation" Rule)
Just when it seemed like all order was lost, the authors found a tiny, sturdy island of order.

• If you start with a perfect sphere and only make tiny, gentle ripples on its surface (small deformations), the old rules do hold.
• In this specific, limited case, the sphere is still a local minimum, and the ratio of two specific numbers (let's call them C and F) is bounded by the "Free Scalar" theory.
• The Analogy: While you can drive off a cliff if you take a sharp turn (large deformation), if you just wiggle the steering wheel slightly, you stay on the road. The "Free Scalar" theory acts like a speed limit sign, but only for gentle driving.

Why Does This Matter?

The authors checked this "gentle driving" rule against every known 5-dimensional theory they could find (including complex string theory models and holographic universes).

• The Verdict: Every single one of them obeyed the rule.
• The Conclusion: Even though the universe is chaotic and unbounded for wild shapes, there seems to be a fundamental, universal law that keeps things in check for smooth, slightly perturbed shapes. It suggests that deep down, the laws of physics have a hidden structure that prevents total chaos, even in higher dimensions.

Summary in One Sentence

While the "entanglement entropy" of 5-dimensional universes can go wild and unbounded for strange shapes, the authors discovered that if you stick to smooth, slightly wiggly spheres, a strict universal limit still holds, acting as a safety net for the laws of physics.

Technical Summary

1. Problem Statement

The paper investigates the existence of universal bounds on the entanglement entropy (EE) in five-dimensional Conformal Field Theories (CFTs).

• Context: In odd-dimensional CFTs, the EE of a region $A$ contains a universal constant term, denoted $F(A)$ (with a sign factor $(-1)^{(d-1)/2}$). In $d=3$, it is established that $F(A)$ is positive definite and bounded below by the value for a round disk, $F_0$. Furthermore, the ratio $F(A)/F_0$ is conjectured to be bounded above by the free scalar theory and below by the Maxwell theory.
• The Question: Do analogous bounds hold in $d=5$? Specifically:
  1. Is $F(A)$ bounded from above and below for arbitrary regions $A$?
  2. Is the ratio $F(A)/F_0$ bounded by free theories (scalar/fermion) and holographic models?
  3. Does the stress-tensor coefficient $C_T$ satisfy a specific bound relative to $F_0$?

2. Methodology

The authors employ a rigorous definition of $F(A)$ using Mutual Information (MI) as a geometric regulator, avoiding ambiguities associated with UV cutoffs.

• Definition of $F(A)$: They define the regulated entropy via the MI of two slightly deformed regions, $A_+$ and $A_-$, separated by a physical distance $\epsilon$:
  $$S_{\text{reg}}(A, \epsilon) \equiv \frac{1}{2} I(A_+, A_-) = F(A) + \text{divergent terms}(\epsilon)$$
  By expanding $I(A_+, A_-)$ for small $\epsilon$, the universal constant $F(A)$ is isolated.
• The EMI Model: To explore the behavior of $F(A)$ for general regions, the authors utilize the Extensive Mutual Information (EMI) model. This is a toy model where the tripartite information vanishes, allowing for explicit analytical calculations of MI for various geometries (spheres, strips, cylinders) in arbitrary dimensions.
• Perturbative Analysis: For small geometric deformations of a spherical entangling surface ($S^3$), they utilize Mezei's formula, which relates the correction to $F(A)$ to the stress-tensor two-point function coefficient $C_T$.
• Holography and Free Theories: They compare results from free fields (scalars, fermions), the EMI model, and holographic CFTs (dual to Einstein gravity) to test conjectured bounds.

3. Key Contributions and Results

A. Sign and Boundedness of $F(A)$ in $d=5$

• No Global Bounds: Unlike $d=3$, where $F(A) \geq F_0 > 0$, the authors prove that in $d=5$, $F(A)$ is neither upper- nor lower-bounded for general regions.
  • Negative Values: For strip-like regions, $F(A)$ is negative and scales as $-k \cdot \text{Area}/\ell^3$. As the strip becomes thinner, $F(A) \to -\infty$.
  • Positive Values: For certain cylindrical regions (e.g., $\partial A = S^2 \times \mathbb{R}^1$) and conical regions with specific opening angles, $F(A)$ can take arbitrarily large positive values.
  • Zero Crossing: The authors demonstrate that for a union of two disjoint regions, $F(A \cup A_\ell)$ can change sign depending on the separation distance $\ell$, crossing zero and diverging to $-\infty$ as the regions touch.
• Conclusion: The conjecture that $F(A)$ is bounded by free theories for arbitrary regions fails in $d=5$.

B. Bounds for Small Deformations (The $C_T/F_0$ Conjecture)

While global bounds fail, the authors find that the round sphere ($S^3$) remains a local minimum for $F(A)$ under small geometric perturbations. This allows for a "weaker" conjecture restricted to small deformations.

• The Conjecture: For small deformations of the sphere, the ratio of the stress-tensor coefficient to the sphere free energy is bounded by the free scalar result:
  $$\frac{C_T}{F_0} \leq \left. \frac{C_T}{F_0} \right|_{\text{free scalar}} \approx 0.314$$
• Verification: The authors compile and verify this bound for all known families of $d=5$ CFTs:
  • Free Fermions: $\approx 0.167$
  • EMI Model: $\approx 0.150$
  • Holographic (Einstein Gravity): $\approx 0.0936$
  • $O(N)$ Models: Values range up to $\approx 0.285$ (approaching the free scalar limit from below as $N \to \infty$).
  • Gross-Neveu Models: Values range up to $\approx 0.251$.
  • Supersymmetric Theories ($E_n$, $T_N$, $\#_{N,M}$): All computed values fall strictly below the free scalar bound.
• Significance: This suggests that while $F(A)$ is unbounded globally, the specific combination $C_T/F_0$ is universally bounded by the free scalar theory in $d=5$.

C. Higher Dimensions ($d \geq 7$)

• The authors extend their analysis to $d=7$ using the EMI model. They find that $F(A)$ again lacks a definite sign (taking positive, negative, and zero values depending on the geometry).
• They argue that the global bound conjecture (1.6) likely fails for all odd $d \geq 5$.
• However, the perturbative bound on $C_T/F_0$ (Eq. 3.25) appears to hold generally across dimensions, with the free scalar providing the upper bound.

4. Significance

• Refinement of Entanglement Bounds: The paper clarifies the limitations of extending $d=3$ entanglement entropy bounds to higher dimensions. It establishes that the positivity and global minimality of $F(A)$ are special features of $d=3$ (and likely $d=1$) that do not persist in $d=5$.
• New Universal Constraint: It identifies a robust, dimension-independent constraint on the space of CFTs: the ratio $C_T/F_0$ is maximized by the free scalar theory. This provides a new "c-theorem"-like constraint for $d=5$ CFTs, which are notoriously difficult to study due to the lack of Lagrangian descriptions for many interacting fixed points.
• Holographic Consistency: The results confirm that holographic CFTs (dual to Einstein gravity) sit well within the allowed bounds, specifically near the lower end of the $C_T/F_0$ spectrum, consistent with the expectation that holographic theories are "strongly coupled" and have minimal degrees of freedom relative to free theories.
• Methodological Advance: The rigorous use of MI to define $F(A)$ and the explicit calculation of these quantities for various geometries in the EMI model provide a template for analyzing entanglement in higher-dimensional theories where direct EE calculations are intractable.

In summary, the paper demonstrates that while the "shape" of entanglement entropy in $d=5$ is far more chaotic (unbounded) than in $d=3$, the underlying conformal data ($C_T$ and $F_0$) still obeys a strict hierarchy dictated by the free scalar theory.