Algebraic and combinatorial aspects of sandpile monoids on directed graphs

TL;DR

This paper advances the algebraic and combinatorial understanding of sandpile monoids on directed graphs, extending existing theory, classifying subgroups, and exploring constraints and identities within these structures.

Contribution

It provides a combinatorial classification of maximal subgroups, identifies new algebraic constraints, and describes the sandpile group identity for a broad family of directed graphs.

Findings

Classified maximal subgroups via subgraph sandpile groups

Identified monoids that cannot be realized as sandpile monoids

Explicitly described sandpile group identities for a family of directed graphs

Abstract

The sandpile group of a graph is a well-studied object that combines ideas from algebraic graph theory, group theory, dynamical systems, and statistical physics. A graph's sandpile group is part of a larger algebraic structure on the graph, known as its sandpile monoid. Most of the work on sandpiles so far has focused on the sandpile group rather than the sandpile monoid of a graph, and has also assumed the underlying graph to be undirected. A notable exception is the recent work of Babai and Toumpakari, which builds up the theory of sandpile monoids on directed graphs from scratch and provides many connections between the combinatorics of a graph and the algebraic aspects of its sandpile monoid. In this paper we primarily consider sandpile monoids on directed graphs, and we extend the existing theory in four main ways. First, we give a combinatorial classification of the maximal subgroups of a sandpile monoid on a directed graph in terms of the sandpile groups of certain easily-identifiable subgraphs. Second, we point out certain sandpile results for undirected graphs that are really results for sandpile monoids on directed graphs that contain exactly two idempotents. Third, we give a new algebraic constraint that sandpile monoids must satisfy and exhibit two infinite families of monoids that cannot be realized as sandpile monoids on any graph. Finally, we give an explicit combinatorial description of the sandpile group identity for every graph in a family of directed graphs which generalizes the family of (undirected) distance-regular graphs. This family includes many other graphs of interest, including iterated wheels, regular trees, and regular tournaments.