A new proof of the sharpness of the phase transition for Bernoulli percolation and the Ising model

Abstract

We provide a new proof of the sharpness of the phase transition for Bernoulli percolation and the Ising model. The proof applies to infinite range models on arbitrary locally finite transitive infinite graphs. For Bernoulli percolation, we prove finiteness of the susceptibility in the subcritical regime $β<β_c$, and the mean-field lower bound $\mathbb{P}_β[0\longleftrightarrow\infty]\ge (β-β_c)/β$ for $β>β_c$. For finite-range models, we also prove that for any $β<β_c$, the probability of an open path from the origin to distance $n$ decays exponentially fast in $n$. For the Ising model, we prove finiteness of the susceptibility for $β<β_c$, and the mean-field lower bound $\langle σ_0\rangle_β^+\ge \sqrt{(β^2-β_c^2)/β^2}$ for $β>β_c$. For finite-range models, we also prove that the two-point correlations functions decay exponentially fast in the distance for $β<β_c$.