arXiv++ Combinatorics

The Ehrhart polynomial of the $d$-th hypersimplex $Δ(d,n)$ of order $n$ is studied. By computational experiments and a known result for $d=2$, we conjecture that the real part of every roots of the Ehrhart polynomial of $Δ(d,n)$ is negative and larger than $- \frac{n}{d}$ if $n \geq 2d$. In this paper, we show that the conjecture is true when $d=3$ and that every root $a$ of the Ehrhart polynomial of $Δ(d,n)$ satisfies $-\frac{n}{d} < {\rm Re} (a) < 1$ if $4 \leq d \ll n$.

This thesis presents new applications of Gale duality to the study of polytopes, point configurations and oriented matroids with extremal combinatorial properties. The first part of the thesis explores construction techniques for neighborly polytopes and oriented matroids. First, we provide a new interpretation of Shemer's classical Sewing Construction for neighborly polytopes in terms of lexicographic extensions of oriented matroids. This allows us to provide a simplified proof and to generalize it to oriented matroids in two ways: the Extended Sewing Construction and the Gale Sewing Construction. Estimating the number of polytopes constructed with the later, we can provide new lower bounds for the number of combinatorial types of neighborly polytopes that even improve the current best bounds for the number of polytopes. The combination of both new techniques also allows us to construct many non-realizable neighborly oriented matroids. The degree of a point configuration is the maximal codimension of its interior faces. The second part of the thesis presents various results on the combinatorial structure of point configurations whose degree is small compared to their dimension; specifically, those whose degree is smaller than [(d+1)/2], the degree of neighborly polytopes. The study of this problem comes motivated by Ehrhart theory, where a notion equivalent to the degree - for lattice polytopes - has been widely studied during the last years. In addition, the study of the degree is also related to the Generalized Lower Bound Theorem for simplicial polytopes, with Cayley polytopes and with Tverberg theory. Among other results, we present a complete combinatorial classification for point configurations of degree 1. Moreover, we show combinatorial restrictions for configurations of small degree in terms of the novel concepts of weak Cayley configurations and codegree decompositions.

By means of the Ehrhart theory of inside-out polytopes we establish a general counting theory for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen, on a polygonal convex board. The number of ways to place $q$ identical nonattacking pieces on a board of variable size $n$ but fixed shape is given by a quasipolynomial function of $n$, of degree $2q$, whose coefficients are polynomials in $q$. The number of combinatorially distinct types of nonattacking configuration is the evaluation of our quasipolynomial at $n=-1$. The quasipolynomial has an exact formula that depends on a matroid of weighted graphs, which is in turn determined by incidence properties of lines in the real affine plane. We study the highest-degree coefficients and also the period of the quasipolynomial, which is needed if the quasipolynomial is to be interpolated from data, and which is bounded by some function, not well understood, of the board and the piece's move directions. In subsequent parts we specialize to the square board and then to subsets of the queen's moves, and we prove exact formulas (most but not all already known empirically) for small numbers of queens, bishops, and nightriders. Each part concludes with open questions, both specialized and broad.

We study quasipolynomials enumerating proper colorings, nowhere-zero tensions, and nowhere-zero flows in an arbitrary CW-complex $X$, generalizing the chromatic, tension and flow polynomials of a graph. Our colorings, tensions and flows may be either modular (with values in $\mathbb{Z}/k\mathbb{Z}$ for some $k$) or integral (with values in $\{-k+1,\dots,k-1\}$). We obtain deletion-contraction recurrences and closed formulas for the chromatic, tension and flow quasipolynomials, assuming certain unimodularity conditions. We use geometric methods, specifically Ehrhart theory and inside-out polytopes, to obtain reciprocity theorems for all of the aforementioned quasipolynomials, giving combinatorial interpretations of their values at negative integers as well as formulas for the numbers of acyclic and totally cyclic orientations of $X$.

Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid. In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.

The degree of a point configuration is defined as the maximal codimension of its interior faces. This concept is motivated from a corresponding Ehrhart-theoretic notion for lattice polytopes and is related to neighborly polytopes and the generalized lower bound theorem and, by Gale duality, to Tverberg theory. The main results of this paper are a complete classification of point configurations of degree 1, as well as a structure result on point configurations whose degree is less than a third of the dimension. Statements and proofs involve the novel notion of a weak Cayley decomposition, and imply that the m-core of a set S of n points in R^r is contained in the set of Tverberg points of order 3m-2(n-r) of S.

