Table of Contents
Fetching ...

Sandpile Groups of Cayley Graphs of $\mathbb{F}_2^r$

Jiyang Gao, Jared Marx-Kuo, Vaughan McDonald, Chi Ho Yuen

Abstract

The sandpile group of a connected graph $G$, defined to be the torsion part of the cokernel of the graph Laplacian, is a subtle graph invariant with combinatorial, algebraic, and geometric descriptions. Extending and improving previous works on the sandpile group of hypercubes, we study the sandpile groups of the Cayley graphs of $\mathbb{F}_2^r$, focusing on their poorly understood Sylow-$2$ component. We find the number of Sylow-$2$ cyclic factors for "generic" Cayley graphs and deduce a bound for the non-generic ones. Moreover, we provide a sharp upper bound for their largest Sylow-$2$ cyclic factors. In the case of hypercubes, we give exact formulae for the largest $n-1$ Sylow-$2$ cyclic factors. Some key ingredients of our work include the natural ring structure on these sandpile groups from representation theory, and calculation of the $2$-adic valuations of binomial sums via the combinatorics of carries.

Sandpile Groups of Cayley Graphs of $\mathbb{F}_2^r$

Abstract

The sandpile group of a connected graph , defined to be the torsion part of the cokernel of the graph Laplacian, is a subtle graph invariant with combinatorial, algebraic, and geometric descriptions. Extending and improving previous works on the sandpile group of hypercubes, we study the sandpile groups of the Cayley graphs of , focusing on their poorly understood Sylow- component. We find the number of Sylow- cyclic factors for "generic" Cayley graphs and deduce a bound for the non-generic ones. Moreover, we provide a sharp upper bound for their largest Sylow- cyclic factors. In the case of hypercubes, we give exact formulae for the largest Sylow- cyclic factors. Some key ingredients of our work include the natural ring structure on these sandpile groups from representation theory, and calculation of the -adic valuations of binomial sums via the combinatorics of carries.

Paper Structure

This paper contains 8 sections, 29 theorems, 65 equations, 1 figure, 1 table.

Key Result

Theorem \oldthetheorem

Suppose that $M$ is generic. Then the number of Sylow-2 cyclic factors of $K(G(\mathbb{F}_2^{r}, M))$ is $2^{r-1} - 1$.

Figures (1)

  • Figure 1: Examples of Cayley Graphs in dimension $r=3$

Theorems & Definitions (77)

  • Theorem \oldthetheorem
  • Theorem \oldthetheorem
  • Theorem \oldthetheorem
  • Theorem \oldthetheorem
  • Remark \oldthetheorem
  • Example \oldthetheorem
  • Definition \oldthetheorem
  • Lemma \oldthetheorem
  • proof
  • Proposition \oldthetheorem
  • ...and 67 more