pith. sign in

arxiv: 2405.05388 · v13 · pith:AJLBO5DZnew · submitted 2024-05-08 · 🧮 math-ph · cond-mat.stat-mech· math.MP

The Aesthetic Asymptotics of the Mayer Series Coefficients for a Dimer Gas on a Regular Lattice

Paul Federbush This is my paper

Pith reviewed 2026-05-24 01:31 UTC · model grok-4.3

classification 🧮 math-ph cond-mat.stat-mechmath.MP
keywords Mayer seriesdimer gasregular latticeasymptotic expansionMayer coefficientsbody-centered cubic latticerectangular latticeIsing susceptibility
0
0 comments X

The pith

Mayer series coefficients b(n) for dimer gases on regular lattices follow the asymptotic form exp(k(-1)n + k(0)ln(n) + k(1)/n + k(2)/n^2 + ... ) with alternating sign.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper conjectures that the Mayer coefficients b(n) of a dimer gas on any regular lattice obey a uniform large-n asymptotic expansion. The signed quantity (-1)^{n+1} b(n) is proposed to equal the exponential of a linear term in n, a logarithmic term, and a series of inverse powers of n. This form is fitted using the first 20 known coefficients on rectangular lattices in dimensions 2, 3, 5, 11 and 20, on the tetrahedral lattice, and on body-centered cubic lattices in dimensions 3–5, with the four leading constants producing close numerical agreement. The same pattern is observed to appear in Ising susceptibility series on selected lattices, and the ordinary partition function p(n) is noted to share an analogous property.

Core claim

We conjecture that for all regular lattices b(n) is asymptotically of the form (-1)^{n+1} b(n) = exp( k(-1) n + k(0) ln(n) + k(1)/n + k(2)/n^2 + ... ). The conjecture is tested by truncating after the k(2) term and fitting the four constants to the first 20 known Mayer coefficients on the listed bipartite lattices; agreement is described as striking.

What carries the argument

The conjectured four-term asymptotic expansion inside the exponential for the signed Mayer coefficients (-1)^{n+1} b(n).

If this is right

  • The same asymptotic form holds for every regular lattice once sufficiently many coefficients are known.
  • The four constants k(-1), k(0), k(1), k(2) can be extracted reliably from the first 20 terms on any lattice where those terms exist.
  • Ising-model susceptibility series on the two-dimensional rectangular, triangular and honeycomb lattices exhibit an analogous asymptotic structure.
  • The ordinary partition function p(n) satisfies a parallel 'magic' property whose explanation is left as an open combinatorial question.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the form is universal, the leading constants may be lattice-independent quantities that encode global features of the dimer model.
  • Additional coefficients for the triangular lattice would allow a direct test on a non-bipartite regular lattice.
  • The noted similarity between Mayer and Ising series suggests the asymptotic mechanism may extend to other graphical expansions of lattice statistical mechanics.

Load-bearing premise

The first 20 Mayer coefficients already determine the four leading constants accurately enough that the exponential-plus-log form is the correct large-n behavior on every regular lattice.

What would settle it

Compute the 25th Mayer coefficient for the two-dimensional rectangular lattice and check whether its magnitude lies within a few percent of the value predicted by the four-constant fit already obtained from the first 20 terms.

read the original abstract

We conjecture that for all regular lattices b(n) is asymptotically of the form in eq.(A1). (-1)^{n+1} b(n) = exp( k(-1) n + k(0) ln(n) + k(1) / n + k(2) / n^(2)...) (A1) We restrict testing this to lattices for which we know the first 20 Mayer series coefficients, the b(n). This includes the infinite number of rectangular lattices, one for each dimension, the tetrahedral lattice ( in this one case we know only the first 19 coefficients ), and the (bipartite) body centered cubic lattices, in dimensions 3 through 7. In this paper we will detail results for the rectangular lattices in dimensions 2,3,5,11,and 20, for the tetrahedral lattice, and for the body centered cubic lattices in dimensions 3,4, and 5. These are all bipartite, unfortunately we do not have an example of a non-bipartite regular lattice for which we know enough of the b(n) to work with. For the triangular lattice, regular and non-bipartite, we know the first 14 b(n). We feel this is not enough terms to make any judgement, hopefully someone may compute more terms. We work with an 'approximation' that keeps the first four terms, in k{-1), k(0), k(1), k(2), in the exponent in eq.(A1). Agreement will be striking. At the end of Part 1 there is a digression on a conjecture in line with recent applications of the renormalization group to study phase transitions and the ideas of Cardy, [10]. In Part 7 there is some study of susceptibility series for the Ising model on the 2d rectangular lattice, triangular lattice, and honeycomb lattice; where there is surprising similarity to Mayer series on regular graphs, as studied herein. Also in Part 7 we show, mirabile dictu, that the number of partitions function. p(n), has the 'magic' property. A CHALLENGE TO COMBINATORISTS, EXPLAIN THIS.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

