The FBSDE approach to sine-Gordon up to $6π$
Massimiliano Gubinelli, Sarah-Jean Meyer
TL;DR
The article develops a rigorous stochastic quantisation framework for the two-dimensional sine-Gordon Euclidean QFT on the full space in the subcritical range $\beta^2<6\pi$, via a scale-decomposed forward-backward SDE that couples a Brownian motion with a scale-interpolated Gaussian free field. It constructs a cut-off-free description by renormalising the Polchinski-type flow and proving well-posedness and stability of the effective FBSDE, yielding convergence to the infinite-volume measure $\nu_{SG}$ as a random shift of the free field $W_\infty$. It then establishes decay of correlations, shows mutual singularity with the Gaussian free field for $\beta^2\ge 4\pi$, and provides a variational representation and large deviations principle in both finite and infinite volume, together with a verification of the Osterwalder--Schrader axioms in the small-coupling regime. The work unifies stochastic control, Polchinski flow analysis, and FBSDE methods to advance the rigorous understanding of the sine-Gordon model on $\mathbb{R}^2$ and its Euclidean QFT properties, including OS compliance and a robust variational description of the Laplace transform and large deviations.
Abstract
We develop a stochastic analysis of the sine-Gordon Euclidean quantum field $(\cos (β\varphi))_2$ on the full space up to the second threshold, i.e. for $β^2 < 6 π$. The basis of our method is a forward-backward stochastic differential equation (FBSDE) for a decomposition $(X_t)_{t \geqslant 0}$ of the interacting Euclidean field $X_{\infty}$ along a scale parameter $t \geqslant 0$. This FBSDE describes the optimiser of the stochastic control representation of the Euclidean QFT introduced by Barashkov and one of the authors. We show that the FBSDE provides a description of the interacting field without cut-offs and that it can be used effectively to study the sine-Gordon measure to obtain results about large deviations, integrability, decay of correlations for local observables, singularity with respect to the free field, Osterwalder-Schrader axioms and other properties.
