arXiv++ Combinatorics

We study a notion of tropical linear series on metric graphs that combines two essential properties of tropicalizations of linear series on algebraic curves: the Baker-Norine rank and the independence rank. Our main results relate the local and global geometry of these tropical linear series to the combinatorial geometry of matroids and valuated matroids, respectively. As an application, we characterize exactly when the tropicalization of the canonical linear series on a single curve is equal to the locus of realizable tropical canonical divisors determined by Möller, Ulirsch, and Werner. We also illustrate our results with a wealth of examples; in particular, we show that the Bergman fan of every matroid appears as the local fan of a tropical linear series on a metric graph. The paper concludes with a list of ten open questions for future investigation.

The divisor theory of the complete graph $K_n$ is in many ways similar to that of a plane curve of degree $n$. We compute the splitting types of all divisors on the complete graph $K_n$. We see that the possible splitting types of divisors on $K_n$ exactly match the possible splitting types of line bundles on a smooth plane curve of degree $n$. This generalizes the earlier result of Cori and Le Borgne computing the ranks of all divisors on $K_n$, and the earlier work of Cools and Panizzut analyzing the possible ranks of divisors of fixed degree on $K_n$.

We provide a new perspective on the divisor theory of graphs, using additive combinatorics. As a test case for this perspective, we compute the gonality of certain families of outerplanar graphs, specifically the strip graphs. The Jacobians of such graphs are always cyclic of Fibonacci order. As a consequence, we obtain several results on the additive properties of Fibonacci numbers.

A Ferrers rook graph is a graph whose vertices correspond to the dots in a Ferrers diagram, and where two vertices are adjacent if they are in the same row or the same column. We propose a conjectural formula for the gonality of Ferrers rook graphs, and prove this conjecture for a few infinite families of Ferrers diagrams. We also prove the conjecture for all Ferrers diagrams $F$ with $|F| \leq 8$.

The $r$th gonality of a graph is the smallest degree of a divisor on the graph with rank $r$. The gonality sequence of a graph is a tropical analogue of the gonality sequence of an algebraic curve. We show that the set of truncated gonality sequences of graphs forms a semigroup under addition. Using this, we study which triples $(x,y,z)$ can be the first 3 terms of a graph gonality sequence. We show that nearly every such triple with $z \geq \frac{3}{2}x+2$ is the first three terms of a graph gonality sequence, and also exhibit triples where the ratio $\frac{z}{x}$ is an arbitrary rational number between 1 and 3. In the final section, we study algebraic curves whose $r$th and $(r+1)$st gonality differ by 1, and posit several questions about graphs with this property.

Segerman's 15+4 puzzle is a hinged version of the classic 15-puzzle, in which the tiles rotate as they slide around. In 1974, Wilson classified the groups of solutions to sliding block puzzles. We generalize Wilson's result to puzzles like the 15+4 puzzle, where the tiles can rotate, and the sets of solutions are subgroups of the generalized symmetric groups. Aside from two exceptional cases, we see that the group of solutions to such a puzzle is always either the entire generalized symmetric group or one of two special subgroups of index two.

We define a new graph invariant called the scramble number. We show that the scramble number of a graph is a lower bound for the gonality and an upper bound for the treewidth. Unlike the treewidth, the scramble number is not minor monotone, but it is subgraph monotone and invariant under refinement. We compute the scramble number and gonality of several families of graphs for which these invariants are strictly greater than the treewidth.

We introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincaré duality in the sense of Adiprasito-Huh-Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner-Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta functions for matroids introduced by van der Veer, and we compute the first two coefficients in the Taylor expansion of these topological zeta functions, providing affirmative answers to two questions posed by van der Veer.

We provide lower bounds on the gonality of a graph in terms of its spectral and edge expansion. As a consequence, we see that the gonality of a random 3-regular graph is asymptotically almost surely greater than one seventh its genus.

We study the behavior of theta characteristics on an algebraic curve under the specialization map to a tropical curve. We show that each effective theta characteristic on the tropical curve is the specialization of $2^{g-1}$ even theta characteristics and $2^{g-1}$ odd theta characteristics. We then study the relationship between unramified double covers of a tropical curve and its theta characteristics, and use this to define the tropical Prym variety.

To any graph $G$ one can associate a toric variety $X(\mathcal{P}G)$, obtained as a blowup of projective space along coordinate subspaces corresponding to connected subgraphs of $G$. The polytope of this toric variety is the graph associahedron of $G$, a class of polytopes that includes the permutohedron, associahedron, and stellahedron. We show that the space $X(\mathcal{P}{G})$ is isomorphic to a Hassett compactification of $M_{0,n}$ precisely when $G$ is an iterated cone over a discrete set. This may be viewed as a generalization of the well-known fact that the Losev--Manin moduli space is isomorphic to the toric variety associated to the permutohedron.

We study which groups with pairing can occur as the Jacobian of a finite graph. We provide explicit constructions of graphs whose Jacobian realizes a large fraction of odd groups with a given pairing. Conditional on the generalized Riemann hypothesis, these constructions yield all groups with pairing of odd order, and unconditionally, they yield all groups with pairing whose prime factors are sufficiently large. For groups with pairing of even order, we provide a partial answer to this question, for a certain restricted class of pairings. Finally, we explore which finite abelian groups occur as the Jacobian of a simple graph. There exist infinite families of finite abelian groups that do not occur as the Jacobians of simple graphs.

We show that the expected gonality of a random graph is asymptotic to the number of vertices.