arXiv++ Combinatorics

We prove that Abelian sandpiles with random initial states converge almost surely to unique scaling limits. The proof follows the Armstrong-Smart program for stochastic homogenization of uniformly elliptic equations. Using simple random walk estimates, we prove an analogous result for the divisible sandpile and identify its scaling limit as exactly that of the averaged divisible sandpile. As a corollary, this gives a new quantitative proof of known results on the stabilizability of Abelian sandpiles.

A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In particular, we show that the level of a recurrent configuration can be interpreted as the external activity of the corresponding tree, so that the bijection exhibited provides a new proof of a famous result linking the level polynomial of the ASM to the ubiquitous Tutte polynomial. We show that the set of minimal recurrent configurations is in bijection with the set of complete non-ambiguous binary trees introduced by Aval et al. [2], and introduce a multi-rooted generalization of these that we show to correspond to all recurrent configurations. In the case of permutations with a single descent, we recover some results from the case of Ferrers graphs presented in [11], while we also recover results of Perkinson et al. [16] in the case of threshold graphs.

We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the decorated permutations and all recurrent configurations of the ASM. We also describe a bijection between the decorated permutations and the intransitive trees of Postnikov, the breadth-first search of which corresponds to a canonical toppling of the corresponding configurations.

We establish quantitative spherical shape theorems for rotor-router aggregation and abelian sandpile growth on the graphical Sierpinski gasket ($SG$) when particles are launched from the corner vertex. In particular, the abelian sandpile growth problem is exactly solved via a recursive construction of self-similar sandpile tiles. We show that sandpile growth and patterns exhibit a $(2\cdot 3^n)$-periodicity as a function of the initial mass. Moreover, the cluster explodes---increments by more than 1 in radius---at periodic intervals, a phenomenon not seen on $\mathbb{Z}^d$ or trees. We explicitly characterize all the radial jumps, and use the renewal theorem to prove the scaling limit of the cluster radius, which satisfies a power law modulated by log-periodic oscillations. In the course of our proofs we also establish structural identities of the sandpile groups of subgraphs of $SG$ with two different boundary conditions, notably the corresponding identity elements conjectured by Fairchild, Haim, Setra, Strichartz, and Westura. Our main theorems, in conjunction with recent results of Chen, Huss, Sava-Huss, and Teplyaev, establish $SG$ as a positive example of a state space which exhibits "limit shape universality," in the sense of Levine and Peres, among the four Laplacian growth models: divisible sandpiles, abelian sandpiles, rotor-router aggregation, and internal diffusion-limited aggregation (IDLA). We conclude the paper with conjectures about radial fluctuations in IDLA on $SG$, possible extensions of limit shape universality to other state spaces, and related open problems.

We prove that the wired uniform spanning forest exhibits mean-field behaviour on a very large class of graphs, including every transitive graph of at least quintic volume growth and every bounded degree nonamenable graph. Several of our results are new even in the case of $\mathbb{Z}^d$, $d\geq 5$. In particular, we prove that every tree in the forest has spectral dimension $4/3$ and walk dimension $3$ almost surely, and that the critical exponents governing the intrinsic diameter and volume of the past of a vertex in the forest are $1$ and $1/2$ respectively. (The past of a vertex in the uniform spanning forest is the finite component that is disconnected from infinity when that vertex is deleted from the forest.) We obtain as a corollary that the critical exponent governing the extrinsic diameter of the past is $2$ on any transitive graph of at least five dimensional polynomial growth, and is $1$ on any bounded degree nonamenable graph. We deduce that the critical exponents describing the diameter and total number of topplings in an avalanche in the Abelian sandpile model are $2$ and $1/2$ respectively for any transitive graph with polynomial growth of dimension at least five, and are $1$ and $1/2$ respectively for any bounded degree nonamenable graph. In the case of $\mathbb{Z}^d$, $d\geq 5$, some of our results regarding critical exponents recover earlier results of Bhupatiraju, Hanson, and Járai (2017). In this case, we improve upon their results by showing that the tail probabilities in question are described by the appropriate power laws to within constant-order multiplicative errors, rather than the polylogarithmic-order multiplicative errors present in that work.