We discuss generalizations of some results on lattice polygons to certain piecewise linear loops which may have a self-intersection but have vertices in the lattice $\mathbb{Z}^2$. We first prove a formula on the rotation number of a unimodular sequence in $\mathbb{Z}^2$. This formula implies the generalized twelve-point theorem in [12]. We then introduce the notion of lattice multi-polygons which is a generalization of lattice polygons, state the generalized Pick's formula and discuss the classification of Ehrhart polynomials of lattice multi-polygons and also of several natural subfamilies of lattice multi-polygons.

The Ehrhart polynomial $L_P$ of an integral polytope $P$ counts the number of integer points in integral dilates of $P$. Ehrhart polynomials of polytopes are often described in terms of their Ehrhart $h^*$-vector (aka Ehrhart $δ$-vector), which is the vector of coefficients of $L_P$ with respect to a certain binomial basis and which coincides with the $h$-vector of a regular unimodular triangulation of $P$ (if one exists). One important result by Stanley about $h^*$-vectors of polytopes is that their entries are always non-negative. However, recent combinatorial applications of Ehrhart theory give rise to polytopal complexes with $h^*$-vectors that have negative entries. In this article we introduce the Ehrhart $f^*$-vector of polytopes or, more generally, of polytopal complexes $K$. These are again coefficient vectors of $L_K$ with respect to a certain binomial basis of the space of polynomials and they have the property that the $f^*$-vector of a unimodular simplicial complex coincides with its $f$-vector. The main result of this article is a counting interpretation for the $f^*$-coefficients which implies that $f^*$-coefficients of integral polytopal complexes are always non-negative integers. This holds even if the polytopal complex does not have a unimodular triangulation and if its $h^*$-vector does have negative entries. Our main technical tool is a new partition of the set of lattice points in a simplicial cone into discrete cones. Further results include a complete characterization of Ehrhart polynomials of integral partial polytopal complexes and a non-negativity theorem for the $f^*$-vectors of rational polytopal complexes.

The conjecture on roots of Ehrhart polynomials, stated by Matsui et al. \cite[Conjecture 4.10]{MHNOH}, says that all roots $α$ of the Ehrhart polynomial of a Gorenstein Fano polytope of dimension $d$ satisfy $-\frac{d}{2} \leq \Re(α) \leq \frac{d}{2} -1$. In this paper, we observe the behaviors of roots of SSNN polynomials which are a wider class of the polynomials containing all the Ehrhart polynomials of Gorenstein Fano polytopes. As a result, we verify that this conjecture is true when the roots are real numbers or when $d \leq 5$.

First, we calculate the Ehrhart polynomial associated to an arbitrary cube with integer coordinates for its vertices. Then, we use this result to derive relationships between the Ehrhart polynomials for regular lattice tetrahedrons and those for regular lattice octahedrons. These relations allow one to reduce the calculation of these polynomials to only one coefficient.

De Loera et al. 2009, showed that when the rank is fixed the Ehrhart polynomial of a matroid polytope can be computed in polynomial time when the number of elements varies. A key to proving this is the fact that the number of simplicial cones in any triangulation of a tangent cone is bounded polynomially in the number of elements when the rank is fixed. The authors speculated whether or not the Ehrhart polynomial could be computed in polynomial time in terms of the number of bases, where the number of elements and rank are allowed to vary. We show here that for the uniform matroid of rank $r$ on $n$ elements, the number of simplicial cones in any triangulation of a tangent cone is $n-2 \choose r-1$. Therefore, if the rank is allowed to vary, the number of simplicial cones grows exponentially in $n$. Thus, it is unlikely that a Brion-Lawrence type of approach, such as Barvinok's Algorithm, can compute the Ehrhart polynomial efficiently when the rank varies with the number of elements. To prove this result, we provide a triangulation in which the maximal simplicies are in bijection with the spanning thrackles of the complete bipartite graph $K_{r,n-r}$.

A large amount of literature in social choice theory deals with quantifying the probability of certain election outcomes. One way of computing the probability of a specific voting situation under the Impartial Anonymous Culture assumption is via counting integral points in polyhedra. Here, Ehrhart theory can help, but unfortunately the dimension and complexity of the involved polyhedra grows rapidly with the number of candidates. However, if we exploit available polyhedral symmetries, some computations become possible that previously were infeasible. We show this in three well known examples: Condorcet's paradox, Condorcet efficiency of plurality voting and in Plurality voting vs Plurality Runoff.

The symmetric edge polytopes of odd cycles (del Pezzo polytopes) are known as smooth Fano polytopes. In this paper, we show that if the length of the cycle is 127, then the Ehrhart polynomial has a root whose real part is greater than the dimension. As a result, we have a smooth Fano polytope that is a counterexample to the two conjectures on the roots of Ehrhart polynomials.

