A New Correlation Inequality for Ising Models with External Fields

We study ferromagnetic Ising models on finite graphs with an inhomogeneous external field, where a subset of vertices is designated as the boundary. We show that the influence of boundary conditions on any given spin is maximised when the external field is identically $0$. One corollary is that spin-spin correlations are maximised when the external field vanishes and the boundary condition is free, which proves a conjecture of Shlosman. In particular, the random field Ising model on ${mathbb Z}^d$, $dgeq 3$, exhibits exponential decay of correlations in the entire high temperature regime of the pure Ising model. Another corollary is that the pure Ising model in $dgeq 3$ satisfies the conjectured strong spatial mixing property in the entire high temperature regime.