Reflexive polytopes arising from bipartite graphs with $\gamma$-positivity associated to interior polynomials

Abstract

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^{\ast }$-polynomial of ${\mathcal{B}}_G$ is palindromic and unimodal when $G$ is bipartite. Furthermore, we discuss stronger properties, namely the $\gamma$-positivity and the real-rootedness of the $h^{\ast }$-polynomials. In fact, if $G$ is bipartite, then the $h^{\ast }$-polynomial of ${\mathcal{B}}_G$ is $\gamma$-positive and its $\gamma$-polynomial is given by an interior polynomial (a version of the Tutte polynomial for a hypergraph). The $h^{\ast }$-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^{\ast }$-polynomial is not real-rooted but $\gamma$-positive, and coincides with the $h$-polynomial of a flag triangulation of a sphere.

arXiv comment20 pages, 5 figures, many explanations are added, References are added and updated

References in corpus (13)

• Real Root Conjecture fails for five and higher dimensional spheres
• h-vectors of Gorenstein polytopes
• Arithmetic aspects of symmetric edge polytopes
• Centrally symmetric configurations of integer matrices
• Roots of Ehrhart polynomials arising from graphs
• Root polytopes, Tutte polynomials, and a duality theorem for bipartite graphs
• Interlacing Ehrhart Polynomials of Reflexive Polytopes
• Centrally symmetric configurations of order polytopes
• Facets and volume of Gorenstein Fano polytopes
• Edge rings with $3$-linear resolutions
• Reflexive polytopes arising from perfect graphs
• Reverse lexicographic squarefree initial ideals and Gorenstein Fano polytopes
• Reflexive polytopes arising from partially ordered sets and perfect graphs

Cited by in corpus (1)

• PQ-type adjacency polytopes of join graphs