Universality Theorems for Inscribed Polytopes and Delaunay Triangulations

Karim A. Adiprasito, Arnau Padrol*, Louis Theran

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

We prove that every primary basic semi-algebraic set is homotopy equivalent to the set of inscribed realizations (up to Möbius transformation) of a polytope. If the semi-algebraic set is, moreover, open, it is, additionally, (up to homotopy) the retract of the realization space of some inscribed neighborly (and simplicial) polytope. We also show that all algebraic extensions of Q are needed to coordinatize inscribed polytopes. These statements show that inscribed polytopes exhibit the Mnëv universality phenomenon. Via stereographic projections, these theorems have a direct translation to universality theorems for Delaunay subdivisions. In particular, the realizability problem for Delaunay triangulations is polynomially equivalent to the existential theory of the reals.

Original languageAmerican English
Pages (from-to)412-431
Number of pages20
JournalDiscrete and Computational Geometry
Volume54
Issue number2
DOIs
StatePublished - 27 Sep 2015

Bibliographical note

Publisher Copyright:
© 2015, Springer Science+Business Media New York.

Keywords

  • Delaunay triangulation
  • Inscribed polytope
  • Realization space
  • Universality theorem

Fingerprint

Dive into the research topics of 'Universality Theorems for Inscribed Polytopes and Delaunay Triangulations'. Together they form a unique fingerprint.

Cite this