Optimal area-sensitive bounds for polytope approximation

  • Authors:
  • Sunil Arya;Guilherme D. da Fonseca;David M. Mount

  • Affiliations:
  • The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong;Universidade Federal do Estado do Rio de Janeiro (UniRio), Rio de Janeiro, Brazil;University of Maryland, College Park, MD, USA

  • Venue:
  • Proceedings of the twenty-eighth annual symposium on Computational geometry
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

Approximating convex bodies is a fundamental question in geometry and has applications to a wide variety of optimization problems. Given a convex body K in REd for fixed d, the objective is to minimize the number of vertices or facets of an approximating polytope for a given Hausdorff error ε. The best known uniform bound, due to Dudley (1974), shows that O((diam(K)/ε)(d-1)/2) facets suffice. While this bound is optimal in the case of a Euclidean ball, it is far from optimal for skinny convex bodies. We show that, under the assumption that the width of the body in any direction is at least ε, it is possible to approximate a convex body using O(√area(K)/ε(d-1)/2) facets, where area(K) is the surface area of the body. This bound is never worse than the previous bound and may be significantly better for skinny bodies. This bound is provably optimal in the worst case and improves upon our earlier result (which appeared in SODA 2012). Our improved bound arises from a novel approach to sampling points on the boundary of a convex body in order to stab all (dual) caps of a given width. This approach involves the application of an elegant concept from the theory of convex bodies, called Macbeath regions. While Macbeath regions are defined in terms of volume considerations, we show that by applying them to both the original body and its dual, and then combining this with known bounds on the Mahler volume, it is possible to achieve the desired width-based sampling.