Maximal Lattice-Free Polyhedra: Finiteness and an Explicit Description in Dimension Three

  • Authors:
  • Gennadiy Averkov;Christian Wagner;Robert Weismantel

  • Affiliations:
  • Institute for Mathematical Optimization, University of Magdeburg, 39106 Magdeburg, Germany;Department of Mathematics, Institute for Operations Research, ETH Zürich, 8092 Zürich, Switzerland;Department of Mathematics, Institute for Operations Research, ETH Zürich, 8092 Zürich, Switzerland

  • Venue:
  • Mathematics of Operations Research
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

A convex set with nonempty interior is maximal lattice-free if it is inclusion maximal with respect to the property of not containing integer points in its interior. Maximal lattice-free convex sets are known to be polyhedra. The precision of a rational polyhedron P in Rd is the smallest natural number s such that sP is an integral polyhedron. In this paper we show that, up to affine mappings preserving Zd, the number of maximal lattice-free rational polyhedra of a given precision s is finite. Furthermore, we present the complete list of all maximal lattice-free integral polyhedra in dimension three. Our results are motivated by recent research on cutting plane theory in mixed-integer linear optimization.