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.

Improving bounds on the diameter of a polyhedron in high dimensions

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

A Spectral Approach to Polytope Diameter

An Improvement of the Ivanov Bound

On the diameter of lattice polytopes

Improved Bounds for Point Selections and Halving Hyperplanes in Higher Dimensions

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

Two New Bounds on the Random-Edge Simplex Algorithm

Upper bounds for Heilbronn's triangle problem in higher dimensions

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

Bounds for Rational Points on Algebraic Curves, Optimal in the Degree, and Dimension Growth

On the Combinatorial Diameters of Parallel and Series Connections

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

Improved bound on the number of edges of diameter-$k$-critical graphs

Improved Bounds for Geometric Permutations

On the Combinatorial Complexity of Approximating Polytopes

Improved bounds for the bracketing number of orthants or revisiting an algorithm of Thiémard to compute bounds for the star discrepancy

On the Diameter of a 2-Sum of Polyhedra

Improved Outerplanarity Bounds for Planar Graphs

Bounds for the number of multidimensional partitions