A transportation approach to the mean-field approximation

We develop transportation-entropy inequalities which are saturated by measures such that their log-density with respect to the background measure is an affine function, in the setting of the uniform measure on the discrete hypercube and the exponential measure. In this sense, this extends the well-known result of Talagrand in the Gaussian case. By duality, these transportation-entropy inequalities imply a strong integrability inequality for Bernoulli and exponential processes. As a result, we obtain on the discrete hypercube a dimension-free mean-field approximation of the free energy of a Gibbs measure and a nonlinear large deviation bound with only a logarithmic dependence on the dimension. Applied to the Ising model, we deduce that the mean-field approximation is within O(n||J||2)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$O(\sqrt{n} ||J||_2)$$\end{document} of the free energy, where n is the number of spins and ||J||2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$||J||_2$$\end{document} is the Hilbert–Schmidt norm of the interaction matrix. Finally, we obtain a reverse log-Sobolev inequality on the discrete hypercube similar to the one proved recently in the Gaussian case by Eldan and Ledoux.