English

Difference between families of weakly and strongly maximal integral lattice-free polytopes

Combinatorics 2018-07-19 v2 Algebraic Geometry Metric Geometry Optimization and Control

Abstract

A dd-dimensional closed convex set KK in Rd\mathbb{R}^d is said to be lattice-free if the interior of KK is disjoint with Zd\mathbb{Z}^d. We consider the following two families of lattice-free polytopes: the family Ld\mathcal{L}^d of integral lattice-free polytopes in Rd\mathbb{R}^d that are not properly contained in another integral lattice-free polytope and its subfamily Md\mathcal{M}^d consisting of integral lattice-free polytopes in Rd\mathbb{R}^d which are not properly contained in another lattice-free set. It is known that Md=Ld\mathcal{M}^d = \mathcal{L}^d holds for d3d \le 3 and, for each d4d \ge 4, Md\mathcal{M}^d is a proper subfamily of Ld\mathcal{L}^d. We derive a super-exponential lower bound on the number of polytopes in LdMd\mathcal{L}^d \setminus \mathcal{M}^d (with standard identification of integral polytopes up to affine unimodular transformations).

Keywords

Cite

@article{arxiv.1807.06327,
  title  = {Difference between families of weakly and strongly maximal integral lattice-free polytopes},
  author = {Gennadiy Averkov},
  journal= {arXiv preprint arXiv:1807.06327},
  year   = {2018}
}

Comments

Proof of Lemma 11 fixed, Question 14 added