{"id":"74e91068-f4ec-4747-922e-79518a12d38a","arxiv_id":"2607.07867","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":2,"one_line_summary":"Exact free energy of the annealed Ising model on random regular graphs is obtained from asymptotic enumeration of edge-bicolored graphs, confirming mean-field critical exponents.","lead":"The paper derives a closed-form free energy for the annealed ferromagnetic Ising model on random k-regular graphs by counting edge-bicolored graphs. The formula exhibits a second-order mean-field phase transition at the Bethe-lattice critical temperature.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The manuscript’s central claim is an exact annealed free-energy formula obtained by translating the Ising partition function into an enumeration of edge-bicolored regular graphs and feeding that count into a saddle-point analysis. The only non-self-contained ingredient is the asymptotic formula of Prop. 3.1. The authors supply the missing analytic control (unique global maximizer, non-vanishing Hessian) in Lemmas 3.4–3.5, so the application is justified on the domain of interest. Critical-exponent calculations are then ordinary Taylor expansions about the Bethe point and reproduce the expected mean-field values. The combinatorial magnetization identity of §5 is an independent consistency check. Because the external counting theorems are clearly flagged and their hypotheses are verified inside the paper, the reader’s ACCEPT verdict with low correctness risk stands; no adjustment is warranted.","tokens_in":15929,"tokens_out":489,"duration_ms":5331,"concrete_test":"Independently recompute the second-derivative test (20) of Lemma 3.5 at the candidate critical point \thetaigstar solving g(\thetaigstar)=(1-|\tau|)/(1+|\tau|); confirm that the left-hand side never vanishes for eta\neqeta_tree_c and that the only degeneracy occurs exactly at the known Bethe point. Agreement with the paper’s claim would reconfirm that the Hessian non-degeneracy hypothesis of Prop. 3.1 holds wherever the free-energy formula is applied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader correctly flags dependence on the asymptotic enumeration of edge-bicolored regular graphs (Prop. 3.1, citing BMW25/BMW26) as the sole external assumption. Within the present manuscript that input is used carefully: Lemmas 3.4–3.5 locate the global maximizers of |V_k| and prove non-degeneracy of the Hessian precisely on the locus that enters the free-energy formula, so the saddle-point hypotheses of Prop. 3.1 are verified rather than merely assumed. Once those asymptotics are granted, the derivation of Theorem 1.1 and the subsequent extraction of mean-field exponents are elementary and free of further gaps. No internal inconsistency or hidden analytic assumption appears.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","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.","tokens_in":16149,"tokens_out":944,"duration_ms":8628,"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).","major_comments":[],"minor_comments":[{"comment":"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.","section":"Introduction, Eq. (3)"},{"comment":"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.","section":"Section 3, Eq. (14) and following"},{"comment":"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.","section":"Section 4, Figures 1–2"},{"comment":"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.","section":"References"}],"recommendation":"accept","confidential_remarks":"The manuscript is a clean application of the authors’ own recent combinatorial enumeration theorems to a classical statistical-mechanics model. The dependence on BMW25/BMW26 is transparent and the non-degeneracy lemmas close the only potential gap. I see no reason to delay acceptance; the paper is short, self-contained once the prior asymptotics are granted, and of clear interest to both combinatorialists and mathematical physicists."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper delivers a closed-form annealed free energy for the ferromagnetic Ising model on the random k-regular graph ensemble (k≥3). The route is high-temperature expansion \to weighted edge-bicolored regular graphs \to saddle-point asymptotics from the authors’ earlier counting papers \to elementary analysis of a one-variable potential V_k(\theta). Theorem 1.1 is the payoff: f(eta,h) expressed in terms of the global maximizer of |V_k|, with the second-order transition at the Bethe point and the usual mean-field exponents α=0, eta_mag=1/2, γ=1, δ=3 following by Taylor expansion.\n\nWhat is new is the combinatorial packaging and the resulting explicit formula. The physical content (mean-field exponents on locally tree-like graphs) was already known from the probabilistic literature (DM10, DMS13, DGH14), but those works do not give this closed free-energy expression. The planar matrix-model solutions are a different ensemble. Section 5’s purely combinatorial reading of the magnetization is a nice bonus.\n\nThe derivation is transparent once you grant the asymptotic enumeration input (Prop. 3.1 from BMW25/26). Lemmas 3.4–3.5 carefully locate the maximizers and prove non-degeneracy exactly where needed, so the saddle hypotheses are checked rather than waved through. No circularity: the counting theorems are independent of the Ising model. Soft spots are minor: the free energy is annealed, not quenched; the odd-k parity handling is a bit fussy; and everything rests on those prior asymptotics. None of these undermine the central claim.\n\nThis is for people who like exact solutions and generating-function methods in statistical mechanics. A serious referee should see it. I would cite the free-energy formula if I needed an explicit annealed expression, and I would bring it to reading group for the clean combinatorial rewrite of a classic model.","headline":"Clean exact free-energy formula for annealed Ising on random regular graphs via edge-bicolored enumeration; mean-field exponents recovered as expected.","tokens_in":16739,"tokens_out":526,"would_cite":true,"duration_ms":62765,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05A16","82B20","82B26","05C80"],"pacs":["05.50.+q","64.60.De","75.10.Hk"],"model":"grok-4.5","headline":"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.","keywords":["Ising model","random regular graphs","edge-bicolored graphs","analytic combinatorics","mean-field critical exponents","annealed free energy","Bethe lattice","phase transition"],"falsifier":"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.","tokens_in":16829,"feed_emoji":"🎲","tokens_out":828,"duration_ms":7525,"temperature":0.7,"pith_summary":"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.","feed_headline":"Ising free energy on random regular graphs solved by counting","feed_subtitle":"One trigonometric maximum yields the free energy and mean-field critical exponents","key_machinery":"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.","core_discovery":"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.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Exact Ising free energy on random regular graphs from bicolored counts","Analytic combinatorics solves ferromagnetic Ising on random regulars","Mean-field critical exponents for Ising on random k-regular graphs","Free energy via asymptotic enumeration of edge-bicolored graphs","Second-order Ising transition on random regular graphs from one maximum"],"cache_read_input_tokens":7680,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Exact Ising free energy on random regular graphs from bicolored counts","Analytic combinatorics solves ferromagnetic Ising on random regulars","Mean-field critical exponents for Ising on random k-regular graphs","Free energy via asymptotic enumeration of edge-bicolored graphs","Second-order Ising transition on random regular graphs from one maximum"]},"model":"grok-4.5","effort":"low","cost_usd":0.00606,"raw_usage":{"total_tokens":1494,"prompt_tokens":678,"num_sources_used":0,"completion_tokens":94,"cost_in_usd_ticks":60600000,"prompt_tokens_details":{"text_tokens":678,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":722,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":678,"tokens_out":94,"duration_ms":7592,"temperature":1.0,"reasoning_tokens":722,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T16:22:48.230795+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"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.","supporting_citations":[],"review_version":1}