⚛️ high-energy theory

Ising the way into de Sitter

This paper demonstrates that the two-dimensional Ising model on de Sitter spacetime serves as an exactly solvable laboratory for studying quantum field theory dynamics, revealing how non-perturbative exact calculations of cosmological correlators resolve the late-time divergences that plague standard conformal perturbation theory.

Original authors: Giovanni Galati, Stathis Vitouladitis

Published 2026-07-17

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Giovanni Galati, Stathis Vitouladitis

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, expanding balloon. For a long time, scientists have been trying to figure out how tiny particles behave when they are stuck on the surface of this stretching balloon. This is the realm of Quantum Field Theory (QFT), the rulebook for how the smallest building blocks of reality interact. Usually, we have two main playgrounds to test these rules: a flat, empty stage called Minkowski space (like a calm, still lake), and a negatively curved stage called Anti-de Sitter space (like a saddle shape). We know these places very well. But our actual universe, especially during its rapid growth phases like inflation, looks more like a de Sitter space—a positively curved, expanding sphere. The problem is that the math for this expanding stage is notoriously messy and full of "infinite" problems that break our calculations. We need a simple, solvable example to test our theories without getting lost in the math weeds.

Enter the Ising model. You might know it from physics class as a simple grid of tiny magnets (spins) that can point up or down. It's the "fruit fly" of statistical mechanics: simple enough to understand, but complex enough to show us how things like magnetism and phase transitions work. The big question this paper tackles is: "What happens if we take this simple magnet grid and put it on our expanding, de Sitter balloon?" The authors wanted to see if the messy, infinite problems that usually plague calculations in an expanding universe could be fixed if we had a model we could solve exactly. They weren't just guessing; they were looking for a "laboratory" where the math works perfectly, allowing them to see the true behavior of the universe without the fog of approximation.

The paper, titled "Ising the way into de Sitter" by Giovanni Galati and Stathis Vitouladitis, takes this simple magnet model and places it on a two-dimensional expanding universe. The team's main trick was to use a mathematical "magic wand" called fermionisation. This is like translating a complicated story about interacting magnets into a simpler story about free-floating, non-interacting particles (specifically, a type of particle called a Majorana fermion). Because this translated version is free and simple, the authors could calculate the exact behavior of the system, including how the magnets influence each other across the expanding space.

Here is what they found, and why it's a big deal. When scientists usually try to predict how things behave in an expanding universe, they use a method called perturbation theory. Think of this like trying to predict the path of a boat in a storm by only looking at the waves for a few seconds and assuming they stay the same. For a short time, this works fine. But as time goes on (or "late-time" in cosmology), the storm gets worse, and the boat's path changes in ways the short-term guess didn't account for. In the Ising model, the authors showed that these standard "short-term" guesses start to produce wild, nonsensical results called secular terms—mathematical explosions that grow infinitely large as time passes. It's as if your weather forecast predicted that the wind would eventually blow at the speed of light, which is obviously wrong.

However, because the authors could solve the model exactly, they saw the whole picture. They discovered that the "explosions" in the simple guesses were just a trick of the math. When you look at the exact solution, those infinite growths disappear. Instead, the system settles into a stable, rhythmic pattern. The particles don't blow up; they start oscillating, like a pendulum swinging back and forth. The exact math shows that the universe's expansion forces the system to behave in a way that is completely different from what the simple, broken guesses predicted.

