Abelian and stochastic sandpile models on complete bipartite graphs

Thomas Selig,Haoyue Zhu

2024-09-18

Abstract:In the sandpile model, vertices of a graph are allocated grains of sand. At each unit of time, a grain is added to a randomly chosen vertex. If that causes its number of grains to exceed its degree, that vertex is called unstable, and topples. In the Abelian sandpile model (ASM), topplings are deterministic, whereas in the stochastic sandpile model (SSM) they are random. We study the ASM and SSM on complete bipartite graphs. For the SSM, we provide a stochastic version of Dhar's burning algorithm to check if a given (stable) configuration is recurrent or not, with linear complexity. We also exhibit a bijection between sorted recurrent configurations and pairs of compatible Ferrers diagrams. We then provide a similar bijection for the ASM, and also interpret its recurrent configurations in terms of labelled Motzkin paths.

Combinatorics,Discrete Mathematics,Probability

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to study the recurrent configurations in the Abelian Sandpile Model (ASM) and the Stochastic Sandpile Model (SSM) on complete bipartite graphs. Specifically, the paper focuses on the following aspects:

1. **Judgment of Recurrent Configurations**:
- For SSM, a stochastic burning algorithm with linear complexity is provided to check whether a given stable configuration is a recurrent configuration.
- For ASM, a similar judgment method is provided, and the effectiveness of these methods is proved.

2. **Combinatorial Interpretations**:
- A bijective relationship between recurrent configurations in SSM and a pair of compatible Ferrers diagrams is provided.
- A combinatorial interpretation between recurrent configurations in ASM and labelled Motzkin paths is provided.

3. **Specific Properties of the Models**:
- The paper studies in detail the properties of these models on complete bipartite graphs, especially the calculation method of the level of recurrent configurations.

### Main Contributions

1. **Stochastic Burning Algorithm for SSM**:
- An algorithm with linear - time complexity is proposed to judge whether a stable configuration is a recurrent configuration in SSM.
- This algorithm is based on a series of inequality conditions, which can effectively check whether the configuration meets the requirements of recurrent configurations.

2. **Bijective Relationship of Combinatorial Structures**:
- The bijective relationship between recurrent configurations in SSM and Ferrers diagrams is established, which provides a new perspective for understanding the structure of recurrent configurations.
- For ASM, the bijective relationship between recurrent configurations and Motzkin paths is established, further enriching the understanding of these models.

3. **Application of Theoretical Results**:
- Through these combinatorial structures, the paper provides a method for calculating the level of recurrent configurations, which is very important for understanding and analyzing the behavior of the models.

### Specific Formulas and Concepts

- **Level of Recurrent Configurations**:
\[
\text{level}(c):=\sum_{i\in [m]} c_t^i+\sum_{j\in [n]} c_b^j - m\cdot n
\]
where \( c_t^i \) and \( c_b^j \) represent the number of sand grains on vertices \( v_t^i \) and \( v_b^j \) respectively, and \( m \) and \( n \) represent the sizes of the vertex sets respectively.

- **Conditions for Recurrent Configurations in SSM**:
\[
\forall j\in [n],\tilde{c}_b^1+\cdots+\tilde{c}_b^j\geq k_1+\cdots + k_j
\]
where \( \tilde{c}_b \) is the non - decreasing permutation of \( c_b \), and \( k_j = | \{ i\in [m] \mid c_t^i < j \} | \).

- **Conditions for Recurrent Configurations in ASM**:
\[
\forall j\in [n],\tilde{c}_b^j\geq k_j
\]

### Conclusion

Through in - depth research on ASM and SSM on complete bipartite graphs, this paper not only provides effective algorithms to judge recurrent configurations, but also provides a new perspective for understanding the properties of these models through the bijective relationship of combinatorial structures. These results are of great significance for further research on sandpile models and their applications in other fields.