RG flows in de Sitter: c-functions and sum rules

This paper investigates renormalization group flows in two-dimensional de Sitter spacetime by constructing two candidate c-functions that interpolate between UV and IR central charges, deriving sum rules that imply the inequality $c^{\text{UV}} \geq c^{\text{IR}}$, and verifying monotonicity in free massive theories despite lacking a general proof.

The Gist

Imagine the universe as a giant, stretchy rubber sheet. In the world of quantum physics, this sheet can be flat (like a calm lake) or curved (like a balloon). Scientists usually study what happens on the flat sheet, but this paper explores what happens when the sheet is curved like a sphere or a "de Sitter" space (a model for an expanding universe).

The author, Manuel Loparco, is investigating how the "rules" of physics change as you zoom in and out on this curved sheet. This process is called a Renormalization Group (RG) flow. Think of it like looking at a digital image:

• UV (Ultraviolet): When you zoom in very close, you see the individual pixels. This is the high-energy, short-distance world.
• IR (Infrared): When you zoom out, the pixels blur together into a smooth picture. This is the low-energy, long-distance world.

In flat space, there's a famous rule (the c-theorem) that says the number of "degrees of freedom" (the complexity or information content) always decreases as you zoom out. You can't un-blur a picture; the flow is irreversible. This paper asks: Does this rule still hold when the universe is curved?

The Two "Thermometers" (c-functions)

To answer this, Loparco invents two special "thermometers" (called c-functions) that measure the complexity of the universe at different sizes. He uses the size of the universe (the radius of the sphere, $R$) as a dial to turn.

1. Thermometer #1 ($c_1$): This one looks at how two points on opposite sides of the universe (antipodal points) "talk" to each other through the stress of the fabric of space. It's like measuring how much tension exists between the North and South Poles of a balloon.
2. Thermometer #2 ($c_2$): This one is more abstract. It looks at the "spectral weight" of the stress tensor in a specific mathematical category (the $\Delta=2$ discrete series). Think of this as listening to a specific musical note that the universe hums. If the universe is complex, this note is loud; if it's simple, the note is quiet.

The Main Discovery: The Flow is Real

The paper proves that as you turn the dial from a tiny universe (small radius, UV) to a huge universe (large radius, IR):

• Thermometer #2 ($c_2$) reliably starts at the high complexity of the UV and smoothly drops down to the lower complexity of the IR. It works perfectly, even in tricky situations where the first thermometer gets confused.
• Thermometer #1 ($c_1$) also works in most cases, but it gets "stuck" at zero in certain scenarios involving massless particles (like a massless scalar field) because those particles cause mathematical infinities (divergences) in a curved space.

The Analogy: Imagine trying to measure the temperature of a cup of coffee.

• Thermometer #2 is a high-tech laser thermometer that works perfectly whether the coffee is boiling or cold.
• Thermometer #1 is a standard mercury thermometer. It works great, but if you try to measure a cup of boiling water that is also leaking steam (the "massless divergence"), the mercury might get stuck or give a weird reading.

The "Sum Rules" (The Receipts)

The author doesn't just guess these numbers; he derives sum rules. Think of these as mathematical receipts. They prove that the difference between the starting complexity (UV) and the ending complexity (IR) is exactly equal to the sum of all the "noise" or "energy" generated during the flow.

Because these receipts involve adding up positive numbers (like counting coins), the math proves that the starting value must be greater than or equal to the ending value ($c_{UV} \geq c_{IR}$). This confirms that the "loss of information" or "loss of degrees of freedom" happens even in a curved universe, just like in a flat one.

The "Ghost" State

One of the most interesting findings is about that second thermometer ($c_2$). The math shows that for any valid quantum theory in this curved space, the stress tensor (the thing measuring the tension of space) must connect to a specific "ghost state" (the $\Delta=2$ discrete series).

The Metaphor: Imagine a band playing music. The paper proves that no matter what song they play, they must include a specific drum beat. If they don't, the music doesn't make sense. This "drum beat" is the $\Delta=2$ state, and its volume changes as the universe expands, acting as the perfect thermometer for the flow.

The Examples

To test his theory, Loparco ran the numbers on two simple models:

1. Free Massive Boson: A simple particle with mass. Here, Thermometer #1 failed (got stuck at zero) because of the "steam leak" (IR divergence), but Thermometer #2 worked perfectly, showing the flow from complex to simple.
2. Free Massive Fermion: Another type of particle. Here, both thermometers worked and showed a smooth, monotonic drop in complexity.

He also looked at the Schwinger model (a model of electrons and light). He found that in this curved space, it behaves exactly like the free massive boson, suggesting that the two theories are secretly the same thing, just dressed in different mathematical clothes.

The Bottom Line

This paper proves that the "arrow of time" for quantum complexity (the c-theorem) holds true even when the universe is curved. It provides two new tools (c-functions) to measure this, with one being more robust than the other. It also reveals a hidden requirement: any quantum theory in this curved space must have a specific connection to a particular mathematical state, acting as a universal anchor for the flow of physics.

Technical Summary

Technical Summary: RG flows in de Sitter: c-functions and sum rules

