arXiv++ Combinatorics

We study asymptotic versions of the Brill-Noether existence conjecture on graphs via techniques inspired by the geometry of numbers. We confirm an asymptotic version of the conjecture at (and near) the half-canonical degree in several well-connected families of graphs. They include expander graphs of even valence, almost-Ramanujan graphs of a fixed valence at least five and certain random graphs. In particular, for any fixed $k \geq 5$, almost all simple, connected, $k$-regular graphs satisfy the Brill-Noether existence conjecture at the half-canonical degree up to a constant factor. The key tool is a Cheeger-style inequality for the covering radius of a certain periodic set with respect to the energy quadratic form associated with the graph. As an application, we lower bound the diameter of graphs associated with certain dynamical systems called reversal systems. We conclude with a suggestion to tackle the asymptotic version of the conjecture, in general, i.e. beyond half-canonical degrees.

We study the theory of equations in one variable over polyhedral semirings. The article revolves around a notion of solution to a polynomial equation over a polyhedral semiring. Our main results are a characterisation of local solutions in terms of the coefficients, a local-global principle, and the basics of multiplicity and discriminants. Our primary sources of motivation are tropical geometry and the theory of exceptional points in non-Hermitian physics.

We study rational normal curves via a connection to the chip firing game. A key technique, introduced in this article, is to interpret the defining ideal of the rational normal curve as an ideal associated to a generalisation of a cycle graph called a parcycle. This association allows us to study rational normal curves by combinatorial methods. Given any Cohen-Macaulay initial monomial ideal of the rational normal curve, we explicitly construct (via this association) a corresponding Gröbner degeneration and an explicit combinatorial minimal free resolution of this Gröbner degeneration. Applications include minimal cellular resolutions for each Cohen-Macaulay initial monomial ideal of the rational normal curve, explicit combinatorial formulas for Hilbert series of certain lex-segment ideals and a combinatorial perspective on the Eagon-Northcott complex associated to the rational normal curve.

We study Poincaré series associated to a finite collection of divisors on i. a finite graph and ii. a certain family of metric graphs called chain of loops. Our main results are proofs of rationality of the Poincaré series and algorithms for computing it in both these cases. The main tools used in the proof of rationality are the following. For graphs, we study a certain homomorphism from a free Abelian group of finite rank to the direct sum of the Jacobian of the graph and the integers. For chains of loops, our main tool is an analogue of Lang's conjecture for Brill-Noether loci on a chain of loops and adapts the proof of rationality of the Poincaré series of divisors on an algebraic curve (over an algebraically closed field of characteristic zero). Our algorithms are based on a closer study of the objects involved in the proof of rationality, for instance, computing the fibres of certain homomorphisms and lattice point enumeration in rational polyhedra.

We study Brill-Noether existence on a finite graph using methods from polyhedral geometry and lattices. We start by formulating analogues of the Brill-Noether conjectures (both the existence and non-existence parts) for $\mathbb{R}$-divisors, i.e. divisors with real coefficients, on a graph. We then reformulate the Brill-Noether existence conjecture for $\mathbb{R}$-divisors on a graph in geometric terms, that we refer to as the covering radius conjecture and we show a weak version, in support of it. Using this, we show an approximate version of the Brill-Noether existence conjecture for divisors on a graph. As applications, we derive upper bounds on the gonality of a graph and its $\mathbb{R}$-divisor analogue.

We associate two modules, the $G$-parking critical module and the toppling critical module, to an undirected connected graph $G$. The $G$-parking critical module and the toppling critical module are canonical modules (with suitable twists) of quotient rings of the well-studied $G$-parking function ideal and the toppling ideal, respectively. For each critical module, we establish a Tutte-like short exact sequence relating the modules associated to $G$, an edge contraction $G/e$ and an edge deletion $G \setminus e$ ($e$ is a non-bridge). We obtain purely combinatorial consequences of Tutte short exact sequences. For instance, we reprove a theorem of Merino that the critical polynomial of a graph is an evaluation of its Tutte polynomial, and relate the vanishing of certain combinatorial invariants (the number of acyclic orientations on connected partition graphs satisfying a unique sink property) of $G/e$ to the equality of the corresponding invariants of $G$ and $G \setminus e$.

Tropical geometry and its applications indicate a "theory of syzygies" over polytope semirings. Taking cue from this indication, we study a notion of syzygies over the polytope semiring. We begin our exploration with the concept of Newton basis, an analogue of Gröbner basis that captures the image of an ideal under the Newton polytope map. The image ${\rm New}(I)$ of a graded ideal $I$ under the Newton polytope is a graded sub-semimodule of the polytope semiring. Analogous to the Hilbert series, we define the notion of Newton-Hilbert series that encodes the rank of each graded piece of ${\rm New}(I)$. We prove the rationality of the Newton-Hilbert series for sub-semimodules that satisfy a property analogous to Cohen-Macaulayness. We define notions of regular sequence of polytopes and syzygies of polytopes. We show an analogue of the Koszul property characterizing the syzygies of a regular sequence of polytopes.

