Positivity bounds from thermal field theory entropy

This paper derives positivity bounds on effective field theories by demonstrating that the requirement for entropy to increase with new degrees of freedom in thermal systems necessitates a strictly positive coefficient for the leading dimension-8 operator, offering a thermodynamic alternative to traditional S-matrix-based methods.

The Gist

Imagine you are a detective trying to figure out the rules of a hidden city (the "high-energy" world) just by looking at the footprints left behind in the mud (the "low-energy" world).

In physics, we often don't know the full story of how the universe works at its smallest, most energetic levels. So, we use a tool called Effective Field Theory (EFT). Think of EFT as a "blurry map." It describes how things behave at low energies (like the temperature of a cup of coffee) without needing to know the details of the super-hot, super-small particles that might exist deep inside.

Usually, this blurry map has some "free parameters"—numbers we can adjust however we like. But physicists have long suspected that these numbers can't be just anything. If the underlying city is built on solid, logical rules (like cause-and-effect and the conservation of probability), then the blurry map must obey certain constraints.

Traditionally, physicists found these constraints by playing a game of "billiards" with particles (scattering amplitudes). They'd smash particles together, look at the angles they bounce off, and deduce the rules.

This paper proposes a completely different detective method: The "Thermodynamic Scale."

Here is the story of what they did, explained simply:

1. The Setup: The Heavy and The Light

Imagine a system with two types of people:

• The Lightweights: They are active, dancing around, and easy to see. These are the particles we can easily study.
• The Heavyweights: They are huge, slow, and barely move. They are so heavy that at normal temperatures, they are essentially asleep.

The physicists asked: What happens to the "disorder" (entropy) of the system if we take the Heavyweights out of the picture?

2. The Intuition: More Stuff = More Mess

In everyday life, if you add more people to a room, the room gets messier. There are more ways for people to arrange themselves. In physics, Entropy is a measure of this "messiness" or the number of possible arrangements.

The authors argue that if you have a consistent universe, adding more microscopic degrees of freedom (like the Heavyweights) should never decrease the total entropy. If you take the Heavyweights away (or "integrate them out" to make your blurry map), the remaining system (the Lightweights) should still have at least as much entropy as it did before, once you account for the hidden connections.

3. The Twist: The "Ghost" Connection

Here is where it gets tricky. In the quantum world, particles are like twins separated at birth; they are "entangled." Even if the Heavyweights are asleep, they are still quantum-mechanically linked to the Lightweights.

If you just look at the Lightweights alone, you might think they are less messy because the Heavyweights are gone. But the authors realized that the "messiness" of the Lightweights actually includes a hidden contribution from their entanglement with the Heavyweights.

They used a famous mathematical rule called the Araki-Lieb inequality (think of it as a law of conservation for quantum messiness) to prove that:

The entropy of the full system (Light + Heavy) must be greater than or equal to the difference between the Light and Heavy entropies.

When they did the math, this inequality forced a very specific result: The "messiness" of the Lightweights in the effective theory must be higher than if they were completely free and alone.

4. The Big Reveal: The Sign of the Number

