2d Sinh-Gordon model on the infinite cylinder

This paper provides a rigorous probabilistic construction of the massless Sinh-Gordon model on an infinite cylinder using Gaussian multiplicative chaos and spectral analysis, establishing the existence of discrete spectrum and a strictly positive ground state for the associated quantum operator while deriving scaling relations for its correlation functions.

The Gist

Imagine you are standing on an infinitely long, circular hallway. The walls are made of a special, invisible fabric that ripples and vibrates. In the world of physics, this hallway is called a cylinder, and the vibrating fabric is a field (a quantity that exists at every point in space and time).

This paper is about building a rigorous, mathematical "blueprint" for a specific type of vibrating fabric called the Sinh-Gordon model.

Here is the story of what the authors did, broken down into simple concepts:

1. The Problem: A Messy Equation

Physicists have a formula (a "path integral") that describes how this fabric should behave. It's like a recipe for a cake, but the recipe is written in a language that doesn't quite make sense mathematically. It involves adding up infinite possibilities of how the fabric could ripple, and some of those ripples are so wild that the numbers explode to infinity.

For a long time, mathematicians could only guess what the answer was. They knew the physics should work, but they couldn't prove it without the math breaking down.

2. The Solution: Building a Bridge with Probability

The authors (Guillarmou, Gunaratnam, and Vargas) decided to stop trying to solve the equation directly. Instead, they used probability theory (the math of chance and randomness) to build a bridge.

Think of the vibrating fabric not as a single, fixed shape, but as a random walk. Imagine a drunk person walking down the hallway. They don't walk in a straight line; they stumble left, right, up, and down.

• The Gaussian Free Field (GFF): This is the "drunk walk" part. It's the basic, natural way the fabric vibrates if there are no rules. It's like static noise on an old TV.
• The "Cosh" Rule: The Sinh-Gordon model adds a rule: the fabric hates being stretched too far in either direction. It wants to snap back. This is like adding a spring to the drunk person's shoes. If they wander too far left or right, the spring pulls them back.

3. The Big Challenge: The "Ground State"

The authors needed to prove that this system settles down into a stable state. In physics, this is called the Ground State.

Imagine a ball rolling in a valley.

• In some models (like the famous Liouville model), the valley is open on one side. The ball can roll off into infinity, and the system never really settles.
• In the Sinh-Gordon model, the valley is shaped like a "U" or a bowl. No matter which way the ball rolls, the walls push it back to the center.

The authors proved that this "bowl" is real. They showed that the system has a lowest energy state (the ball sitting at the very bottom of the bowl) and that this state is unique and stable. This is crucial because it means the model is well-behaved and predictable.

4. The Magic Tool: "Gaussian Multiplicative Chaos"

To handle the wild, infinite ripples of the fabric, the authors used a tool called Gaussian Multiplicative Chaos (GMC).

The Analogy:
Imagine you have a map of the hallway.

1. First, you draw the "drunk walk" (the GFF) on the map. It's a messy, jagged line.
2. Now, you want to measure the "weight" of the fabric at every point. But the fabric is so rough that if you try to measure it at a single point, the number is infinite.
3. GMC is a special way of averaging these measurements. It's like smoothing out the jagged line just enough to get a meaningful number, without losing the "roughness" that makes the model interesting.

The authors used this tool to define the "weight" of the fabric (the potential energy) rigorously, proving that even though the fabric is infinitely rough, the total energy remains finite and calculable.

5. The Results: What Did They Find?

Once they built this rigorous model, they could calculate specific things:

• Correlations (The Echo Effect): If you poke the fabric at one spot, how does it affect a spot far away?

  • They found that the "echo" dies out very quickly. The further you go, the quieter the echo gets. This is called exponential decay.
  • This is different from other models where the echo might last forever. The "spring" in the Sinh-Gordon model kills the echo fast. This proves the model has a mass gap (a minimum amount of energy required to create a ripple).

• Scaling (The Zoom Effect): They showed that if you change the size of the hallway (the radius $R$), the physics changes in a very specific, predictable way. It's like zooming in or out on a picture; the picture changes, but the rules of how it changes are consistent.

Summary

In plain English, this paper is a construction manual.

