Power series expansions for the planar monomer-dimer problem

We compute the free energy of the planar monomer-dimer model. Unlike the classical planar dimer model, an exact solution is not known in this case. Even the computation of the low-density power series expansion requires heavy and nontrivial computations. Despite the exponential computational complexity, we compute almost three times more terms than were previously known. Such an expansion provides both lower and upper bounds for the free energy and makes it possible to obtain more accurate numerical values than previously possible. We expect that our methods can be applied to other similar problems.

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

[2]  J. Propp,et al.  A variational principle for domino tilings , 2000, math/0008220.

[3]  D. H. Everett,et al.  The thermodynamics of hydrocarbon solutions - II. The systems benzene+diphenyl, benzene+diphenylmethane and benzene+dibenzyl , 1952, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[4]  M. Jerrum.  Two-dimensional monomer-dimer systems are computationally intractable , 1987 .

[5]  P. Butera,et al.  Higher-order expansions for the entropy of a dimer or a monomer-dimer system on d-dimensional lattices. , 2013, Physical review. E, Statistical, nonlinear, and soft matter physics.

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

[7]  A. Scott,et al.  The Repulsive Lattice Gas, the Independent-Set Polynomial, and the Lovász Local Lemma , 2003, cond-mat/0309352.

[8]  V. Arnold.  Mathematical Methods of Classical Mechanics , 1974 .

[9]  W. Marsden.  I and J , 2012 .

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

[11]  P. W. Kasteleyn.  The Statistics of Dimers on a Lattice , 1961 .

[12]  R. Gregory Taylor,et al.  Modern computer algebra , 2002, SIGA.

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

[14]  Manuel Kauers,et al.  The Holonomic Toolkit , 2013 .

[15]  S. Lando.  Lectures on Generating Functions , 2003 .

[16]  P. Csikvári,et al.  Matching Measure, Benjamini–Schramm Convergence and the Monomer–Dimer Free Energy , 2014, 1405.6740.

[17]  Mihai Ciucu,et al.  An improved upper bound for the $3$-dimensional dimer problem , 1998 .

[18]  Elliott H. Lieb,et al.  Solution of the Dimer Problem by the Transfer Matrix Method , 1967 .

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

[20]  P. Federbush.  Computation of terms in the asymptotic expansion of dimer λd for high dimension , 2009, 0908.1725.

[21]  Philippe Flajolet,et al.  Analytic Combinatorics , 2009 .

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

[23]  Charalambos A. Charalambides,et al.  Enumerative combinatorics , 2018, SIGA.

[24]  Shmuel Friedland,et al.  An Asymptotic Expansion and Recursive Inequalities for the Monomer-Dimer Problem , 2010, 1011.6579.

[25]  R. Zia,et al.  Making sense of the Legendre transform , 2008, 0806.1147.

[26]  R. Fowler,et al.  An attempt to extend the statistical theory of perfect solutions , 1937 .

[27]  D. Gamarnik,et al.  Sequential Cavity Method for Computing Free Energy and Surface Pressure , 2008, 0807.1551.

[28]  Y. Kong.  Monomer-dimer model in two-dimensional rectangular lattices with fixed dimer density. , 2006, Physical review. E, Statistical, nonlinear, and soft matter physics.