Summary. The manuscript conjectures that the Mayer series coefficients b(n) for a dimer gas on any regular lattice obey the asymptotic form (-1)^{n+1} b(n) = exp( k(-1) n + k(0) ln(n) + k(1)/n + k(2)/n^2 + ...) (eq. (A1)) for large n. This is tested by fitting the four parameters k(-1), k(0), k(1), k(2) to the known b(n) up to n=20 (or 19) on rectangular lattices in dimensions 2, 3, 5, 11 and 20, the tetrahedral lattice, and body-centered cubic lattices in dimensions 3–5, with the claim of striking agreement. Additional material includes a renormalization-group digression in Part 1 and comparisons of Mayer series to Ising susceptibility series plus a remark on the partition function p(n) in Part 7.

Significance. If the conjectured form were independently verified, it would supply a concrete large-order characterization of Mayer coefficients on lattices that could link dimer models to phase-transition theory. The numerical tests across multiple bipartite lattices constitute suggestive evidence, yet the purely empirical support without derivation or cross-validation limits the result's immediate contribution to the field.

major comments (3)
  1. [Abstract, eq. (A1)] Abstract, eq. (A1): the asymptotic form is introduced as a conjecture with no derivation from the Mayer cluster expansion or the underlying lattice generating function; the four k parameters are obtained by direct fitting to the same b(n) values (n ≤ 20) whose large-n behavior is asserted, so the reported agreement is guaranteed by construction rather than by an independent test.
  2. [Abstract] Abstract: no stability analysis of the fitted k values is described (e.g., refitting on the window n=10–20 versus n=1–20, or checking consistency when additional coefficients become available), which is required to confirm that the leading terms already dominate by n=20 rather than being contaminated by higher-order transients.
  3. [Abstract] Abstract (triangular-lattice paragraph): the claim that 20 coefficients suffice to determine the four k parameters is asserted without a quantitative criterion or error analysis showing that the fit window is large enough for the asymptotic regime to be reached on the tested lattices.
minor comments (2)
  1. [Abstract] The parenthetical remark on the tetrahedral lattice contains inconsistent spacing: '( in this one case'.
  2. [Part 7] Informal phrasing such as 'mirabile dictu' and the all-caps challenge to combinatorists on p(n) is atypical for a mathematics-physics journal article.

Simulated Author's Rebuttal

3 responses · 1 unresolved

We thank the referee for the careful and constructive report. Our manuscript presents a conjecture for the asymptotic form of the Mayer coefficients b(n) supported by numerical fits to known coefficients up to n=20 on several bipartite lattices. We address each major comment below.

read point-by-point responses

  1. Referee: [Abstract, eq. (A1)] Abstract, eq. (A1): the asymptotic form is introduced as a conjecture with no derivation from the Mayer cluster expansion or the underlying lattice generating function; the four k parameters are obtained by direct fitting to the same b(n) values (n ≤ 20) whose large-n behavior is asserted, so the reported agreement is guaranteed by construction rather than by an independent test.

    Authors: We agree that eq. (A1) is introduced strictly as a conjecture with no derivation provided from the cluster expansion or lattice generating function. The parameters are fitted directly to the available b(n) data. While this means the agreement on any single lattice is not an independent validation, the manuscript emphasizes the consistency of the fitted k values across multiple independent lattices (rectangular lattices in dimensions 2, 3, 5, 11, 20; BCC lattices in dimensions 3–5; tetrahedral lattice). We will revise the abstract and introduction to state more explicitly that the evidence is empirical and conjectural, and that cross-lattice consistency is the main supporting observation rather than a formal test. revision: partial

  2. Referee: [Abstract] Abstract: no stability analysis of the fitted k values is described (e.g., refitting on the window n=10–20 versus n=1–20, or checking consistency when additional coefficients become available), which is required to confirm that the leading terms already dominate by n=20 rather than being contaminated by higher-order transients.

    Authors: The original manuscript does not include a stability analysis of the fitted parameters under changes to the fitting window. This is a valid criticism. In a revised version we will add such an analysis, including refits restricted to higher-n windows (e.g., n=10–20) and reporting the resulting variation in the leading k coefficients to assess whether the asymptotic regime has been reached by n=20. revision: yes

  3. Referee: [Abstract] Abstract (triangular-lattice paragraph): the claim that 20 coefficients suffice to determine the four k parameters is asserted without a quantitative criterion or error analysis showing that the fit window is large enough for the asymptotic regime to be reached on the tested lattices.

    Authors: The manuscript already notes that the 14 known coefficients on the triangular lattice are insufficient for any judgement. For the lattices with 20 coefficients we describe the agreement as striking but do not supply a quantitative error analysis or explicit criterion for the onset of the asymptotic regime. We will incorporate in the revision a quantitative discussion of fit residuals and stability across windows to provide the requested criterion. revision: yes

standing simulated objections not resolved
  • The referee correctly identifies that no derivation of the conjectured form (A1) is given; we are unable to supply one, as the result remains purely empirical and conjectural.

Circularity Check

0 steps flagged