• Before: Physicists had a sketch of a machine (the Sinh-Gordon model) that they thought worked, but they couldn't prove the gears wouldn't jam.
• Now: The authors have built the machine using the tools of probability and chaos theory. They proved the gears turn smoothly, the machine settles into a stable rhythm, and they figured out exactly how the machine behaves when you change its size.

They didn't just say "it works"; they built a mathematical proof that the universe described by this model is stable, predictable, and mathematically sound.

Technical Summary

Here is a detailed technical summary of the paper "2D Sinh-Gordon Model on the Infinite Cylinder" by Colin Guillarmou, Trishen S. Gunaratnam, and Vincent Vargas.

1. Problem Statement and Context

The paper addresses the rigorous probabilistic construction of the massless Sinh-Gordon model on an infinite cylinder $C_R = \mathbb{R} \times (\mathbb{R}/2\pi R\mathbb{Z})$.

• Physical Context: The Sinh-Gordon model is the simplest example of an affine Toda field theory. Unlike the Liouville Conformal Field Theory (CFT), which is conformally invariant and has a continuous spectrum, the Sinh-Gordon model is not conformally invariant. It is expected to be an integrable Quantum Field Theory (QFT) with a mass gap, leading to exponential decay of correlations.
• Mathematical Challenge: The model is formally defined via a path integral:
  $$\langle F \rangle = \frac{1}{Z} \int F(\phi) e^{-\int_{C_R} (\frac{1}{4\pi}|\nabla \phi|^2 + 2\mu \cosh(\gamma \phi)) dx} D\phi$$
  where $\mu > 0$ is the cosmological constant and $\gamma \in (0,2)$ is the coupling. The measure $D\phi$ is ill-defined, and the field $\phi$ is a distribution (specifically in a negative Sobolev space), making the interaction term $\cosh(\gamma \phi)$ singular.
• Gap in Literature: While Liouville CFT has been rigorously constructed using Gaussian Multiplicative Chaos (GMC) and spectral analysis of Hamiltonians, the Sinh-Gordon model (with its confining potential in both directions of the zero mode) presents distinct spectral challenges. Previous attempts (e.g., random matrix formalisms or stochastic quantization with extra mass terms) either lacked technical feasibility or destroyed the integrability of the massless model.

2. Methodology

The authors employ a constructive quantum field theory approach, combining probabilistic techniques with spectral analysis of a quantum Hamiltonian.

A. Probabilistic Framework

1. Gaussian Free Field (GFF): The underlying random field is constructed using the GFF on the cylinder. The field is decomposed into a zero mode (a Brownian motion $B_t$) and non-zero modes (infinite sequences of independent Ornstein-Uhlenbeck processes).
2. Gaussian Multiplicative Chaos (GMC): The interaction term $e^{\pm \gamma \phi}$ is regularized and renormalized using GMC theory. The authors define random measures $M^\pm_\gamma$ on the cylinder as limits of regularized exponentials of the field.
3. Markov Semigroup Approach: Instead of defining the measure directly on the path space, the authors construct a Markov semigroup $(T_t)_{t \geq 0}$ acting on a Hilbert space $\mathcal{H} = L^2(\mathbb{R} \times \Omega, dc \otimes dP_T)$. The generator of this semigroup is the Sinh-Gordon Hamiltonian $H$.

B. Spectral Analysis of the Hamiltonian

The core of the methodology is the rigorous analysis of the operator $H$:
$$H = -\frac{1}{2}\partial_c^2 + \sum_{n=1}^\infty n(\partial_{x_n}^* \partial_{x_n} + \partial_{y_n}^* \partial_{y_n}) + \mu(e^{\gamma c}V_+ + e^{-\gamma c}V_-)$$
where $V_\pm$ are multiplication operators by GMC potentials on the circle.

