arXiv++ Combinatorics

A lattice polytope $\mathcal{P} \subset \mathbb{R}^d$ is called a locally anti-blocking polytope if for any closed orthant $\mathbb{R}^d_{\varepsilon}$ in $\mathbb{R}^d$, $\mathcal{P} \cap \mathbb{R}^d_{\varepsilon}$ is unimodularly equivalent to an anti-blocking polytope by reflections of coordinate hyperplanes. In the present paper, we give a formula for the $h^*$-polynomials of locally anti-blocking lattice polytopes. In particular, we discuss the $γ$-positivity of the $h^*$-polynomials of locally anti-blocking reflexive polytopes.

Stanley introduced two classes of lattice polytopes associated to posets, which are called the order polytope ${\mathcal O}_P$ and the chain polytope ${\mathcal C}_P$ of a poset $P$. It is known that, given a poset $P$, the Ehrhart polynomials of ${\mathcal O}_P$ and ${\mathcal C}_P$ are equal to the order polynomial of $P$ that counts the $P$-partitions. In this paper, we introduce the enriched order polytope of a poset $P$ and show that it is a reflexive polytope whose Ehrhart polynomial is equal to that of the enriched chain polytope of $P$ and the left enriched order polynomial of $P$ that counts the left enriched $P$-partitions, by using the theory of Gröbner bases. The toric rings of enriched order polytopes are called enriched Hibi rings. It turns out that enriched Hibi rings are normal, Gorenstein, and Koszul. The above result implies the existence of a bijection between the lattice points in the dilations of ${\mathcal O}^{(e)}_P$ and ${\mathcal C}^{(e)}_P$. Towards such a bijection, we give the facet representations of enriched order and chain polytopes.

Stanley introduced a lattice polytope $\mathcal{C}_P$ arising from a finite poset $P$, which is called the chain polytope of $P$. The geometric structure of $\mathcal{C}_P$ has good relations with the combinatorial structure of $P$. In particular, the Ehrhart polynomial of $\mathcal{C}_P$ is given by the order polynomial of $P$. In the present paper, associated to $P$, we introduce a lattice polytope $\mathcal{E}_{P}$, which is called the enriched chain polytope of $P$, and investigate geometric and combinatorial properties of this polytope. By virtue of the algebraic technique on Gröbner bases, we see that $\mathcal{E}_P$ is a reflexive polytope with a flag regular unimodular triangulation. Moreover, the $h^*$-polynomial of $\mathcal{E}_P$ is equal to the $h$-polynomial of a flag triangulation of a sphere. On the other hand, by showing that the Ehrhart polynomial of $\mathcal{E}_P$ coincides with the left enriched order polynomial of $P$, it follows from works of Stembridge and Petersen that the $h^*$-polynomial of $\mathcal{E}_P$ is $γ$-positive. Stronger, we prove that the $γ$-polynomial of $\mathcal{E}_P$ is equal to the $f$-polynomial of a flag simplicial complex.

In this paper, we introduce polytopes ${\mathcal B}_G$ arising from root systems $B_n$ and finite graphs $G$, and study their combinatorial and algebraic properties. In particular, it is shown that ${\mathcal B}_G$ is reflexive if and only if $G$ is bipartite. Moreover, in the case, ${\mathcal B}_G$ has a regular unimodular triangulation. This implies that the $h^*$-polynomial of ${\mathcal B}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $γ$-positivity and the real-rootedness of the $h^*$-polynomials. In fact, if $G$ is bipartite, then the $h^*$-polynomial of ${\mathcal B}_G$ is $γ$-positive and its $γ$-polynomial is given by an interior polynomial (a version of the Tutte polynomial for a hypergraph). The $h^*$-polynomial is real-rooted if and only if the corresponding interior polynomial is real-rooted. From a counterexample to Neggers--Stanley conjecture, we construct a bipartite graph $G$ whose $h^*$-polynomial is not real-rooted but $γ$-positive, and coincides with the $h$-polynomial of a flag triangulation of a sphere.

Lattice polytopes which possess the integer decomposition property (IDP for short) turn up in many fields of mathematics. It is known that if the Cayley sum of lattice polytopes possesses IDP, then so does their Minkowski sum. In this paper, the Cayley sum of the order polytope of a finite poset and the stable set polytope of a finite simple graph is studied. We show that the Cayley sum of an order polytope and the stable set polytope of a perfect graph possesses a regular unimodular triangulation and IDP, and hence so does their Minkowski sum. Moreover, it turns out that, for an order polytope and the stable set polytope of a graph, the following conditions are equivalent: (i) the Cayley sum is Gorenstein; (ii) the Minkowski sum is Gorenstein; (iii) the graph is perfect.

We say a polytope is Ehrhart positive if all the coefficients in its Ehrhart polynomial are positive. Answering an Ehrhart positivity question posed on Mathoverflow, Stanley provided an example of a non-Ehrhart-positive order polytope of dimension $21$. Stanley's example comes from a certain family of order polytopes. In this paper, we study the Ehrhart positivity question on this family of polytopes. By giving explicit formulas for the coefficients of the Ehrhart polynomials of these polytopes in terms of Bernolli numbers, we determine the sign of each Ehrhart coefficient of each polytope in the family. As a consequence of our result, we conclude that for any positive integer $d \ge 21,$ there exists an order polytope of dimension $d$ that is not Ehrhart positive, and for any positive integer $\ell$, there exists an order polytope whose Ehrhart polynomial has precisely $\ell$ negative coefficients, which answers a question posed by Hibi. We finish this article by discussing the existence of lower-dimensional order polytopes whose Ehrhart polynomials have a negative coefficient.

