arXiv++ Combinatorics

A lattice polytope $P$ is called IDP if any lattice point in its $k$th dilate is a sum of $k$ lattice points in $P$. In 1991 Stanley proved a strong inequality in Ehrhart theory for IDP lattice polytopes. We show that his conclusion holds under much milder assumptions, namely if the lattice polytope $P$ is spanning, i.e., any lattice point of the ambient lattice is an integer affine combination of lattice points in $P$. As an application, we get a generalization of Hibi's Lower Bound Theorem. Our proof relies on generalizing Bertini's theorem to the semistandard situation and Harris' Uniform Position Principle to certain curves in weighted projective space.

Ehrhart discovered that the function that counts the number of lattice points in dilations of an integral polytope is a polynomial. We call the coefficients of this polynomial Ehrhart coefficients, and say a polytope is Ehrhart positive if all Ehrhart coefficients are positive (which is not true for all integral polytopes). The main purpose of this article is to survey interesting families of polytopes that are known to be Ehrhart positive and discuss the reasons from which their Ehrhart positivity follows. We also include examples of polytopes that have negative Ehrhart coefficients and polytopes that are conjectured to be Ehrhart positive, as well as pose a few relevant questions.

Given a family of lattice polytopes, a common endeavor in Ehrhart theory is the classification of those polytopes in the family that are Gorenstein, or more generally level. In this article, we consider these questions for $\boldsymbol{s}$-lecture hall polytopes, which are a family of simplices arising from $\boldsymbol{s}$-lecture hall partitions. In particular, we provide concrete classifications for both of these properties purely in terms of $\boldsymbol{s}$-inversion sequences. Moreover, for a large subfamily of $\boldsymbol{s}$-lecture hall polytopes, we provide a more geometric classification of the Gorenstein property in terms of its tangent cones. We then show how one can use the classification of level $\boldsymbol{s}$-lecture hall polytopes to construct infinite families of level $\boldsymbol{s}$-lecture hall polytopes, and to describe level $\boldsymbol{s}$-lecture hall polytopes in small dimensions.

The Lidskii formula for the type $A_n$ root system expresses the volume and Ehrhart polynomial of the flow polytope of the complete graph with nonnegative integer netflows in terms of Kostant partition functions. For every integer polytope the volume is the leading coefficient of the Ehrhart polynomial. The beauty of the Lidskii formula is the revelation that for these polytopes its Ehrhart polynomial function can be deduced from its volume function! Baldoni and Vergne generalized Lidskii's result for flow polytopes of arbitrary graphs $G$ and nonnegative integer netflows. While their formulas are combinatorial in nature, their proofs are based on residue computations. In this paper we construct canonical polytopal subdivisions of flow polytopes which we use to prove the Baldoni-Vergne-Lidskii formulas. In contrast with the original computational proof of these formulas, our proof reveal their geometry and combinatorics. We conclude by exhibiting enumerative properties of the Lidskii formulas via our canonical polytopal subdivisions.

The degree of a lattice polytope is a notion in Ehrhart theory that was studied quite intensively over the previous years. It is well-known that a lattice polytope has normalized volume one if and only if its degree is zero. Recently, Esterov and Gusev gave a complete classification result of families of $n$ lattice polytopes in $\mathbb{R}^n$ whose mixed volume equals one. Here, we give a reformulation of their result involving the novel notion of a mixed degree that generalizes the degree similar to how the mixed volume generalizes the volume. We discuss and motivate this terminology, and explain why it extends a previous definition of Soprunov. We also remark how a recent combinatorial result due to Bihan solves a related problem posed by Soprunov.

A complete classification of the $δ$-vectors of lattice polytopes whose normalized volumes are at most $4$ is known. In the present paper, we will classify all the $δ$-vectors of lattice polytopes with normalized volumes $5$.

The volume of the hive polytope (or polytope of honeycombs) associated with a Littlewood- Richardson coefficient of SU(n), or with a given admissible triple of highest weights, is expressed, in the generic case, in terms of the Fourier transform of a convolution product of orbital measures. Several properties of this function -- a function of three non-necessarily integral weights or of three multiplets of real eigenvalues for the associated Horn problem-- are already known. In the integral case it can be thought of as a semi-classical approximation of Littlewood-Richardson coefficients. We prove that it may be expressed as a local average of a finite number of such coefficients. We also relate this function to the Littlewood-Richardson polynomials (stretching polynomials) i.e., to the Ehrhart polynomials of the relevant hive polytopes. Several SU(n) examples, for n=2,3,...,6, are explicitly worked out.