Empirical conjecture from fit to known coefficients; no derivation reduces to inputs

full rationale

The paper explicitly frames its central claim as a conjecture that b(n) obeys the four-term asymptotic form (A1) for all regular lattices, tested only on those lattices where the first 19–20 Mayer coefficients b(n) are already known. The text states that the k coefficients are chosen to produce striking agreement with those known values and makes no claim of an independent derivation, first-principles prediction, or stability check against further terms. No load-bearing step equates the conjectured form to its own fitted inputs by construction, nor does any self-citation or uniqueness theorem appear in the supplied text. The work is therefore self-contained as an empirical observation rather than a circular derivation.

Axiom & Free-Parameter Ledger

4 free parameters · 1 axioms · 0 invented entities

The claim rests on an ad-hoc choice of asymptotic functional form together with four free parameters per lattice that are fitted directly to the b(n) data.

free parameters (4)
  • k(-1)
    Linear coefficient in the exponent, fitted to the b(n) sequence for each lattice
  • k(0)
    Coefficient of ln(n) in the exponent, fitted to the b(n) sequence for each lattice
  • k(1)
    Coefficient of 1/n in the exponent, fitted to the b(n) sequence for each lattice
  • k(2)
    Coefficient of 1/n^2 in the exponent, fitted to the b(n) sequence for each lattice
axioms (1)
  • ad hoc to paper The large-n behavior of b(n) is captured by an exponential whose exponent contains a linear term, a logarithm, and a descending power series in 1/n
    This functional form is introduced as a conjecture without derivation from the underlying lattice model.

pith-pipeline@v0.9.0 · 5951 in / 1639 out tokens · 48322 ms · 2026-05-24T01:31:32.297949+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · 3 internal anchors

  1. [1]

    Higher-order expan- sions for the entropy of a dimer or a monomer-dimer system on d-dimensional lattices

    P. Butera, P. Federbush and M. Pernici, “Higher-order expan- sions for the entropy of a dimer or a monomer-dimer system on d-dimensional lattices”, Phys. Rev. E87,062113 (2013)

    work page 2013

  2. [2]

    High-temperature expansions of the higher susceptibilities for the Ising model in general dimension d

    P. Butera and M. Pernici, “High-temperature expansions of the higher susceptibilities for the Ising model in general dimension d”,Phys. Rev.E86, 011139 (2012)

    work page 2012

  3. [3]

    An Asymptotic Expansion and Recursive Inequalities for the Monomer-Dimer Problem

    P. Federbush and S. Friedland, “An Asymptotic Expansion and Recursive Inequalities for the Monomer-Dimer Problem”,J. Stat. Phys.143, 306 (2011)

    work page 2011

  4. [4]

    For the Monomer-Dimer lambda_d(p), the Master Algebraic Conjecture

    P. Federbush, “For the Monomer-Dimer λd(p), the Master Alge- braic Conjecture”, arXiv:1209.0987

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Matchings in Vertex-Transitive Bipartite Graphs

    Peter Csikvari, “Matchings in Vertex-Transitive Bipartite Graphs”,Israel Journal of Mathematics215 (2016), 99-134

    work page 2016

  6. [6]

    McCoy, ”Advanced Statistical Mechanics”,Oxford University Press(2010)

    Barry M. McCoy, ”Advanced Statistical Mechanics”,Oxford University Press(2010)

    work page 2010

  7. [7]

    Positivity of the Virial Coefficients in lattice dimer models and upper bounds on the number of matchings on graphs

    P. Butera, P. Federbush and M. Pernici, “Positivity of the Virial Coefficients in lattice dimer models and upper bounds on the number of matchings on graphs”, Physica A 437 (2015) 278-294. 13

    work page 2015

  8. [8]

    Dimer lambda_d Expansion, Dimensional Dependence of J_n Kernels

    P. Federbush, “Dimer λd Expansion, Dimensional Dependence ofj n Kernels”, arXiv:0806.1941

    work page internal anchor Pith review Pith/arXiv arXiv 1941

  9. [9]

    The Dimer Gas Mayer Series, the Monomer-Dimer lambda_d(p), the Federbush Relation

    P. Federbush, “the Dimer Gas Mayer Series, the Monomer- Dimerλ d(p), the Federbush Relation”, arXiv:1207.1252

    work page internal anchor Pith review Pith/arXiv arXiv

  10. [10]

    John Cardy, ”the Yang-Lee Edge Singularity and Related Prob- lems” arXiv:2305.13288

    work page arXiv

  11. [11]

    Y. Chan, A. J. Guttmann, B. G. Nickel, J. H. H. Perk, ”the Ising Susceptibility Scaling Function”, J. Stat. Phys. 145, 549-590, 2011

    work page 2011

  12. [12]

    W. P. Orrick, B. G. Nickel, A. J. Guttmann, J. H. H. Perk, ”the Susceptibility of the Square Lattice Ising Model”, J. Stat. Phys. 102, 795-841, 2001. 14

    work page 2001