arXiv++ Combinatorics

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

Reflexive polytopes have been studied from viewpoints of combinatorics, commutative algebra and algebraic geometry. A nef-partition of a reflexive polytope $\mathcal{P}$ is a decomposition $\mathcal{P}=\mathcal{P}_1+\cdots+\mathcal{P}_r$ such that each $\mathcal{P}_i$ is a lattice polytope containing the origin. Batyrev and van Straten gave a combinatorial method for explicit constructions of mirror pairs of Calabi-Yau complete intersections obtained from nef-partitions. In the present paper, by means of Gröbner basis techniques, we give a large family of nef-partitions arising from unimodular configurations.

Let $n$ be a positive integer and $I$ a $k$-subset of integers in $[0,n-1]$. Given a $k$-tuple $A=(α_0, \cdots, α_{k-1})\in \mathbb{F}^k_{q^n}$, let $M_{A,I}$ denote the matrix $(α_i^{q^j})$ with $0\leq i\leq k-1$ and $j\in I$. When $I=\{0,1,\cdots, k-1\}$, $M_{A,I}$ is called a Moore matrix which was introduced by E. H. Moore in 1896. It is well known that the determinant of a Moore matrix equals $0$ if and only if $α_0,\cdots, α_{k-1}$ are $\mathbb{F}_q$-linearly dependent. We call $I$ that satisfies this property a Moore exponent set. In fact, Moore exponent sets are equivalent to maximum rank-distance (MRD) code with maximum left and right idealisers over finite fields. It is already known that $I=\{0,\cdots, k-1\}$ is not the unique Moore exponent set, for instance, (generalized) Delsarte-Gabidulin codes and the MRD codes recently discovered by Csajbók, Marino, Polverino and the second author both give rise to new Moore exponent sets. By using algebraic geometry approach, we obtain an asymptotic classification result: for $q>5$, if $I$ is not an arithmetic progression, then there exist an integer $N$ depending on $I$ such that $I$ is not a Moore exponent set provided that $n>N$.

We explain a discontinuous drop in the exponential growth rate for certain multivariate generating functions at a critical parameter value, in even dimensions d at least 4. This result depends on computations in the homology of the algebraic variety where the generating function has a pole. These computations are similar to, and inspired by, a thread of research in applications of complex algebraic geometry to hyperbolic PDEs, going back to Leray, Petrowski, Atiyah, Bott and Garding. As a consequence, we give a topological explanation for certain asymptotic phenomenon appearing in the combinatorics and number theory literature. Furthermore, we show how to combine topological methods with symbolic algebraic computation to determine explicitly the dominant asymptotics for such multivariate generating functions, giving a significant new tool to attack the so-called connection problem for asymptotics of P-recursive sequences. This in turn enables the rigorous determination of integer coefficients in the Morse-Smale complex, which are difficult to determine using direct geometric methods.

We show that there is a unique hypersurface of minimal degree passing through the non-faces of a polytope which is defined by a simple hyperplane arrangement. This generalizes the construction of the adjoint curve of a polygon by Wachspress in 1975. The defining polynomial of our adjoint hypersurface is the adjoint polynomial introduced by Warren in 1996. This is a key ingredient for the definition of Wachspress coordinates, which are barycentric coordinates on an arbitrary convex polytope. The adjoint polynomial also appears both in algebraic statistics, when studying the moments of uniform probability distributions on polytopes, and in intersection theory, when computing Segre classes of monomial schemes. We describe the Wachspress map, the rational map defined by the Wachspress coordinates, and the Wachspress variety, the image of this map. The inverse of the Wachspress map is the projection from the linear span of the image of the adjoint hypersurface. To relate adjoints of polytopes to classical adjoints of divisors in algebraic geometry, we study irreducible hypersurfaces that have the same degree and multiplicity along the non-faces of a polytope as its defining hyperplane arrangement. We list all finitely many combinatorial types of polytopes in dimensions two and three for which such irreducible hypersurfaces exist. In the case of polygons, the general such curves< are elliptic. In the three-dimensional case, the general such surfaces are either K3 or elliptic.

From a combinatorial point of view, we consider the Earth Mover's Distance (EMD) associated with a metric measure space. The specific case considered is deceptively simple: Let the finite set [n] = {1,...,n} be regarded as a metric space by restricting the usual Euclidean distance on the real numbers. The EMD is defined on ordered pairs of probability distributions on [n]. We provide an easy method to compute a generating function encoding the values of EMD in its coefficients, which is related to the Segre embedding from projective algebraic geometry. As an application we use the generating function to compute the expected value of EMD in this one-dimensional case. The EMD is then used in clustering analysis for a specific data set.

