Hilbert Bases, Unimodular Triangulations, and Binary Covers of Rational Polyhedral Cones
نویسندگان
چکیده
We present a hierarchy of covering properties of rational convex cones with respect to the unimodular subcones spanned by the Hilbert basis. For two of the concepts from the hierarchy we derive characterizations: a description of partitions that leads to a natural integer programming formulation for the Hilbert Partition problem, and a characterization of \binary covers" that admits a linear algebra test over GF(2) for the existence of Binary Hilbert Covers. Implementation of our test leads to interesting new examples, among them: cones that have a Hilbert Partition but no Regular one; a 4-dimensional cone with unimodular facets that has no Hilbert Partition; and two 5-dimensional cones that do not have any Binary Hilbert Cover.
منابع مشابه
Generating Functions and Triangulations for Lecture Hall Cones
We show that Ln is isomorphic to the cone over the lattice pyramid of a reflexive simplex whose Ehrhart h∗-polynomial is given by the (n − 1)st Eulerian polynomial, and prove that lecture hall cones admit regular, flag, unimodular triangulations. After explicitly describing the Hilbert basis for Ln, we conclude with observations and a conjecture regarding the structure of unimodular triangulati...
متن کاملSemigroup Algebras and Discrete Geometry
— In these notes we study combinatorial and algebraic properties of affine semigroups and their algebras: (1) the existence of unimodular Hilbert triangulations and covers for normal affine semigroups, (2) the Cohen–Macaulay property and number of generators of divisorial ideals over normal semigroup algebras, and (3) graded automorphisms, retractions and homomorphisms of polytopal semigroup al...
متن کاملNormality and Covering Properties of Affine Semigroups
S̄ = {x ∈ gp(S) | mx ∈ S for some m > 0}. One calls S normal if S = S̄. For simplicity we will often assume that gp(S) = Z; this is harmless because we can replace Z by gp(S) if necessary. The rank of S is the rank of gp(S). We will only be interested in the case in which S ∩ (−S) = 0; such affine semigroups will be called positive. The positivity of S is equivalent to the pointedness of the cone...
متن کاملAlternatives for testing total dual integrality
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system’s dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and int...
متن کاملUnimodular triangulations of simplicial cones by short vectors
Article history: Received 23 January 2016 Available online xxxx
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Discrete & Computational Geometry
دوره 21 شماره
صفحات -
تاریخ انتشار 1999