arXiv++ Combinatorics

Symmetric edge polytopes $\mathcal{A}_G$ of type A are lattice polytopes arising from the root system $A_n$ and finite simple graphs $G$. There is a connection between $\mathcal{A}_G$ and the Kuramoto synchronization model in physics. In particular, the normalized volume of $\mathcal {A}_G$ plays a central role. In the present paper, we focus on a particular class of graphs. In fact, for any cactus graph $G$, we give a formula for the $h^*$-polynomial of $\mathcal{A}_{\widehat{G}}$ by using matching generating polynomials, where $\widehat{G}$ is the suspension of $G$. This gives also a formula for the normalized volume of $\mathcal{A}_{\widehat{G}}$. Moreover, via the chemical graph theory, we show that for any cactus graph $G$, the $h^*$-polynomial of $\mathcal{A}_{\widehat{G}}$ is real-rooted. Finally, we extend the discussion to symmetric edge polytopes of type $B$, which are lattice polytopes arising from the root system $B_n$ and finite simple graphs.

Adjacency polytopes, a.k.a. symmetric edge polytopes, associated with undirected graphs have been defined and studied in several seemingly independent areas including number theory, discrete geometry, and dynamical systems. In particular, the authors are motivated by the tropical intersections problem derived from the Kuramoto equations. Regular subdivisions of adjacency polytopes are instrumental in solving these problems. This paper explores connections between the regular subdivisions of an adjacency polytope and the contraction of the underlying graph along an edge. We construct a special regular subdivision whose cells are in one-to-one correspondence with facets of an adjacency polytope associated with an edge-contraction of the original graph. Moreover, this subdivision induces a decomposition of the original graph into ``cell subgraphs''. We explore the combinatorial, graph-theoretic, and matroidal aspects of this connection.

Symmetric edge polytopes are a class of lattice polytopes constructed from finite simple graphs. In the present paper we highlight their connections to the Kuramoto synchronization model in physics -- where they are called adjacency polytopes -- and to Kantorovich--Rubinstein polytopes from finite metric space theory. Each of these connections motivates the study of symmetric edge polytopes of particular classes of graphs. We focus on such classes and apply algebraic-combinatorial methods to investigate invariants of the associated symmetric edge polytopes.

We investigate arithmetic, geometric and combinatorial properties of symmetric edge polytopes. We give a complete combinatorial description of their facets. By combining Gröbner basis techniques, half-open decompositions and methods for interlacing polynomials we provide an explicit formula for the $h^\ast$-polynomial in case of complete bipartite graphs. In particular, we show that the $h^\ast$-polynomial is $γ$-positive and real-rooted. This proves Gal's conjecture for arbitrary flag unimodular triangulations in this case, and, beyond that, we prove a strengthing due to Nevo and Petersen (2011).

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.

Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots $α$ of Ehrhart polynomials of polytopes of dimension $D$ satisfy $-D \le \Re(α) \le D - 1$, but also reveals some interesting phenomena for each type of polytope. Here we present two new conjectures: (1) the roots of the Ehrhart polynomial of an edge polytope for a complete multipartite graph of order $d$ lie in the circle $|z+\tfrac{d}{4}| \le \tfrac{d}{4}$ or are negative integers, and (2) a Gorenstein Fano polytope of dimension $D$ has the roots of its Ehrhart polynomial in the narrower strip $-\tfrac{D}{2} \leq \Re(α) \leq \tfrac{D}{2}-1$. Some rigorous results to support them are obtained as well as for the original conjecture. The root distribution of Ehrhart polynomials of each type of polytope is plotted in figures.