arXiv++ Combinatorics

V. Golyshev conjectured that for any smooth polytope P of dimension at most five, the roots $z\in\C$ of the Ehrhart polynomial for P have real part equal to -1/2. An elementary proof is given, and in each dimension the roots are described explicitly. We also present examples which demonstrate that this result cannot be extended to dimension six.

For a d-dimensional convex lattice polytope P, a formula for the boundary volume is derived in terms of the number of boundary lattice points on the first $\floor{d/2}$ dilations of P. As an application we give a necessary and sufficient condition for a polytope to be reflexive, and derive formulae for the f-vector of a smooth polytope in dimensions 3, 4, and 5. We also give applications to reflexive order polytopes, and to the Birkhoff polytope.

Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.

Let $n\geq 1$, $0\leq t\leq {n \choose 2}$ be arbitrary integers. Define the numbers $I_n(t)$ as the number of permutations of $[n]$ with $t$ inversions. Let $n,d\geq 1$ and $0\leq t\leq (d-1)n$ be arbitrary integers. Define {\em the polynomial coefficients} $H(n,d,t)$ as the numbers of compositions of $t$ with at most $n$ parts, no one of which is greater than $d-1$. In our article we give explicit formulas for the numbers $I_n(t)$ and $H(n,d,t)$ using the theory of Gröbner bases and free resolutions.

My main results are simple formulas for the surface area of d-dimensional lattice polytopes using Ehrhart theory.