When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.SoCG.2016.11
URN: urn:nbn:de:0030-drops-59034
Go to the corresponding LIPIcs Volume Portal

Arya, Sunil ; da Fonseca, Guilherme D. ; Mount, David M.

On the Combinatorial Complexity of Approximating Polytopes

LIPIcs-SoCG-2016-11.pdf (0.7 MB)


Approximating convex bodies succinctly by convex polytopes is a fundamental problem in discrete geometry. A convex body K of diameter $diam(K)$ is given in Euclidean d-dimensional space, where $d$ is a constant. Given an error parameter eps > 0, the objective is to determine a polytope of minimum combinatorial complexity whose Hausdorff distance from K is at most eps 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/eps^{(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 O-tilde(1/eps^{(d-1)/2}), where O-tilde conceals a polylogarithmic factor in 1/eps. This is an improvement upon the best known bound, which is roughly O(1/eps^{d-2}). Our result is based on a novel combination of both new and old 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 Barany and Larman's economical cap covering, which may be of independent interest. Finally, we use a deterministic variation of the witness-collector technique (developed recently by Devillers et al.) in the context of our stratified construction.

BibTeX - Entry

  author =	{Sunil Arya and Guilherme D. da Fonseca and David M. Mount},
  title =	{{On the Combinatorial Complexity of Approximating Polytopes}},
  booktitle =	{32nd International Symposium on Computational Geometry (SoCG 2016)},
  pages =	{11:1--11:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-009-5},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{51},
  editor =	{S{\'a}ndor Fekete and Anna Lubiw},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-59034},
  doi =		{10.4230/LIPIcs.SoCG.2016.11},
  annote =	{Keywords: Polytope approximation, Convex polytopes, Macbeath regions}

Keywords: Polytope approximation, Convex polytopes, Macbeath regions
Seminar: 32nd International Symposium on Computational Geometry (SoCG 2016)
Issue Date: 2016
Date of publication: 09.06.2016

DROPS-Home | Fulltext Search | Imprint Published by LZI