Lattice-Free Simplices with Lattice Width 2 d- o(d)

Lukas Mayrhofer, Jamico Schade, Stefan Weltge

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

The Flatness theorem states that the maximum lattice width Flt (d) of a d-dimensional lattice-free convex set is finite. It is the key ingredient for Lenstra’s algorithm for integer programming in fixed dimension, and much work has been done to obtain bounds on Flt (d). While most results have been concerned with upper bounds, only few techniques are known to obtain lower bounds. In fact, the previously best known lower bound Flt (d) ≥ 1.138 d arises from direct sums of a 3-dimensional lattice-free simplex. In this work, we establish the lower bound Flt(d)≥2d-O(d), attained by a family of lattice-free simplices. Our construction is based on a differential equation that naturally appears in this context. Additionally, we provide the first local maximizers of the lattice width of 4- and 5-dimensional lattice-free convex bodies.

Original languageEnglish
Title of host publicationInteger Programming and Combinatorial Optimization - 23rd International Conference, IPCO 2022, Proceedings
EditorsKaren Aardal, Laura Sanità
PublisherSpringer Science and Business Media Deutschland GmbH
Pages375-386
Number of pages12
ISBN (Print)9783031069000
DOIs
StatePublished - 2022
Event23rd International Conference on Integer Programming and Combinatorial Optimization, IPCO 2022 - Eindhoven, Netherlands
Duration: 27 Jun 202229 Jun 2022

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13265 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference23rd International Conference on Integer Programming and Combinatorial Optimization, IPCO 2022
Country/TerritoryNetherlands
CityEindhoven
Period27/06/2229/06/22

Keywords

  • Flatness theorem
  • Lattice-free
  • Simplices

Fingerprint

Dive into the research topics of 'Lattice-Free Simplices with Lattice Width 2 d- o(d)'. Together they form a unique fingerprint.

Cite this