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.

Bounding minimal solid angles of polytopes

Optimal Bound on the Combinatorial Complexity of Approximating Polytopes

On Minimal Orthographic View Covers for Polyhedra.

Lattice polytopes with the minimal volume

On the optimality of the ideal right-angled 24-cell

On the Combinatorial Complexity of Approximating Polytopes

Extremal problems for the solid angle

Upper Bound on the Packing Density of Regular Tetrahedra and Octahedra

Transversal numbers of simplicial polytopes, spheres, and pure complexes

Solutions to the minimal surface system with large singular sets

Recent progress on the Dirichlet problem for the minimal surface system and minimal cones

Kissing Polytopes

Random Shadows of Fixed Polytopes

A tale of centrally symmetric polytopes and spheres

On the Length of Monotone Paths in Polyhedra

Fat triangles inscribed in arbitrary planar domains

Areas of spherical polyhedral surfaces with regular faces.

The minimum neighborliness of a random polytope

Random triangulations of the d-sphere with minimum volume

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

Minimal reflection surfaces in $\mathbb S^3.$ Combinatorics of curvature lines and minimal surfaces based on fundamental pentagons