Pith. sign in

REVIEW 4 minor 6 references

An edge-bicolored graph approach to the Ising model on random regular graphs

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The free energy of the Ising model on random regular graphs is given exactly by maximizing one explicit trigonometric polynomial, and its second-order transition has mean-field exponents.

desk verdict Clean exact free-energy formula for annealed Ising on random regular graphs via edge-bicolored enumeration; mean-field exponents recovered as expected. read the letter →

arxiv 2607.07867 v1 pith:ONP7HZTY submitted 2026-07-08 math-ph cond-mat.stat-mechmath.COmath.MP

Michael Borinsky , Shiyue Ren , Maximilian Wiesmann This is my paper · ORCID
classification math-phcond-mat.stat-mechmath.COmath.MP MSC 05A1682B2082B2605C80 PACS 05.50.+q64.60.De75.10.Hk
keywords Isingmodelrandomregulargraphsedge-bicoloredanalyticcombinatoricsmean-fieldcriticalexponentsannealedfreeenergyBethelatticephasetransition
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper solves the ferromagnetic Ising model on the ensemble of random k-regular graphs by pure counting. The authors rewrite the annealed partition function as the generating function for labeled edge-bicolored regular graphs, then extract the free energy in the large-n limit from the asymptotic number of those graphs. The resulting free-energy formula is an elementary function of a single angle that maximises an explicit trigonometric potential. Analysing which saddle is global immediately yields a second-order phase transition at the Bethe critical temperature together with the four classical mean-field exponents. Because random regular graphs are locally tree-like, the result confirms that the model belongs to the infinite-dimensional mean-field universality class, now obtained by analytic combinatorics rather than probabilistic recursion.

What carries the argument

The potential V_k(θ), an explicit linear combination of two k-th powers of cosines obtained by rewriting the high-temperature expansion of the Ising partition function as a weighted enumeration of edge-bicolored regular graphs; its global maximiser on the circle supplies the free-energy density via asymptotic enumeration.

What would settle it

Compute the annealed free energy of the Ising model on a large random k-regular graph by direct Monte-Carlo sampling of both graphs and spins and check whether the numerical value converges to the closed-form expression of Theorem 1.1 at a few points both above and below the predicted critical temperature.

Watch

Extended reading notes

Core claim

For every regularity k≥3 the annealed free energy of the ferromagnetic Ising model on the random k-regular graph ensemble is given exactly by f(β,h)=(1/β)[log(cosh(βh))+(k/2)log(cosh(βJ))+log(k!·V_k(θ⋆(β,h)))], where θ⋆ is the location of a global maximum of the elementary trigonometric polynomial V_k. This free energy is analytic except on the ray h=0, β≥β_tree_c, where it undergoes a second-order transition with mean-field critical exponents α=0, β_mag=1/2, γ=1, δ=3.

Load-bearing premise

The free-energy formula rests on an asymptotic count of edge-bicolored regular graphs taken from earlier work of the same authors; if that asymptotic formula fails or a saddle becomes degenerate outside the cases they checked, the exact free energy collapses.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper derives an exact closed-form expression for the annealed free energy of the ferromagnetic Ising model on the ensemble of random k-regular graphs (k≥3) by rewriting the averaged partition function as a generating function of labeled edge-bicolored graphs and extracting its large-n asymptotics. Theorem 1.1 states that f(β,h)=(1/β)[log(cosh(βh))+(k/2)log(cosh(βJ))+log(k!·V_k(θ⋆(β,h)))], where V_k is an explicit trigonometric potential and θ⋆ is the location of its global maximum on the circle. A subsequent elementary analysis of the maximizers of |V_k| (Lemmas 3.4–3.5) locates a second-order phase transition at the Bethe critical inverse temperature β_tree_c=(1/(2J))log(k/(k-2)) with mean-field critical exponents α=0, β_mag=1/2, γ=1, δ=3 (Corollaries 1.2–1.3). The derivation rests on the high-temperature expansion (Proposition 2.3) together with asymptotic enumeration formulas for edge-bicolored regular graphs taken from the authors’ earlier combinatorial works.

Significance. If correct, the result supplies a fully rigorous, closed-form annealed free energy for the Ising model on random regular graphs and confirms that the model lies in the mean-field universality class, in agreement with earlier probabilistic analyses of locally tree-like graphs. The combinatorial route via edge-bicolored graphs is novel and yields an explicit one-variable potential whose critical-point structure is elementary to analyze; the non-degeneracy proofs (Lemmas 3.4–3.5) make the saddle-point hypotheses of the underlying enumeration theorems self-contained within the present manuscript. The work therefore bridges analytic combinatorics and statistical mechanics in a clean, reproducible way and provides a transparent derivation of the spontaneous magnetization formula (8)–(9).

