Existence and uniqueness of the stationary measure in the continuous Abelian sandpile

Wouter Kager,Haiyan Liu,Ronald Meester
DOI: https://doi.org/10.48550/arXiv.0911.3782
2009-11-19
Abstract:Let \Lambda be a finite subset of Z^d. We study the following sandpile model on \Lambda. The height at any given vertex x of \Lambda is a positive real number, and additions are uniformly distributed on some interval [a,b], which is a subset of [0,1]. The threshold value is 1; when the height at a given vertex exceeds 1, it topples, that is, its height is reduced by 1, and the heights of all its neighbours in \Lambda increase by 1/2d. We first establish that the uniform measure \mu on the so called "allowed configurations" is invariant under the dynamics. When a < b, we show with coupling ideas that starting from any initial configuration of heights, the process converges in distribution to \mu, which therefore is the unique invariant measure for the process. When a = b, that is, when the addition amount is non-random, and a is rational, it is still the case that \mu is the unique invariant probability measure, but in this case we use random ergodic theory to prove this; this proof proceeds in a very different way. Indeed, the coupling approach cannot work in this case since we also show the somewhat surprising fact that when a = b is rational, the process does not converge in distribution at all starting from any initial configuration.
Probability,Mathematical Physics
What problem does this paper attempt to address?
This paper aims to explore the existence and uniqueness of invariant measures in the Continuous Abelian Sandpile Model (CBTW). Specifically, researchers are concerned with whether, under specific conditions, the dynamic process of the model can converge to a unique invariant probability measure, and whether this measure has ergodic properties. ### Background of the Paper - **Classic BTW Sandpile Model**: Proposed by Bak, Tang, and Wiesenfeld in 1988 to describe the "self - organized criticality" phenomenon. This model is defined on a finite subset \(\Lambda\) of a \(d\)-dimensional integer lattice. The height at each lattice point is a non - negative integer, representing the number of "grains" at that lattice point. When the height of a certain lattice point reaches or exceeds \(2d\), the lattice point becomes unstable and "collapses", that is, it loses \(2d\) grains, and each adjacent lattice point receives 1 grain. - **Zhang Sandpile Model**: Proposed by Zhang in 1989, similar to the BTW model, but the height variable is continuous, with a value range of \([0, \infty)\) and the threshold set to 1. Each time, a lattice point is randomly selected, and a mass uniformly distributed in the interval \([a, b]\subset[0, 1)\) is added. When the height of a certain lattice point exceeds 1, the lattice point becomes unstable and collapses, losing all its mass, and each adjacent lattice point receives \(\frac{1}{2d}\) of the mass. ### CBTW Sandpile Model The CBTW model combines the continuity of the Zhang model and the Abelian property of the BTW model. Specifically: - The model is defined on a finite subset \(\Lambda\) of a \(d\)-dimensional integer lattice. - The height of each lattice point is a positive real number. - When the height of a certain lattice point exceeds 1, the lattice point becomes unstable and collapses, reducing its height by 1 unit, and each adjacent lattice point increases its height by \(\frac{1}{2d}\) unit. - Each time, a lattice point is randomly selected, and a mass uniformly distributed in the interval \([a, b]\subset[0, 1)\) is added. ### Main Research Questions 1. **Existence and Uniqueness of Invariant Measures**: - Prove that on \(\Lambda\), the measure \(\mu\) uniformly distributed over the allowed configurations is an invariant measure of the dynamic process. - When \(a < b\), starting from any initial configuration, the distribution of the process converges exponentially to \(\mu\), so \(\mu\) is the unique invariant measure. - When \(a = b\notin\mathbb{Q}\), although \(\mu\) is still the unique invariant probability measure, the process does not weakly converge starting from any initial configuration. 2. **Properties of the Measure in Special Cases**: - When \(a = b\in\left\{\frac{l}{2d}:l = 0,1,\ldots,2d - 1\right\}\), starting from any initial configuration, the distribution of the process converges exponentially to a measure \(\mu_{\eta}^a\) that depends on the initial configuration and the value of \(a\). - When \(a\in[0, 1)\) is an irrational number and \(a = b\), \(\mu\) is the unique invariant (and ergodic) probability measure. ### Research Methods - **Coupling Method**: When \(a < b\), construct a coupling to prove the uniqueness of the measure \(\mu\) and the convergence of the process. - **Stochastic Ergodic Theory**: When \(a = b\notin\mathbb{Q}\), use stochastic ergodic theory to prove the uniqueness and ergodicity of the measure \(\mu\). ### Conclusion Through rigorous mathematical analysis, this paper proves that under different conditions, the dynamic process of the CBTW sandpile model has different behaviors. These results not only deepen the understanding of the sandpile model but also provide a theoretical basis for further research on self - organized criticality.