Given arbitrary integers $d$ and $r$ with $d \geq 4$ and $1 \leq r \leq d + 1$, a reflexive polytope $\mathcal{P} \subset \mathbb{R}^d$ of dimension $d$ with ${\rm depth} K[\mathcal{P}] = r$ for which its dual polytope $\mathcal{P}^\vee$ is normal will be constructed, where $K[\mathcal{P}]$ is the toric ring of $\mathcal{P}$.

Since their introduction by Stanley~\cite{StanleyOrderPoly} order polytopes have been intriguing mathematicians as their geometry can be used to examine (algebraic) properties of finite posets. In this paper, we follow this route to examine the levelness property of order polytopes. The levelness property was also introduced by Stanley~\cite{Stanley-CM-complexes} and it generalizes the Gorenstein property. This property has been recently characterized by Miyazaki~\cite{Miyazaki} for the case of order polytopes. We provide an alternative characterization using weighted digraphs. Using this characterization, we give a new infinite family of level posets and show that determining levelness is in $\operatorname{co-NP}$. This family can be used to create infinitely many examples illustrating that the levelness property can not be characterized by the $h^{\ast}$-vector. We then turn to the more general family of alcoved polytopes. We give a characterization for levelness of alcoved polytopes using the Minkowski sum. Then we study several cases when the product of two polytopes is level. In particular, we provide an example where the product of two level polytopes is not level.

In this paper, we discuss the integer decomposition property for Cayley sums and Minkowski sums of lattice polytopes. In fact, we characterize when Cayley sums have the integer decomposition property in terms of Minkowski sums. Moreover, by using this characterization, we consider when Cayley sums and Minkowski sums of $2$-convex-normal lattice polytopes have the integer decomposition property. Finally, we also discuss the level property for Minkowski sums and Cayley sums.

It is known that every lattice polytope is unimodularly equivalent to a face of some reflexive polytope. A stronger question is to ask whether every $(0,1)$-polytope is unimodularly equivalent to a facet of some reflexive polytope. A large family of $(0,1)$-polytopes are the edge polytopes of finite simple graphs. In the present paper, it is shown that, by giving a new class of reflexive polytopes, each edge polytope is unimodularly equivalent to a facet of some reflexive polytope. Furthermore, we extend the characterization of normal edge polytopes to a characterization of normality for these new reflexive polytopes.

It is shown that the edge ring of a finite connected simple graph with a $3$-linear resolution is a hypersurface.

We associate to a finite digraph $D$ a lattice polytope $P_D$ whose vertices are the rows of the Laplacian matrix of $D$. This generalizes a construction introduced by Braun and the third author. As a consequence of the Matrix-Tree Theorem, we show that the normalized volume of $P_D$ equals the complexity of $D$, and $P_D$ contains the origin in its relative interior if and only if $D$ is strongly connected. Interesting connections with other families of simplices are established and then used to describe reflexivity, $h^*$-polynomial, and integer decomposition property of $P_D$ in these cases. We extend Braun and Meyer's study of cycles by considering cycle digraphs. In this setting we characterize reflexivity and show there are only four non-trivial reflexive Laplacian simplices having the integer decomposition property.

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

In the frame of a classification of general square systems of polynomial equations solvable by radicals, Esterov and Gusev succeeded in classifying all spanning lattice polytopes whose normalized volumes are at most $4$. In the present paper, we complete to classify all lattice polytopes whose normalized volumes are at most $4$ based on the known classification of their $δ$-polynomials.

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.

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.

It is known that a lattice simplex of dimension $d$ corresponds a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$. Conversely, given a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$ such that the sum of all entries of each element is an integer, we can obtain a lattice simplex of dimension $d$. In this paper, we discuss a characterization of Gorenstein simplices in terms of the associated finite abelian groups. In particular, we present complete characterizations of Gorenstein simplices whose normalized volume equals $p,p^2$ and $pq$, where $p$ and $q$ are prime numbers with $p \neq q$. Moreover, we compute the volume of the dual simplices of Gorenstein simplices.

Though much is known about ${\bf s}$-lecture hall polytopes, there are still many unanswered questions. In this paper, we show that ${\bf s}$-lecture hall polytopes satisfy the integer decomposition property (IDP) in the case of monotonic ${\bf s}$-sequences. Given restrictions on a monotonic ${\bf s}$-sequence, we discuss necessary and sufficient conditions for the Fano, reflexive and Gorenstein properties. Additionally, we give a construction for producing Gorenstein/IDP lecture hall polytopes.

A lattice polytope $\mathcal{P}$ is called reflexive if its dual $\mathcal{P}^\vee$ is a lattice polytope. The property that $\mathcal{P}$ is unimodularly equivalent to $\mathcal{P}^\vee$ does not hold in general, and in fact there are few examples of such polytopes. In this note, we introduce a new reflexive simplex $Q_n$ which has this property. Additionally, we show that $δ$-polynomalial of $Q_n$ is the Eulerian polynomial and show the existence of a regular, flag, unimodular triangulation.