We use tools of additive combinatorics for the study of subvarieties defined by {\it high rank} families of polynomials in high dimensional $\mathbb{F} _q$-vector spaces. In the first, analytic part of the paper we prove a number properties of high rank systems of polynomials. In the second, we use these properties to deduce results in Algebraic Geometry, such as an effective Stillman conjecture over algebraically closed fields, an analogue of Nullstellensatz for varieties over finite fields, and a strengthening of a recent result of [5]. We also show that for $k$-varieties $\mathbb X \subset \mathbb{A}^n$ of high rank any weakly polynomial function on a set $\mathbb{X}(k)\subset k^n$ extends to a polynomial.

The Ehrhart quasi-polynomial of a rational polytope $P$ is a fundamental invariant counting lattice points in integer dilates of $P$. The quasi-period of this quasi-polynomial divides the denominator of $P$ but is not always equal to it: this situation is called quasi-period collapse. Polytopes experiencing quasi-period collapse appear widely across algebra and geometry, and yet the phenomenon remains largely mysterious. Using techniques from algebraic geometry - specifically the $\mathbb{Q}$-Gorenstein deformation theory of orbifold del Pezzo surfaces - we explain quasi-period collapse for rational polygons dual to Fano polygons and describe explicitly the discrepancy between the quasi-period and the denominator.

In this paper we study hypergraphs definable in an algebraically closed field. Our goal is to show, in the spirit of the so-called transference principles in extremal combinatorics, that if a given algebraic hypergraph is "dense" in a certain sense, then a generic low-dimensional subset of its vertices induces a subhypergraph that is also "dense." (For technical reasons, we only consider low-dimensional subsets that are parameterized by rational functions.) Our proof approach is inspired by the hypergraph containers method, developed by Balogh, Morris, and Samotij and independently by Saxton and Thomason (although adapting this method to the algebraic setting presents some unique challenges that do not occur when working with finite hypergraphs). Along the way, we establish a natural generalization of the classical dimension of fibers theorem in algebraic geometry, which is interesting in its own right.

Let $P$ be a set of $n$ points in real projective $d$-space, not all contained in a hyperplane, such that any $d$ points span a hyperplane. An ordinary hyperplane of $P$ is a hyperplane containing exactly $d$ points of $P$. We show that if $d\ge 4$, the number of ordinary hyperplanes of $P$ is at least $\binom{n-1}{d-1} - O_d(n^{\lfloor(d-1)/2\rfloor})$ if $n$ is sufficiently large depending on $d$. This bound is tight, and given $d$, we can calculate the exact minimum number for sufficiently large $n$. This is a consequence of a structure theorem for sets with few ordinary hyperplanes: For any $d \ge 4$ and $K > 0$, if $n \ge C_d K^8$ for some constant $C_d > 0$ depending on $d$ and $P$ spans at most $K\binom{n-1}{d-1}$ ordinary hyperplanes, then all but at most $O_d(K)$ points of $P$ lie on a hyperplane, an elliptic normal curve, or a rational acnodal curve. We also find the maximum number of $(d+1)$-point hyperplanes, solving a $d$-dimensional analogue of the orchard problem. Our proofs rely on Green and Tao's results on ordinary lines, our earlier work on the $3$-dimensional case, as well as results from classical algebraic geometry.

Divisorial gonality and stable divisorial gonality are graph parameters, which have an origin in algebraic geometry. Divisorial gonality of a connected graph $G$ can be defined with help of a chip firing game on $G$. The stable divisorial gonality of $G$ is the minimum divisorial gonality over all subdivisions of edges of $G$. In this paper we prove that deciding whether a given connected graph has stable divisorial gonality at most a given integer $k$ belongs to the class NP. Combined with the result that (stable) divisorial gonality is NP-hard by Gijswijt, we obtain that stable divisorial gonality is NP-complete. The proof consist of a partial certificate that can be verified by solving an Integer Linear Programming instance. As a corollary, we have that the number of subdivisions needed for minimum stable divisorial gonality of a graph with $n$ vertices is bounded by $2^{p(n)}$ for a polynomial $p$.

In this paper we both review the famous article "Eine fur die Valenztheorie geeignete Basis der binaren Vektorinvarianten" of G. Rumer, E. Teller, and H. Weyl on Rumer diagrams and use a powerful old result from algebraic geometry to enumerate these diagrams with given numbers of atoms and valence bonds.

