Abstract:Approximating convex bodies succinctly by convex polytopes is a fundamental problem in discrete geometry. A convex body $K$ of diameter $\mathrm{diam}(K)$ is given in Euclidean $d$-dimensional space, where $d$ is a constant. Given an error parameter $\varepsilon > 0$, the objective is to determine a polytope of minimum combinatorial complexity whose Hausdorff distance from $K$ is at most $\varepsilon \cdot \mathrm{diam}(K)$. By combinatorial complexity we mean the total number of faces of all dimensions of the polytope. A well-known result by Dudley implies that $O(1/\varepsilon^{(d-1)/2})$ facets suffice, and a dual result by Bronshteyn and Ivanov similarly bounds the number of vertices, but neither result bounds the total combinatorial complexity. We show that there exists an approximating polytope whose total combinatorial complexity is $\tilde{O}(1/\varepsilon^{(d-1)/2})$, where $\tilde{O}$ conceals a polylogarithmic factor in $1/\varepsilon$. This is a significant improvement upon the best known bound, which is roughly $O(1/\varepsilon^{d-2})$. Our result is based on a novel combination of both old and new ideas. First, we employ Macbeath regions, a classical structure from the theory of convexity. The construction of our approximating polytope employs a new stratified placement of these regions. Second, in order to analyze the combinatorial complexity of the approximating polytope, we present a tight analysis of a width-based variant of Bárány and Larman's economical cap covering. Finally, we use a deterministic adaptation of the witness-collector technique (developed recently by Devillers et al.) in the context of our stratified construction.

On the Classification of Convex Lattice Polytopes

On the classification of lattice polytopes via affine equivalence

Lattice Reduced and Complete Convex Bodies

Convex lattice polygons with all lattice points visible

Integer decomposition property of polytopes

Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma

The volume polynomial of lattice polygons

Geometric families of degenerations from mutations of polytopes

Thin polytopes: Lattice polytopes with vanishing local $h^*$-polynomial

Multiple Lattice Tilings in Euclidean Spaces

Strongly connected orientations and integer lattices

Lattice polytopes with the minimal volume

C-convexity and C-Polyhedron

From Convex Ideal Polyhedra to Fundamental Domains in H^3

On the Combinatorial Complexity of Approximating Polytopes

Generalized Polyhedral Convex Optimization Problems

A new invariant of lattice polytopes

Root polytopes and growth series of root lattices

On the Lp Minkowski Problem for Polytopes