arXiv++ Combinatorics

The type A_n full root polytope is the convex hull in R^{n+1} of the origin and the points e_i-e_j for 1<= i<j <= n+1. Given a tree T on the vertex set [n+1], the associated root polytope P(T) is the intersection of the full root polytope with the cone generated by the vectors e_i-e_j, where (i, j) is an edge of T, i<j. The reduced forms of a certain monomial m[T] in commuting variables x_{ij} under the reduction x_{ij}x_{jk} --> x_{ik}x_{ij}+x_{jk}x_{ik}+βx_{ik}, can be interpreted as triangulations of P(T). Using these triangulations, the volume and Ehrhart polynomial of P(T) are obtained. If we allow variables x_{ij} and x_{kl} to commute only when i, j, k, l are distinct, then the reduced form of m[T] is unique and yields a canonical triangulation of P(T) in which each simplex corresponds to a noncrossing alternating forest. Most generally, the reduced forms of all monomials in the noncommutative case are unique.

A rational polytope is the convex hull of a finite set of points in $\R^d$ with rational coordinates. Given a rational polytope $P \subseteq \R^d$, Ehrhart proved that, for $t\in\Z_{\ge 0}$, the function $#(tP \cap \Z^d)$ agrees with a quasi-polynomial $L_P(t)$, called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new proof of Ehrhart's theorem. This proof also allows us to quickly prove two other facts about Ehrhart quasi-polynomials: McMullen's theorem about the periodicity of the individual coefficients of the quasi-polynomial and the Ehrhart-Macdonald theorem on reciprocity.

We introduce a canonical strip hypothesis for Fano varieties. We show that the canonical strip hypothesis for a Fano variety implies that the zeros of the Hilbert polynomial of embedded Calabi--Yau and general type hypersurfaces are located on a vertical line. This extends, in particular, Villegas's `polynomial RH' for intersections in projective spaces to the case of CY and general type hyperplane sections in Grassmannians. We state a few conjectures on the Ehrhart polynomials of certain fan polytopes.

Let $g_1, ..., g_k$ be tropical polynomials in $n$ variables with Newton polytopes $P_1, ..., P_k$. We study combinatorial questions on the intersection of the tropical hypersurfaces defined by $g_1, ..., g_k$, such as the $f$-vector, the number of unbounded faces and (in case of a curve) the genus. Our point of departure is Vigeland's work who considered the special case $k=n-1$ and where all Newton polytopes are standard simplices. We generalize these results to arbitrary $k$ and arbitrary Newton polytopes $P_1, ..., P_k$. This provides new formulas for the number of faces and the genus in terms of mixed volumes. By establishing some aspects of a mixed version of Ehrhart theory we show that the genus of a tropical intersection curve equals the genus of a toric intersection curve corresponding to the same Newton polytopes.

