Sharpness of the phase transition in percolation models (Q1822422)

The equality of two critical points -- the percolation threshold \(p_ H\) and the point \(p_ T\) where the cluster size distribution ceases to decay exponentially -- is proven for all translation invariant independent percolation models on homogeneous \(d\)-dimensional lattices (\(d\geq 1\)). The analysis is based on a pair of new nonlinear partial differential inequalities for an order parameter \(M(\beta,h)\), which for \(h=0\) reduces to the percolation density \(P_{\infty}\) -- at the bond density \(p=1- e^{-\beta}\) in the single parameter case. These are: (1) \(M\leq h\partial M/\partial h+M^ 2+\beta M\partial M/\partial \beta\), and (2) \(\partial M/\partial \beta \leq | J| M\partial M/\partial h\). Inequality (1) is intriguing in that its derivation provides yet another hint of a ''\(\phi^ 3\) structure'' in percolation models. Moreover, through the elimination of one of its derivatives, (1) yields a pair of ordinary differential inequalities which provide information on the critical exponents \({\hat \beta}\) and \(\delta\). One of these resembles an Ising model inequality of Fröhlich and Sokal and yields the mean field bound \(\delta\geq 2\), and the other implies the result of Chayes and Chayes that \({\hat \beta}\leq 1\). An inequality identical to (2) is known for Ising models, where it provides the basis for Newman's universal relation \(\hat\beta(\delta-1)\geq 1\) and for certain extrapolation principles, which are now made applicable also to independent percolation. These results apply to both finite and long range models, with or without orientation, and extend to periodic and weakly inhomogeneous systems.