pith. sign in

arxiv: 2604.04747 · v2 · pith:6XTCRDECnew · submitted 2026-04-06 · 🧮 math.PR

Scaling limit and density conjecture for activated random walk on the complete graph

Matthew Junge , Harley Kaufman , Josh Meisel This is my paper

Pith reviewed 2026-05-21 09:43 UTC · model grok-4.3

classification 🧮 math.PR
keywords activated random walkcomplete graphGumbel scaling limitstationary distributionhyperuniformitynegative correlationsdriven-dissipativephase transition
0
0 comments X

The pith

The stationary number of sleeping particles follows a Gumbel scaling limit when the sink probability lies in a specific window.

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

This paper studies driven-dissipative activated random walk on the complete graph, in which particles move and sleep with probability p while a sink absorbs jumping particles with probability q_n. The main claim is that the number of sleeping particles S_n in the stationary distribution obeys a Gumbel scaling limit precisely when exp(-n^{1/3}) is much smaller than q_n which is much smaller than n^{-1/2}. A reader would care because this scaling forces the configuration to be hyperuniform, producing negative correlations between sites so that the law cannot be a product measure. The work also shows that the density of sleeping particles equals p exactly when q_n decays slower than any exponential, and that the number of jumps needed to reach stability undergoes a phase transition at density p when the sink is removed.

Core claim

The number of sleeping particles S_n left by the stationary distribution has a Gumbel scaling limit for exp(-n^{1/3}) ≪ q_n ≪ n^{-1/2}. The particular scaling implies that S_n is hyperuniform and thus the stationary configuration law has negative correlations and is not a product measure. We also prove that S_n/n converges to p if and only if q_n = e^{-o(n)}, and that, when q_n=0, the number of jumps to stabilization undergoes a phase transition at density p.

What carries the argument

The unique stationary distribution of the driven-dissipative dynamics on the complete graph, whose marginal statistics for the count of sleeping particles are extracted in the scaling window exp(-n^{1/3}) ≪ q_n ≪ n^{-1/2}.

Load-bearing premise

The graph must be complete so jumps land uniformly on any vertex, and the driven-dissipative process must admit a unique stationary distribution whose marginals can be tracked through the stated scaling of the sink probability q_n.

What would settle it

Run the process for n around 2000 with q_n set to n^{-0.4}, compute the empirical distribution of the centered and scaled S_n, and test whether it converges to the standard Gumbel cumulative distribution function.

read the original abstract

We study driven-dissipative activated random walk with sleep probability $p$ on an $n$-vertex complete graph with a sink that traps jumping particles with probability $q_n$. We show that the number of sleeping particles $S_n$ left by the stationary distribution has a Gumbel scaling limit for $\exp(-n^{1/3}) \ll q_n \ll n^{-1/2}$. The particular scaling implies that $S_n$ is hyperuniform and thus the stationary configuration law has negative correlations and is not a product measure. We also prove that $S_n/n$ converges to $p$ if and only if $q_n = e^{-o(n)}$, and that, when $q_n=0$, the number of jumps to stabilization undergoes a phase transition at density $p$.

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

1 major / 3 minor

Summary. The manuscript studies driven-dissipative activated random walk with sleep probability p on the n-vertex complete graph with a sink that absorbs jumps with probability q_n. It proves that the stationary number of sleeping particles S_n admits a Gumbel scaling limit when exp(-n^{1/3}) ≪ q_n ≪ n^{-1/2}. Additional results establish that S_n/n converges to p if and only if q_n = e^{-o(n)}, and that the number of jumps to stabilization undergoes a phase transition at density p when q_n = 0. The analysis reduces the configuration to a Markov chain on the count of active particles and analyzes its stationary marginals directly.

