pith. sign in

arxiv: 2604.20631 · v2 · submitted 2026-04-22 · 🧮 math.PR · cond-mat.stat-mech· math-ph· math.MP

The Ising Model on a Two-Community Stochastic Block Model

Alessandra Bianchi , Vanessa Jacquier , Matteo Sfragara This is my paper

Pith reviewed 2026-05-14 21:10 UTC · model grok-4.3

classification 🧮 math.PR cond-mat.stat-mechmath-phmath.MP
keywords Ising modelstochastic block modelGibbs measurephase transitionmagnetizationquenched central limit theoremrandom graphscommunity structure
0
0 comments X

The pith

The Ising model on a two-community stochastic block model undergoes a uniqueness to non-uniqueness phase transition of the Gibbs measure almost surely.

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

This paper studies how the Ising model behaves when spins are placed on a random graph with two equal-sized communities connected by an interaction strength alpha_n. It completely characterizes the phase diagram, identifying when the Gibbs measure has a unique state versus multiple states. In the regime with multiple states, the magnetizations of the two communities converge in law to a mixture of Dirac measures supported on either two or four points, depending on the scaling of alpha_n relative to 1/n. The analysis also includes fluctuations in the unique phase via a quenched central limit theorem. This reveals how community structure in random networks influences the emergence of ordered phases in spin systems.

Core claim

We provide a complete characterization of the phase diagram and show that, almost surely with respect to the graph realization, the model undergoes a uniqueness/non-uniqueness phase transition of the Gibbs measure. In particular, in the supercritical regime, the law of the magnetization vector of the two communities converges to a mixture of Dirac measures that, depending on whether alpha_n ≫ 1/n or alpha_n ≲ 1/n, is supported on two or four points, with possibly different weights. In the uniqueness region, we further analyze the fluctuations of the magnetization vector in the subcritical regime and we prove a quenched central limit theorem.

What carries the argument

The magnetization vector of the two communities, whose limiting law is a mixture of Dirac measures on two or four points in the supercritical regime, driving the uniqueness/non-uniqueness transition of the Gibbs measure.

If this is right

  • Almost surely, the Gibbs measure transitions from unique to non-unique as parameters cross the critical threshold.
  • In the non-unique phase, the magnetization vector concentrates on two points if alpha_n much larger than 1/n, or four points otherwise.
  • The weights in the mixture may differ between the points.
  • In the unique phase, the magnetization fluctuations satisfy a quenched central limit theorem.
  • The transition holds with respect to the random graph realization.

Where Pith is reading between the lines

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

  • Similar phase transitions might appear in Ising models on other block models or community-structured networks.
  • This characterization could help predict ordering in social or biological networks modeled by stochastic block models.
  • Extensions to unequal community sizes or different interaction parameters might reveal additional transition points.
  • Numerical simulations of finite n could test the convergence rates to the Dirac mixtures.

Load-bearing premise

The two communities have exactly equal size and the inter-community interaction parameter alpha_n belongs to the interval [0,1], along with the standard stochastic block model construction of the random graph.

What would settle it

A numerical simulation for large n where alpha_n is set just above 1/n showing convergence to four distinct magnetization points instead of two, or an explicit graph realization where the Gibbs measure remains unique contrary to the predicted supercritical regime.

read the original abstract

We study the Ising model on a two-community stochastic block model, where $n$ spins are split into two equal groups with inter-community interaction parameter $\alpha_n\in[0,1]$. We provide a complete characterization of the phase diagram and show that, almost surely with respect to the graph realization, the model undergoes a uniqueness/non-uniqueness phase transition of the Gibbs measure. In particular, in the supercritical regime, the law of the magnetization vector of the two communities converges to a mixture of Dirac measures that, depending on whether $\alpha_n\gg 1/n$ or $\alpha_n\lesssim1/n$, is supported on two or four points, with possibly different weights. In the uniqueness region, we further analyze the fluctuations of the magnetization vector in the subcritical regime and we prove a quenched central limit theorem.

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

0 major / 3 minor