For an integral convex polytope $\Pc \subset \RR^N$ of dimension $d$, we call $δ(\Pc)=(δ_0, δ_1,..., δ_d)$ the $δ$-vector of $\Pc$ and $\vol(\Pc)=\sum_{i=0}^dδ_i$ its normalized volume. In this paper, we will establish the new equalities and inequalities on $δ$-vectors for integral simplices whose normalized volumes are prime. Moreover, by using those, we will classify all the possible $δ$-vectors of integral simplices with normalized volume 5 and 7.

An outstanding conjecture on roots of Ehrhart polynomials says that all roots $α$ of the Ehrhart polynomial of an integral convex polytope of dimension $d$ satisfy $-d \leq \Re(α) \leq d-1$. In this paper, we suggest some counterexamples of this conjecture.

We introduce a modular (integral) complementary polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) of two variables of a graph $G$ by counting the number of modular (integral) complementary tension-flows (CTF) of $G$ with an orientation $ε$. We study these polynomials by further introducing a cut-Eulerian equivalence relation on orientations and geometric structures such as the complementary open lattice polyhedron $Δ_\textsc{ctf}(G,ε)$, the complementary open 0-1 polytope $Δ^+_\textsc{ctf}(G,ε)$, and the complementary open lattice polytopes $Δ^ρ_\textsc{ctf}(G,ε)$ with respect to orientations $ρ$. The polynomial $κ(G;x,y)$ ($κ_{\mathbbm z}(G;x,y)$) is a common generalization of the modular (integral) tension polynomial $τ(G,x)$ ($τ_\mathbbm{z}(G,x)$) and the modular (integral) flow polynomial $φ(G,y)$ ($φ_\mathbbm{z}(G,y)$), and can be decomposed into a sum of product Ehrhart polynomials of complementary open 0-1 polytopes $Δ^+_\textsc{ctf}(G,ρ)$. There are dual complementary polynomials $\barκ(G;x,y)$ and $\barκ_{\mathbbm z}(G;x,y)$, dual to $κ$ and $κ_{\mathbbm z}$ respectively, in the sense that the lattice-point counting to the Ehrhart polynomials is taken inside a topological sum of the dilated closed polytopes $\barΔ^+_\textsc{ctf}(G,ρ)$. It turns out that the polynomial $\barκ(G;x,y)$ is Whitney's rank generating polynomial $R_G(x,y)$, which gives rise to a combinatorial interpretation on the values of the Tutte polynomial $T_G(x,y)$ at positive integers. In particular, some special values of $κ_\mathbbm{z}$ and $\barκ_\mathbbm{z}$ ($κ$ and $\barκ$) count the number of certain special kinds (of equivalence classes) of orientations.

We study modular and integral flow polynomials of graphs by means of subgroup arrangements and lattice polytopes. We introduce an Eulerian equivalence relation on orientations, flow arrangements, and flow polytopes; and we apply the theory of Ehrhart polynomials to obtain properties of modular and integral flow polynomials. The emphasis is on the geometrical treatment through subgroup arrangements and Ehrhart polynomials. Such viewpoint leads to a reciprocity law for the modular flow polynomial, which gives rise to an interpretation on the values of the modular flow polynomial at negative integers, and answers a question by Beck and Zaslavsky.

In this paper we give a combinatorial view on the adjunction theory of toric varieties. Inspired by classical adjunction theory of polarized algebraic varieties we define two convex-geometric notions: the Q-codegree and the nef value of a rational polytope P. We define the adjoint polytope P^(s) as the set of those points in P, whose lattice distance to every facet of P is at least s. We prove a structure theorem for lattice polytopes P with high Q-codegree. If P^(s) is empty for some s < 2/(dim(P)+2), then the lattice polytope P has lattice width one. This has consequences in Ehrhart theory and on polarized toric varieties with dual defect. Moreover, we illustrate how classification results in adjunction theory can be translated into new classification results for lattice polytopes.

This paper focuses on determining the volumes of permutation polytopes associated to cyclic groups, dihedral groups, groups of automorphisms of tree graphs, and Frobenius groups. We do this through the use of triangulations and the calculation of Ehrhart polynomials. We also present results on the theta body hierarchy of various permutation polytopes.

The Ehrhart ring of the edge polytope $\mathcal{P}_G$ for a connected simple graph $G$ is known to coincide with the edge ring of the same graph if $G$ satisfies the odd cycle condition. This paper gives for a graph which does not satisfy the condition, a generating set of the defining ideal of the Ehrhart ring of the edge polytope, described by combinatorial information of the graph. From this result, two factoring properties of the Ehrhart series are obtained; the first one factors out bipartite biconnected components, and the second one factors out a even cycle which shares only one edge with other part of the graph. As an application of the factoring properties, the root distribution of Ehrhart polynomials for bipartite polygon trees is determined.