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.

Small kissing polytopes

Kissing Polytopes

Short simplex paths in lattice polytopes

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Lattices with exponentially large kissing numbers

Higher Secondary Polytopes for Two-Dimensional Zonotopes

Exact values and improved bounds on $k$-neighborly families of boxes

On the diameter of lattice polytopes

Lattice polytopes with the minimal volume

Polytopes with low excess degree

A lower bound theorem for $d$-polytopes with $2d+2$ vertices

Exact values and improved bounds on k -neighborly families of boxes

Lattice Reduced and Complete Convex Bodies

Convex polytopes in restricted point sets in $\mathbb{R}^d$

Vertices of the monotone path polytopes of hypersimplicies

The kissing number in 48 dimensions for codes with certain forbidden distances is 52 416 000

On the Combinatorial Complexity of Approximating Polytopes

Pentagon Minimization without Computation

An $(\aleph_0,k+2)$-Theorem for $k$-Transversals

The minimum neighborliness of a random polytope

Difficulties Constructing Lattices with Exponential Kissing Number from Codes