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.

Lower Bounds on Face Numbers of Polytopes with $m$ Facets

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

Lower bound results for conditionally decomposable polytopes

Improved Tverberg theorems for certain families of polytopes

Facets of High-Dimensional Gaussian Polytopes

Polytopes with low excess degree

On the Combinatorial Complexity of Approximating Polytopes

On the Many Faces of Easily Covered Polytopes

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Random Shadows of Fixed Polytopes

Two New Bounds on the Random-Edge Simplex Algorithm

Transversal numbers of simplicial polytopes, spheres, and pure complexes

A Spectral Approach to Polytope Diameter

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

Upper Bound on the Number of Vertices of Polyhedra with $0,1$-Constraint Matrices

Counting vertices of integral polytopes defined by facets

Counting faces of randomly-projected polytopes when the projection radically lowers dimension

Face numbers of triangulations of manifolds

Face Numbers of Shellable CW Balls and Spheres