🔢 mathematics

Near-critical Ising, sine-Gordon at the free fermion point, and bosonization

This paper establishes that the doubled correlation functions of primary fields in the near-critical two-dimensional Ising model with plus boundary conditions are equivalent to those of the sine-Gordon model at the free fermion point, thereby proving a specific instance of bosonization through the analyticity of massive holomorphic functions and a controlled iterated Mayer expansion.

Original authors: S. C. Park, Tuomas Virtanen, Christian Webb

Published 2026-08-20

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: S. C. Park, Tuomas Virtanen, Christian Webb

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

In the vast landscape of physics, there are moments when a system sits on a knife-edge, balancing between order and chaos. This is known as a critical point, a state where materials like magnets or fluids undergo dramatic transformations, such as iron losing its magnetism or water turning to steam. For decades, physicists have been fascinated by what happens when these systems are nudged just slightly away from this perfect balance. They suspect that even in this "near-critical" state, the underlying rules of the universe remain surprisingly simple and solvable, hiding deep connections between seemingly different phenomena. One of the most intriguing of these connections is a concept called bosonization. In the world of quantum physics, particles are often categorized as either bosons or fermions, two distinct families with very different behaviors. Bosons like to clump together, while fermions strictly avoid sharing the same space. Bosonization is the surprising idea that under specific conditions, a system of fermions can be mathematically transformed into a system of bosons, and vice versa, revealing that they are two sides of the same coin.

A team of researchers has now taken a significant step forward in proving this connection for a specific, well-known model of magnetism called the Ising model. This model, which describes how tiny magnetic spins on a grid interact with their neighbors, is a cornerstone of statistical physics. While the behavior of this model at its exact critical point is well understood, its behavior when slightly perturbed—when it is "near-critical"—has been much harder to pin down rigorously. The researchers focused on a version of the Ising model that is slightly disturbed from its critical state, creating a scenario where the magnetic spins are no longer perfectly balanced. They wanted to know if the complex patterns of correlation between these spins could be described by a different, more fluid mathematical object known as the sine-Gordon model. This model, which describes waves in a field, is famous for being solvable at a specific point called the free fermion point.

The team proved that the answer is yes. They demonstrated that the correlation functions—which measure how the state of one part of the system influences another part—of the near-critical Ising model are exactly the same as the correlation functions of the sine-Gordon model at this special point. In essence, they showed that the messy, discrete interactions of the magnetic spins can be perfectly translated into the language of the continuous sine-Gordon field. This is a concrete instance of bosonization, confirming that the near-critical Ising model, which can be thought of as a collection of massive particles, is mathematically equivalent to a specific type of wave field. The researchers achieved this by constructing precise mathematical descriptions of the correlations in both models and showing that they match perfectly when expanded into a series of terms. They relied on the fact that at the critical point, the connection was already known, and they proved that this relationship holds true even when the system is slightly disturbed.

To reach this conclusion, the authors had to navigate two very different mathematical worlds. On the side of the magnetic spins, they had to deal with complex functions that describe how the spins interact across a two-dimensional space. These functions are not perfectly smooth; they have specific rules about how they behave near boundaries and how they change when the system is slightly perturbed. On the side of the sine-Gordon model, they had to manage a different kind of complexity involving the summation of countless possible interactions, a process that requires careful handling to avoid infinite values. By developing new techniques to control these expansions and prove that the mathematical series converge, they were able to show that the two descriptions are not just similar, but identical. Their work provides a rigorous bridge between the discrete world of lattice models and the continuous world of quantum field theory, offering a deeper understanding of how nature simplifies itself even when it is pushed away from its most balanced state.

The significance of this finding lies in its ability to unify different areas of physics. By proving that the near-critical Ising model is equivalent to the sine-Gordon model, the researchers have provided a powerful new tool for calculating properties of magnetic systems. Instead of struggling with the difficult discrete equations of the spins, physicists can now use the more tractable equations of the sine-Gordon model to predict how these systems will behave. This equivalence also sheds light on the nature of the particles involved, showing that the massive excitations in the magnetic system are the same as the particles described by the wave field. The proof is complete and rigorous, relying on established mathematical principles rather than approximations or simulations. It confirms a long-standing prediction in theoretical physics and opens the door to further exploration of how different physical systems can be mapped onto one another, revealing the hidden unity beneath the diversity of natural phenomena.

Technical Summary: Near-Critical Ising, Sine-Gordon at the Free Fermion Point, and Bosonization

Problem Statement

The paper addresses the rigorous mathematical connection between two fundamental models in two-dimensional statistical physics and quantum field theory: the near-critical Ising model (perturbed in the thermal direction) and the sine-Gordon model at the free fermion point ( $\beta = 4\pi$ ).

While the scaling limits of critical models are well-understood to be described by Conformal Field Theory (CFT), and bosonization (a duality mapping fermionic models to bosonic ones) has been rigorously established for the critical Ising model (mapping to the Gaussian Free Field) and for massive free fermions (mapping to the sine-Gordon model), a rigorous proof linking the near-critical Ising model directly to the sine-Gordon model in the continuum scaling limit was lacking. Specifically, the authors aim to prove that the correlation functions of the "double" Ising model (two independent copies) in the near-critical regime are equivalent to the correlation functions of the sine-Gordon model with a specific coupling, thereby extending the Coleman correspondence to this setting.

Methodology

The authors employ a perturbative approach based on the analyticity of correlation functions with respect to a mass parameter. The strategy involves three main pillars:

Continuum Construction of Correlation Functions:
- Ising Side: Instead of relying solely on discrete lattice limits, the authors construct correlation functions for the near-critical Ising model directly in the continuum. They define "massive holomorphic" functions satisfying the Vekua equation $\bar{\partial}f = -i\alpha \bar{f}$ , where $\alpha$ is a mass parameter (generalized to a function). Primary fields (spin, disorder, fermions, energy) are defined via boundary value problems, Pfaffian identities, and operator product expansions (OPEs).
- Sine-Gordon Side: The sine-Gordon model is constructed via a renormalized potential approach using the Heat Kernel regularization of the Gaussian Free Field (GFF). The authors utilize an iterated Mayer expansion to control the partition function and correlation functions, adapting techniques from Brydges and Kennedy.
Analyticity and Taylor Expansion:
The core technical innovation is proving that the correlation functions of both models are analytic in the mass parameter $m$ (or $\mu$ ) in a neighborhood of the real axis.
- The authors expand the near-critical correlation functions as a Taylor series around the critical point ( $m=0$ ).
- The coefficients of this expansion are expressed in terms of "cumulants" of the critical Ising model (which are known to be expressible via the GFF) and the mass parameter.
- Similarly, the sine-Gordon correlation functions are expanded in terms of the coupling parameter, with coefficients involving GFF cumulants.
Matching Coefficients via Critical Bosonization:
The proof relies on the known bosonization dictionary for the critical Ising model (established in prior work [9]), which maps critical Ising correlations to GFF correlations. By showing that the Taylor coefficients of the near-critical Ising model and the sine-Gordon model match term-by-term (using the critical dictionary and the specific structure of the perturbative expansions), the authors deduce that the full functions must be identical.

Key Contributions and Results

1. Main Theorem (Theorem 1.1)

The primary result establishes a rigorous bosonization identity for the near-critical Ising model. For a bounded, simply connected domain $\Omega$ with smooth boundary and a smooth mass function $\alpha$ , the correlation functions of the double Ising model (two independent copies) are equal to the correlation functions of the sine-Gordon model at the free fermion point ( $\beta=4\pi$ ) with a specific potential $\rho = -2\alpha/\pi$ .

The correspondence is given by the dictionary:

$\sigma \tilde{\sigma} \leftrightarrow \sqrt{2} :\cos(\sqrt{\pi}\phi):$
$\mu \tilde{\mu} \leftrightarrow \sqrt{2} :\sin(\sqrt{\pi}\phi):$
$\varepsilon + \tilde{\varepsilon} \leftrightarrow 2 \llbracket \cos(\sqrt{4\pi}\phi) \rrbracket$ (where $\llbracket \cdot \rrbracket$ denotes a specific renormalization beyond standard Wick ordering)
Fermion fields map to derivatives of the GFF field ( $\partial \phi, \bar{\partial} \phi$ ).

2. Existence and Analyticity (Theorems 1.4 and 1.5)

Ising Side: The authors prove the existence and local uniform boundedness of near-critical Ising correlation functions for general mass functions $\alpha$ . They establish that these functions are analytic in the mass parameter and provide explicit Taylor expansions involving cumulants of the critical model.
Sine-Gordon Side: They prove the existence of sine-Gordon correlation functions (in the sense of generalized functions, later refined to continuous functions) and their analyticity in the coupling parameter. They derive explicit formulas for the Taylor coefficients involving GFF cumulants and the renormalized potential.

3. Infinite Volume and Painlevé Connections (Corollary 1.3)

In the infinite volume limit with a constant negative mass $m < 0$ , the authors recover known results connecting the two-point spin correlation functions to solutions of the Painlevé III equation. This serves as a consistency check, confirming that their continuum construction aligns with established scaling limits of the discrete model.

4. Technical Advances

Renormalized Potential: The paper provides a detailed analysis of the renormalized potential for the sine-Gordon model using heat kernel regularization, controlling the divergences (specifically the $n=2$ term) via a counter-term.
Massive Holomorphic Functions: The construction of correlation functions via the Vekua equation with non-constant mass parameters extends the discrete complex analysis techniques used for the critical model to the massive regime.

Significance and Claims

The paper claims to be a rigorous extension of the Coleman correspondence (which relates the massive Thirring model to the sine-Gordon model) and the bosonization results for the critical Ising model.

Extension of Bosonization: It moves beyond the critical point (massless) and the free fermion point of the sine-Gordon model to establish a duality for the near-critical Ising model, which corresponds to massive Majorana fermions. The double Ising model (two massive Majorana fermions) is shown to be equivalent to a single massive Dirac fermion, which is known to be equivalent to the sine-Gordon model at the free fermion point.
Rigorous Foundation: While physicists have long predicted this duality (e.g., in [39]), this work provides the first mathematically rigorous proof in the continuum scaling limit for the near-critical regime.
Methodological Novelty: The approach of proving analyticity in the mass parameter and matching Taylor coefficients using known critical results offers a robust framework for studying perturbations of CFTs. The authors note that their construction of continuous correlations with non-constant mass does not yet claim to be the limit of a specific discrete lattice model (unlike the constant mass case), but it provides a consistent continuum theory that generalizes known results.

The authors emphasize that their work relies on the "dictionary" of the critical Ising model (proven in [9]) and extends it via perturbative analysis, rather than deriving the duality from scratch via lattice combinatorics. The results confirm that the rich structure of bosonization persists even when the system is perturbed away from criticality.