Significance. If the results hold, they furnish the first rigorous scaling limit and hyperuniformity statement for this model in the mean-field setting. The complete-graph reduction permits an explicit Markov-chain analysis whose stationary marginals yield the Gumbel limit and negative correlations, providing concrete support for the density conjecture. The phase-transition result for jump counts when q_n = 0 is also cleanly obtained from the same counting argument. These features make the work a useful benchmark for future studies on general graphs.

major comments (1)
  1. [§3] §3, paragraph following Eq. (3.2): the uniqueness of the stationary measure is invoked to justify the existence of the marginal law of S_n, but the quantitative lower bound on the probability of hitting the all-sleeping state is not stated uniformly in the regime exp(-n^{1/3}) ≪ q_n ≪ n^{-1/2}; this bound is load-bearing for controlling the error in the scaling-limit approximation.
minor comments (3)
  1. [Abstract] Abstract: the sentence asserting that the scaling implies hyperuniformity would benefit from a one-sentence reminder of the definition used here (e.g., variance of S_n = o(n)).
  2. [Notation] Notation section: the symbol for the number of jumps to stabilization is introduced only in the statement of the phase-transition result; an earlier global notation table would improve readability.
  3. [Introduction] References: the discussion of the density conjecture would be strengthened by citing the most recent partial results on finite graphs (e.g., works from 2022–2023).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the results, and recommendation for minor revision. We address the single major comment below and will incorporate the requested clarification.

read point-by-point responses

  1. Referee: [§3] §3, paragraph following Eq. (3.2): the uniqueness of the stationary measure is invoked to justify the existence of the marginal law of S_n, but the quantitative lower bound on the probability of hitting the all-sleeping state is not stated uniformly in the regime exp(-n^{1/3}) ≪ q_n ≪ n^{-1/2}; this bound is load-bearing for controlling the error in the scaling-limit approximation.

    Authors: We agree that an explicit uniform lower bound is necessary for rigorous control of the approximation error in the Gumbel scaling limit. The proof of the hitting probability in Lemma 3.1 proceeds via a comparison with a birth-death chain whose transition rates yield a lower bound of the form exp(-C n^{1/3} log n) that is in fact uniform over the entire interval exp(-n^{1/3}) ≪ q_n ≪ n^{-1/2}; the constants C depend only on p and not on the particular q_n inside the regime. We will revise the paragraph immediately after Eq. (3.2) to state this uniformity explicitly and to record the dependence of the constants, thereby making the invocation of uniqueness fully justified for the subsequent error analysis. revision: yes

Circularity Check

0 steps flagged

Derivation is self-contained with no circular steps

full rationale

The paper establishes the Gumbel scaling limit for the number of sleeping particles using standard Markov-chain analysis on the complete graph, with the stationary distribution's uniqueness following from the positive probability of reaching the all-sleeping state. Marginal analysis under the given q_n scaling proceeds via direct mean-field counting and coupling arguments. No step reduces the target scaling limit or density statements to a self-defined quantity, fitted input renamed as prediction, or load-bearing self-citation chain. The additional phase-transition claims are consistent extensions of the same counting structure rather than circular redefinitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard axioms of probability and Markov processes; no free parameters or new entities are introduced in the abstract.

axioms (1)
  • standard math Existence and uniqueness of stationary distribution for the finite-state Markov chain describing the particle configuration
    Invoked to define S_n as the number of sleeping particles under the stationary measure.

