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.

Facets of high-dimensional Gaussian polytopes

Facets of High-Dimensional Gaussian Polytopes

Estranged facets and $k$-facets of Gaussian random point sets

On the Increments of A D-Dimensional Gaussian Process

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

Random polytopes in convex bodies: Bridging the gap between extremal containers

On the expected number of facets for the convex hull of samples

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

An extremum property characterizing the n-dimensional regular cross-polytope

On disjunction convex hulls by lifting

On the notions of facets, weak facets, and extreme functions of the Gomory-Johnson infinite group problem

The Polytope of Dual Degree Partitions

Random inscribed polytopes in projective geometries

A Spectral Approach to Polytope Diameter

Directed random walks on polytopes with few facets

Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering

The minimum neighborliness of a random polytope

Which exceptional low-dimensional projections of a Gaussian point cloud can be found in polynomial time?

Deep sections of the hypercube

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

On the Combinatorial Complexity of Approximating Polytopes