Geometric Embeddability of Complexes Is ∃R-Complete

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Documents

  • Fulltext

    Final published version, 1.68 MB, PDF document

We show that the decision problem of determining whether a given (abstract simplicial) k-complex has a geometric embedding in Rd is complete for the Existential Theory of the Reals for all d ≥ 3 and k ∈ {d− 1, d}. Consequently, the problem is polynomial time equivalent to determining whether a polynomial equation system has a real solution and other important problems from various fields related to packing, Nash equilibria, minimum convex covers, the Art Gallery Problem, continuous constraint satisfaction problems, and training neural networks. Moreover, this implies NP-hardness and constitutes the first hardness result for the algorithmic problem of geometric embedding (abstract simplicial) complexes. This complements recent breakthroughs for the computational complexity of piece-wise linear embeddability.

Original languageEnglish
Title of host publication39th International Symposium on Computational Geometry, SoCG 2023
EditorsErin W. Chambers, Joachim Gudmundsson
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Publication date2023
Article number1
ISBN (Electronic)9783959772730
DOIs
Publication statusPublished - 2023
Event39th International Symposium on Computational Geometry, SoCG 2023 - Dallas, United States
Duration: 12 Jun 202315 Jun 2023

Conference

Conference39th International Symposium on Computational Geometry, SoCG 2023
LandUnited States
ByDallas
Periode12/06/202315/06/2023
SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume258
ISSN1868-8969

Bibliographical note

Publisher Copyright:
© Mikkel Abrahamsen, Linda Kleist, and Tillmann Miltzow; licensed under Creative Commons License CC-BY 4.0.

    Research areas

  • existential theory of the reals, geometric embedding, hypergraph, linear embedding, recognition, simplicial complex

ID: 384029530