Planar Ising magnetization field II. Properties of the critical and near-critical scaling limits

Abstract

In (Ann. Probab. 43 (2015) 528–571), we proved that the renormalized critical Ising magnetization fields $\varPhi^{a}:=a^{15/8}\sum_{x\in a\mathbb{Z}^{2}}\sigma_{x}\delta_{x}$ converge as $a\to0$ to a random distribution that we denoted by $\varPhi^{\infty}$. The purpose of this paper is to establish some fundamental properties satisfied by this $\varPhi^{\infty}$ and the near-critical fields $\varPhi^{\infty,h}$. More precisely, we obtain the following results.

(i) If $A\subset\mathbb{C}$ is a smooth bounded domain and if $m=m_{A}:=\langle\varPhi^{\infty},1_{A}\rangle$ denotes the limiting rescaled magnetization in $A$, then there is a constant $c=c_{A}>0$ such that

\[\log\mathbb{P}[m>x]\mathop{\sim}_{x\to\infty}-cx^{16}.\] In particular, this provides an alternative way of seeing that the field $\varPhi^{\infty}$ is non-Gaussian (another proof of this fact would use the explicit $n$-point correlation functions established in (Ann. Math. 181 (2015) 1087–1138) which do not satisfy Wick’s formula).

(ii) The random variable $m=m_{A}$ has a smooth density and one has more precisely the following bound on its Fourier transform: $\vert \mathbb{E}[\mathrm{e}^{\mathrm{i}tm}]\vert \le \mathrm{e}^{-\tilde{c}\vert t\vert^{16/15}}$.

(iii) There exists a one-parameter family $\varPhi^{\infty,h}$ of near-critical scaling limits for the magnetization field in the plane with vanishingly small external magnetic field.

Dans l’article (Ann. Probab. 43 (2015) 528–571), nous avons montré que le champ de magnétisation du modèle d’Ising critique $\varPhi^{a}:=a^{15/8}\sum_{x\in a\mathbb{Z}^{2}}\sigma_{x}\delta_{x}$ converge lorsque $a\to0$ vers une distribution aléatoire limite $\varPhi^{\infty}$. Le but de cet article est d’analyser certaines propriétés fondamentales de cet objet limite $\varPhi^{\infty}$ ainsi que ses analogues presque-critiques $\varPhi^{\infty,h}$. Plus précisément, nous obtenons les résultats suivants :

(i) Si $A\subset\mathbb{C}$ est un domaine borné régulier du plan et si $m=m_{A}:=\langle\varPhi^{\infty},1_{A}\rangle$, alors il existe une constante $c=c_{A}>0$ telle que

\[\log\mathbb{P}[m>x]\mathop{\sim}_{x\to\infty}-cx^{16}.\] On obtient ainsi une preuve alternative du fait que $\varPhi^{\infty}$ est non-Gaussian (une autre façon de voir le coté non-Gaussien utilise les fonctions de corrélations à $n$-points obtenues dans (Ann. Math. 181 (2015) 1087–1138) qui ne satisfont pas la formule de Wick).

(ii) La variable aléatoire $m=m_{A}$ a une densité qui est analytique. Plus précisément, on obtient la borne suivante sur sa transformée de Fourier : $\vert \mathbb{E}[\mathrm{e}^{\mathrm{i}tm}]\vert \le \mathrm{e}^{-\tilde{c}\vert t\vert^{16/15}}$.

(iii) Il existe une famille à un paramètre $\varPhi^{\infty,h}$ de limite d’échelle presque-critiques pour le champ de magnétisation dans le plan avec un champ magnétique extérieur infinitésimal.