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.

Random approximation of convex bodies in Hausdorff metric

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

Interactive Hausdorff Distance Computation for General Polygonal Models.

Probability that $n$ points are in convex position in a general convex polygon: Asymptotic results

On the variance of the mean width of random polytopes circumscribed around a convex body

Convex hulls of uniform samples from a convex polygon

Hadwiger's problem for bodies with enough sub-Gaussian marginals

Random inscribed polytopes in projective geometries

Probability that $n$ points are in convex position in a regular $κ$-gon : Asymptotic results

The minimum neighborliness of a random polytope

Numerical Approximation of Optimal Convex Shapes in $\mathbb{R}^3$

Smooth Distance Approximation

Asymptotic shape of the convex hull of isotropic log-concave random vectors

On the Combinatorial Complexity of Approximating Polytopes

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

Distance Distribution Between Two Random Nodes in Arbitrary Polygons

Asymptotic expected $T$-functionals of random polytopes with applications to $L_p$ surface areas

On the Budgeted Hausdorff Distance Problem

Asymptotic Normality of Centroids of Random Polygons

Mixed random beta-polytopes

Umbrellas and Polytopal Approximation of the Euclidean Ball