Lace expansion for the Ising model (Q2466812)

The author proves that the lace expansion is valid for the Ising model at any spin-spin coupling. The \(d\)-dimensional integer lattice \(\mathbb{Z}^d\), where \(\Lambda\) is a finite subject of \(\mathbb{Z}^d\) containing the origin, is considered. At each site \(x\in\Lambda\) there is a spin variable \(\varphi_x\) taking values \(+1\) or \(-1\). The representing energy of the system Hamiltonian is defined by \(H_{\Lambda}^h(\varphi)=-\sum_{\{x,y\}\subset\Lambda}J_{x,y}\varphi_x\varphi_y-h\sum_{x\in\Lambda}\varphi_x\), where \(\varphi\equiv\{\varphi_x\}_{x\in\Lambda}\) is a spin configuration, \(\{J_{x,y}\}_{x,y\in\mathbb{Z}^d}\) is a collection of spin-spin couplings, \(\mathbb{R}\ni h\) represents the strength of an external magnetic field uniformly imposed on \(\Lambda\). For the ferromagnetic case when \(J_{x,y}\geq 0\) for all pairs \(\{x,y\}\) it is also proved, that the expansion coefficients obey certain diagrammatic bounds, which are similar to ones on the lace expansion coefficients for a self-avoiding walk. One of the advantages in the application of the lace expansion is that the reflection positivity is not required to prove a Gaussian infrared bound and mean-field behaviour. As a result the Gaussian asymptotics of the critical two-point function for the nearest-neighbor model with \(d\gg 4\) and for the spread-out model with \(d>4\) and \(L\gg 1\) is obtained.