Disproves the conjecture that Ehrhart h*-polynomials of symmetric edge polytopes are gamma-positive by exhibiting an infinite family of counterexamples, with the smallest in dimension 36.
On the Ehrhart Theory of Generalized Symmetric Edge Polytopes
2 Pith papers cite this work. Polarity classification is still indexing.
abstract
The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently, T\'othm\'er\'esz and, independently, D'Al\'i, Juhnke-Kubitzke, and Koch generalized the definition of an SEP to regular matroids, which are the matroids that can be represented by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $\gamma$-vectors. In this article, we use combinatorial and Gr\"obner basis techniques to extend additional known properties of SEPs to generalized SEPs. Along the way, we show that generalized SEPs are not necessarily $\gamma$-nonnegative by providing explicit examples. We prove that the polytopes we construct are ``nearly'' $\gamma$-nonnegative in the sense that, by deleting exactly two elements from the matroid, one obtains SEPs for graphs that are $\gamma$-nonnegative. This provides further evidence that Ohsugi and Tsuchiya's conjecture holds in the ordinary case.
fields
math.CO 2verdicts
UNVERDICTED 2representative citing papers
A sharp upper bound is established on distinct columns of unit-sum polytopal totally unimodular matrices and on vertices of unimodular polytopes.
citing papers explorer
-
Symmetric edge polytopes are not gamma-positive
Disproves the conjecture that Ehrhart h*-polynomials of symmetric edge polytopes are gamma-positive by exhibiting an infinite family of counterexamples, with the smallest in dimension 36.
-
Unimodular polytopes and column number bounds on polytopal totally unimodular matrices via Seymour's decomposition theorem
A sharp upper bound is established on distinct columns of unit-sum polytopal totally unimodular matrices and on vertices of unimodular polytopes.