The chip-firing game is a one-player
game
A game is a structured form of play, usually undertaken for entertainment or fun, and sometimes used as an educational tool. Many games are also considered to be work (such as professional players of spectator sports or games) or art (su ...
on a
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
which was invented around 1983 and since has become an important part of the study of
structural combinatorics.
Each vertex has the number of "chips" indicated by its state variable. On each firing, a vertex is selected and one of its chips is transferred to each neighbour (vertex it shares an edge with). The number of chips on each vertex cannot be negative. The game ends when no firing is possible.
Definition
Let the finite
graph
Graph may refer to:
Mathematics
*Graph (discrete mathematics), a structure made of vertices and edges
**Graph theory, the study of such graphs and their properties
*Graph (topology), a topological space resembling a graph in the sense of discre ...
''G'' be
connected
Connected may refer to:
Film and television
* ''Connected'' (2008 film), a Hong Kong remake of the American movie ''Cellular''
* '' Connected: An Autoblogography About Love, Death & Technology'', a 2011 documentary film
* ''Connected'' (2015 TV ...
and
loopless, with vertices ''V'' = . Let deg(''v'') be the
degree
Degree may refer to:
As a unit of measurement
* Degree (angle), a unit of angle measurement
** Degree of geographical latitude
** Degree of geographical longitude
* Degree symbol (°), a notation used in science, engineering, and mathemati ...
of a vertex, and e(''v,w'') the number of edges between vertices ''v'' and ''w''. A configuration or state of the game is defined by assigning each vertex a nonnegative integer ''s''(''v''), representing the number of chips on this vertex. A move starts with selecting a vertex ''w'' which has at least as many chips as its
degree
Degree may refer to:
As a unit of measurement
* Degree (angle), a unit of angle measurement
** Degree of geographical latitude
** Degree of geographical longitude
* Degree symbol (°), a notation used in science, engineering, and mathemati ...
: ''s''(''w'') ≥ deg(''w''). The vertex ''w'' is fired, moving one chip from w along each incident edge to a neighbouring vertex, producing a new configuration
defined by:
and for ''v ≠ w'',
A state in which no further firing is possible is a ''stable state''. Starting from an initial configuration, the game proceeds with the following results (on a connected graph).
* If the number of chips is less than the number of edges, the game is always finite, reaching a stable state.
* If each vertex has fewer chips than its degree, the game is finite.
*If the number of chips is at least the number of edges, the game can be infinite, never reaching a stable state, for an appropriately chosen initial configuration.
* If the number of chips is more than twice the number of edges minus the number of vertices, the game is always infinite.
For finite chip-firing games, the possible orders of firing events can be described by an
antimatroid
In mathematics, an antimatroid is a formal system that describes processes in which a set is built up by including elements one at a time, and in which an element, once available for inclusion, remains available until it is included. Antimatroid ...
. It follows from the general properties of antimatroids that the number of times each vertex fires, and the eventual stable state, do not depend on the order of firing events.
Dollar games
Some chip-firing games, known as dollar games, interpret the chips as dollars and the vertices as money borrowers and lenders. Two variants of dollar game are prominent in the literature:
Baker and Norine's variant
In this dollar game, negative integer values (representing debt) are assigned to some of the vertices of the finite graph ''G''. A game is called ''winnable'' if there exists a state where all the vertices can be made positive.
A a graph-theoretic analogue of
Riemann–Roch theorem
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It ...
can be used to characterize if a game is winnable or not.
Biggs's Variant
In a variant form of chip-firing closely related to the
sandpile model, also known as the dollar game, a single special vertex ''q'' is designated as the ''bank'', and is allowed to go into debt, taking a negative integer value ''s''(''q'') < 0. If any other vertex can fire, the bank cannot fire, only collecting chips. Eventually, ''q'' will accumulate so many chips that no other vertex can fire: only in such a state, vertex ''q'' can fire chips to neighbouring vertices to "jump start the economy".
The set of states which are stable (i.e. for which only ''q'' can fire) and recurrent for this game can be given the structure of an
abelian group
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is com ...
which is isomorphic to the direct product of
and the
sandpile group (also referred to as Jacobian group or critical group). The order of the latter is the
tree
In botany, a tree is a perennial plant with an elongated stem, or trunk, usually supporting branches and leaves. In some usages, the definition of a tree may be narrower, including only woody plants with secondary growth, plants that are ...
number of the graph.
See also
*
Abelian sandpile model
The Abelian sandpile model (ASM) is the more popular name of the original Bak–Tang–Wiesenfeld model (BTW). BTW model was the first discovered example of a dynamical system displaying self-organized criticality. It was introduced by Per Bak, ...
* ''
The Mathematics of Chip-Firing
''The Mathematics of Chip-Firing'' is a textbook in mathematics on chip-firing games and abelian sandpile models. It was written by Caroline Klivans, and published in 2018 by the CRC Press.
Topics
A chip-firing game, in its most basic form, is ...
''
*
Riemann–Roch theorem
The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It ...
References
* A. Björner, L. Lovász: Chip-Firing Games on Directed Graphs. Journal of Algebraic Combinatorics, December 1992, Volume 1, Issue 4, pp 305–328
External links
MIT Course 18.312: Algebraic CombinatoricsWeisz Ágoston: A koronglövő játék. Szakdolgozat, ELTE TTK Bsc, 2014{Dead link, date=June 2019 , bot=InternetArchiveBot , fix-attempted=yes
Chip firing survey on Egerváry Research GroupThe Dollar Game-
Numberphile
''Numberphile'' is an educational YouTube channel featuring videos that explore topics from a variety of fields of mathematics. In the early days of the channel, each video focused on a specific number, but the channel has since expanded its s ...
video about Baker and Norine's dollar game variant.
*https://thedollargame.io/ - A game based on the Baker and Norine's dollar game variant.
Combinatorics
Graph theory