minor comments (4)
  1. [Introduction, Eq. (3)] In the definition of the free energy (3) the normalization by Z_{n,k}(0,0) is essential for finiteness, yet the physical interpretation of this annealed free energy versus the more common quenched free energy is mentioned only briefly; a short clarifying sentence in the introduction would help non-combinatorial readers.
  2. [Section 3, Eq. (14) and following] The potential V_k is introduced first as a bivariate polynomial (14) and later rewritten in angular form; a single consistent notation (e.g., always V_k(θ;β,h)) would reduce the risk of confusion when the Hessian B_k is evaluated.
  3. [Section 4, Figures 1–2] Figures 1 and 2 illustrate the magnetization for the special case k=4, J=1; adding a brief caption note that the qualitative picture is independent of k≥3 would make the figures more self-contained.
  4. [References] The reference list contains several arXiv preprints of the authors (BMW25, BMW26, Wie26) that are central to the argument; once those works appear in print the citations should be updated.

Circularity Check

1 steps flagged · score 2.0 of 10

Minor self-citation of independent combinatorial asymptotics (BMW25/BMW26); free-energy formula and critical exponents otherwise derived without circular reduction.

  1. self citation load bearing [Proposition 3.1 and its proof (Section 3)]
    "This is a consequence of Proposition 2.3, the definition(1) of Zn,k and Proposition 5.1 of [BMW25]. … To apply the latter, note that a pair(G,γ) corresponds to an edge-bicolored graph, and translating the vertex weights in(13) into weights of vertices with bicolored half-edges yields the polynomial in(14)."

    The asymptotic formula that supplies the free energy in the thermodynamic limit is taken from the authors’ own earlier combinatorial papers (BMW25/BMW26, overlapping authors Borinsky & Wiesmann). Without that citation the closed-form expression of Theorem 1.1 cannot be obtained. The cited results are, however, independent graph-enumeration theorems that do not presuppose the Ising free energy, so the dependence is load-bearing for the method but not circular in the definitional sense.

full rationale

The paper reinterprets the annealed Ising partition function Zn,k as the generating function of edge-bicolored k-regular graphs (via the high-temperature expansion of Prop. 2.3) and then invokes the large-n asymptotic enumeration of those graphs from the authors’ prior combinatorial works BMW25/BMW26 (Prop. 3.1). Those prior results are pure counting statements about weighted regular graphs; they do not depend on, nor encode, the Ising free energy or its phase transition. The present manuscript independently locates the global maximizers of |Vk| (Lemmas 3.4–3.5), verifies non-degeneracy of the Hessian on the relevant locus, extracts the free-energy formula (Thm. 1.1), and computes the mean-field exponents by elementary Taylor expansion. No quantity is fitted to data, no uniqueness theorem is imported to forbid alternatives, and no ansatz is smuggled. The only self-citation is therefore a black-box combinatorial input whose hypotheses are checked rather than assumed; the derivation chain does not reduce the claimed free energy or exponents to their own inputs by construction. Score 2 reflects this single, non-circular self-citation of independent prior work.

Assumptions & free parameters 2 free parameters · 4 assumptions · 2 invented entities

The paper is a pure-math derivation that imports standard Ising high-temperature expansions, the configuration-model enumeration of regular graphs, and two prior asymptotic theorems of the same authors. No numerical fitting occurs; the only free parameters are the physical inputs J, β, h and the integer regularity k≥3. Invented entities are limited to the auxiliary potential V_k and the edge-bicolored reinterpretation, both of which are definitional.

free parameters (2)
  • ferromagnetic coupling J
    Fixed once and for all as a positive real; scales the temperature axis but is not fitted to data.
  • regularity k≥3
    Integer parameter of the graph ensemble; results hold for every fixed k≥3.
assumptions (4)
  • standard math High-temperature expansion of the Ising partition function (van der Waerden / Duminil-Copin) equates Z_G to a sum over even-degree subgraphs with explicit vertex weights.
    Invoked in Section 2, Proposition 2.3; classical and independently proved.
  • domain assumption Asymptotic enumeration of edge-bicolored regular graphs (BMW25 Prop. 5.1 / BMW26) supplies the leading exponential growth of the weighted count.
    Taken as a black box in Proposition 3.1; correctness of the free energy inherits any error in those asymptotics.
  • domain assumption Random regular graphs are generated by the configuration model (half-edge pairings), allowing loops and multiple edges; the automorphism factor 1/|Aut(G)| correctly accounts for the labeled ensemble.
    Stated in the definition of Z_{n,k} (eq. 1) and used throughout.
  • ad hoc to paper The thermodynamic free energy is the annealed free energy (log of the averaged partition function), not the quenched free energy.
    Explicitly chosen in eq. (3); the paper never claims quenched results.
