arXiv++ Combinatorics

We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.

This survey article is devoted to general results in combinatorial enumeration. The first part surveys results on growth of hereditary properties of combinatorial structures. These include permutations, ordered and unordered graphs and hypergraphs, relational structures, and others. The second part advertises five topics in general enumeration: 1. counting lattice points in lattice polytopes, 2. growth of context-free languages, 3. holonomicity (i.e., P-recursiveness) of numbers of labeled regular graphs, 4. frequent occurrence of the asymptotics cn^{-3/2}r^n and 5. ultimate modular periodicity of numbers of MSOL-definable structures.

For any lattice polytope $P$, we consider an associated polynomial $\barδ_{P}(t)$ and describe its decomposition into a sum of two polynomials satisfying certain symmetry conditions. As a consequence, we improve upon known inequalities satisfied by the coefficients of the Ehrhart $δ$-vector of a lattice polytope. We also provide combinatorial proofs of two results of Stanley that were previously established using techniques from commutative algebra. Finally, we give a necessary numerical criterion for the existence of a regular unimodular lattice triangulation of the boundary of a lattice polytope.

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 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.

A theorem of Scott gives an upper bound for the normalized volume of lattice polygons with exactly $i>0$ interior lattice points. We will show that the same bound is true for the normalized volume of lattice polytopes of degree 2 even in higher dimensions. In particular, there is only a finite number of quadratic polynomials with fixed leading coefficient being the $h^*$-polynomial of a lattice polytope.

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$.

We show that if $P$ is a lattice polytope in the nonnegative orthant of $\R^k$ and $χ$ is a coloring of the lattice points in the orthant such that the color $χ(a+b)$ depends only on the colors $χ(a)$ and $χ(b)$, then the number of colors of the lattice points in the dilation $nP$ of $P$ is for large $n$ given by a polynomial (or, for rational $P$, by a quasipolynomial). This unifies a classical result of Ehrhart and Macdonald on lattice points in polytopes and a result of Khovanski\uı on sumsets in semigroups. We also prove a strengthening of multivariate generalizations of Khovanski\uı's theorem. Another result of Khovanski\uı states that the size of the image of a finite set after $n$ applications of mappings from a finite family of mutually commuting mappings is for large $n$ a polynomial. We give a combinatorial proof of a multivariate generalization of this theorem.

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 use localization to describe the restriction map from equivariant Chow cohomology to ordinary Chow cohomology for complete toric varieties in terms of piecewise polynomial functions and Minkowski weights. We compute examples showing that this map is not surjective in general, and that its kernel is not always generated in degree one. We prove a localization formula for mixed volumes of lattice polytopes and, more generally, a Bott residue formula for toric vector bundles.

Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map the lattice onto itself. Replacing the group of euclidean motions by the group $G$ one can define the notion of regular lattice polytopes. More precisely, a lattice polytope is said to be regular if the subgroup of $G$ which preserves the polytope acts transitively on the set of its complete flags. Recently, Karpenkov obtained a classification of the regular lattice polytopes. Here we obtain this classification by a more conceptual method. Another difference is that Karpenkov uses in an essential way the classification of the euclidean regular polytopes, but we don't.

A subset K of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in K. Under suitable hypotheses, this series represents a rational function R(K). Michel Brion has discovered a surprising formula relating the rational function R(P) of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The result is re-phrased and generalised in the language of cohomology of line bundles on complete toric varieties. Brion's formula is the special case of an ample line bundle on a projective toric variety. - The paper also contains some general remarks on the cohomology of torus-equivariant line bundles on complete toric varieties, valid over noetherian ground rings.

We give an elementary geometric re-proof of a formula discovered by Michel Brion as well as two variants thereof. A subset of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in the set. Under suitable hypotheses, these series represent rational functions. We will prove formulae relating the rational function of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The exposition should be suitable for everyone with a little background in topology.

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.

Let $Δ\subset \R^n$ be an $n$-dimensional lattice polytope. It is well-known that $h_Δ^*(t) := (1-t)^{n+1} \sum_{k \geq 0} |kΔ\cap \Z^n| t^k $ is a polynomial of degree $d \leq n$ with nonnegative integral coefficients. Let $AGL(n, \Z)$ be the group of invertible affine integral transformations which naturally acts on $\R^n$. For a given polynomial $h^* \in \Z[t]$, we denote by $C_{h^*}(n)$ the number $AGL(n, \Z)$-equivalence classes of $n$-dimensional lattice polytopes such that $h^* = h_Δ^*(t)$. In this paper we show that $\{C_{h^*}(n) \}_{n \geq 1}$ is a monotone increasing sequence which eventually becomes constant. This statement follows from a more general combinatorial result whose proof uses methods of commutative algebra.

M. Beck, J. De Loera, M. Develin, J. Pfeifle and R. Stanley found that the roots of the Ehrhart polynomial of a d-dimensional lattice polytope are bounded above in norm by 1+(d+1)!. We provide an improved bound which is quadratic in d and applies to a larger family of polynomials.

Let $Δ$ be an $n$-dimensional lattice polytope. The smallest non-negative integer $i$ such that $k Δ$ contains no interior lattice points for $1 \leq k \leq n - i$ we call the degree of $Δ$. We consider lattice polytopes of fixed degree $d$ and arbitrary dimension $n$. Our main result is a complete classification of $n$-dimensional lattice polytopes of degree $d=1$. This is a generalization of the classification of lattice polygons $(n=2)$ without interior lattice points due to Arkinstall, Khovanskii, Koelman and Schicho. Our classification shows that the secondary polytope of a lattice polytope of degree 1 is always a simple polytope.

Regular triangulations of products of lattice polytopes are constructed with the additional property that the dual graphs of the triangulations are bipartite. The (weighted) size difference of this bipartition is a lower bound for the number of real roots of certain sparse polynomial systems by recent results of Soprunova and Sottile [Adv. Math. 204(1):116-151, 2006]. Special attention is paid to the cube case.

Euler Maclaurin formulas for a polytope express the sum of the values of a function over the lattice points in the polytope in terms of integrals of the function and its derivatives over faces of the polytope or its expansions. Exact Euler Maclaurin formulas [Khovanskii-Pukhlikov, Cappell-Shaneson, Guillemin, Brion-Vergne] apply to exponential or polynomial functions; Euler Maclaurin formulas with remainder [Karshon-Sternberg-Weitsman] apply to more general smooth functions. In this paper we review these results and present proofs of the exact formulas obtained by these authors, using elementary methods. We then use an algebraic formalism due to Cappell and Shaneson to relate the different formulas.