arXiv++ Combinatorics

We study regular unimodular triangulations, the integer decomposition property, and Ehrhart-theoretic properties of two families of Hermite normal form simplices. We first consider the one-row case associated with the vector $(N - 1, \dots ,N - 1 , N)\in \mathbb{N}^d$, and completely characterize when the corresponding simplices admit a regular unimodular triangulation. Our constructions are explicit and also yield closed formulas for the $h^\ast$-polynomial and the local $h^\ast$-polynomial. Moreover, we prove Ehrhart positivity and derive explicit dimension-dependent conditions under which the Ehrhart polynomial is not unimodal. Finally, we extend our approach to the two-row cases associated with $(1, \dots ,1 , N)\in\mathbb{N}^d$ and $(M-1, \dots ,M-1, M, 0)\in\mathbb{N}^d$. In these cases, we construct regular unimodular triangulations, derive closed formulas for the $h^\ast$-polynomial and the local $h^\ast$-polynomial, and prove Ehrhart positivity.

The cosmological polytope of a graph $G$ was recently introduced to give a geometric approach to the computation of wavefunctions for cosmological models with associated Feynman diagram $G$. Basic results in the theory of positive geometries dictate that this wavefunction may be computed as a sum of rational functions associated to the facets in a triangulation of the cosmological polytope. The normalized volume of the polytope then provides a complexity estimate for these computations. In this paper, we examine the (Ehrhart) $h^\ast$-polynomial of cosmological polytopes. We derive recursive formulas for computing the $h^\ast$-polynomial of disjoint unions and $1$-sums of graphs. The degree of the $h^\ast$-polynomial for any $G$ is computed and a characterization of palindromicity is given. Using these observations, a tight lower bound on the $h^\ast$-polynomial for any $G$ is identified and explicit formulas for the $h^\ast$-polynomials of multitrees and multicycles are derived. The results generalize the existing results on normalized volumes of cosmological polytopes. A tight upper bound and a combinatorial formula for the $h^\ast$-polynomial of any cosmological polytope are conjectured.

Given a graph $G$, we study the $2$-edge-connected subgraph polytope $\mathrm{TECSP}(G)$, which is given by the convex hull of the incidence vectors of all $2$-edge-connected subgraphs of $G$. We describe the lattice points of this polytope by linear inequalities which provides an ILP-algorithm for finding a $2$-edge-connected subgraph of maximum weight. Furthermore, we characterize when these inequalities define facets of $\mathrm{TECSP}(G)$. We also consider further types of supporting hyperplanes of $\mathrm{TECSP}(G)$ and study when they are facet-defining. Finally, we investigate the efficiency of our considered inequalities practically on some classes of graphs.

In this paper, we study the connected blocks polytope, which, apart from its own merits, can be seen as the generalization of certain connectivity based or Eulerian subgraph polytopes. We provide a complete facet description of this polytope, characterize its edges and show that it is Hirsch. We also show that connected blocks polytopes admit a regular unimodular triangulation by constructing a squarefree Gröbner basis. In addition, we prove that the polytope is Gorenstein of index $2$ and that its $h^\ast$-vector is unimodal.