TY - JOUR

T1 - Log-Sobolev inequality for near critical Ising models

AU - Bauerschmidt, Roland

AU - Dagallier, Benoit

N1 - Publisher Copyright:
© 2023 The Authors. Communications on Pure and Applied Mathematics published by Courant Institute of Mathematics and Wiley Periodicals LLC.

PY - 2023

Y1 - 2023

N2 - For general ferromagnetic Ising models whose coupling matrix has bounded spectral radius, we show that the log-Sobolev constant satisfies a simple bound expressed only in terms of the susceptibility of the model. This bound implies very generally that the log-Sobolev constant is uniform in the system size up to the critical point (including on lattices), without using any mixing conditions. Moreover, if the susceptibility satisfies the mean-field bound as the critical point is approached, our bound implies that the log-Sobolev constant depends polynomially on the distance to the critical point and on the volume. In particular, this applies to the Ising model on subsets of (Formula presented.) when (Formula presented.). The proof uses a general criterion for the log-Sobolev inequality in terms of the Polchinski (renormalisation group) equation, a recently proved remarkable correlation inequality for Ising models with general external fields, the Perron–Frobenius theorem, and the log-Sobolev inequality for product Bernoulli measures.

AB - For general ferromagnetic Ising models whose coupling matrix has bounded spectral radius, we show that the log-Sobolev constant satisfies a simple bound expressed only in terms of the susceptibility of the model. This bound implies very generally that the log-Sobolev constant is uniform in the system size up to the critical point (including on lattices), without using any mixing conditions. Moreover, if the susceptibility satisfies the mean-field bound as the critical point is approached, our bound implies that the log-Sobolev constant depends polynomially on the distance to the critical point and on the volume. In particular, this applies to the Ising model on subsets of (Formula presented.) when (Formula presented.). The proof uses a general criterion for the log-Sobolev inequality in terms of the Polchinski (renormalisation group) equation, a recently proved remarkable correlation inequality for Ising models with general external fields, the Perron–Frobenius theorem, and the log-Sobolev inequality for product Bernoulli measures.

UR - http://www.scopus.com/inward/record.url?scp=85174242274&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85174242274&partnerID=8YFLogxK

U2 - 10.1002/cpa.22172

DO - 10.1002/cpa.22172

M3 - Article

AN - SCOPUS:85174242274

SN - 0010-3640

VL - 77

SP - 2568

EP - 2576

JO - Communications on Pure and Applied Mathematics

JF - Communications on Pure and Applied Mathematics

IS - 4

ER -