Sequential Cavity Method for Computing Free Energy and Surface Pressure

We propose a new method for the problems of computing free energy and surface pressure for various statistical mechanics models on a lattice ℤd. Our method is based on representing the free energy and surface pressure in terms of certain marginal probabilities in a suitably modified sublattice of ℤd. Then recent deterministic algorithms for computing marginal probabilities are used to obtain numerical estimates of the quantities of interest. The method works under the assumption of Strong Spatial Mixing (SSP), which is a form of a correlation decay.We illustrate our method on the hard-core and monomer-dimer models, on which we improve several earlier estimates. For example we show that the exponential of the monomer-dimer coverings of ℤ3 belongs to the interval [0.78595,0.78599], improving best previously known estimate of [0.7850,0.7862] obtained in (Friedland and Peled in Adv. Appl. Math. 34:486–522, 2005; Friedland et al. in J. Stat. Phys., 2009). Moreover, we show that given a target additive error ε>0, the computational effort of our method for these two models is (1/ε)O(1)both for the free energy and surface pressure values. In contrast, prior methods, such as the transfer matrix method, require exp ((1/ε)O(1)) computation effort.

[1]  P. W. Kasteleyn The statistics of dimers on a lattice: I. The number of dimer arrangements on a quadratic lattice , 1961 .

[2]  M. Fisher Statistical Mechanics of Dimers on a Plane Lattice , 1961 .

[3]  M. Fisher,et al.  Dimer problem in statistical mechanics-an exact result , 1961 .

[4]  R. Baxter,et al.  Dimers on a Rectangular Lattice , 1968 .

[5]  J. M. Hammersley,et al.  An improved lower bound for the multidimensional dimer problem , 1968, Mathematical Proceedings of the Cambridge Philosophical Society.

[6]  J. M. Hammersley,et al.  A Lower Bound for the Monomer-Dimer Problem , 1970 .

[7]  R. Dobrushin Prescribing a System of Random Variables by Conditional Distributions , 1970 .

[8]  O. J. Heilmann,et al.  Theory of monomer-dimer systems , 1972 .

[9]  F. Spitzer Markov Random Fields on an Infinite Tree , 1975 .

[10]  R. Baxter,et al.  Hard hexagons: exact solution , 1980 .

[11]  R. Baxter Exactly solved models in statistical mechanics , 1982 .

[12]  Frank Kelly,et al.  Stochastic Models of Computer Communication Systems , 1985 .

[13]  M. Mézard,et al.  On the solution of the random link matching problems , 1987 .

[14]  Hans-Otto Georgii,et al.  Gibbs Measures and Phase Transitions , 1988 .

[15]  F. Papangelou GIBBS MEASURES AND PHASE TRANSITIONS (de Gruyter Studies in Mathematics 9) , 1990 .

[16]  Barry Simon,et al.  The statistical mechanics of lattice gases , 1993 .

[17]  Mark Jerrum,et al.  The Markov chain Monte Carlo method: an approach to approximate counting and integration , 1996 .

[18]  A. Sinclair,et al.  Approximating the number of monomer-dimer coverings of a lattice , 1996 .

[19]  Pierre Bernard,et al.  Lectures on Probability Theory and Statistics: Ecole d'Ete de Probabilites de Saint-Flour XXVI - 1996 , 1997 .

[20]  Herbert S. Wilf,et al.  The Number of Independent Sets in a Grid Graph , 1998, SIAM J. Discret. Math..

[21]  R. J. Baxter Planar lattice gases with nearest-neighbor exclusion , 1999 .

[22]  D. Aldous The ζ(2) limit in the random assignment problem , 2000, Random Struct. Algorithms.

[23]  M. Mézard,et al.  The Cavity Method at Zero Temperature , 2002, cond-mat/0207121.

[24]  R. Kenyon,et al.  Dimers and amoebae , 2003, math-ph/0311005.

[25]  M. Mézard,et al.  Glass models on Bethe lattices , 2003, cond-mat/0307569.

[26]  J. Picard,et al.  Lectures on probability theory and statistics , 2004 .

[27]  Shmuel Friedland,et al.  Theory of computation of multidimensional entropy with an application to the monomer-dimer problem , 2004, Adv. Appl. Math..

[28]  P. H. Lundow,et al.  On the Validations of the Asymptotic Matching Conjectures , 2006, math/0603001.

[30]  Dror Weitz,et al.  Counting independent sets up to the tree threshold , 2006, STOC '06.

[31]  Asymptotics of the monomer-dimer model on two-dimensional semi-infinite lattices. , 2006, Physical review. E, Statistical, nonlinear, and soft matter physics.

[32]  Dmitriy Katz,et al.  Correlation decay and deterministic FPTAS for counting list-colorings of a graph , 2007, SODA '07.

[33]  David Gamarnik,et al.  Simple deterministic approximation algorithms for counting matchings , 2007, STOC '07.

[34]  Shmuel Friedland,et al.  Lower Bounds for Partial Matchings in Regular Bipartite Graphs and Applications to the Monomer–Dimer Entropy , 2008, Combinatorics, Probability and Computing.

[35]  Heng Liang,et al.  Computing monomer-dimer systems through matrix permanent. , 2007, Physical review. E, Statistical, nonlinear, and soft matter physics.