Problem Statement
The paper addresses the characterization of Renormalization Group (RG) flows in unitary Quantum Field Theories (QFTs) defined on two-dimensional de Sitter spacetime ($dS_2$) and the Euclidean sphere ($S^2$). While the $c$-theorem in two-dimensional flat space establishes the existence of a monotonic function interpolating between the central charges of ultraviolet (UV) and infrared (IR) conformal fixed points, extending this framework to curved backgrounds remains a challenge. The authors aim to construct and prove the existence of functions, termed $c$-functions, that interpolate between $c_{UV}$ and $c_{IR}$ as the radius $R$ of the background geometry is varied, while keeping the intrinsic mass scales of the theory fixed.

Methodology
The authors employ a combination of spectral decomposition techniques, conservation laws, and sum rule derivations within the embedding space formalism for $dS_2/S^2$.

1. Spectral Decomposition: The stress tensor two-point function is decomposed into Unitary Irreducible Representations (UIRs) of the isometry group $SO(1,2)$. This involves contributions from the principal series, complementary series, and the discrete series. The authors rigorously analyze the constraints imposed by the conservation of the stress tensor ($\nabla_A \langle T^{AB} T^{CD} \rangle = 0$) on the spectral densities.
2. Construction of $c$-functions:
   • $c_1(R)$: Constructed from specific components of the stress tensor two-point function evaluated at antipodal separation ($\sigma = -1$). This function is derived by solving a differential equation involving the trace of the stress tensor, $\Theta$, and integrating over the chordal distance.
   • $c_2(R)$: Defined as the spectral weight of the stress tensor in the $\Delta=2$ discrete series representation. This is extracted using the Källén-Lehmann decomposition and the inversion formula for spectral densities.
3. Sum Rules: The authors derive sum rules relating the difference $c_{UV} - c(R)$ to integrals of the two-point function of the trace of the stress tensor (in position space) and integrals of spectral densities (in momentum/spectral space).
4. Limit Analysis: The behavior of these functions is analyzed in the limits $R \to \infty$ (flat space limit) and $R \to 0$ (UV limit). The flat space limit is shown to recover known sum rules (e.g., Zamolodchikov's sum rule).

Key Contributions and Results

• Existence of Interpolating Functions: The paper proves the existence of two functions, $c_1(R)$ and $c_2(R)$, which interpolate between the central charges of the UV and IR fixed points.
  • $c_1(R)$ is defined via the antipodal value of a specific linear combination of stress tensor correlator components.
  • $c_2(R)$ is identified as the spectral weight of the $\Delta=2$ discrete series irrep.
• Monotonicity and Bounds:
  • The derived sum rules involve positive integrands, implying the inequality $c_{UV} \geq c(R)$ for both functions.
  • In the specific examples of free massive bosons and free massive fermions, both $c_1(R)$ and $c_2(R)$ are verified to be monotonically decreasing with increasing radius $R$. However, the authors note that a general proof of monotonicity for all unitary QFTs is not provided.
• Spectral Constraints: A significant theoretical result is the proof that in any unitary QFT in $dS_2$, the stress tensor must couple to the $\Delta=2$ discrete series representation. This is a necessary consequence of the requirement that $c_2(R)$ interpolates between $c_{UV}$ and $c_{IR}$.
• Handling of IR Divergences: The paper highlights a distinction between the two functions regarding IR divergences. In the free massive boson theory, the massless limit leads to IR divergences that cause $c_1(R)$ to vanish for all $R$ (failing to reach $c_{UV}$ as $R \to 0$). In contrast, $c_2(R)$ remains well-defined and successfully interpolates between the fixed points in this case, as it relies on a weaker condition regarding the discontinuity of the correlator rather than the correlator itself vanishing.
• Verification in Examples:
  • Free Massive Scalar: The authors compute all spectral densities and verify the sum rules. They demonstrate that $c_2(R)$ is monotonic and interpolates correctly, while $c_1(R)$ fails due to the IR divergence of the massless scalar.
  • Free Massive Fermion: Both $c_1(R)$ and $c_2(R)$ are shown to be monotonic and interpolate correctly, as the fermion theory lacks the specific IR divergences present in the scalar case.
  • Massless Schwinger Model: The authors show that the $c$-functions for the massless Schwinger model match those of the free massive boson (under the mapping $m^2 \leftrightarrow q^2/\pi$), suggesting a field redefinition relates the two theories in $dS_2$ similar to flat space.

Significance and Claims
The paper claims to provide new rigorous constraints on unitary QFTs in $dS_2$ and $S^2$. By establishing the existence of $c_1(R)$ and $c_2(R)$, the work offers a method to track RG flows using the radius of the background as a tunable parameter without breaking symmetries. The authors emphasize that the necessity of the $\Delta=2$ discrete series contribution in the stress tensor spectral decomposition is a general property of unitary QFTs in these geometries.

The work is presented as a step toward understanding RG flows in curved spacetime, potentially offering computational advantages over flat space techniques for certain flows (e.g., those where $c_2(R)$ depends only on a specific spectral component). The authors explicitly state that while monotonicity is observed in free theories, a general proof for interacting theories remains an open question. They also suggest that these sum rules could serve as inputs for numerical bootstrap programs in de Sitter space.