The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.

We exhibit a connection between two statistics on set partitions, the intertwining number and the depth-index. In particular, results link the intertwining number to the algebraic geometry of Borel orbits. Furthermore, by studying the generating polynomials of our statistics, we determine the $q=-1$ specialization of a $q$-analogue of the Bell numbers. Finally, by using Renner's $H$-polynomial of an algebraic monoid, we introduce and study a $t$-analog of $q$-Stirling numbers.

Phylogenetic trees are the fundamental mathematical representation of evolutionary processes in biology. They are also objects of interest in pure mathematics, such as algebraic geometry and combinatorics, due to their discrete geometry. Although they are important data structures, they face the significant challenge that sets of trees form a non-Euclidean phylogenetic tree space, which means that standard computational and statistical methods cannot be directly applied. In this work, we explore the statistical feasibility of a pure mathematical representation of the set of all phylogenetic trees based on tropical geometry for both descriptive and inferential statistics, and unsupervised and supervised machine learning. Our exploration is both theoretical and practical. We show that the tropical geometric phylogenetic tree space endowed with a generalized Hilbert projective metric exhibits analytic, geometric, and topological properties that are desirable for theoretical studies in probability and statistics and allow for well-defined questions to be posed. We illustrate the statistical feasibility of the tropical geometric perspective for phylogenetic trees with an example of both a descriptive and inferential statistical task. Moreover, this approach exhibits increased computational efficiency and statistical performance over the current state-of-the-art, which we illustrate with a real data example on seasonal influenza. Our results demonstrate the viability of the tropical geometric setting for parametric statistical and probabilistic studies of sets of phylogenetic trees.

Roughly ten years ago, the following "Gorenstein Interval Conjecture" (GIC) was proposed: Whenever $(1,h_1,\dots,h_i,\dots,h_{e-i},\dots,h_{e-1},1)$ and $(1,h_1,\dots,h_i+α,\dots,h_{e-i}+α,\dots,h_{e-1},1)$ are both Gorenstein Hilbert functions for some $α\geq 2$, then $(1,h_1,\dots,h_i+β,\dots,h_{e-i}+β,\dots,h_{e-1},1)$ is also Gorenstein, for all $β=1,2,\dots,α-1$. Since an explicit characterization of which Hilbert functions are Gorenstein is widely believed to be hopeless, the GIC, if true, would at least provide the existence of a strong, and very natural, structural property for such basic functions in commutative algebra. Before now, very little progress was made on the GIC. The main goal of this note is to prove the case $e\le 5$, in arbitrary codimension. Our arguments will be in part constructive, and will combine several different tools of commutative algebra and classical algebraic geometry.

Efficient representations of convex sets are of crucial importance for many algorithms that work with them. It is well-known that sometimes, a complicated convex set can be expressed as the projection of a much simpler set in higher dimensions called a lift of the original set. This is a brief survey of recent developments in the topic of lifts of convex sets. Our focus will be on lifts that arise from affine slices of real positive semidefinite cones known as psd or spectrahedral lifts. The main result is that projection representations of a convex set are controlled by factorizations, through closed convex cones, of an operator that comes from the convex set. This leads to several research directions and results that lie at the intersection of convex geometry, combinatorics, real algebraic geometry, optimization, computer science and more.

The classical volume polynomial in algebraic geometry measures the degrees of ample (and nef) divisors on a smooth projective variety. We introduce an analogous volume polynomial for matroids, and give a complete combinatorial formula. For a realizable matroid, we thus obtain an explicit formula for the classical volume polynomial of the associated wonderful compactification. We then introduce a new invariant called the volume of a matroid as a particular specialization of its volume polynomial, and discuss its algebro-geometric and combinatorial properties in connection to graded linear series on blow-ups of projective spaces.

We study the space $X_h$ of Hermitian matrices having staircase form and the given simple spectrum. There is a natural action of a compact torus on this space. Using generalized Toda flow, we show that $X_h$ is a smooth manifold and its smooth type is independent of the spectrum. Morse theory is then used to show the vanishing of odd degree cohomology, so that $X_h$ is an equivariantly formal manifold. The equivariant and ordinary cohomology of $X_h$ are described using GKM-theory. The main goal of this paper is to show the connection between the manifolds $X_h$ and the semisimple Hessenberg varieties well-known in algebraic geometry. Both the spaces $X_h$ and Hessenberg varieties form wonderful families of submanifolds in the complete flag variety. There is a certain symmetry between these families which can be generalized to other submanifolds of the flag variety.

The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_λ$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.