Algorithms for Chip-Firing on Weighted Graphs

Ben Doyle

2023-11-01

Abstract:We extend the notion of chip-firing to weighted graphs, and generalize the Greedy Algorithm and Dhar's Burning Algorithm to weighted graphs. For a vertex $q \in V(\Gamma)$, we give an upper bound for the number of linearly equivalent $q$-reduced divisors. Finally, we illustrate a method of finding all maximal unwinnable divisors on weighted graphs.

Combinatorics

What problem does this paper attempt to address?

On Chip-Firing on Undirected Binary Trees

Ryota Inagaki,Tanya Khovanova,Austin Luo

2024-09-27

Abstract:Chip-firing is a combinatorial game played on an undirected graph in which we place chips on vertices. We study chip-firing on an infinite binary tree in which we add a self-loop to the root to ensure each vertex has degree 3. A vertex can fire if the number of chips placed on it is at least its degree. In our case, a vertex can fire if it has at least 3 chips, and it fires by dispersing $1$ chip to each neighbor. Motivated by a 2023 paper by Musiker and Nguyen on this setting of chip-firing, we give an upper bound for the number of stable configurations when we place $2^\ell - 1$ labeled chips at the root. When starting with $N$ chips at the root where $N$ is a positive integer, we determine the number of times each vertex fires when $N$ is not necessarily of the form $2^\ell - 1$. We also calculate the total number of fires in this case.

Combinatorics
Chip-firing and critical groups of signed graphs

Matthew Cho,Anton Dochtermann,Ryota Inagaki,Suho Oh,Dylan Snustad,Bailee Zacovic

2024-04-18

Abstract:We study chip-firing on a signed graph $G_\phi$, employing a general theory of chip-firing on invertible matrices introduced by Guzmán and Klivans. Here a negative edge designates an adversarial relationship, so that firing a vertex incident to such an edge leads to a loss of chips at both endpoints. The chip-firing rule for $G_\phi$ is described by its reduced Laplacian matrix $L_{G_\phi}$, which also defines the critical group ${\mathcal K}(G_\phi)$. The valid chip configurations are given by the lattice points of a rational cone determined by $G_\phi$ and the underlying graph $G$. This gives rise to notions of critical as well as $z$-superstable configurations, both of which are counted by the determinant of $L_{G_\phi}$. We establish general results regarding these configurations, focusing on efficient methods of verifying the underlying properties. We then study the critical groups of signed graphs in the context of vertex switching and Smith normal forms. We use this to compute the critical groups of various classes of signed graphs including signed cycles, wheels, complete graphs, and fans, in the process generalizing results of Biggs and others.

Combinatorics
Chip Firing on Directed $k$-ary Trees

Ryota Inagaki,Tanya Khovanova,Austin Luo

2024-10-31

Abstract:Chip-firing is a combinatorial game played on a graph in which we place and disperse chips on vertices until a stable state is reached. We study a chip-firing variant played on an infinite rooted directed $k$-ary tree, where we place $k^\ell$ chips on the root for some positive integer $\ell$, and we say a vertex $v$ can fire if it has at least $k$ chips. A vertex fires by dispersing one chip to each out-neighbor. Once every vertex has less than $k$ chips, we reach a stable configuration since no vertex can fire. We determine the exact number and properties of the possible stable configurations of chips in the setting where chips are distinguishable.

Combinatorics
Chip-Firing and Fractional Bases

Matvey Borodin,Hannah Han,Kaylee Ji,Tanya Khovanova,Alexander Peng,David Sun,Isabel Tu,Jason Yang,William Yang,Kevin Zhang,Kevin Zhao

DOI: https://doi.org/10.48550/arXiv.1809.09676

2020-07-06

Abstract:We study a particular chip-firing process on an infinite path graph. At any time when there are at least $a+b$ chips at a vertex, $a$ chips fire to the left and $b$ chips fire to the right. We describe the final state of this process when we start with $n$ chips at the origin.

Combinatorics
Parallel chip-firing games on directed graphs

David Ji,Michael Li,Daniel Wang

2024-10-16

Abstract:In 1992, Bitar and Goles introduced the parallel chip-firing game on undirected graphs. Two years later, Prisner extended the game to directed graphs. While the properties of parallel chip-firing games on undirected graphs have been extensively studied, their analogs for parallel chip-firing games on directed graphs have been sporadic. In this paper, we prove the outstanding analogs of the core results of parallel chip-firing games on undirected graphs for those on directed graphs. We find the possible periods of a parallel chip-firing game on a directed simple cycle and introduce the method of Gauss-Jordan elimination on a Laplacian-like matrix to establish a lower bound on the maximum period of a parallel chip-firing game on a directed complete graph and a directed complete bipartite graph. Finally, we expand the method of motors by Jiang, Scully, and Zhang to directed graphs to show that a binary string $s$ can be the atomic firing sequence of a vertex in a parallel chip-firing game on a strongly connected directed graph if and only if $s$ contains $1$ or $s=0$.