• Friedrichs Extension: The Hamiltonian is defined as the Friedrichs extension of a quadratic form associated with the GMC potentials.
• Compact Resolvent: A major technical hurdle is proving that the resolvent $(H+1)^{-1}$ is compact. This is achieved by establishing that the semigroup $e^{-tH}$ maps $L^\infty$ into weighted $L^p$ spaces and is Hilbert-Schmidt.
• Discrete Spectrum: The compactness of the resolvent implies that $H$ has a purely discrete spectrum $(\lambda_j)_{j \geq 0}$.
• Ground State: Using the positivity improving property of the semigroup (derived from the Feynman-Kac formula), the authors prove the existence of a unique, strictly positive ground state $\psi_0$ corresponding to the smallest eigenvalue $\lambda_0 > 0$. This strictly positive gap ($\lambda_1 - \lambda_0 > 0$) is the mathematical manifestation of the mass gap.

C. Scaling Arguments

The construction is first performed for the unit cylinder ($R=1$). The general case for arbitrary radius $R$ is deduced via exact scaling relations involving the parameter $\mu_R = \mu R^{\gamma Q}$ (where $Q = \frac{\gamma}{2} + \frac{2}{\gamma}$).

3. Key Contributions and Results

A. Rigorous Construction of the Model

The paper defines the Sinh-Gordon model as a probability measure on the space of continuous paths with values in a negative Sobolev space $C(\mathbb{R}, H^{-s}(T_R))$. This is achieved by taking the limit $T \to \infty$ of finite cylinder path integrals, utilizing the spectral decomposition of the Hamiltonian to control the convergence.

B. Spectral Properties (Theorem 1.1)

• Discrete Spectrum: The Hamiltonian $H$ has a discrete spectrum $\lambda_0 < \lambda_1 \leq \lambda_2 \dots$.
• Mass Gap: The ground state energy $\lambda_0$ is strictly positive and simple. The gap $\lambda_1 - \lambda_0$ governs the decay rate of correlations.
• Eigenfunction Regularity: The eigenfunctions $\psi_j$ belong to weighted $L^p$ spaces $e^{-N|c|}L^p$, ensuring they decay sufficiently fast in the zero-mode direction.

C. Correlation Functions (Theorem 1.3)

The authors define vertex correlations (insertions of $e^{\alpha \phi(z)}$) via renormalized limits.

• Existence: Correlations exist and are non-trivial if and only if the insertion weights satisfy the $\gamma$-admissibility condition: $|\alpha| < Q$.
• Scaling Relations: The correlations satisfy specific scaling laws with respect to the cylinder radius $R$.
• Exponential Decay: The truncated two-point correlation function (covariance) decays exponentially:
  $$|\text{Cov}(V_{\alpha_1}(0), V_{\alpha_2}(t))| \leq C e^{-\frac{\lambda_1 - \lambda_0}{R} |t|}$$
  This rigorously confirms the physical expectation of a mass gap and exponential clustering.

D. Explicit Formulas

The paper provides explicit formulas for expectations and correlations in terms of the ground state $\psi_0$, the eigenvalues $\lambda_j$, and the GMC measures. For example, the one-point function is given by:
$$\langle V_\alpha(0) \rangle_{C_R} = R^{\alpha^2/2} \langle V_\alpha(0) \rangle_{C, \mu_R}$$
and the two-point function involves an integral over the ground state weighted by the GMC measure.

4. Significance

• Mathematical Rigor in QFT: This work provides one of the first rigorous constructions of a massive, non-conformal, integrable QFT in 2D using probabilistic methods. It bridges the gap between formal physics predictions (integrability, mass gap) and constructive mathematics.
• Distinction from Liouville CFT: It highlights the fundamental difference between Liouville (continuous spectrum, no mass gap) and Sinh-Gordon (discrete spectrum, mass gap) within the same probabilistic framework (GFF + GMC). The confining nature of the Sinh-Gordon potential ($\cosh$) versus the repulsive nature of the Liouville potential ($e^\phi$) is shown to be the key factor determining the spectral properties.
• Foundation for Further Research: The construction opens the door to studying the infinite volume limit ($R \to \infty$) and verifying conjectures by Teschner regarding the full spectrum. It also provides a framework to relate the Sinh-Gordon model to the Sine-Gordon model (via analytic continuation $\gamma \to i\beta$) and exceptional Lie algebra Toda theories.

In summary, the paper successfully constructs the 2D Sinh-Gordon model on the infinite cylinder, proving the existence of a mass gap and exponential decay of correlations through a sophisticated analysis of the associated Hamiltonian's spectral properties and the theory of Gaussian Multiplicative Chaos.