arXiv++ Combinatorics

It is known that every integral convex polytope is unimodularly equivalent to a face of some Gorenstein Fano polytope. It is then reasonable to ask whether every normal polytope is unimodularly equivalent to a face of some normal Gorenstein Fano polytope. In the present paper, it is shown that, by giving new classes of normal Gorenstein Fano polytopes, each order polytope as well as each chain polytope of dimension $d$ is unimodularly equivalent to a facet of some normal Gorenstein Fano polytopes of dimension $d + 1$. Furthermore, investigation on combinatorial properties, especially, Ehrhart polynomials and volume of these new polytopes will be achieved. Finally, some curious examples of Gorenstein Fano polytopes will be discovered.

We call the $δ$-vector of an integral convex polytope of dimension $d$ flat if the $δ$-vector is of the form $(1,0,\ldots,0,a,\ldots,a,0,\ldots,0)$, where $a \geq 1$. In this paper, we give the complete characterization of possible flat $δ$-vectors. Moreover, for an integral convex polytope $\mathcal{P} \subset \mathbb{R}^N$ of dimension $d$, we let $i(\mathcal{P},n)=|n\mathcal{P} \cap \mathbb{Z}^N|$ and $\ i^*(\mathcal{P},n)=|n(\mathcal{P} \setminus \partial \mathcal{P}) \cap \mathbb{Z}^N|.$ By this characterization, we show that for any $d \geq 1$ and for any $k,\ell \geq 0$ with $k+\ell \leq d-1$, there exist integral convex polytopes $\mathcal{P}$ and $\mathcal{Q}$ of dimension $d$ such that (i) For $t=1,\ldots,k$, we have $i(\mathcal{P},t)=i(\mathcal{Q},t),$ (ii) For $t=1,\ldots,\ell$, we have $i^*(\mathcal{P},t)=i^*(\mathcal{Q},t)$ and (iii) $i(\mathcal{P},k+1) \neq i(\mathcal{Q},k+1)$ and $i^*(\mathcal{P},\ell+1)\neq i^*(\mathcal{Q},\ell+1).$

We show that all sign patterns of the coefficients Hilbert polynomials of standard graded $k$-algebras are possible.

Let $(P,\leq_P)$ and $(Q,\leq_Q)$ be finite partially ordered sets with $|P|=|Q|=d$, and $\mathcal{C}(P) \subset \mathbb{R}^d$ and $\mathcal{C}(Q) \subset \mathbb{R}^d$ their chain polytopes. The twinned chain polytope of $P$ and $Q$ is the lattice polytope $Γ(\mathcal{C}(P),\mathcal{C}(Q)) \subset \mathbb{R}^d$ which is the convex hull of $\mathcal{C}(P) \cup (-\mathcal{C}(Q))$. It is known that twinned chain polytopes are Gorenstein Fano polytopes with the integer decomposition property. In the present paper, we study combinatorial properties of twinned chain polytopes. First, we will give the formula of the volume of twinned chain polytopes in terms of the underlying partially ordered sets. Second, we will identify the facet-supporting hyperplanes of twinned chain polytopes in terms of the underlying partially ordered sets. Finally, we will provide the vertex representations of the dual polytopes of twinned chain polytopes.

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$, and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$. In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$, $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$, where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$, will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$. Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

The order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ associated to a partially ordered set $P$ are studied. In this paper, we introduce the convex polytope $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ which is the convex hull of $\mathcal{O}(P) \cup (-\mathcal{C}(Q))$, where both $P$ and $Q$ are partially ordered sets with $|P|=|Q|=d$. It will be shown that $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ is a normal and Gorenstein Fano polytope by using the theory of reverse lexicographic squarefree initial ideals of toric ideals.

It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative. Moreover, it is also shown that for each $d \geq 3$ and $1 \leq k \leq d-2$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that the coefficient of $n^k$ of the Ehrhart polynomial $i(\mathcal{P},n)$ of $\mathcal{P}$ is negative and all its remaining coefficients are positive. Finally, we consider all the possible sign patterns of the coefficients of the Ehrhart polynomials of low dimensional integral convex polytopes.

Given two families $X$ and $Y$ of integral polytopes with nice combinatorial and algebraic properties, a natural way to generate new class of polytopes is to take the intersection $\mathcal{P}=\mathcal{P}_1\cap\mathcal{P}_2$, where $\mathcal{P}_1\in X$, $\mathcal{P}_2\in Y$. Two basic questions then arise: 1) when $\mathcal{P}$ is integral and 2) whether $\mathcal{P}$ inherits the "old type" from $\mathcal{P}_1, \mathcal{P}_2$ or has a "new type", that is, whether $\mathcal{P}$ is unimodularly equivalent to some polytope in $X\cup Y$ or not. In this paper, we focus on the families of order polytopes and chain polytopes and create a new class of polytopes following the above framework, which are named order-chain polytopes. In the study on their volumes, we discover a natural relation with Ehrenborg and Mahajan's results on maximizing descent statistics.

The characterization of lattice polytopes based upon information about their Ehrhart $h^*$-polynomials is a difficult open problem. In this paper, we finish the classification of lattice polytopes whose $h^*$-polynomials satisfy two properties: they are palindromic (so the polytope is Gorenstein) and they consist of precisely three terms. This extends the classification of Gorenstein polytopes of degree two due to Batyrev and Juny. The proof relies on the recent characterization of Batyrev and Hofscheier of empty lattice simplices whose $h^*$-polynomials have precisely two terms. Putting our theorem in perspective, we give a summary of these and other existing results in this area.

For an integral convex polytope $\mathcal{P} \subset \mathbb{R}^d$, we recall $L_\mathcal{P}(n)=|n\mathcal{P} \cap \mathbb{Z}^d|$ the Ehrhart polynomial of $\mathcal{P}$. Let $g_r(\mathcal{P})$ be the $r$th coefficients of $L_\mathcal{P}(n)$ for $r=0,\ldots,d$. Martin Henk and Makoto Tagami gave lower bounds on the coefficients $g_r(\mathcal{P})$ in terms of the volume of $\mathcal{P}$. They proved that these bounds are best possible for $r \in \{1,2,d-2\}$. We show that these bounds are also optimal for $r=3$ and $d-r$ even and we give a new best possible bound for $r=d-3$.

The regularity of an edge ideal of a finite simple graph $G$ is at least the induced matching number of $G$ and is at most the minimum matching number of $G$. If $G$ possesses a dominating inuduced matching, i.e., an induced matching which forms a maximal matching, then the induced matching number of $G$ is equal to the minimum matching number of $G$. In the present paper, from viewpoints of both combinatorics and commutative algebra, finite simple graphs with dominating induced matchings will be mainly studied.

Let $δ(\mathcal{P})$ be the $δ$-vector of a reflexive polytope $\mathcal{P} \subset \mathbb{R}^d$ of dimension $d$ and $δ(\mathcal{P} ^\vee)$ the $δ$-vector of the dual polytope $\mathcal{P}^\vee \subset \mathbb{R}^d$. In general, $δ(\mathcal{P})=δ(\mathcal{P}^\vee)$ does not hold. In this paper, we give a higher-dimensional construction of reflexive polytope whose $δ$-vector equals the $δ$-vector of the dual polytope. In particular, we consider the case that the reflexive polytope and the dual polytope are unimodularly equivalent.

It is shown that, for each $d \geq 4$, there exists an integral convex polytope $\mathcal{P}$ of dimension $d$ such that each of the coefficients of $n, n^{2}, \ldots, n^{d-2}$ of its Ehrhart polynomial $i(\mathcal{P},n)$ is negative.