A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau. We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph. Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.

In this paper we study the abelian sandpile model on the two-dimensional grid with uniform neighborhood, and prove that any family of neighborhoods defined as scalings of a continuous non-flat shape can ultimately perform crossing.

We consider a stochastic variant of the Abelian Sandpile Model (ASM) on a finite graph, introduced by Chan, Marckert and Selig. Even though it is a more general model, some nice properties still hold. We show that on a certain probability space, even if we lose the group structure due to topplings not being deterministic, some operators still commute. As a corollary, we show that the stationary distribution still does not depend on how sand grains are added onto the graph in our model, answering a conjecture of Selig.

We introduce a new lattice growth model, which we call boundary sandpile. The model amounts to potential-theoretic redistribution of a given initial mass on $\mathbb{Z}^d$ ($d\geq 2$) onto the boundary of an (a priori) unknown domain. The latter evolves through sandpile dynamics, and has the property that the mass on the boundary is forced to stay below a prescribed threshold. Since finding the domain is part of the problem, the redistribution process is a discrete model of a free boundary problem, whose continuum limit is yet to be understood. We prove general results concerning our model. These include canonical representation of the model in terms of the smallest super-solution among a certain class of functions, uniform Lipschitz regularity of the scaled odometer function, and hence the convergence of a subsequence of the odometer and the visited sites, discrete symmetry properties, as well as directional monotonicity of the odometer function. The latter (in part) implies the Lipschitz regularity of the free boundary of the sandpile. As a direct application of some of the methods developed in this paper, combined with earlier results on classical Abelian sandpile, we show that the boundary of the scaling limit of Abelian sandpile is locally a Lipschitz graph.

We address a question of Cavenagh and Wanless asking: which finite abelian groups arise as the canonical group of a spherical latin bitrade? We prove the existence of an infinite family of finite abelian groups that do not arise as canonical groups of spherical latin bitrades. Using a connection between abelian sandpile groups of digraphs underlying directed Eulerian spherical embeddings, we go on to provide several, general, families of finite abelian groups that do arise as canonical groups. These families include: any abelian group in which each component of the Smith Normal Form has composite order; any abelian group with Smith Normal Form $\mathbb{Z}^{n}_p\oplus\left(\bigoplus_{i=1}^k\mathbb{Z}_{pa_i}\right)$, where $1\leq k$, $2\leq a_1,a_2,\ldots, a_k,p$ and $n\leq 1+2\sum_{i=1}^k(a_i - 1)$; and with one exception and three potential exceptions any abelian group of rank two.

The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (multivariate) avalanche polynomial that enumerates the toppling sequences of all principal avalanches. This polynomial generalizes the univariate avalanche polynomial and encodes more information. In particular, the avalanche polynomial of a tree uniquely identifies the underlying tree. In this paper, the avalanche polynomial is characterized for trees, cycles, wheels, and complete graphs.

We study the Abelian sandpile model (ASM), a process where grains of sand are placed on a graph's vertices. When the number of grains on a vertex is at least its degree, one grain is distributed to each neighboring vertex. This model has been shown to form fractal patterns on the integer lattice, and using these fractal patterns as motivation, we consider the model on graph approximations of post critically finite (p.c.f) fractals. We determine asymptotic behavior of the diameter of sites toppled and characterize graphs which exhibit a periodic number of grains with respect to the initial placement.

The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$.

The Abelian Sandpile Model, seen as a deterministic lattice automaton, on two-dimensional periodic graphs generates complex regular patterns displaying (fractal) self-similarity. In particular, on a variety of lattices and initial conditions, at all sizes, there appears what we call an exact Sierpinski structure: the volume is filled with periodic patterns, glued together along straight lines, with the topology of a triangular Sierpinski gasket. Various lattices (square, hexagonal, kagome,...), initial conditions, and toppling rules show Sierpinski structures which are apparently unrelated and involve different mechanisms. As will be shown elsewhere, all these structures fall under one roof, and are in fact different projections of a unique mechanism pertinent to a family of deterministic surfaces in a 4-dimensional lattice. This short note gives a description of this surface, and of the combinatorics associated to its construction.

