Heuristics for Sphere Recognition

  • Michael Joswig
  • Frank H. Lutz
  • Mimi Tsuruga
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8592)


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.


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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Adiprasito, K., Benedetti, B., Lutz, F.H.: Extremal examples of collapsible complexes and random discrete morse theory. arXiv:1404.4239, 20 pages (2014)Google Scholar
  2. 2.
    Benedetti, B., Lutz, F.H.: Knots in collapsible and non-collapsible balls. Electron. J. Comb. 20(3), Research Paper P31, 29 p. (2013)Google Scholar
  3. 3.
    Benedetti, B., Lutz, F.H.: Random discrete Morse theory and a new library of triangulations. Exp. Math. 23, 66–94 (2014)CrossRefMATHMathSciNetGoogle Scholar
  4. 4.
    Benedetti, B., Ziegler, G.M.: On locally constructible spheres and balls. Acta Math. 206, 205–243 (2011)CrossRefMATHMathSciNetGoogle Scholar
  5. 5.
    Björner, A., Lutz, F.H.: Simplicial manifolds, bistellar flips and a 16-vertex triangulation of the Poincaré homology 3-sphere. Exp. Math. 9, 275–289 (2000)CrossRefMATHGoogle Scholar
  6. 6.
    Brehm, U., Kühnel, W.: 15-vertex triangulations of an 8-manifold. Math. Ann. 294, 167–193 (1992)CrossRefMATHMathSciNetGoogle Scholar
  7. 7.
    Burton, B.A.: Simplification paths in the Pachner graphs of closed orientable 3-manifold triangulations. arXiv:1110.6080, 39 pages (2011)Google Scholar
  8. 8.
    Burton, B.A.: Regina: A normal surface theory calculator, version 4.95 (1999-2013), http://regina.sourceforge.net
  9. 9.
    CAPD::RedHom. Redhom software library, http://redhom.ii.uj.edu.pl
  10. 10.
    Chernavsky, A.V., Leksine, V.P.: Unrecognizability of manifolds. Ann. Pure Appl. Logic 141, 325–335 (2006)CrossRefMATHMathSciNetGoogle Scholar
  11. 11.
    CHomP. Computational Homology Project, http://chomp.rutgers.edu
  12. 12.
    Forman, R.: Morse theory for cell complexes. Adv. Math. 134, 90–145 (1998)CrossRefMATHMathSciNetGoogle Scholar
  13. 13.
    Forman, R.: A user’s guide to discrete Morse theory. Sémin. Lothar. Comb 48(B48c), 35 p., electronic only. (2002)Google Scholar
  14. 14.
    Freedman, M.H.: The topology of four-dimensional manifolds. J. Differ. Geom. 17, 357–453 (1982)MATHGoogle Scholar
  15. 15.
    Gawrilow, E., Joswig, M.: Polymake: a framework for analyzing convex polytopes. In: Polytopes—Combinatorics and Computation (Oberwolfach, 1997). DMV Sem., vol. 29, pp. 43–73. Birkhäuser, Basel (2000)Google Scholar
  16. 16.
    Joswig, M.: Computing invariants of simplicial manifolds, preprint arXiv:math/0401176 (2004)Google Scholar
  17. 17.
    Joswig, M., Pfetsch, M.E.: Computing optimal Morse matchings. SIAM J. Discrete Math. 20, 11–25 (2006)CrossRefMATHMathSciNetGoogle Scholar
  18. 18.
    Kaibel, V., Pfetsch, M.E.: Computing the face lattice of a polytope from its vertex-facet incidences. Comput. Geom. 23, 281–290 (2002)CrossRefMATHMathSciNetGoogle Scholar
  19. 19.
    King, S.A.: How to make a triangulation of S 3 polytopal. Trans. Am. Math. Soc. 356, 4519–4542 (2004)CrossRefMATHGoogle Scholar
  20. 20.
    Lewiner, T., Lopes, H., Tavares, G.: Optimal discrete Morse functions for 2-manifolds. Comput. Geom. 26, 221–233 (2003)CrossRefMATHMathSciNetGoogle Scholar
  21. 21.
    Matveev, S.V.: An algorithm for the recognition of 3-spheres (according to Thompson). Sb. Math. 186, 695–710 (1995), Translation from Mat. Sb. 186, 69–84 (1995)Google Scholar
  22. 22.
    Mijatović, A.: Simplifying triangulations of S 3. Pac. J. Math. 208, 291–324 (2003)CrossRefMATHGoogle Scholar
  23. 23.
    Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley Publishing Company, Menlo Park (1984)MATHGoogle Scholar
  24. 24.
    Novikov, P.S.: On the algorithmic unsolvability of the word problem in group theory. Trudy Matematicheskogo Instituta imeni V. A. Steklova, vol. 44. Izdatel’stvo Akademii Nauk SSSR, Moscow (1955)Google Scholar
  25. 25.
    Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159, 39 pages (2002)Google Scholar
  26. 26.
    Rubinstein, J.H.: An algorithm to recognize the 3-sphere. In: Chatterji, S.D. (ed.) Proc. Internat. Congr. of Mathematicians, ICM 1994, Zürich, vol. 1, pp. 601–611. Birkhäuser Verlag, Basel (1995)Google Scholar
  27. 27.
    Saucan, E., Appleboim, E., Zeevi, Y.Y.: Sampling and reconstruction of surfaces and higher dimensional manifolds. J. Math. Imaging Vision 30(1), 105–123 (2008)CrossRefMathSciNetGoogle Scholar
  28. 28.
    Seifert, H., Threlfall, W.: Lehrbuch der Topologie. B. G. Teubner, Leipzig (1934)Google Scholar
  29. 29.
    Smale, S.: On the structure of manifolds. Am. J. Math. 84, 387–399 (1962)CrossRefMATHMathSciNetGoogle Scholar
  30. 30.
    Spreer, J., Kühnel, W.: Combinatorial properties of the K3 surface: Simplicial blowups and slicings. Exp. Math. 20, 201–216 (2011)CrossRefMATHMathSciNetGoogle Scholar
  31. 31.
    Sulanke, T., Lutz, F.H.: Isomorphism free lexicographic enumeration of triangulated surfaces and 3-manifolds. Eur. J. Comb. 30, 1965–1979 (2009)CrossRefMATHMathSciNetGoogle Scholar
  32. 32.
    Thompson, A.: Thin position and the recognition problem for S 3. Math. Res. Lett. 1, 613–630 (1994)CrossRefMATHMathSciNetGoogle Scholar
  33. 33.
    Tsuruga, M., Lutz, F.H.: Constructing complicated spheres. arXiv:1302.6856, EuroCG 2013, 4 pages (2013)Google Scholar
  34. 34.
    Volodin, I.A., Kuznetsov, V.E., Fomenko, A.T.: The problem of discriminating algorithmically the standard three-dimensional sphere. Russ. Math. Surv. 29(5), 71–172 (1974)CrossRefGoogle Scholar
  35. 35.
    Whitehead, J.H.C.: Simplicial spaces, nuclei and m-groups. Proc. Lond. Math. Soc., II. Ser. 45, 243–327 (1939)CrossRefGoogle Scholar

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