Combinatorics
Non-Stabilizing Parallel Chip-Firing Games

David Ji,Michael Li,Daniel Wang

2024-08-25

Abstract:In 2010, Kominers and Kominers proved that any parallel chip-firing game on $G(V,\,E)$ with $|\sigma|\geq 4|E|-|V|$ chips stabilizes. Recently, Bu, Choi, and Xu made the bound exact: all games with $|\sigma|< |E|$ chips or $|\sigma|> 3|E|-|V|$ chips stabilize. Meanwhile, Levine found a "devil's staircase'' pattern in the plot of the activity of parallel chip-firing games against their density of chips. The stabilizing bound of Bu, Choi, and Xu corresponds to the top and bottom stairs of this staircase, in which the activity is 1 and 0, respectively. In this paper, we analyze the middle stair of the staircase, corresponding to activity $\frac{1}{2}$. We prove that all parallel chip-firing games with $2|E|-|V|< |\sigma|< 2|E|$ have period $T\neq 3,\,4$. In fact, this is exactly the range of $|\sigma|$ for which all games are non-stabilizing. We conjecture that all parallel chip-firing games with $2|E|-|V|< |\sigma|<2|E|$ have $T=2$ and thus activity $\frac{1}{2}$. This conjecture has been proven for trees by Bu, Choi, and Xu, cycles by Dall'asta, and complete graphs by Levine. We extend Levine's method of conjugate configurations to prove the conjecture on complete bipartite graphs $K_{a,a}$.

Combinatorics
Chip-Firing Games and Critical Groups

Darren Glass,Nathan Kaplan

DOI: https://doi.org/10.1007/978-3-030-37853-0_4

2019-08-13

Abstract:In this expository article intended to be accessible to undergraduate students we introduce a finite abelian group that can be associated to any finite connected graph. This group can be defined in an elementary combinatorial way in terms of chip-firing operations, and has been an object of interest in combinatorics, algebraic geometry, statistical physics, and several other areas of mathematics. We will begin with basic definitions and examples and develop a number of properties that can be derived by looking at this group from different angles. Throughout, we will give exercises, some of which are straightforward and some of which are open questions. We will also attempt to highlight some of the many contributions to this area made by undergraduate students

Combinatorics
Chip-firing on the Platonic solids: a primer for studying graph gonality

Marchelle Beougher,Kexin Ding,Max Everett,Robin Huang,Chan Lee,Ralph Morrison,Ben Weber

2024-07-07

Abstract:This paper provides a friendly introduction to chip-firing games and graph gonality. We use graphs coming from the five Platonic solids to illustrate different tools and techniques for studying these games, including independent sets, treewidth, scramble number, and Dhar's burning algorithm. In addition to showcasing some previously known results, we present the first proofs that the dodecahedron graph has gonality $6$, and that the icosahedron graph has gonality~$9$.

Algebraic Geometry,Combinatorics
Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs

Shahin Kamali,Avery Miller,Kenny Zhang

DOI: https://doi.org/10.48550/arXiv.1909.00530

2019-09-04

Abstract:Graph burning is a simple model for the spread of social influence in networks. The objective is to measure how quickly a fire (e.g., a piece of fake news) can be spread in a network. The burning process takes place in discrete rounds. In each round, a new fire breaks out at a selected vertex and burns it. Meanwhile, the old fires extend to their neighbours and burn them. A burning schedule selects where the new fire breaks out in each round, and the burning problem asks for a schedule that burns all vertices in a minimum number of rounds, termed the burning number of the graph. The burning problem is known to be NP-hard even when the graph is a tree or a disjoint set of paths. For connected graphs, it has been conjectured that burning takes at most $\lceil \sqrt{n} \rceil$ rounds. We approach the algorithmic study of graph burning from two directions. First, we consider graphs with minimum degree $\delta$. We present an algorithm that burns any graph of size $n$ in at most $\sqrt{\frac{24n}{\delta+1}}$ rounds. In particular, for dense graphs with $\delta \in \Theta(n)$, all vertices are burned in a constant number of rounds. More interestingly, even when $\delta$ is a constant that is independent of the graph size, our algorithm answers the graph-burning conjecture in the affirmative by burning the graph in at most $\lceil \sqrt{n} \rceil$ rounds. Next, we consider burning graphs with bounded path-length or tree-length. These include many graph families including connected interval graphs and connected chordal graphs. We show that any graph with path-length $pl$ and diameter $d$ can be burned in $\lceil \sqrt{d-1} \rceil + pl$ rounds. Our algorithm ensures an approximation ratio of $1+o(1)$ for graphs of bounded path-length. We introduce another algorithm that achieves an approximation ratio of $2+o(1)$ for burning graphs of bounded tree-length.

