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.

Hardness of circuit and monotone diameters of polytopes

On the Circuit Diameter Conjecture for Counterexamples to the Hirsch Conjecture

On the Circuit Diameter of Some Combinatorial Polytopes

On Circuit Diameter Bounds via Circuit Imbalances

A Spectral Approach to Polytope Diameter

A Polyhedral Model for Enumeration and Optimization over the Set of Circuits

On the Length of Monotone Paths in Polyhedra

On the Combinatorial Diameters of Parallel and Series Connections

On the Hardness of Short and Sign-Compatible Circuit Walks

Topological properties on the diameters of the integer simplex

Directed Hypercube Routing, a Generalized Lehman-Ron Theorem, and Monotonicity Testing

The Connectivity of Boolean Satisfiability: Dichotomies for Formulas and Circuits

On the diameter of lattice polytopes

Algorithms and hardness for Metric Dimension on digraphs

On the oriented diameter of planar triangulations

On Diameter Approximation in Directed Graphs

The role of topology and capacity in some bounds for principal frequencies

Vertices of the monotone path polytopes of hypersimplicies

On the Diameter of a 2-Sum of Polyhedra

On the Combinatorial Complexity of Approximating Polytopes

Polytope Extensions with Linear Diameters