Recognition: unknown
Divisible sandpiles via random walks in random scenery
Pith reviewed 2026-05-10 12:29 UTC · model grok-4.3
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.
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
- 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
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.
Referee Report
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)
- [§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.
- [§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)
- [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] Notation for the random scenery and the stopping time could be made uniform across sections to avoid minor redefinitions.
Simulated Author's Rebuttal
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
-
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
-
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
- 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
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
axioms (2)
- domain assumption The graph is infinite, connected, and locally finite (bounded degree in the main theorems).
- domain assumption Initial masses are i.i.d. with finite mean μ and, for stabilization, finite p-moment p>3.
Forward citations
Cited by 2 Pith papers
-
Law of large numbers for activated random walk on villages
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.
-
Gaussian fluctuations for Internal DLA on cylinders
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
-
[1]
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]
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
1987
-
[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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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
2018
-
[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]
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]
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]
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]
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
2024
-
[21]
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]
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
2009
-
[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
2010
-
[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]
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]
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
2016
-
[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]
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
2006
-
[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]
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
1998
-
[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]
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
2020
-
[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]
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
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.