Heuristics for Sphere Recognition
- 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
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.
Keywordssphere recognition combinatorial manifolds discrete Morse theory presentations of fundamental groups bistellar flips
Unable to display preview. Download preview PDF.