pith. machine review for the scientific record. sign in

arxiv: 2604.13968 · v1 · submitted 2026-04-15 · 🧮 math.PR

Recognition: unknown

Divisible sandpiles via random walks in random scenery

Authors on Pith no claims yet

Pith reviewed 2026-05-10 12:29 UTC · model grok-4.3

classification 🧮 math.PR
keywords divisible sandpilerandom walk in random sceneryoptimal stoppingstabilizationexplosionbounded-degree graphsinfinite graphs
0
0 comments X

The pith

Divisible sandpiles on bounded-degree infinite graphs explode almost surely when mean initial mass is at least 1.

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

The paper reduces the stabilization question for divisible sandpiles on arbitrary infinite graphs to an optimal stopping problem for random walk in random scenery. It proves that on any infinite graph with bounded vertex degrees, the sandpile explodes with probability one if the i.i.d. initial masses have mean μ at least 1. When μ is below 1, the process stabilizes almost surely provided the masses possess a finite moment of order p greater than 3. The proofs no longer rely on global mass conservation, which fails outside vertex-transitive graphs, and the authors supply matching examples showing that the degree bound and moment threshold cannot be relaxed much further.

Core claim

By analyzing an optimal stopping problem for random walk in random scenery, we prove that the divisible sandpile with i.i.d. initial masses of mean μ on an infinite bounded-degree graph explodes almost surely if μ ≥ 1 and stabilizes almost surely if μ < 1 provided the masses have finite p-th moment for some p > 3. We also show that these conditions are nearly sharp by exhibiting unbounded-degree graphs where sandpiles with μ > 1 stabilize and bounded-degree graphs where sandpiles with μ < 1 and finite p-moment for p < 3 explode.

What carries the argument

The optimal stopping problem for a random walk in random scenery, which decides whether the expected supremum of the cumulative scenery sums along stopped paths is finite.

If this is right

  • On every infinite bounded-degree graph the sandpile process fails to stabilize when the mean mass is at least 1.
  • When the mean mass is below 1 and moments exceed order 3, the toppling procedure terminates almost surely on bounded-degree graphs.
  • Unbounded degrees allow stabilization even for mean mass strictly above 1.
  • On some bounded-degree graphs, moments of order less than 3 permit explosion even when the mean mass is below 1.

Where Pith is reading between the lines

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

  • The same stopping criterion could decide stabilization for other local redistribution rules that lack global conservation.
  • Degree growth rate appears to control whether large excursions of the walk can accumulate enough mass to prevent termination.
  • The moment threshold near 3 may be linked to integrability requirements for the maximum of a random walk's range on the given graph.
  • Explicit computation of the stopping threshold on regular trees would give a concrete test case for the general theory.

Load-bearing premise

The initial masses are i.i.d. and the graph is infinite.

What would settle it

Construct a bounded-degree infinite graph together with i.i.d. initial masses of mean greater than 1 on which the divisible sandpile stabilizes with positive probability.

Figures

Figures reproduced from arXiv: 2604.13968 by Ahmed Bou-Rabee, Ecaterina Sava-Huss, Yuval Peres.