pith-pipeline@v0.9.0 · 5664 in / 1135 out tokens · 45259 ms · 2026-05-21T09:43:28.977213+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.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Law of large numbers for activated random walk on villages

    math.PR 2026-05 unverdicted novelty 7.0

    Under subcritical initial conditions, the activated random walk on villages satisfies a law of large numbers as n goes to infinity, with the limit given by a unique solution to a system of nonlinear equations.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages · cited by 1 Pith paper · 1 internal anchor

  1. [1]

    Richard Arratia, Larry Goldstein, and Louis Gordon, Poisson approximation and the Ch en- S tein method , Statistical Science (1990), 403--424

    work page 1990

  2. [2]

    David Aldous, Probability approximations via the P oisson clumping heuristic , Springer Science & Business Media, 2013

    work page 2013

  3. [3]

    Simeon M Berman, Sojourns and extremes of stationary processes, The Annals of Probability (1982), 1--46

    work page 1982

  4. [4]

    P. Bak, C. Tang, and K. Wiesenfeld, Self-organized criticality: An explanation of the 1/f noise, Physical Review Letters 59 (1987), no. 4, 381--384

    work page 1987

  5. [5]

    Concetta Campailla and Nicolas For\'ien, Stochastic sandpile model: exact sampling and complete graph, Electronic Journal of Probability 31 (2026), 1--19

    work page 2026

  6. [6]

    Harald Cram \'e r and Hugo Touchette, On a new limit theorem in probability theory (translation), arXiv:1802.05988 (2018)

    work page arXiv 2018

  7. [7]

    Rolla, and Vladas Sidoravicius, Activated random walkers: facts, conjectures and challenges, J

    Ronald Dickman, Leonardo T. Rolla, and Vladas Sidoravicius, Activated random walkers: facts, conjectures and challenges, J. Stat. Phys. 138 (2010), no. 1-3, 126--142. 2594894

    work page 2010

  8. [8]

    Ronald Dickman, Alessandro Vespignani, and Stefano Zapperi, Self-organized criticality as an absorbing-state phase transition, Physical Review E 57 (1998), no. 5, 5095

    work page 1998

  9. [9]

    U ber zwei bekannte einw \

    Paul Ehrenfest and Tatjana Ehrenfest-Afanassjewa, \"U ber zwei bekannte einw \"a nde gegen das boltzmannsche h-theorem , Hirzel, 1907

    work page 1907

  10. [10]

    Nicolas For\'ien, A new proof of superadditivity and of the density conjecture for A ctivated R andom W alks on the line , arXiv:2502.02579, 2025

    work page arXiv 2025

  11. [11]

    Christopher Hoffman, Tobias Johnson, and Matthew Junge, The density conjecture for activated random walk, arXiv:2406.01731, 2024

    work page arXiv 2024

  12. [12]

    Christopher Hoffman and Vladas Sidoravicius, Unpublished, 2004

    work page 2004

  13. [13]

    Svante Janson, Tail bounds for sums of geometric and exponential variables, Statistics & Probability Letters 135 (2018), 1--6

    work page 2018

  14. [14]

    Matthew Junge, Harley Kaufman, and Josh Meisel, Mean-field limit for activated random walk on the integer lattice, arXiv:2509.10616 (2025)

    work page arXiv 2025

  15. [15]

    The number of particles in activated random walk on the complete graph

    Antal A. J\'arai, Christian M\"onch, and Lorenzo Taggi, The number of particles in activated random walk on the complete graph, arXiv:2304.10169, 2023

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  16. [16]

    7P1, 369--391

    Mark Kac, Random walk and the theory of brownian motion, The American Mathematical Monthly 54 (1947), no. 7P1, 369--391

    work page 1947

  17. [17]

    2, 352--376

    Samuel Karlin and James McGregor, Ehrenfest urn models, Journal of Applied Probability 2 (1965), no. 2, 352--376

    work page 1965

  18. [18]

    Lionel Levine and Feng Liang, Exact sampling and fast mixing of activated random walk, Electron. J. Probab. 29 (2024), Paper No. 1. 4838433

    work page 2024

  19. [19]

    Lionel Levine and Vittoria Silvestri, Universality conjectures for activated random walk , Probability Surveys 21 (2024), 1 -- 27

    work page 2024

  20. [20]

    Rolla, Activated random walks on Z ^d , Probab

    Leonardo T. Rolla, Activated random walks on Z ^d , Probab. Surv. 17 (2020), 478--544. 4152668

    work page 2020