The abelian sandpile model is a simple combinatorial model for critical behaviour which has the "abelian property" that the order in which we make moves does not change the final outcome of the game. This might seem to restrict the model's computational ability, but we show that, given three dimensions to work with, the sandpile is able to simulate a Turing machine. We use that to prove the undecidability of three halting problems.

Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed first by Bolker, Kalai and Adin, and more recently by numerous authors, the fundamental topological properties of a tree --- namely acyclicity and connectedness --- can be generalized to arbitrary dimension as the vanishing of certain cellular homology groups. This point of view is consistent with the matroid-theoretic approach to graphs, and yields higher-dimensional analogues of classical enumerative results including Cayley's formula and the matrix-tree theorem. A subtlety of the higher-dimensional case is that enumeration must account for the possibility of torsion homology in trees, which is always trivial for graphs. Cellular trees are the starting point for further high-dimensional extensions of concepts from algebraic graph theory including the critical group, cut and flow spaces, and discrete dynamical systems such as the abelian sandpile model.

We prove several results concerning a polynomial that arises from the sandpile model on directed graphs; these results are previously only known for undirected graphs. Implicit in the sandpile model is the choice of a sink vertex, and it is conjectured by Perrot and Pham that the polynomial $c_0+c_1y+\ldots c_n y^n$, where $c_i$ is the number of recurrent classes of the sandpile model with level $i$, is independent of the choice of the sink. We prove their conjecture by expressing the polynomial as an invariant of the sinkless sandpile model. We then present a bijection between arborescences of directed graphs and reverse $G$-parking functions that preserves external activity by generalizing Cori-Le Borgne bijection for undirected graphs. As an application of this bijection, we extend Merino's Theorem by showing that for Eulerian directed graphs the polynomial $c_0+c_1y+\ldots c_n y^n$ is equal to the greedoid polynomial of the graph.

We consider the subgroup of the abelian sandpile group of the grid graph consisting of configurations of sand that are symmetric with respect to central vertical and horizontal axes. We show that the size of this group is (i) the number of domino tilings of a corresponding weighted rectangular checkerboard; (ii) a product of special values of Chebyshev polynomials; and (iii) a double-product whose factors are sums of squares of values of trigonometric functions. We provide a new derivation of the formula due to Kasteleyn and to Temperley and Fisher for counting the number of domino tilings of a 2m x 2n rectangular checkerboard and a new way of counting the number of domino tilings of a 2m x 2n checkerboard on a Möbius strip.

We prove a precise relationship between the threshold state of the fixed-energy sandpile and the stationary state of Dhar's abelian sandpile: In the limit as the initial condition tends to negative infinity, the former is obtained by size-biasing the latter according to burst size, an avalanche statistic. The question of whether and how these two states are related has been a subject of some controversy since 2000. The size-biasing in our result arises as an instance of a Markov renewal theorem, and implies that the threshold and stationary distributions are not equal even in the negative infinity limit. We prove that nevertheless in this limit the total amount of sand in the threshold state converges in distribution to the total amount of sand in the stationary state, confirming a conjecture of Poghosyan, Poghosyan, Priezzhev and Ruelle.

We define two general classes of nonabelian sandpile models on directed trees (or arborescences) as models of nonequilibrium statistical phenomena. These models have the property that sand grains can enter only through specified reservoirs, unlike the well-known abelian sandpile model. In the Trickle-down sandpile model, sand grains are allowed to move one at a time. For this model, we show that the stationary distribution is of product form. In the Landslide sandpile model, all the grains at a vertex topple at once, and here we prove formulas for all eigenvalues, their multiplicities, and the rate of convergence to stationarity. The proofs use wreath products and the representation theory of monoids.