Combinatorics,Data Structures and Algorithms
Parallel Chip-Firing on the Complete Graph: Devil's Staircase and Poincare Rotation Number

Lionel Levine

DOI: https://doi.org/10.48550/arXiv.0811.2800

2008-11-17

Combinatorics

Abstract:We study how parallel chip-firing on the complete graph K_n changes behavior as we vary the total number of chips. Surprisingly, the activity of the system, defined as the average number of firings per time step, does not increase smoothly in the number of chips; instead it remains constant over long intervals, punctuated by sudden jumps. In the large n limit we find a "devil's staircase" dependence of activity on the number of chips. The proof proceeds by reducing the chip-firing dynamics to iteration of a self-map of the circle S^1, in such a way that the activity of the chip-firing state equals the Poincare rotation number of the circle map. The stairs of the devil's staircase correspond to periodic chip-firing states of small period.
Labeled Chip-firing on Binary Trees with $2^n-1$ Chips

Gregg Musiker,Son Nguyen

2023-11-14

Abstract:We study labeled chip-firing on binary trees and some of its modifications. We prove a sorting property of terminal configurations of the process. We also analyze the endgame moves poset and prove that this poset is a modular lattice.

Combinatorics
Proportion-Based Hypergraph Burning

Andrea C. Burgess,John A. Hawkin,Alexander J. M. Howse,Caleb W. Jones,David A. Pike

2024-08-13

Abstract:Graph burning is a discrete process that models the spread of influence through a network using a fire as a proxy for the type of influence being spread. This process was recently extended to hypergraphs. We introduce a variant of hypergraph burning that uses an alternative propagation rule for how the fire spreads - if some fixed proportion of vertices are on fire in a hyperedge, then in the next round the entire hyperedge catches fire. This new variant has more potential for applications than the original model, and it is similarly viable for obtaining deep theoretical results. We obtain bounds which apply to general hypergraphs, and introduce the concept of the burning distribution, which describes how the model changes as the proportion ranges over (0,1). We also obtain computational results which suggest there is a strong correlation between the automorphism group order and the lazy burning number of a balanced incomplete block design.

Combinatorics
Sorting via chip-firing

Sam Hopkins,Thomas McConville,James Propp

DOI: https://doi.org/10.37236/6823

2016-12-21

Abstract:We investigate a variant of the chip-firing process on the infinite path graph: rather than treating the chips as indistinguishable, we label them with positive integers. To fire an unstable vertex, i.e. a vertex with more than one chip, we choose any two chips at that vertex and move the lesser-labeled chip to the left and the greater-labeled chip to the right. This labeled version of the chip-firing process exhibits a remarkable confluence property, similar to but subtler than the confluence that prevails for unlabeled chip-firing: when all chips start at the origin and the number of chips is even, the chips always end up in sorted order. Our proof of sorting relies upon an independently interesting lemma concerning unlabeled chip- firing which says that stabilization preserves a natural partial order on configurations. We also discuss some extensions of this sorting phenomenon to other graphs (variants of the infinite path), to other initial configurations, and to other Cartan-Killing types.

Combinatorics
Fast Algorithms for Directed Graph Partitioning Using Flows and Reweighted Eigenvalues

Lap Chi Lau,Kam Chuen Tung,Robert Wang

2023-06-15

Abstract:We consider a new semidefinite programming relaxation for directed edge expansion, which is obtained by adding triangle inequalities to the reweighted eigenvalue formulation. Applying the matrix multiplicative weight update method to this relaxation, we derive almost linear-time algorithms to achieve $O(\sqrt{\log{n}})$-approximation and Cheeger-type guarantee for directed edge expansion, as well as an improved cut-matching game for directed graphs. This provides a primal-dual flow-based framework to obtain the best known algorithms for directed graph partitioning. The same approach also works for vertex expansion and for hypergraphs, providing a simple and unified approach to achieve the best known results for different expansion problems and different algorithmic techniques.

Data Structures and Algorithms,Discrete Mathematics,Machine Learning,Combinatorics
Confluence in labeled chip-firing

Caroline Klivans,Patrick Liscio

DOI: https://doi.org/10.1016/j.jcta.2021.105542

2022-02-01

Abstract:In 2016, Hopkins, McConville, and Propp proved that labeled chip-firing on a line always leaves the chips in sorted order provided that the initial number of chips is even. We present a novel proof of this result. We then apply our methods to resolve a number of related conjectures concerning the confluence of labeled chip-firing systems.
A new provably stable weighted state redistribution algorithm