invented entities (2)
  • potential polynomial V_k(x,y;β,h) and its angular form V_k(θ)
    purpose: Encodes the weighted enumeration of bicolored half-edges at a vertex; its global maximum determines the free energy.
    Definitional generating function (eq. 14); no independent physical existence claimed.
  • edge-bicolored regular graphs with parity-dependent vertex weights
    purpose: Combinatorial objects whose generating function equals the annealed Ising partition function.
    Standard re-interpretation of the high-temperature expansion; not a new physical entity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An edge-bicolored graph approach to the Ising model on random regular graphs." pith.science (2026). https://pith.science/paper/ONP7HZTY

@misc{pith2026260707867,
  author       = {Pith},
  title        = {Pith review of: An edge-bicolored graph approach to the Ising model on random regular graphs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ONP7HZTY}},
  note         = {Machine review of arXiv:2607.07867}
}
read the original abstract

We give an exact solution of the ferromagnetic Ising model on a random regular graph ensemble via analytic combinatorics. Expressing the partition function as the generating function of labeled edge-bicolored graphs, we obtain the free energy in the thermodynamic limit from the asymptotic enumeration of these graphs. A simple analysis of the resulting formula reveals a second-order phase transition with critical exponents of the mean-field universality class.

Figures

Figures reproduced from arXiv: 2607.07867 by the authors.

Figure 1
Figure 1. Magnetization m versus external field h for k = 4, J = 1 and a fixed β = 0.2 < βtree c = 1 2 log 2 = 0.346 . . . (left) and β = 0.4 > βtree c (right). 4 Magnetization and critical exponents In this section, we prove Corollary 1.3. The critical exponents are obtained from our free energy formula in Theorem 1.1 by computing low-order Taylor expansions. We explain this in detail for the magnetization and the critical e… view at source ↗
Figure 2
Figure 2. The curve represents the spontaneous magnetization [PITH_FULL_IMAGE:figures/full_fig_p011_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

  1. [1]

    The Ising model on a random planar lattice: The structure of the phase transition and the exact critical exponents

    doi:10.1142/9789814415255_0002. [BK87] Dmitri V Boulatov and Vladimir A Kazakov. “The Ising model on a random planar lattice: The structure of the phase transition and the exact critical exponents”.Physics Letters B 186.3 (1987), pp. 379–384.doi:10.1016/0370-2693(87)90312-1. [BLL98] François Bergeron, Gilbert Labelle, and Pierre Leroux.Combinatorial Speci...

    work page doi:10.1142/9789814415255_0002 1987

  2. [2]

    Bivariate exponential inte- grals and edge-bicolored graphs

    Cambridge University Press, 1998.doi:10.1017/CBO9781107325913. [BMW25] Michael Borinsky, Chiara Meroni, and Maximilian Wiesmann. “Bivariate exponential inte- grals and edge-bicolored graphs”.Le Matematiche80.1 (2025), pp. 167–187.doi:10.4418/ 2025.80.1.6. [BMW26] Michael Borinsky, Chiara Meroni, and Maximilian Wiesmann.Asymptotic number of edge- colored r...

    work page doi:10.1017/cbo9781107325913 1998

  3. [3]

    15 [Bru70] Nicolaas G de Bruijn.Asymptotic Methods in Analysis

    arXiv:2601.18994 [math.CO]. 15 [Bru70] Nicolaas G de Bruijn.Asymptotic Methods in Analysis. Vol

    work page arXiv

  4. [4]

    Hopping of ions in ice

    [Che+74] Mou-Shan Chen, Lars Onsager, Jill Bonner, and John Nagle. “Hopping of ions in ice”.The Journal of Chemical Physics60.2 (Jan. 1974), pp. 405–419.doi:10.1063/1.1681056. [DGH14] Sander Dommers, Cristian Giardina, and Remco van der Hofstad. “Ising critical exponents on random trees and graphs”.Communications in Mathematical Physics328.1 (2014), pp. 3...

    work page doi:10.1063/1.1681056 1974

  5. [5]

    Ising model on a dynamical planar random lattice: Exact solution

    arXiv:2511.16620 [math.PR]. [Kaz86] Vladimir A Kazakov. “Ising model on a dynamical planar random lattice: Exact solution”. Physics Letters A119.3 (1986), pp. 140–144.doi:10.1016/0375-9601(86)90433-0. [Len20] Wilhelm Lenz. “Beitrag zum Verständnis der magnetischen Erscheinungen in festen Körpern”. Zeitschrift für Physik21 (1920), pp. 613–615. [Leo+02] Mic...

    work page doi:10.1016/0375-9601(86)90433-0 1986

  6. [6]

    arXiv: 2601.02525 [math.CO]. Michael Borinsky Perimeter Institute, 31 Caroline St N, W aterloo, Ontario N2L 2Y5, Canada mborinsky@perimeterinstitute.ca Shiyue Ren Perimeter Institute, 31 Caroline St N, W aterloo, Ontario N2L 2Y5, Canada Department of Physics and Astronomy, University of W aterloo, 200 University A venue West, W aterloo, Ontario N2L 3G1, C...

    work page arXiv

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.