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 Z, d ě 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 d ě 3 satisfies the conjectured strong spatial mixing property in the entire high temperature regime.

[1]  Alberto Berretti.  Some properties of random Ising models , 1985 .

[2]  S. Sherman,et al.  General Griffiths' Inequalities on Correlations in Ising Ferromagnets , 1968 .

[3]  A. Bovier,et al.  Statistical Mechanics of Disordered Systems: A Mathematical Perspective , 2006 .

[4]  S. Sherman,et al.  Concavity of Magnetization of an Ising Ferromagnet in a Positive External Field , 1970 .

[5]  Yvan Alain Velenik,et al.  Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction , 2017 .

[6]  C. Newman,et al.  A Note on Exponential Decay in the Random Field Ising Model , 2018, Journal of Statistical Physics.

[7]  F. Martinelli,et al.  Approach to equilibrium of Glauber dynamics in the one phase region , 1994 .

[8]  M. Aizenman,et al.  The phase transition in a general class of Ising-type models is sharp , 1987 .

[9]  F. Martinelli,et al.  For 2-D lattice spin systems weak mixing implies strong mixing , 1994 .

[10]  H. Duminil-Copin,et al.  A New Proof of the Sharpness of the Phase Transition for Bernoulli Percolation and the Ising Model , 2015, Communications in Mathematical Physics.

[11]  Yuval Peres,et al.  Glauber dynamics on trees and hyperbolic graphs , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[12]  J. Bricmont,et al.  Phase transition in the 3d random field Ising model , 1988 .

[13]  Vincent Tassion,et al.  Sharp phase transition for the random-cluster and Potts models via decision trees , 2017, Annals of Mathematics.

[14]  F. Martinelli.  Lectures on Glauber dynamics for discrete spin models , 1999 .

[15]  C. Fortuin,et al.  Correlation inequalities on some partially ordered sets , 1971 .

[16]  Abel Klein,et al.  Taming Griffiths' singularities: Infinite differentiability of quenched correlation functions , 1995 .

[17]  S. Gharan,et al.  Spectral Independence in High-Dimensional Expanders and Applications to the Hardcore Model , 2020, 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS).

[18]  R. Griffiths.  Correlations in Ising ferromagnets. III , 1967 .

[19]  Jian Ding,et al.  Exponential decay of correlations in the two-dimensional random field Ising model , 2019, Inventiones mathematicae.

[20]  Allan Sly,et al.  Information percolation and cutoff for the stochastic Ising model , 2014 .

[21]  Allan Sly,et al.  Cutoff for General Spin Systems with Arbitrary Boundary Conditions , 2012, 1202.4246.

[22]  Allan Sly,et al.  Cutoff for the Ising model on the lattice , 2009, 0909.4320.

[23]  Jürg Fröhlich,et al.  Improved perturbation expansion for disordered systems: Beating Griffiths singularities , 1984 .

[24]  Michael Aizenman,et al.  Rounding effects of quenched randomness on first-order phase transitions , 1990 .

[25]  M. Aizenman,et al.  Exponential Decay of Correlations in the 2D Random Field Ising Model , 2019, Journal of Statistical Physics.