The authors calculated exactly how much "messier" the system gets when you include the effects of the heavy particles. They found that the amount of extra entropy depends on a specific number in their equations (called the Wilson coefficient, let's call it $c$).

Their calculation showed that for the entropy to increase (as the laws of thermodynamics demand), $c$ must be a positive number.

If $c$ were negative, it would mean that adding heavy particles reduced the disorder of the universe, which would break the fundamental rules of thermodynamics.

5. Why This Matters (The Analogy)

Imagine you are trying to guess the price of a house (the low-energy theory) without seeing the land it sits on (the high-energy theory).

• Old Method: You look at how the house bounces when a ball hits it (Scattering Amplitudes).
• New Method (This Paper): You look at how much heat the house generates and how the air moves inside it (Thermodynamics/Entropy).

The authors found that by simply checking if the "air" inside the house is behaving logically (increasing entropy), they could prove that the price of the house must be positive.

Summary

This paper is a clever new way to check if our theories of the universe make sense. Instead of smashing particles together, they looked at the heat and disorder of a system.

They proved that if you want a universe where entropy behaves correctly (getting messier when you add more stuff), then the leading "correction" to our low-energy theories must be positive. It's a new kind of "reality check" for physics, using the steam from a kettle to constrain the laws of the cosmos.

Technical Summary

1. Problem Statement

Effective Field Theories (EFTs) are widely used to describe low-energy physics when the Ultraviolet (UV) completion is unknown or strongly coupled. However, not all EFTs are consistent with fundamental principles of quantum gravity and high-energy physics, such as causality, locality, and unitarity.

Traditionally, constraints on the Wilson coefficients of EFTs (known as positivity bounds) are derived using the analytic properties of scattering amplitudes (S-matrix) and dispersion relations. These methods rely on the existence of a well-defined S-matrix and specific analyticity assumptions.

• The Gap: There is a need for alternative, complementary methods to derive these bounds that do not rely solely on scattering amplitudes, particularly in contexts where the S-matrix is ill-defined (e.g., in certain curved spacetimes or for massless exchanges) or where thermodynamic consistency offers a more direct physical intuition.
• The Question: Can thermodynamic consistency—specifically the behavior of entropy in thermal quantum field systems—impose non-trivial constraints on EFT Wilson coefficients?

2. Methodology

The authors propose a novel approach based on finite-temperature quantum field theory and quantum information inequalities.

A. Physical Setup

• System: A scalar field theory with a shift symmetry (massless limit, $m \to 0$) coupled to heavy degrees of freedom with mass $M$.
• Regime: The analysis focuses on the intermediate temperature regime:
  $$m \ll T \ll M$$
  In this regime, heavy modes are exponentially suppressed, while light modes are thermally active. The full theory's entropy is approximated by the EFT containing only light modes plus higher-dimensional operators induced by integrating out the heavy fields.

B. The Core Argument: Entropy Inequality

The authors challenge the naive intuition that adding degrees of freedom always increases entropy. In quantum systems, tracing out heavy degrees of freedom introduces entanglement entropy.

1. Decomposition: The entropy of the light sector ($S_m$) and heavy sector ($S_M$) in the full theory includes both thermal contributions and entanglement contributions.
2. Araki-Lieb Inequality: The authors invoke the Araki-Lieb inequality for bipartite quantum systems:
   $$S_{m+M} \ge |S_m - S_M|$$
3. Thermodynamic Consistency: By analyzing the limit $T \ll M$, the heavy thermal entropy vanishes, and the heavy sector's entropy is dominated by entanglement. The inequality implies that the entropy of the effective theory (light sector with induced interactions) must be strictly greater than the entropy of a free light theory (where the heavy sector is absent entirely):
   $$S_{\text{EFT}} > S_{\text{free}}$$
   This is interpreted as: integrating out heavy degrees of freedom (which induces interactions) should not reduce the accessible thermal states compared to a theory where those heavy fields never existed.

C. Calculation

1. Model: A shift-symmetric scalar EFT with a dimension-8 operator:
   $$\mathcal{L}_{\text{EFT}} = -\frac{1}{2}(\partial \phi)^2 + \frac{c}{M^4}(\partial \phi)^4 + \dots$$
2. Thermal Partition Function: Using the Euclidean path integral formalism with periodic boundary conditions (Matsubara formalism), the authors compute the free energy density $f(T)$ perturbatively in $T/M$.
3. Entropy Density: The entropy density is derived via $s = -\partial f / \partial T$.
   • The leading order (free theory) scales as $T^3$.
   • The first-order correction (interaction) scales as $T^7$ and is proportional to the Wilson coefficient $c$.

3. Key Contributions

• Thermodynamic Derivation of Positivity: The paper establishes a direct link between thermal statistical mechanics and EFT consistency, deriving positivity bounds without relying on S-matrix analyticity or dispersion relations.
• Explicit Calculation: The authors perform a rigorous one-loop calculation of the finite-temperature free energy and entropy for a dimension-8 operator, isolating the thermal contribution from vacuum divergences.
• Clarification of Entanglement: The work carefully distinguishes between "integrating out" heavy fields in an EFT (which generates interactions) and "tracing out" heavy fields in a density matrix (which generates entanglement), showing how the Araki-Lieb inequality bridges these concepts to constrain the EFT.
• UV Completion Examples: The authors demonstrate that their bound holds in explicit UV completions (e.g., the Global $U(1)$ Linear Sigma Model), where the positivity of the coupling $c$ is guaranteed by the stability of the scalar potential ($\lambda > 0$).

4. Results

The central result is the derivation of a strict positivity bound on the Wilson coefficient $c$ of the leading dimension-8 operator $(\partial \phi)^4$.

• Entropy Expansion: The entropy density of the EFT is found to be:
  $$s_{\text{EFT}}(T) = s_{\text{free}}(T) + \frac{128 \pi^4}{675} \frac{c T^7}{M^4} + \mathcal{O}\left(\frac{T^{11}}{M^8}\right)$$
• Positivity Condition: Requiring $s_{\text{EFT}}(T) > s_{\text{free}}(T)$ in the regime $m \ll T \ll M$ immediately implies:
  $$c > 0$$
• Comparison with UV: In the Global $U(1)$ model, integrating out the heavy radial mode yields $c = \lambda > 0$, confirming the bound. Conversely, the paper notes that marginal operators (like $\lambda \phi^4$) generated by tree-level exchange can be negative, but this is consistent because the entropy bound specifically targets irrelevant (higher-dimensional) operators generated by integrating out heavy physics.

5. Significance

• Complementary Perspective: This work provides a "bottom-up" thermodynamic perspective that complements the traditional "top-down" S-matrix approach. It suggests that constraints on EFTs are deeply rooted in the consistency of quantum statistical mechanics, not just scattering analyticity.
• Robustness: The method relies on general quantum information inequalities (Araki-Lieb) and thermodynamic principles, which are less sensitive to specific assumptions about the S-matrix (e.g., flat space, massive particles). This makes the approach potentially applicable to systems where standard amplitude-based bounds fail, such as theories with massless exchanges or in curved spacetime.
• Interplay of Principles: It clarifies the relationship between unitarity, causality, and entropy. While the derivation does not explicitly use unitarity or causality as inputs (unlike dispersion relations), it assumes the underlying theory admits a consistent thermal partition function and a well-defined density matrix, which are consequences of these fundamental principles.

In summary, the paper demonstrates that thermodynamic consistency acts as a powerful filter for EFTs, enforcing the positivity of higher-dimensional operators in a manner that is physically intuitive and mathematically rigorous within the framework of thermal field theory.