We investigate the smoothing problem of limit linear series of rank one on an enrichment of the notions of nodal curves and metrized complexes called saturated metrized complexes. We give a finitely verifiable full criterion for smoothability of a limit linear series of rank one on saturared metrized complexes, characterize the space of all such smoothings, and extend the criterion to metrized complexes. As applications, we prove that all limit linear series of rank one are smoothable on saturated metrized complexes corresponding to curves of compact-type, and prove an analogue for saturated metrized complexes of a theorem of Harris and Mumford on the characterization of nodal curves contained in a given gonality stratum. In addition, we give a full combinatorial criterion for smoothable limit linear series of rank one on saturated metrized complexes corresponding to nodal curves whose dual graphs are made of separate loops.

We construct immersions of trivalent abstract tropical curves in the Euclidean plane and embeddings of all abstract tropical curves in higher dimensional Euclidean space. Since not all curves have an embedding in the plane, we define the tropical crossing number of an abstract tropical curve to be the minimum number of self-intersections, counted with multiplicity, over all its immersions in the plane. We show that the tropical crossing number is at most quadratic in the number of edges and this bound is sharp. For curves of genus up to two, we systematically compute the crossing number. Finally, we use our immersed tropical curves to construct totally faithful nodal algebraic curves via lifting results of Mikhalkin and Shustin.

For a finite index sublattice $L$ of the root lattice $A_{n}$, we construct a deterministic algorithm to deform the lattice ideal $I_L$ to a nearby generic lattice ideal, answering a question posed by Miller and Sturmfels. Our algorithm is based on recent results of Perkinson, Perlman and Wilmes concerning commutative algebraic aspects of chip firing on directed graphs. As an application of our deformation algorithm, we construct a cellular resolution of the lattice ideal $I_L$ by degenerating the Scarf complex of its deformation.

The $G$-parking function ideal $M_G$ of a directed multigraph $G$ is a monomial ideal which encodes some of the combinatorial information of $G$. It is an initial ideal of the toppling ideal $I_G$, a lattice ideal intimately related to the chip-firing game on a graph. Both ideals were first studied by Cori, Rossin, and Salvy. A minimal free resolution for $M_G$ was given by Postnikov and Shaprio in the case when $G$ is saturated, i.\,e., whenever there is at least one edge $(u,v)$ for every ordered pair of distinct vertices $u$ and $v$. They also raised the problem of an explicit description of the minimal free resolution in the general case. In this paper, we give a minimal free resolution of $M_G$ for any undirected multigraph $G$, as well as for a family of related ideals including the toppling ideal $I_G$. This settles a conjecture of Manjunath and Sturmfels, as well as a conjecture of Perkinson and Wilmes.

The Riemann-Roch theorem on a graph G is related to Alexander duality in combinatorial commutive algebra. We study the lattice ideal given by chip firing on G and the initial ideal whose standard monomials are the G-parking functions. When G is a saturated graph, these ideals are generic and the Scarf complex is a minimal free resolution. Otherwise, syzygies are obtained by degeneration. We also develop a self-contained Riemann-Roch theory for artinian monomial ideals.

We provide a complete description of important geometric invariants of the Laplacian lattice of a multigraph under the distance function induced by a regular simplex, namely Voronoi Diagram, Delaunay Triangulation, Delaunay Polytope and its combinatorial structure, Shortest Vectors, Covering and Packing Radius. We use this information to obtain the following results: i. Every multigraph defines a Delaunay triangulation of its Laplacian lattice and this Delaunay triangulation contains complete information of the multigraph up to isomorphism. ii. The number of multigraphs with a given Laplacian lattice is controlled, in particular upper bounded, by the number of different Delaunay triangulations. iii. We obtain formulas for the covering and packing densities of a Laplacian lattice and deduce that in the space of Laplacian lattices of undirected connected multigraphs, the Laplacian lattices of highly connected multigraphs such as Ramanujan multigraphs possess good covering and packing properties.

We study the problem of computing the rank of a divisor on a finite graph, a quantity that arises in the Riemann-Roch theory on a finite graph developed by Baker and Norine (Advances of Mathematics, 215(2): 766-788, 2007). Our work consists of two parts: the first part is an algorithm whose running time is polynomial for a multigraph with a fixed number of vertices. More precisely, our algorithm has running time O(2^{n \log n})poly(size(G)), where n+1 is the number of vertices of the graph G. The second part consists of a new proof of the fact that testing if rank of a divisor is non-negative or not is in the complexity class NP intersection co-NP and motivated by this proof and its generalisations, we construct a new graph invariant that we call the critical automorphism group of the graph.

Recently, Baker and Norine {Advances in Mathematics, 215(2): 766-788, 2007} found new analogies between graphs and Riemann surfaces by developing a Riemann-Roch machinery on a finite graph $G$. In this paper, we develop a general Riemann-Roch Theory for sub-lattices of the root lattice $A_n$ by following the work of Baker and Norine, and establish connections between the Riemann-Roch theory and the Voronoi diagrams of lattices under certain simplicial distance functions. In this way, we rediscover the work of Baker and Norine from a geometric point of view and generalise their results to other sub-lattices of $A_n$. In particular, we provide a geometric approach for the study of the Laplacian of graphs. We also discuss some problems on classification of lattices with a Riemann-Roch formula as well as some related algorithmic issues.