In 2015, Cartwright (2016) showed that any 3-regular metric graph arises as the skeleton of a tropical plane curve with nodes allowed. They introduced the tropical crossing number of a metric graph as the minimum number of nodes required for that graph with the prescribed lengths. We introduce the tropical crossing number of a finite, non-metric graph, the minimum number of nodes required to achieve that graph with any lengths on its edges. We prove that tropical crossing numbers can be arbitrary, even with prescribed crossing numbers. More precisely, for any integers 0≤ c≤ d , there exists a finite graph with crossing number c and tropical crossing number d. The same result holds for metric graphs, choosing an appropriate metric on the finite example. We then introduce and use computational methods to find the tropical crossing number of the smallest non-tropically planar graph, the lollipop graph of genus 3. We also show that our tropical crossing number can grow quadratically in the number of vertices of the graph.
We study the commuting graph of n x n matrices over the field of p-adics Q(p), whose vertices are non-scalar n x n matrices with entries in Q(p) and whose edges connect pairs of matrices that commute under matrix multiplication. We prove that this graph is connected if and only if n >= 3, with n neither prime nor a power of p. We also prove that in the case of p = 2 and n = 2q for q a prime with q >= 7, the commuting graph has the maximum possible diameter of 6; these are the first known such examples independent of the axiom of choice. We also find choices of p and n yielding diameter 4 and diameter 5 commuting graphs, and prove general bounds depending on p and n. (c) 2026 Elsevier Inc. All rights are reserved, including those for text and data mining, AI training, and similar technologies.
The scramble number of a graph is an invariant recently developed to study chip-firing games and divisorial gonality. In this paper we introduce the screewidth of a graph, based on a variation of the existing literature on tree-cut decompositions. We prove that this invariant serves as an upper bound on scramble number, though they are not always equal. We study properties of screewidth, and present results and conjectures on its connection to divisorial gonality.
We introduce and study the locus 𝕄_g,d^nd of genus g tropical plane curves of gonality d inside the moduli space 𝕄^nd_g of tropical plane curves of genus g. Each such tropical curve arises from a Newton polygon, and we conjecture that the gonality of the tropical curve is equal to an easily computed parameter of this polygon called the expected gonality, closely related to the lattice width of the polygon. Let 𝕄_g,d^nd denote the locus of tropical curves whose associated Newton polygon has expected gonality d. We prove that for fixed d and sufficiently large genus g, the dimensions of these two loci agree: dim(𝕄_g,d^nd) =(𝕄_g,d^nd). Our results provide evidence that, in sufficiently high genus compared to expected gonality, the gonality of a tropical curve is determined by the expected gonality of the Newton polygon from which it arises.
The gonality of a graph measures how difficult it is to move chips around the entirety of a graph according to certain chip-firing rules without introducing debt. In this paper we study the gonality of circulant graphs, a class of vertex-transitive graphs that can be specified by their number of vertices together with a list of cyclic adjacency relations satisfied by all vertices. We provide a universal upper bound on the gonality of all circulant graphs with a fixed adjacency list, which holds irrespective of the number of vertices. We use this upper bound together with computational methods to determine that the gonality of the 4-regular Harary graph on n vertices is 10 for n≥ 16. As a special case, this gives the gonality of sufficiently large antiprism graphs to be 10.
In this paper we study queen's graphs, which encode the moves by a queen on an n x m chess board, through the lens of chip-firing games. We prove that their gonality is equal to nm minus the independence number of the graph, and give a one-to-one correspondence between maximum independent sets and classes of positive rank divisors achieving gonality. We also prove an identical result for toroidal queen's graphs. (c) 2024 Elsevier B.V. All rights are reserved, including those for text and data mining, AI training, and similar technologies.
Chess graphs encode the moves that a particular chess piece can make on an m× n chessboard. We study through these graphs through the lens of chip-firing games and graph gonality. We provide upper and lower bounds for the gonality of king's, bishop's, and knight's graphs, as well as for the toroidal versions of these graphs. We also prove that among all chess graphs, there exists an upper bound on gonality solely in terms of min{m,n}, except for queen's, toroidal queen's, rook's, and toroidal bishop's graphs.
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$.
The scramble number of a graph, a natural generalization of bramble number, is an invariant recently developed to study chip-firing games and graph gonality. We introduce the carton number of a graph, defined to be the minimum size of a maximum order scramble, to study the computational complexity of scramble number. We show that there exist graphs with carton number exponential in the size of the graph, proving that scrambles are not valid NP certificates. We characterize families of graphs whose scramble number and gonality can be constant-factor approximated in polynomial time and show that the disjoint version of scramble number is fixed parameter tractable. Lastly, we find that vertex congestion is an upper bound on screewidth and thus scramble number, leading to a new proof of the best known bound on the treewidth of line graphs and a bound on the scramble number of planar graphs with bounded degree.
The divisorial gonality of a graph is the minimum degree of a positive rank divisor on that graph. We introduce the multiplicity-free gonality of a graph, which restricts our consideration to divi-sors that place at most 1 chip on each vertex. We give a sufficient condition in terms of vertex-connectivity for these two versions of gonality to be equal; and we show that no function of gonality can bound multiplicity-free gonality, even for simple graphs. We also prove that multiplicity-free gonality is NP-hard to compute, while still determining it for graph families for which gonality is currently unknown. We also present new gonalities, such as for the wheel graphs.
A scramble on a connected multigraph is a collection of connected subgraphs that generalizes the notion of a bramble. The maximum order of a scramble, called the scramble number of a graph, was recently developed as a tool for lower bounding divisorial gonality. We present results on the scramble of all connected subgraphs with a fixed number of vertices, using these to calculate scramble number and gonality both for large families of graphs, and for specific examples like the 4and 5-dimensional hypercube graphs. We also study the computational complexity of the egg-cut number of a scramble.
In the theory of divisors on multigraphs, the r^th divisorial gonality of a graph is the minimum degree of a rank r divisor on that graph. It was proved by Gijswijt et al. that the first divisorial gonality of a finite graph is NP-hard to compute. We generalize their argument to prove that it is NP-hard to compute the r^th divisorial gonality of a finite graph for all r. We use this result to prove that it is NP-hard to compute r^th stable divisorial gonality for a finite graph, and to compute r^th divisorial gonality for a metric graph. We also prove these problems are APX-hard, and we study the NP-completeness of these problems.
The scramble number of a graph provides a lower bound for gonality and an upper bound for treewidth, making it a graph invariant of interest. In this paper we study graphs of scramble number at most two, and give a classification of all such graphs with a finite list of forbidden topological minors. We then prove that there exists no finite list of forbidden topological minors to characterize graphs with scramble number at most k for any fixed k≥3.
We prove new lower and upper bounds on the higher gonalities of finite graphs. These bounds are generalizations of known upper and lower bounds for first gonality to higher gonalities, including upper bounds on gonality involving independence number, and lower bounds on gonality by scramble number. We apply our bounds to study the computational complexity of computing higher gonalities, proving that it is NP-hard to compute the second gonality of a graph when restricting to multiplicity-free divisors.
The commuting variety of matrices over a given field is a well-studied object in linear algebra and algebraic geometry. As a set, it consists of all pairs of square matrices with entries in that field that commute with one another. In this paper we generalise the commuting variety by using the commuting distance of matrices. We show that over an algebraically closed field, each of our sets does indeed form a variety. We compute the dimension of the distance-$2$ commuting variety and characterize its irreducible components. We also work over other fields, showing that the distance-$2$ commuting set is a variety but that the higher distance commuting sets may or may not be varieties, depending on the field and on the size of the matrices.
Given a lattice polygon, we study the moduli space of all tropical plane curves with that Newton polygon. We determine a formula for the dimension of this space in terms of combinatorial properties of that polygon. We prove that if this polygon is nonhyperelliptic or maximal and hyperelliptic, then this formula matches the dimension of the moduli space of nondegenerate algebraic curves with that given Newton polygon.
The scramble number of a graph is an invariant recently developed to aid in the study of divisorial gonality. In this paper we prove that scramble number is NP-hard to compute, also providing a proof that computing gonality is NP-hard even for simple graphs, as well as for metric graphs. We also provide general lower bounds for the scramble number of a Cartesian product of graphs, and apply these to compute gonality for many new families of product graphs.
Any smooth tropical plane curve contains a distinguished trivalent graph called its skeleton. In 2020 Morrison and Tewari proved that the so-called big face graphs cannot be the skeleta of tropical curves for genus $12$ and greater. In this paper we answer an open question they posed to extend their result to the prism graphs, proving that they are the skeleton of a smooth tropical plane curve precisely when the genus is at most $11$. Our main tool is a classification of lattice polygons with two points than can simultaneously view all others, without having any one point that can observe all others.
We study tropically planar graphs, which are the graphs that appear in smooth tropical plane curves. We develop necessary conditions for graphs to be tropically planar, and compute the number of tropically planar graphs up to genus 7. We provide non-trivial upper and lower bounds on the number of tropically planar graphs, and prove that asymptotically $$0\%$$ of connected trivalent planar graphs are tropically planar.
To any graph we associate a sequence of integers called the gonality sequence of the graph, consisting of the minimum degrees of divisors of increasing rank on the graph. This is a tropical analogue of the gonality sequence of an algebraic curve. We study gonality sequences for graphs of low genus, proving that for genus up to $5$, the gonality sequence is determined by the genus and the first gonality. We then prove that any reasonable pair of first two gonalities is achieved by some graph. We also develop a modified version of Dhar's burning algorithm more suited for studying higher gonalities.