Toric ideals and an infinite family of normal \((0,1)\)-polytopes without unimodular regular triangulations (Q1611063)

In [Discrete Comput. Geom. 21, 201-204 (1999; Zbl 0927.52018)] \textit{H. Ohsugi} and \textit{T. Hibi} construct a polytope, none of whose regular triangulations is unimodular, but having a unimodular triangulation obtained from a regular triangulation by a single flip (bistellar operation). This paper presents a second example, and then shows how to construct from each an infinite family of polytopes with these same triangulation properties. All the polytopes are normal \((0,1)\)-polytopes obtained as edge polytopes of graphs, that is, they have one vertex of the form \(e_i+e_j\) for each edge \(\{i,j\}\) of some fixed graph. For each of the two infinite families of polytopes constructed, all polytopes in the family have essentially the same set of triangulations. The proofs are based on markings of circuits of toric ideals.