Ornstein-Zernike theory for finite range Ising models above \(T_c\) (Q1400824)

The authors consider the class of Ising models with finite-range ferromagnetic two-body interactions on \(Z^d \). The central quantity of their study is the 2-point correlation function \(g_\beta (x)=\langle \sigma_0 \sigma_x\rangle_\beta \) with respect to the Gibbs measure \(\mu_\beta \) at inverse temperature \(\beta \). It plays in the models under consideration precisely the role of the density-density correlation function of classical fluids, as can be seen going to the lattice gas integration of the model, \(n_x =\frac{1}{2} (\sigma_x +1) \), where the site \(x\) is occupied by a particle iff \(n_x =1\). For any \(x \in R^d \) let \(\xi_\beta (x)=-\lim_{k\to\infty} \frac{1}{k} \log g_\beta([kx])\). The main result describes sharp Ornstein-Zernike-type asymptotics for the 2-point function of the models. Theorem A. Let \(\beta < \beta_c\). Uniformly in \(\mid x \mid \to \infty\), \[ \langle \sigma_0 \sigma_x\rangle_\beta = \frac{\Phi_\beta(\vec{n}(x))}{\sqrt{\mid x \mid^{d-1}}}e^{-\mid x \mid \xi_\beta(\vec{n}(x))}(1+o(1)), \] where \(\vec{n}(x)\) is the unit vector in the direction of \(x\); \(\vec{n}(x)=x/|x|\), and \(\Phi_\beta\) is a strictly positive locally analytic function on \(S^{d-1}\). As a byproduct the authors obtain that for every \(\beta < \beta_c\), the inverse correlation length \(\xi_\beta\) is an analytic and strictly convex function of direction. Let \(K_\beta= \bigcap_{n \in S^{d-1}} \{t \in \mathbb R^d : (t,n) d \leq \xi_\beta(n)\}\) with a non-empty interior, \(0 \in\int K_\beta\). \((\cdot,\cdot)_d\) denotes the usual scalar product in \(\mathbb R^d\). Theorem B. Let \(\beta < \beta_c\). Then \(K_\beta\) has a locally analytic strictly convex boundary \(\partial K_\beta\). Furthermore, the Gaussian curvature \(\kappa_\beta\) of \(\partial K_\beta\) is uniformly positive, \(\kappa_\beta= \min_{t \in \partial K_\beta} \{\kappa_\beta(t) > 0\}.\)