Heuristics for Sphere Recognition

  • Michael Joswig
  • Frank H. Lutz
  • Mimi Tsuruga
Conference paper

DOI: 10.1007/978-3-662-44199-2_26

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8592)
Cite this paper as:
Joswig M., Lutz F.H., Tsuruga M. (2014) Heuristics for Sphere Recognition. In: Hong H., Yap C. (eds) Mathematical Software – ICMS 2014. ICMS 2014. Lecture Notes in Computer Science, vol 8592. Springer, Berlin, Heidelberg

Abstract

The problem of determining whether a given (finite abstract) simplicial complex is homeomorphic to a sphere is undecidable. Still, the task naturally appears in a number of practical applications and can often be solved, even for huge instances, with the use of appropriate heuristics. We report on the current status of suitable techniques and their limitations. We also present implementations in polymake and relevant test examples.

Keywords

sphere recognition combinatorial manifolds discrete Morse theory presentations of fundamental groups bistellar flips 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Michael Joswig
    • 1
  • Frank H. Lutz
    • 1
  • Mimi Tsuruga
    • 1
  1. 1.Institut für MathematikTU BerlinBerlinGermany

Personalised recommendations