Existence of unimodular triangulations — positive results
Christian Haase, Andreas Paffenholz, Lindsey Piechnik, Francisco Santos
Abstract
Unimodular triangulations of lattice polytopes arise in algebraic geometry, commutative algebra, integer programming and, of course, combinatorics. In this article, we review several classes of polytopes that do have unimodular triangulations and constructions that preserve their existence. We include, in particular, the first effective proof of the classical result by Knudsen-Mumford-Waterman stating that every lattice polytope has a dilation that admits a unimodular triangulation. Our proof yields an explicit (although doubly exponential) bound for the dilation factor.
Topics & Concepts
Unimodular matrixPolytopeCombinatoricsMathematicsLattice (music)Integer (computer science)Polyhedral combinatoricsDilation (metric space)Commutative propertyCombinatorial proofAlgebraic numberDiscrete mathematicsGeometryComputer scienceRegular polygonPhysicsMathematical analysisAcousticsConvex optimizationProgramming languageConvex setAdvanced Combinatorial MathematicsCommutative Algebra and Its ApplicationsAdvanced Graph Theory Research