Summary. The paper studies the Ising model on a two-community stochastic block model with n spins divided into two equal-sized communities and inter-community interaction parameter α_n ∈ [0,1]. It claims a complete characterization of the phase diagram, establishing that almost surely with respect to the random graph the Gibbs measure undergoes a uniqueness/non-uniqueness phase transition. In the supercritical regime the law of the two-dimensional magnetization vector converges to a mixture of Dirac measures supported on two or four points according to whether α_n ≫ 1/n or α_n ≲ 1/n; in the uniqueness region a quenched central limit theorem is proved for subcritical fluctuations via reduction to a mean-field variational problem and concentration of edge densities.

Significance. If the derivations hold, the work supplies a precise quenched analysis of phase transitions and limiting magnetization laws for the Ising model on an inhomogeneous random graph with explicit community structure. The case distinction on the scaling of α_n and the almost-sure statements with respect to the graph realization are technically strong features that extend standard mean-field techniques to the stochastic block model setting.

minor comments (3)
  1. The model definition in the opening section would benefit from an explicit display of the edge-probability matrix (intra-community p, inter-community q = α_n p or similar) rather than leaving the SBM parameters implicit.
  2. In the statement of the limiting law for the magnetization vector, the weights of the mixture components are described as 'possibly different'; an explicit formula or variational characterization of these weights would improve readability.
  3. The proof sketch for the quenched CLT invokes a 'standard perturbative expansion'; a brief indication of the order of the remainder term or the range of the expansion parameter would make the argument easier to follow without consulting the full details.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our manuscript and for recommending minor revision. No specific major comments were raised in the report, so we have no points to address individually at this stage. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper performs a mathematical analysis of the Ising model on the two-community SBM by reducing the problem to a mean-field variational problem whose effective Hamiltonian incorporates the block structure and random edge counts. The a.s. quenched statements follow from standard concentration of empirical edge densities. The equal-community-size assumption is stated explicitly as an input and used to simplify the magnetization vector; it is not derived from the results. No fitted parameters, self-citations for uniqueness theorems, or ansatzes smuggled via prior work appear. The subcritical CLT is obtained via perturbative expansion around the unique minimizer. All steps rest on standard definitions of the Ising model and SBM without reducing the target claims to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of probability theory, measure theory, and the definitions of the Ising model and stochastic block models; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • domain assumption The stochastic block model with equal community sizes and parameter alpha_n generates a random graph with the stated edge probabilities
    Invoked to obtain almost-sure properties with respect to graph realization.
  • standard math Gibbs measures for the Ising model on finite graphs exist and satisfy the usual consistency properties
    Used to define the uniqueness/non-uniqueness transition.

pith-pipeline@v0.9.0 · 5444 in / 1530 out tokens · 59452 ms · 2026-05-14T21:10:17.268256+00:00 · methodology