The notion of Ehrhart tensor polynomials, a natural generalization of the Ehrhart polynomial of a lattice polytope, was recently introduced by Ludwig and Silverstein. We initiate a study of their coefficients. In the vector and matrix cases, we give Pick-type formulas in terms of triangulations of a lattice polygon. As our main tool, we introduce $h^r$-tensor polynomials, extending the notion of the Ehrhart $h^\ast$-polynomial, and, for matrices, investigate their coefficients for positive semidefiniteness. In contrast to the usual $h^\ast$-polynomial, the coefficients are in general not monotone with respect to inclusion. Nevertheless, we are able to prove positive semidefiniteness in dimension two. Based on computational results, we conjecture positive semidefiniteness of the coefficients in higher dimensions. Furthermore, we generalize Hibi's palindromic theorem for reflexive polytopes to $h^r$-tensor polynomials and discuss possible future research directions.

The family of lattice simplices in $\mathbb{R}^n$ formed by the convex hull of the standard basis vectors together with a weakly decreasing vector of negative integers include simplices that play a central role in problems in enumerative algebraic geometry and mirror symmetry. From this perspective, it is useful to have formulae for their discrete volumes via Ehrhart $h^\ast$-polynomials. Here we show, via an association with numeral systems, that such simplices yield $h^\ast$-polynomials with properties that are also desirable from a combinatorial perspective. First, we identify $n$-simplices in this family that associate via their normalized volume to the $n^{th}$ place value of a positional numeral system. We then observe that their $h^\ast$-polynomials admit combinatorial formula via descent-like statistics on the numeral strings encoding the nonnegative integers within the system. With these methods, we recover ubiquitous $h^\ast$-polynomials including the Eulerian polynomials and the binomial coefficients arising from the factoradic and binary numeral systems, respectively. We generalize the binary case to base-$r$ numeral systems for all $r\geq2$, and prove that the associated $h^\ast$-polynomials are real-rooted and unimodal for $r\geq2$ and $n\geq1$.

To classify the lattice polytopes with a given $δ$-polynomial is an important open problem in Ehrhart theory. A complete classification of the Gorenstein simplices whose normalized volumes are prime integers is known. In particular, their $δ$-polynomials are of the form $1+t^k+\cdots+t^{(v-1)k}$, where $k$ and $v$ are positive integers. In the present paper, a complete classification of the Gorenstein simplices with the above $δ$-polynomials will be performed, when $v$ is either $p^2$ or $pq$, where $p$ and $q$ are prime integers with $p \neq q$. Moreover, we consider the number of Gorenstein simplices, up to unimodular equivalence, with the expected $δ$-polynomial.

Reflexive polytopes which have the integer decomposition property are of interest. Recently, some large classes of reflexive polytopes with integer decomposition property coming from the order polytopes and the chain polytopes of finite partially ordered sets are known. In the present paper, we will generalize this result. In fact, by virtue of the algebraic technique on Gröbner bases, new classes of reflexive polytopes with the integer decomposition property coming from the order polytopes of finite partially ordered sets and the stable set polytopes of perfect graphs will be introduced. Furthermore, the result will give a polyhedral characterization of perfect graphs. Finally, we will investigate the Ehrhart $δ$-polynomials of these reflexive polytopes.

The Ehrhart polynomial and the reciprocity theorems by Ehrhart \& Macdonald are extended to tensor valuations on lattice polytopes. A complete classification is established of tensor valuations of rank up to eight that are equivariant with respect to the special linear group over the integers and translation covariant. Every such valuation is a linear combination of the Ehrhart tensors which is shown to no longer hold true for rank nine.

Recently, Chapoton found a $q$-analog of Ehrhart polynomials, which are polynomials in $x$ whose coefficients are rational functions in $q$. Chapoton conjectured the shape of the Newton polygon of the numerator of the $q$-Ehrhart polynomial of an order polytope. In this paper, we prove Chapoton's conjecture.

We present examples of smooth lattice polytopes in dimensions 3 and higher where each coefficient of their Ehrhart polynomials that can potentially be negative is indeed negative. This answers a question by Bruns. We also discuss Berline-Vergne valuations as a useful tool in proving Ehrhart positivity results.

