arXiv++ Combinatorics

The theory of tropical series, that we develop here, firstly appeared in the study of the growth of pluriharmonic functions. Motivated by waves in sandpile models we introduce a dynamic on the set of tropical series, and it is experimentally observed that this dynamic obeys a power law. So, this paper serves as a compilation of results we need for other articles and also introduces several objects interesting by themselves.

We determine the asymptotic distribution of the p-rank of the sandpile groups of random bipartite graphs. We see that this depends on the ratio between the number of vertices on each side, with a threshold when the ratio between the sides is equal to 1/p. We follow the approach of Melanie Wood and consider random graphs as a special case of random matrices, and rely on a variant the definition of min-entropy given by Maples, in order to obtain useful results about these random matrices. Our results show that unlike the sandpile groups of Erdos-Renyi random graphs, the distribution of the sandpile groups of random bipartite graphs depends on the properties of the graph, rather than coming from some more general random group model.

The main purpose of the present paper is to establish a link between quadrature surfaces (potential theoretic concept) and sandpile dynamics (Laplacian growth models). For this aim, we introduce a new model of Laplacian growth on the lattice $\mathbb{Z}^d$ $(d\geq 2)$ which continuously deforms occupied regions of the \emph{divisible sandpile} model of Levine and Peres, by redistributing the total mass of the system onto $\frac 1m$-sub-level sets of the odometer which is a function counting total emissions of mass from lattice vertices. In free boundary terminology this goes in parallel with singular perturbation, which is known to converge to a Bernoulli type free boundary. We prove that models, generated from a single source, have a scaling limit, if the threshold $m$ is fixed. Moreover, this limit is a ball, and the entire mass of the system is being redistributed onto an annular ring of thickness $\frac 1m$. By compactness argument we show that, when $m$ tends to infinity sufficiently slowly with respect to the scale of the model, then in this case also there is scaling limit which is a ball, with the mass of the system being uniformly distributed onto the boundary of that ball, and hence we recover a quadrature surface in this case. Depending on the speed of decay of $m$, the visited set of the sandpile interpolates between spherical and polygonal shapes. Finding a precise characterisation of this shape-transition phenomenon seems to be a considerable challenge, which we cannot address at this moment.

The divisible sandpile model is a growth model on graphs that was introduced by Levine and Peres as a tool to study internal diffusion limited aggregation. In this work we investigate the shape of the divisible sandpile model on the graphical Sierpinski gasket SG. We show that the shape is a ball in the graph metric of SG. Moreover we give an exact representation of the odometer function of the divisible sandpile.

Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$). There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection. Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.

We consider random directed graphs, and calculate the distribution of the cokernels of their laplacian, following the methods used by Wood. As a corollary, we show that the probability that a random digraph is coeulerian is asymptotically upper bounded by a constant around $0.43$.

We present an algorithm to compute the rank of a configuration of the sandpile model for the complete bipartite graph K_{m,n} of complexity O(m+n). Furthermore, we provide a formula for the generating function of parking sorted configurations on complete bipartite graphs K_{m,n} according to rank, degree, and the sizes m and n. The results in the present paper are similar to those found by Robert Cori and the second named author for the complete graph K_{n+1}, and they rely on the analysis of certain operators on the stable sorted configurations of K_{m,n} developed in a previous work by the authors together with Jean-Christophe Aval and Mark Dukes.

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.

Two classes of avalanche-finite matrices and their critical groups (integer cokernels) are studied from the viewpoint of chip-firing/sandpile dynamics, namely, the Cartan matrices of finite root systems and the McKay-Cartan matrices for finite subgroups G of general linear groups. In the root system case, the recurrent and superstable configurations are identified explicitly and are related to minuscule dominant weights. In the McKay-Cartan case for finite subgroups of the special linear group, the cokernel is related to the abelianization of the subgroup G. In the special case of the classical McKay correspondence, the critical group and the abelianization are shown to be isomorphic.

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$.

We study a sandpile model on the set of the lattice points in a large lattice polygon. A small perturbation $ψ$ of the maximal stable state $μ\equiv 3$ is obtained by adding extra grains at several points. It appears, that the result $ψ^\circ$ of the relaxation of $ψ$ coincides with $μ$ almost everywhere; the set where $ψ^\circ\ne μ$ is called the deviation locus. The scaling limit of the deviation locus turns out to be a distinguished tropical curve passing through the perturbation points. Nous considérons le modèle du tas de sable sur l'ensemble des points entiers d'un polygone entier. En ajoutant des grains de sable en certains points, on obtient une perturbation mineure de la configuration stable maximale $μ\equiv 3$. Le résultat $ψ^\circ$ de la relaxation est presque partout égal à $μ$. On appelle lieu de déviation l'ensemble des points où $ψ^\circ\ne μ$. La limite au sens de la distance de Hausdorff du lieu de déviation est une courbe tropicale spéciale, qui passe par les points de perturbation.

We study perturbations of the maximal stable state in a sandpile model on the set of faces of the heptagonal tiling on the hyperbolic plane. An explicit description for relaxations of such states is given.

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.

A sandpile is a cellular automaton on a graph that evolves by the following toppling rule: if the number of grains at a vertex is at least its valency, then this vertex sends one grain to each of its neighbors. In the study of pattern formation in sandpiles on large subgraphs of the standard square lattice, S. Caracciolo, G. Paoletti, and A. Sportiello experimentally observed that the result of the relaxation of a small perturbation of the maximal stable state contains a clear visible thin balanced graph formed by its deviation (less than maximum) set. Such graphs are known as tropical curves. During the early stage of our research, we have noticed that these tropical curves are approximately scale-invariant, that is the deviation set mimics an extremal tropical curve depending on the domain on the plane and the positions of the perturbation points, but not on the mesh of the lattice. In this paper, we rigorously formulate these two facts in the form of a scaling limit theorem and prove it. We rely on the theory of tropical analytic series, which is used to describe the global features of the sandpile dynamic, and on the theory of smoothings of discrete superharmonic functions, which handles local questions.