Review history (2 revisions) →

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    E. Abbe. Community detection and stochastic block models: recent developments.Journal of Machine Learning Re- search, 18(177):1–86, 2018

    work page 2018

  2. [2]

    Bovier and V

    A. Bovier and V . Gayrard. The thermodynamics of the Curie-Weiss model with random couplings.Journal of Statis- tical Physics, 72(3-4):643–664, 1993

    work page 1993

  3. [3]

    F. Collet. Macroscopic limit of a bipartite Curie–Weiss model: a dynamical approach.Journal of Statistical Physics, 157(6):1301–1319, 2014

    work page 2014

  4. [4]

    Davis and D

    B. Davis and D. McDonald. An elementary proof of the local central limit theorem.Journal of Theoretical Probability, 8(3):693–701, 1995

    work page 1995

  5. [5]

    Dembo and A

    A. Dembo and A. Montanari. Ising models on locally tree-like graphs.Annals of Applied Probability, 20(2):565–592, 2010

    work page 2010

  6. [6]

    Deb and S

    N. Deb and S. Mukherjee. Fluctutations in mean-field Ising models.Annals of Applied Probability33(3):1961–2003, 2023

    work page 1961

  7. [7]

    Dommers, C

    S. Dommers, C. Giardin `a, C. Giberti, R. van der Hofstad, and M. L. Prioriello. Ising critical behavior of inhomoge- neous curie-weiss models and annealed random graphs.Communications in Mathematical Physics, 348(1):221–263, 2016

    work page 2016

  8. [8]

    R. S. Ellis. Entropy, large deviations, and statistical mechanics. Classics in Mathematics, Springer-Verlag, Berlin, 2006

    work page 2006

  9. [9]

    R. S. Ellis and C. M. Newman. Limit theorems for sums of dependent random variables occurring in statistical mechanics.Probability Theory and Related Fields, 44(2):117–139, 1978

    work page 1978

  10. [10]

    Fedele, P

    M. Fedele, P . Contucci. Scaling limits for multi-species statistical mechanics mean-field models.Journal of Statistical Physics, 144(6):1186—1205, 2011

    work page 2011

  11. [11]

    Fedele, F

    M. Fedele, F. Unguendoli. Rigorous results on the bipartite mean-field model.Journal of Physics A, 45(38):385001, 2012

    work page 2012

  12. [12]

    Friedli, Y

    S. Friedli, Y. Velenik. Statistical Mechanics of Lattice Systems: A Concrete Mathematical Introduction. Cambridge University Press, Cambridge, 2018

    work page 2018

  13. [13]

    Gallo, A

    I. Gallo, A. Barra, P . Contucci. Parameter evaluation of a simple mean-field model of social interaction.Mathematical Models and Methods in Applied Sciences, 19:1427–1439, 2009

    work page 2009

  14. [14]

    H.-O. Georgii. Spontaneous magnetization of randomly dilute ferromagnets.Journal of Statistical Physics, 25(3):369– 396, 1981

    work page 1981

  15. [15]

    Girvan and M

    M. Girvan and M. E. Newman. Community structure in social and biological networks.PNAS Proceedings of the National Academy of Sciences, 99(12):7821–7826, 2002

    work page 2002

  16. [16]

    Kabluchko, M

    Z. Kabluchko, M. L ¨owe, and K. Schubert. Fluctuations of the magnetization for Ising models on dense Erd¨os-R´enyi random graphs.Journal of Statistical Physics, 177(1):78–94, 2019

    work page 2019

  17. [17]

    Kabluchko, M

    Z. Kabluchko, M. L ¨owe, and K. Schubert. Fluctuations of the magnetization for Ising models on Erd ¨os-R´enyi ran- dom graphs—the regimes of smallpand the critical temperature.Journal of Physics A, 53(35):355004, 2020

    work page 2020

  18. [18]

    Kabluchko, M

    Z. Kabluchko, M. L ¨owe, and K. Schubert. Fluctuations for the partition function of Ising models on Erd ¨os-R´enyi random graphs.Annales de l’Institut Henri Poincar´ e (B) Probability and Statistics, 57(4):2017–2042, 2021

    work page 2017

  19. [19]

    Kabluchko, M

    Z. Kabluchko, M. L ¨owe, and K. Schubert. Fluctuations of the magnetization for Ising models on Erd ¨os-R´enyi ran- dom graphs—the regimes of low temperature and external magnetic field.ALEA Latin American Journal of Probability and Mathematical Statistics, 19(1): 537–563, 2022

    work page 2022

  20. [20]

    Kn ¨opfel, M

    H. Kn ¨opfel, M. L ¨owe, K. Schubert, A. Sinulis. Fluctuation results for general block spin Ising models.Journal of Statistical Physics, 178(5): 1175–1200, 2020

    work page 2020

  21. [21]

    Kirsch, G

    W. Kirsch, G. Toth. Two groups in a Curie-Weiss model with heterogeneous coupling.Journal of Theoretical Probabil- ity, 33(4):2001–2026, 2020

    work page 2001

  22. [22]

    On the Effect of Bottlenecks in Block Spin Models

    I. Lammers, M. L ¨owe. On the effect of bottlenecks in block spin models. Preprint [arXiv:2603.20944], 2026. ISING ON 2-COMMUNITY SBM 32

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  23. [23]

    L ¨owe, K

    M. L ¨owe, K. Schubert. Fluctuations for block spin Ising models.Electronic Communications in Probability, 23(53):1–12, 2018

    work page 2018

  24. [24]

    L ¨owe, K

    M. L ¨owe, K. Schubert, F. Vermet. Multi-group binary choice with social interaction and a random communication structure—a random graph approach.Physica A: Statistical Mechanics and its Applications, 556:124735, 2020

    work page 2020

  25. [25]

    Stanley, T

    N. Stanley, T. Bonacci, R. Kwitt, M. Niethammer, P . J. Mucha. Stochastic block models with multiple continuous attributes.Applied Network Science, 4(1):54, 2019

    work page 2019