Marsha Berger,Andrew Giuliani

2024-04-03

Abstract:We propose a practical finite volume method on cut cells using state redistribution. Our algorithm is provably monotone, total variation diminishing, and GKS stable in many situations, and shuts off continuously as the cut cell size approaches a target value. Our analysis reveals why original state redistribution works so well: it results in a monotone scheme for most configurations, though at times subject to a slightly smaller CFL condition. Our analysis also explains why a pre-merging step is beneficial. We show computational experiments in two and three dimensions.

Mathematics
Automating Weight Function Generation in Graph Pebbling

Dominic Flocco,Jonad Pulaj,Carl Yerger

2023-12-20

Abstract:Graph pebbling is a combinatorial game played on an undirected graph with an initial configuration of pebbles. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the smallest number of pebbles necessary such that, given any initial configuration of pebbles, at least one pebble can be moved to a specified root vertex. Recent lines of inquiry apply computational techniques to pebbling bound generation and improvement. Along these lines, we present a computational framework that produces a set of tree strategy weight functions that are capable of proving pebbling number upper bounds on a connected graph. Our mixed-integer linear programming approach automates the generation of large sets of such functions and provides verifiable certificates of pebbling number upper bounds. The framework is capable of producing verifiable pebbling bounds on any connected graph, regardless of its structure or pebbling properties. We apply the model to the 4th weak Bruhat to prove $\pi(B_4) \leq 66$ and to the Lemke square graph to produce a set of certificates that verify $\pi(L x L) \leq 96$.

Combinatorics,Discrete Mathematics
A greedy heuristic for graph burning

Jesús García-Díaz,José Alejandro Cornejo-Acosta,Joel Trejo Sánchez

2024-09-15

Abstract:Given a graph $G$, the optimization version of the graph burning problem seeks for a sequence of vertices, $(u_1,u_2,...,u_p) \in V(G)^p$, with minimum $p$ and such that every $v \in V(G)$ has distance at most $p-i$ to some vertex $u_i$. The length $p$ of the optimal solution is known as the burning number and is denoted by $b(G)$, an invariant that helps quantify the graph's vulnerability to contagion. This paper explores the advantages and limitations of an $\mathcal{O}(mn + pn^2)$ deterministic greedy heuristic for this problem, where $n$ is the graph's order, $m$ is the graph's size, and $p$ is a guess on $b(G)$. This heuristic is based on the relationship between the graph burning problem and the clustered maximum coverage problem, and despite having limitations on paths and cycles, it found most of the optimal and best-known solutions of benchmark and synthetic graphs with up to 102400 vertices. Beyond practical advantages, our work unveils some of the fundamental aspects of graph burning: its relationship with a generalization of a classical coverage problem and compact integer programs. With this knowledge, better algorithms might be designed in the future.

Discrete Mathematics,Combinatorics
The Burning Number of Directed Graphs: Bounds and Computational Complexity

Remie Janssen

DOI: https://doi.org/10.48550/arXiv.2001.03381

2020-01-10

Combinatorics

Abstract:The burning number of a graph was recently introduced by Bonato et al. Although they mention that the burning number generalises naturally to directed graphs, no further research on this has been done. Here, we introduce graph burning for directed graphs, and we study bounds for the corresponding burning number and the hardness of finding this number. We derive sharp bounds from simple algorithms and examples. The hardness question yields more surprising results: finding the burning number of a directed tree is NP-hard, but FPT; however, it is W[2]-complete for DAGs. Finally, we give a fixed-parameter algorithm to find the burning number of a digraph, with a parameter inspired by research in phylogenetic networks.

Algorithms for Chip-Firing on Weighted Graphs

On Chip-Firing on Undirected Binary Trees

Chip-firing and critical groups of signed graphs

Chip Firing on Directed $k$-ary Trees

Chip-Firing and Fractional Bases

Parallel chip-firing games on directed graphs

Non-Stabilizing Parallel Chip-Firing Games

Chip-Firing Games and Critical Groups

Chip-firing on the Platonic solids: a primer for studying graph gonality

Burning Two Worlds: Algorithms for Burning Dense and Tree-like Graphs

Parallel Chip-Firing on the Complete Graph: Devil's Staircase and Poincare Rotation Number

Labeled Chip-firing on Binary Trees with $2^n-1$ Chips

Proportion-Based Hypergraph Burning

Sorting via chip-firing

Fast Algorithms for Directed Graph Partitioning Using Flows and Reweighted Eigenvalues

Confluence in labeled chip-firing

A new provably stable weighted state redistribution algorithm

Automating Weight Function Generation in Graph Pebbling

A greedy heuristic for graph burning

The Burning Number of Directed Graphs: Bounds and Computational Complexity