Transfer-Matrix Methods originated in physics where they were used to count the number of allowed particle states on a structure whose width $n$ is a parameter. Typically, the number of states is exponential in $n.$ One more mathematical instance of this methodology is to enumerate the proper vertex colorings of a graph of growing size by a fixed number of colors. In Ehrhart theory, lattice points in the dilation of a fixed polytope by a factor $k$ are enumerated. By inclusion-exclusion, relevant conditions on how the lattice points interact with hyperplanes are enforced. Typically, the number of points are (quasi-) polynomial in $k.$ The text-book example is that for a fixed graph, the number of proper vertex colorings with $k$ colors is polynomial in $k.$ This paper investigates the joint enumeration problem with both parameters $n$ and $k$ free. We start off with the classical graph colorings and then explore the common situations in combinatorics related to Ehrhart theory. We show how symmetries can be explored to reduce calculations and explain the interactions with Discrete Geometry.

In this paper, we show the existence of universal inequalities for the $h^*$-vector of a lattice polytope P, that is, we show that there are relations among the coefficients of the $h^*$-polynomial which are independent of both the dimension and the degree of P. More precisely, we prove that the coefficients $h^*_1$ and $h^*_2$ of the $h^*$-vector $(h^*_0,h^*_1,\ldots,h^*_d)$ of a lattice polytope of any degree satisfy Scott's inequality if $h^*_3=0$.

Reflexive polytopes form one of the distinguished classes of lattice polytopes. Especially reflexive polytopes which possess the integer decomposition property are of interest. In the present paper, by virtue of the algebraic technique on Grönbner bases, a new class of reflexive polytopes which possess the integer decomposition property and which arise from perfect graphs will be presented. Furthermore, the Ehrhart $δ$-polynomials of these polytopes will be studied.

A polynomial has saturated Newton polytope (SNP) if every lattice point of the convex hull of its exponent vectors corresponds to a monomial. We compile instances of SNP in algebraic combinatorics (some with proofs, others conjecturally): skew Schur polynomials; symmetric polynomials associated to reduced words, Redfield--Polya theory, Witt vectors, and totally nonnegative matrices; resultants; discriminants (up to quartics); Macdonald polynomials; key polynomials; Demazure atoms; Schubert polynomials; and Grothendieck polynomials, among others. Our principal construction is the Schubitope. For any subset of [n] x [n], we describe it by linear inequalities. This generalized permutahedron conjecturally has positive Ehrhart polynomial. We conjecture it describes the Newton polytope of Schubert and key polynomials. We also define dominance order on permutations and study its poset-theoretic properties.

In this paper we investigate the number of integer points lying in dilations of lattice path matroid polytopes. We give a characterization of such points as polygonal paths in the diagram of the lattice path matroid. Furthermore, we prove that lattice path matroid polytopes are affinely equivalent to a family of distributive polytopes. As applications we obtain two new infinite families of matroids verifying a conjecture of De Loera et.~al. and present an explicit formula of the Ehrhart polynomial for one of them.

Let $M$ be a regular matroid. The Jacobian group ${\rm Jac}(M)$ of $M$ is a finite abelian group whose cardinality is equal to the number of bases of $M$. This group generalizes the definition of the Jacobian group (also known as the critical group or sandpile group) ${\rm Jac}(G)$ of a graph $G$ (in which case bases of the corresponding regular matroid are spanning trees of $G$). There are many explicit combinatorial bijections in the literature between the Jacobian group of a graph ${\rm Jac}(G)$ and spanning trees. However, most of the known bijections use vertices of $G$ in some essential way and are inherently "non-matroidal". In this paper, we construct a family of explicit and easy-to-describe bijections between the Jacobian group of a regular matroid $M$ and bases of $M$, many instances of which are new even in the case of graphs. We first describe our family of bijections in a purely combinatorial way in terms of orientations; more specifically, we prove that the Jacobian group of $M$ admits a canonical simply transitive action on the set ${\mathcal G}(M)$ of circuit-cocircuit reversal classes of $M$, and then define a family of combinatorial bijections $β_{σ,σ^*}$ between ${\mathcal G}(M)$ and bases of $M$. (Here $σ$ (resp. $σ^*$) is an acyclic signature of the set of circuits (resp. cocircuits) of $M$.) We then give a geometric interpretation of each such map $β=β_{σ,σ^*}$ in terms of zonotopal subdivisions which is used to verify that $β$ is indeed a bijection. Finally, we give a combinatorial interpretation of lattice points in the zonotope $Z$; by passing to dilations we obtain a new derivation of Stanley's formula linking the Ehrhart polynomial of $Z$ to the Tutte polynomial of $M$.