Figure 1
Figure 1. Figure 1: Approximation of the odometer on a tree-of-pipes graph (Section 8.5), embedded in the Poincar´e disk with the root at the center and deeper pipes near the boundary. Edge color and width are proportional to the odometer. The i.i.d. initial masses have mean µ = 0.05 ≪ 1, yet a single heavy-tailed fluctuation near the boundary cascades inward through the tree hierarchy and drives the odometer at the root far … view at source ↗
Figure 2
Figure 2. Figure 2: Odometer u∞(v) on the Sierpi´nski gasket (level 6) with i.i.d. exponential initial masses of mean µ; vertex color and size are proportional to u∞(v). Left: subcritical (µ = 0.6); right: critical (µ = 1.0). The infinite Sierpi´nski gasket admits a stationary random rooting, so Theorem 2.4 gives stabilization for µ < 1 and explosion for µ > 1. A rooted graph is a pair (G, ρ) where G = (V, E) is a locally fin… view at source ↗
Figure 3
Figure 3. Figure 3: Trap selection in the proof of Proposition 6.6. The filled set Fk = S j≤k Cm(Yj ) consists of previously used trap sets (blue); the new center Yk+1 ∈ Ak lies far from Fk. Signs indicate ξ(v) at each vertex. In the red trap set every vertex has ξ(v) ≤ −ε, giving contribution ≤ −8m to h(Yk+1). Proof. The proof has two steps. First, we show E[u∞(o)] = ∞ by constructing a.s.-finite stopping times τm with E[Sτm… view at source ↗
Figure 4
Figure 4. Figure 4: Odometer u∞(v) on the comb lattice (Example 8.7) with i.i.d. Exp(µ) initial masses; vertex color and size are proportional to u∞(v). Left: subcritical (µ = 0.6); right: critical (µ = 1.0). The odometer concentrates along the spine (degree 4), which absorbs mass from the teeth (degree 2), illustrating the failure of conservation of mass. The comb is not stationary, but Theorems 1.2 and 1.3 still give explos… view at source ↗
Figure 5
Figure 5. Figure 5: The tree-of-pipes graph G with B = 3 (schematic; the proof requires B large enough to satisfy (43)). Each edge of the rooted B-ary tree is replaced by a pipe of length Ln at level n; the pipes grow geometrically longer at deeper levels. Filled circles are branching vertices; gray circles are pipe interior vertices (degree 2); open circles are leaves. Set K := 2 + 2b (Ccomb + 1) as in Proposition 8.8(d). Ca… view at source ↗
Figure 6
Figure 6. Figure 6: The graph G: a ray (thick horizontal line) with tree-of-pipes gadgets H(mk) attached at widely spaced positions s1 < s2 < s3 < · · · . Each gadget is a B-ary tree whose edges are replaced by pipes of increasing lengths. Later gadgets are larger; the radial intervals [sk, sk + Rmk ] are disjoint. at most Cball r df . In total, |B(o, r)| ≤ C rdf . If r ≥ sk + Rmk , then no later gadget is reached (by radial … view at source ↗
read the original abstract

We analyze an optimal stopping problem for random walk in random scenery on general graphs, and determine when it has a finite optimum. We use this to extend a theorem of Levine, Murugan, Peres, and Ugurcan [2016]. They proved that on a vertex-transitive graph, the divisible sandpile with i.i.d. initial masses of mean $\mu$ stabilizes almost surely if $\mu < 1$, explodes if $\mu > 1$, and explodes if $\mu = 1$ with positive finite variance. Their proofs rely on conservation of mean mass under toppling. This conservation extends to unimodular random graphs, but fails on general graphs. We prove explosion for all infinite bounded-degree graphs whenever $\mu \geq 1$, and stabilization for $\mu<1$ provided the initial masses have finite $p$-th moment for some $p>3$. Our conditions are nearly sharp: we exhibit unbounded-degree graphs on which sandpiles with $\mu > 1$ stabilize, and for every $p < 3$ we construct bounded-degree graphs on which sandpiles with~$\mu < 1$ and finite $p$-th moment explode.

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

2 major / 2 minor

Summary. The manuscript analyzes an optimal stopping problem for random walk in random scenery on general graphs and determines conditions for the stopping time to be finite. This tool is applied to extend the 2016 Levine-Murugan-Peres-Ugurcan theorem on divisible sandpiles: on any infinite bounded-degree graph, the sandpile with i.i.d. initial masses of mean μ explodes almost surely if μ ≥ 1, and stabilizes almost surely if μ < 1 provided the masses have finite p-th moment for some p > 3. The authors supply explicit counterexamples showing that the bounded-degree hypothesis cannot be dropped for the explosion claim when μ > 1, and that the moment threshold cannot be relaxed below p = 3 for stabilization on bounded-degree graphs.

Significance. If the results hold, the work provides a nearly sharp characterization of stabilization versus explosion for divisible sandpiles on arbitrary infinite graphs, replacing the mean-mass conservation argument (valid only on transitive or unimodular graphs) with a new optimal-stopping criterion. The explicit counterexamples for both the degree bound and the moment threshold p > 3 constitute a particular strength, as they demonstrate that the stated conditions are essentially optimal within the i.i.d. setting. The optimal-stopping analysis may have independent interest for other models involving random walks in random environments on non-transitive graphs.

major comments (2)
  1. [§3] §3 (optimal stopping criterion): The proof that the stopping time is finite a.s. when μ ≥ 1 on bounded-degree graphs uses the i.i.d. scenery and bounded degree to control the walk's range; it is not immediately clear from the argument whether the same conclusion holds if the degree bound is replaced by a uniform integrability condition on the degree distribution, which would be a natural extension.
  2. [§5] §5 (stabilization for μ < 1): The p > 3 moment assumption enters the optimal-stopping analysis via a specific embedding or maximal inequality; while the paper correctly shows sufficiency and supplies counterexamples for every p < 3, the derivation does not indicate whether the exponent 3 is an artifact of the current proof technique or intrinsic to the problem on bounded-degree graphs.
minor comments (2)
  1. [Introduction] The abstract states the results cleanly, but the introduction could include a short paragraph contrasting the new optimal-stopping approach with the mean-mass conservation used in the 2016 transitive case.
  2. [§2] Notation for the random scenery and the stopping time could be made uniform across sections to avoid minor redefinitions.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading, positive assessment, and recommendation of minor revision. We respond point by point to the major comments below.

read point-by-point responses
  1. Referee: [§3] §3 (optimal stopping criterion): The proof that the stopping time is finite a.s. when μ ≥ 1 on bounded-degree graphs uses the i.i.d. scenery and bounded degree to control the walk's range; it is not immediately clear from the argument whether the same conclusion holds if the degree bound is replaced by a uniform integrability condition on the degree distribution, which would be a natural extension.

    Authors: Our proof in §3 for finiteness of the stopping time when μ ≥ 1 relies on the uniform bound on degrees to obtain uniform control over the range of the random walk, which is then combined with the i.i.d. scenery assumption. We do not know whether the same conclusion holds under the weaker uniform integrability condition on the degree distribution, as this would require a substantially different argument. However, the counterexamples in §4 already show that some restriction on degree growth is necessary for the explosion claim, since there exist unbounded-degree graphs on which the sandpile stabilizes for μ > 1. revision: no

  2. Referee: [§5] §5 (stabilization for μ < 1): The p > 3 moment assumption enters the optimal-stopping analysis via a specific embedding or maximal inequality; while the paper correctly shows sufficiency and supplies counterexamples for every p < 3, the derivation does not indicate whether the exponent 3 is an artifact of the current proof technique or intrinsic to the problem on bounded-degree graphs.

    Authors: The counterexamples constructed in §5 show that for every p < 3 there exists a bounded-degree graph on which the sandpile with i.i.d. masses of mean μ < 1 and finite p-moment explodes almost surely. This establishes that the moment threshold cannot be relaxed below 3 while preserving the stabilization result for all infinite bounded-degree graphs, so the exponent 3 is intrinsic to the problem on this class rather than an artifact of the proof technique. Our argument requires p > 3 because of the maximal inequality used in the optimal-stopping analysis, and whether the result holds at exactly p = 3 is left open. revision: no

standing simulated objections not resolved
  • Whether the finiteness of the stopping time (and thus explosion for μ ≥ 1) holds if the bounded-degree assumption is weakened to uniform integrability of the degree distribution.

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper develops a new optimal-stopping criterion for random walk in random scenery on arbitrary graphs and uses it to prove explosion/stabilization thresholds for divisible sandpiles. The 2016 Levine-Murugan-Peres-Ugurcan result is invoked only to recover the already-known transitive case; the general-graph statements, the p>3 moment condition, and the matching counter-examples on unbounded-degree and low-moment graphs are all derived from the fresh analysis. No equation reduces to a prior fitted quantity, no uniqueness theorem is smuggled in via self-citation, and the central claims remain logically independent of the cited predecessor.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard assumptions of probability on graphs (i.i.d. initial masses, infinite connected graphs) plus the new optimal-stopping analysis; no free parameters are fitted and no new entities are postulated.

axioms (2)
  • domain assumption The graph is infinite, connected, and locally finite (bounded degree in the main theorems).
    Invoked to guarantee the random walk is transient or recurrent in controlled ways and to apply the optimal-stopping criterion.
  • domain assumption Initial masses are i.i.d. with finite mean μ and, for stabilization, finite p-moment p>3.
    Used to control the tail behavior that determines whether the stopping time is finite.

pith-pipeline@v0.9.0 · 5512 in / 1630 out tokens · 71546 ms · 2026-05-10T12:29:42.776832+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

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.

  2. Gaussian fluctuations for Internal DLA on cylinders

    math.PR 2026-04 unverdicted novelty 7.0

    Average fluctuations of IDLA on V_N × ℤ converge to the GFF for any vertex-transitive V_N satisfying an eigenvalue convergence condition, with improved maximal fluctuation bounds implying a shape theorem.

Reference graph

Works this paper leans on

34 extracted references · 25 canonical work pages · cited by 2 Pith papers

  1. [1]

    Aldous and R

    David Aldous and Russell Lyons. Processes on unimodular random networks. Electron. J. Probab., 12: 0 no.\ 54, 1454--1508, 2007. ISSN 1083-6489. doi:10.1214/EJP.v12-463. URL https://doi.org/10.1214/EJP.v12-463

  2. [2]

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

  3. [3]

    Ergodic theory on stationary random graphs

    Itai Benjamini and Nicolas Curien. Ergodic theory on stationary random graphs. Electron. J. Probab., 17: 0 no.\ 93, 20, 2012. ISSN 1083-6489. doi:10.1214/EJP.v17-2401. URL https://doi.org/10.1214/EJP.v17-2401

  4. [4]

    Convergence of the random A belian sandpile

    Ahmed Bou-Rabee. Convergence of the random A belian sandpile. Ann. Probab., 49 0 (6): 0 3168--3196, 2021. ISSN 0091-1798,2168-894X. doi:10.1214/21-AOP1528. URL https://doi.org/10.1214/21-AOP1528

  5. [5]

    Internal DLA on mated- CRT maps

    Ahmed Bou-Rabee and Ewain Gwynne. Internal DLA on mated- CRT maps. Ann. Probab., 52 0 (6): 0 2173--2237, 2024. ISSN 0091-1798,2168-894X. doi:10.1214/24-aop1693. URL https://doi.org/10.1214/24-aop1693

  6. [6]

    Harmonic balls in L iouville quantum gravity

    Ahmed Bou-Rabee and Ewain Gwynne. Harmonic balls in L iouville quantum gravity. Proc. Lond. Math. Soc. (3), 130 0 (1): 0 Paper No.\ e70018, 82, 2025. ISSN 0024-6115,1460-244X. doi:10.1112/plms.70018. URL https://doi.org/10.1112/plms.70018

  7. [7]

    Leandro Chiarini, Milton Jara, and Wioletta M. Ruszel. Constructing fractional G aussian fields from long-range divisible sandpiles on the torus. Stochastic Process. Appl., 140: 0 147--182, 2021. ISSN 0304-4149,1879-209X. doi:10.1016/j.spa.2021.06.006. URL https://doi.org/10.1016/j.spa.2021.06.006

  8. [8]

    Alessandra Cipriani, Rajat Subhra Hazra, and Wioletta M. Ruszel. The divisible sandpile with heavy-tailed variables. Stochastic Process. Appl., 128 0 (9): 0 3054--3081, 2018 a . ISSN 0304-4149,1879-209X. doi:10.1016/j.spa.2017.10.013. URL https://doi.org/10.1016/j.spa.2017.10.013

  9. [9]

    Alessandra Cipriani, Rajat Subhra Hazra, and Wioletta M. Ruszel. Scaling limit of the odometer in divisible sandpiles. Probab. Theory Related Fields, 172 0 (3-4): 0 829--868, 2018 b . ISSN 0178-8051,1432-2064. doi:10.1007/s00440-017-0821-x. URL https://doi.org/10.1007/s00440-017-0821-x

  10. [10]

    Alessandra Cipriani, Jan de Graaff, and Wioletta M. Ruszel. Scaling limits in divisible sandpiles: a F ourier multiplier approach. J. Theoret. Probab., 33 0 (4): 0 2061--2088, 2020. ISSN 0894-9840. doi:10.1007/s10959-019-00952-7. URL https://doi.org/10.1007/s10959-019-00952-7

  11. [11]

    Dynamic load balancing for distributed memory multiprocessors

    George Cybenko. Dynamic load balancing for distributed memory multiprocessors. J. Parallel Distrib. Comput., 7 0 (2): 0 279--301, 1989. ISSN 0743-7315. doi:10.1016/0743-7315(89)90021-X. URL https://doi.org/10.1016/0743-7315(89)90021-X

  12. [12]

    URLhttps://doi.org/10.1214/aos/1176345338

    Bradley Efron and Charles Stein. The jackknife estimate of variance. Ann. Statist., 9 0 (3): 0 586--596, 1981. doi:10.1214/aos/1176345462

  13. [13]

    Scaling limit for a long-range divisible sandpile

    Susana Fr\'ometa and Milton Jara. Scaling limit for a long-range divisible sandpile. SIAM J. Math. Anal., 50 0 (3): 0 2317--2361, 2018. ISSN 0036-1410,1095-7154. doi:10.1137/16M1068062. URL https://doi.org/10.1137/16M1068062

  14. [14]

    D. Kh. Fuk and S. V. Nagaev. Probability inequalities for sums of independent random variables. Theory Probab. Appl., 16 0 (4): 0 643--660, 1971. doi:10.1137/1116071

  15. [15]

    Introduction to Analysis on Graphs, volume 71 of University Lecture Series

    Alexander Grigor'yan. Introduction to Analysis on Graphs, volume 71 of University Lecture Series. American Mathematical Society, 2018

  16. [16]

    Internal aggregation models on comb lattices

    Wilfried Huss and Ecaterina Sava. Internal aggregation models on comb lattices. Electron. J. Probab., 17: 0 no.\ 30, 21, 2012. ISSN 1083-6489. doi:10.1214/EJP.v17-1940. URL https://doi.org/10.1214/EJP.v17-1940

  17. [17]

    Divisible sandpile on S ierpinski gasket graphs

    Wilfried Huss and Ecaterina Sava-Huss. Divisible sandpile on S ierpinski gasket graphs. Fractals, 27 0 (3): 0 1950032, 14, 2019. ISSN 0218-348X,1793-6543. doi:10.1142/S0218348X19500324. URL https://doi.org/10.1142/S0218348X19500324

  18. [18]

    J\' a r\' a i

    Antal A. J\' a r\' a i. Sandpile models. Probab. Surv., 15: 0 243--306, 2018. ISSN 1549-5787. doi:10.1214/14-PS228. URL https://doi.org/10.1214/14-PS228

  19. [19]

    The odometer in subcritical activated random walk

    Tobias Johnson and Jacob Richey. The odometer in subcritical activated random walk. arXiv preprint arXiv:2510.05514, 2025

  20. [20]

    Random rotor walks and i.i.d.\ sandpiles on S ierpi\' n ski graphs

    Robin Kaiser and Ecaterina Sava-Huss. Random rotor walks and i.i.d.\ sandpiles on S ierpi\' n ski graphs. Statist. Probab. Lett., 207: 0 110061, 2024

  21. [21]

    Kesten and F

    H. Kesten and F. Spitzer. A limit theorem related to a new class of self-similar processes. Z. Wahrsch. Verw. Gebiete, 50 0 (1): 0 5--25, 1979. ISSN 0044-3719. doi:10.1007/BF00535672. URL https://doi.org/10.1007/BF00535672

  22. [22]

    Levine and Y

    L. Levine and Y. Peres. Strong spherical asymptotics for rotor-router aggregation and the divisible sandpile. Potential Analysis, 30: 0 1--27, 2009

  23. [23]

    Levine and Y

    L. Levine and Y. Peres. Scaling limits for internal aggregation models with multiple sources. Journal d'Analyse Math \'e matique , 111 0 (1): 0 151--219, 2010

  24. [24]

    Laplacian growth, sandpiles, and scaling limits

    Lionel Levine and Yuval Peres. Laplacian growth, sandpiles, and scaling limits. Bull. Amer. Math. Soc. (N.S.), 54 0 (3): 0 355--382, 2017. ISSN 0273-0979,1088-9485. doi:10.1090/bull/1573. URL https://doi.org/10.1090/bull/1573

  25. [25]

    The divisible sandpile at critical density

    Lionel Levine, Mathav Murugan, Yuval Peres, and Baris Evren Ugurcan. The divisible sandpile at critical density. Ann. Henri Poincar\' e , 17 0 (7): 0 1677--1711, 2016. ISSN 1424-0637. doi:10.1007/s00023-015-0433-x. URL https://doi.org/10.1007/s00023-015-0433-x

  26. [26]

    Lyons and Y

    R. Lyons and Y. Peres. Probability on Trees and Networks, volume 42 of Cambridge Series in Statistical and Probabilistic Mathematics. Cambridge University Press, 2016

  27. [27]

    S. V. Nagaev. Large deviations of sums of independent random variables. Ann. Probab., 7 0 (5): 0 745--789, 1979. doi:10.1214/aop/1176994938

  28. [28]

    u rich. Birkh \

    Goran Peskir and Albert Shiryaev. Optimal Stopping and Free-Boundary Problems. Lectures in Mathematics ETH Z \"u rich. Birkh \"a user Verlag, Basel, 2006

  29. [29]

    Valentin V. Petrov. Sums of Independent Random Variables. Springer Berlin Heidelberg, 1975. doi:10.1007/978-3-642-65809-9. URL https://doi.org/10.1007/978-3-642-65809-9

  30. [30]

    Rabani, A

    Y. Rabani, A. Sinclair, and R. Wanka. Local divergence of M arkov chains and the analysis of iterative load-balancing schemes. In IEEE Symposium on Foundations of Computer Science, pages 694--705, 1998

  31. [31]

    and Sidoravicius, Vladas , TITLE =

    Leonardo T. Rolla and Vladas Sidoravicius. Absorbing-state phase transition for driven-dissipative stochastic dynamics on Z . Invent. Math., 188 0 (1): 0 127--150, 2012. ISSN 0020-9910. doi:10.1007/s00222-011-0344-5. URL https://doi.org/10.1007/s00222-011-0344-5

  32. [32]

    Wioletta M. Ruszel. Odometers of divisible sandpile models: scaling limits, i DLA and obstacle problems. A survey. Markov Process. Related Fields, 26 0 (1): 0 125--165, 2020. ISSN 1024-2953

  33. [33]

    Absorbing-state transition for stochastic sandpiles and activated random walks

    Vladas Sidoravicius and Augusto Teixeira. Absorbing-state transition for stochastic sandpiles and activated random walks. Electron. J. Probab., 22: 0 no.\ 33, 35, 2017. ISSN 1083-6489. doi:10.1214/17-EJP50. URL https://doi.org/10.1214/17-EJP50

  34. [34]

    Inequalities for the r th absolute moment of a sum of random variables, 1 r 2

    Bengt von Bahr and Carl-Gustav Esseen. Inequalities for the r th absolute moment of a sum of random variables, 1 r 2 . Ann. Math. Statist., 36 0 (1): 0 299--303, 1965. doi:10.1214/aoms/1177700291