The paper also looked at two specific types of "magnet" behaviors: the energy of the system and the spin (the up/down direction). For the energy, they found that the system settles into a rhythm that depends on the size of the universe, but the rate at which it fades away stays the same as it was before the universe started expanding. For the spin, which is a bit more complicated and "non-local" (meaning the magnets are connected in a way that isn't just side-by-side), they had to use a different set of mathematical tools. They found that the spin also settles down, but its behavior is governed by a strict, non-negotiable rule that links the spin and the disorder of the system.

Crucially, the authors compared their exact results with the standard "broken" guesses. They showed that while the guesses work okay for a little while, they completely fail at late times, predicting things that simply don't happen. The exact solution, however, remains finite and sensible. This proves that the "infinite" problems we see in our usual calculations are just artifacts of using a method that isn't strong enough for the long haul. The paper doesn't just say "the universe is weird"; it provides a concrete, solvable example where we can see exactly how the universe fixes the broken math.

In short, this paper uses a simple magnet model to prove that the universe has a way of "resumming" or fixing the messy, infinite errors that appear in our standard calculations. It shows that while our usual shortcuts might make us think things are falling apart at late times, the real physics is actually calm, rhythmic, and stable. It's a victory for exact math over messy approximations, giving us a clearer, more reliable map of how quantum fields dance in the expanding cosmos.

Problem Statement
Quantum Field Theory (QFT) in de Sitter (dS) spacetime remains less understood than in Minkowski or Anti-de Sitter spaces, particularly regarding the structure of Hilbert spaces, correlation functions, and unitarity. A significant obstacle to progress is the scarcity of exactly solvable models in dS that allow for non-perturbative checks of perturbative expansions. While recent studies have addressed the Schwinger model and large- $N$ vector models, there is a need for simpler, solvable examples to test proposals regarding cosmological correlators and the behavior of perturbation theory at late times. Specifically, perturbation theory in dS is known to generically produce "secular terms" (divergent logarithms) at late times, which spoil the validity of the expansion. It is unclear how these pathologies are resolved non-perturbatively in interacting theories.

Methodology
The authors study the two-dimensional Ising model deformed by its relevant thermal operator, $\varepsilon(x)$ , placed on de Sitter spacetime ( $dS_2$ ). The core methodological advantage of this model is its exact solvability via a fermionisation map: the interacting Ising theory is dual to a free massive Majorana fermion coupled to a discrete gauge field. On the two-sphere (Euclidean $dS_2$ ), the gauge field decouples, leaving a free massive Majorana theory.

The authors employ a dual approach:

Exact Non-Perturbative Calculation: Using the free Majorana fermion representation, they compute exact observables, including the sphere partition function and two-point functions of local operators (thermal operator $\varepsilon$ ) and non-local operators (spin $\sigma$ and disorder $\mu$ ).
Conformal Perturbation Theory (CPT): They expand the observables around the UV conformal fixed point (the critical Ising CFT) in powers of the dimensionless coupling $\nu = m\ell$ (where $m$ is the mass and $\ell$ is the dS radius).
Analytic Continuation: Results computed on the Euclidean sphere are analytically continued to Lorentzian $dS_2$ to extract late-time behavior and cosmological correlators.
Differential Equations: For the non-local spin and disorder operators, which cannot be computed via Wick contractions, the authors utilize a system of differential equations derived from Ward identities (following Doyon and Fonseca) to constrain their behavior.

Key Contributions and Results

Sphere Partition Function: The authors compute the exact renormalised sphere partition function for the massive Majorana fermion. They match this result with a two-loop calculation in Conformal Perturbation Theory (CPT) within the Ising frame. This matching fixes the precise duality map between the Ising coupling $\tau$ and the Majorana mass $m$ ( $\tau = m/2\pi$ ) and confirms the non-trivial appearance of the Riemann zeta function $\zeta(3)$ in the perturbative expansion, linked to the geometry of hyperbolic manifolds.
Thermal Operator ( $\varepsilon$ ) Correlators:
- Exact Solution: The two-point function of the thermal operator is computed exactly using Wick contractions of the free fermion propagator. The result is expressed in terms of hypergeometric functions dependent on the principal series representation parameters ( $\Delta = 1/2 + i\nu$ ).
- Late-Time Behavior: Upon analytic continuation to Lorentzian $dS_2$ , the leading late-time behavior of the correlator decays with a scaling dimension independent of $\nu$ (matching the CFT value), while the full $\nu$ -dependence appears in the normalization. Subleading terms exhibit oscillations characteristic of principal-series fields.
- Perturbative Breakdown: The authors demonstrate that CPT generates secular logarithmic terms ( $\log^2 X$ ) at late times, which diverge. Comparing with the exact result, they show that the exact non-perturbative resummation cures these divergences, replacing the secular growth with finite, oscillatory behavior.
Spin ( $\sigma$ ) and Disorder ( $\mu$ ) Correlators:
- Non-Local Operators: Since these operators are non-local in the fermionic variables, their correlators are not computed via Wick contractions. Instead, the authors solve the system of differential equations governing $G_\sigma$ and $G_\mu$ .
- Non-Perturbative Constraints: By analyzing the asymptotic behavior of the differential equations, they derive a non-perturbative constraint relating the late-time scaling dimensions $\tilde{\Delta}_\sigma$ and $\tilde{\Delta}_\mu$ : $\tilde{\Delta}_\sigma + \tilde{\Delta}_\mu - (\tilde{\Delta}_\sigma - \tilde{\Delta}_\mu)^2 = 4\nu^2 + 1/4$ .
- Numerical and Perturbative Comparison: Numerical solutions for the correlators confirm the non-perturbative constraint. Perturbative expansions in $\nu$ are derived up to order $\nu^2$ and shown to agree with numerical results at small $\nu$ . However, like the thermal operator, the perturbative series for the spin correlator develops secular terms at late times, signaling a breakdown of the expansion, whereas the exact solution remains well-behaved.

Significance
The paper claims to provide a "minimal solvable laboratory" for studying QFT dynamics in de Sitter space. Its primary significance lies in explicitly demonstrating how late-time perturbative pathologies (secular terms) are resummed into finite, non-perturbative cosmological observables. By comparing exact results with conformal perturbation theory, the authors show that while perturbation theory is valid at early times or small couplings, it generically fails at late times due to the accumulation of secular terms. The exact Ising model results confirm that the true late-time physics is governed by de Sitter representation theory (specifically principal series representations), resulting in either real or complex scaling dimensions and oscillatory behavior, rather than the divergent behavior predicted by truncated perturbation theory. This work establishes the two-dimensional Ising model as a tractable framework for testing non-perturbative phenomena in cosmology.

More like this