For a positive integer n and a subset S of [n-1], the descent polytope DP_S is the set of points x_1, ..., x_n in the n-dimensional unit cube [0,1]^n such that x_i >= x_{i+1} for i in S and x_i <= x_{i+1} otherwise. First, we express the f-vector of DP_S as a sum over all subsets of [n-1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5, ...}. We derive a generating function for the f-polynomial F_S(t) of DP_S, written as a formal power series in two non-commuting variables with coefficients in Z[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.

We give a new definition of lattice-face polytopes by removing an unnecessary restriction in the paper "Ehrhart polynomials of lattice-face polytopes", and show that with the new definition, the Ehrhart polynomial of a lattice-face polytope still has the property that each coefficient is the normalized volume of a projection of the original polytope. Furthermore, we show that the new family of lattice-face polytopes contains all possible combinatorial types of rational polytopes.

We establish a connection between the orbifold cohomology of hypertoric varieties and the Ehrhart theory of Lawrence polytopes. More specifically, we show that the dimensions of the orbifold cohomology groups of a hypertoric variety are equal to the coefficients of the Ehrhart $δ$-polynomial of the associated Lawrence polytope. As a consequence, we deduce a formula for the Ehrhart $δ$-polynomial of a Lawrence polytope and use the injective part of the Hard Lefschetz Theorem for hypertoric varieties to deduce some inequalities between the coefficients of the $δ$-polynomial.

For every positive integer $n$, consider the linear operator $\U_{n}$ on polynomials of degree at most $d$ with integer coefficients defined as follows: if we write $\frac{h(t)}{(1 - t)^{d + 1}} = \sum_{m \geq 0} g(m) t^{m}$, for some polynomial $g(m)$ with rational coefficients, then $\frac{\U_{n}h(t)}{(1- t)^{d + 1}} = \sum_{m \geq 0} g(nm) t^{m}$. We show that there exists a positive integer $n_{d}$, depending only on $d$, such that if $h(t)$ is a polynomial of degree at most $d$ with nonnegative integer coefficients and $h(0) \geq 1$, then for $n \geq n_{d}$, $\U_{n}h(t)$ has simple, real, strictly negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart $δ$-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen--MacCauley graded rings.

We introduce the notion of a weighted $δ$-vector of a lattice polytope. Although the definition is motivated by motivic integration, we study weighted $δ$-vectors from a combinatorial perspective. We present a version of Ehrhart Reciprocity and prove a change of variables formula. We deduce a new geometric interpretation of the coefficients of the Ehrhart $δ$-vector. More specifically, they are sums of dimensions of orbifold cohomology groups of a toric stack.

We investigate properties of Ehrhart polynomials for matroid polytopes, independence matroid polytopes, and polymatroids. In the first half of the paper we prove that for fixed rank their Ehrhart polynomials are computable in polynomial time. The proof relies on the geometry of these polytopes as well as a new refined analysis of the evaluation of Todd polynomials. In the second half we discuss two conjectures about the h^*-vector and the coefficients of Ehrhart polynomials of matroid polytopes; we provide theoretical and computational evidence for their validity.

We present lower bounds for the coefficients of Ehrhart polynomials of convex lattice polytopes in terms of their volume. Concerning the coefficients of the Ehrhart series of a lattice polytope we show that Hibi's lower bound is not true for lattice polytopes without interior lattice points. The counterexample is based on a formula of the Ehrhart series of the join of two lattice polytope. We also present a formula for calculating the Ehrhart series of integral dilates of a polytope.

We study higher-dimensional analogs of the Dedekind-Carlitz polynomials c(u,v;a,b) := sum_{k=1..b-1} u^[ka/b] v^(k-1), where u and v are indeterminates and a and b are positive integers. Carlitz proved that these polynomials satisfy the reciprocity law (v-1) c(u,v;a,b) + (u-1) c(v,u;b,a) = u^(a-1) v^(b-1) - 1, from which one easily deduces many classical reciprocity theorems for the Dedekind sum and its generalizations. We illustrate that Dedekind-Carlitz polynomials appear naturally in generating functions of rational cones and use this fact to give geometric proofs of the Carlitz reciprocity law and various extensions of it. Our approach gives rise to new reciprocity theorems and computational complexity results for Dedekind-Carlitz polynomials, a characterization of Dedekind-Carlitz polynomials in terms of generating functions of lattice points in triangles, and a multivariate generalization of the Mordell-Pommersheim theorem on the appearance of Dedekind sums in Ehrhart polynomials of 3-dimensional lattice polytopes.

Quasi-period collapse occurs when the Ehrhart quasi-polynomial of a rational polytope has a quasi-period less than the denominator of that polytope. This phenomenon is poorly understood, and all known cases in which it occurs have been proven with ad hoc methods. In this note, we present a conjectural explanation for quasi-period collapse in rational polytopes. We show that this explanation applies to some previous cases appearing in the literature. We also exhibit examples of Ehrhart polynomials of rational polytopes that are not the Ehrhart polynomials of any integral polytope. Our approach depends on the invariance of the Ehrhart quasi-polynomial under the action of affine unimodular transformations. Motivated by the similarity of this idea to the scissors congruence problem, we explore the development of a Dehn-like invariant for rational polytopes in the lattice setting.

We define a higher spin alternating sign matrix to be an integer-entry square matrix in which, for a nonnegative integer r, all complete row and column sums are r, and all partial row and column sums extending from each end of the row or column are nonnegative. Such matrices correspond to configurations of spin r/2 statistical mechanical vertex models with domain-wall boundary conditions. The case r=1 gives standard alternating sign matrices, while the case in which all matrix entries are nonnegative gives semimagic squares. We show that the higher spin alternating sign matrices of size n are the integer points of the r-th dilate of an integral convex polytope of dimension (n-1)^2 whose vertices are the standard alternating sign matrices of size n. It then follows that, for fixed n, these matrices are enumerated by an Ehrhart polynomial in r.

This is the first one of a series of papers on association of orientations, lattice polytopes, and abelian group arrangements to graphs. The purpose is to interpret the integral and modular tension polynomials of graphs at zero and negative integers. The whole exposition is put under the framework of subgroup arrangements and the application of Ehrhart polynomials. Such viewpoint leads to the following main results of the paper: (i) the reciprocity law for integral tension polynomials; (ii) the reciprocity law for modular tension polynomials; and (iii) a new interpretation for the value of the Tutte polynomial $T(G;x,y)$ of a graph $G$ at $(1,0)$ as the number of cut-equivalence classes of acyclic orientations on $G$.

The h^*-polynomial of a lattice polytope is the numerator of the generating function of the Ehrhart polynomial. Let P be a lattice polytope with h^*-polynomial of degree d and with linear coefficient h^*_1. We show that P has to be a lattice pyramid over a lower-dimensional lattice polytope, if the dimension of P is greater or equal to h^*_1 (2d+1) + 4d-1. This result has a purely combinatorial proof and generalizes a recent theorem of Batyrev.

We present a multivariate generating function for all n x n nonnegative integral matrices with all row and column sums equal to a positive integer t, the so called semi-magic squares. As a consequence we obtain formulas for all coefficients of the Ehrhart polynomial of the polytope B_n of n x n doubly-stochastic matrices, also known as the Birkhoff polytope. In particular we derive formulas for the volumes of B_n and any of its faces.

Stanley's non-negativity theorem is at the heart of many of the results in Ehrhart theory. In this paper, we analyze the root behavior of general polynomials satisfying the conditions of Stanley's theorem and compare this to the known root behavior of Ehrhart polynomials. We provide a possible counterexample to a conjecture of the second author, M. Beck, J. De Loera, J. Pfeifle, and R. Stanley, and contribute some experimental data as well.

We determine lattice polytopes of smallest volume with a given number of interior lattice points. We show that the Ehrhart polynomials of those with one interior lattice point have largest roots with norm of order n^2, where n is the dimension. This improves on the previously best known bound n and complements a recent result of Braun where it is shown that the norm of a root of an Ehrhart polynomial is at most of order n^2. For the class of 0-symmetric lattice polytopes we present a conjecture on the smallest volume for a given number of interior lattice points and prove the conjecture for crosspolytopes. We further give a characterisation of the roots of the Ehrhart polyomials in the 3-dimensional case and we classify for n\leq 4 all lattice polytopes whose roots of their Ehrhart polynomials have all real part -1/2. These polytopes belong to the class of reflexive polytopes.

We study the normalization of a monomial ideal, and show how to compute its Hilbert function (using Ehrhart polynomials) if the ideal is zero dimensional. A positive lower bound for the second coefficient of the Hilbert polynomial is shown.