Skip to main content

Algorithms for Contractibility of Compressed Curves on 3-Manifold Boundaries

Abstract

In this paper we prove that the problem of deciding contractibility of an arbitrary closed curve on the boundary of a 3-manifold is in NP. We emphasize that the manifold and the curve are both inputs to the problem. Moreover, our algorithm also works if the curve is given as a compressed word. Previously, such an algorithm was known for simple (non-compressed) curves, and, in very limited cases, for curves with self-intersections. Furthermore, our algorithm is fixed-parameter tractable in the size of the input 3-manifold. As part of our proof, we obtain new polynomial-time algorithms for compressed curves on surfaces, which we believe are of independent interest. We provide a polynomial-time algorithm which, given an orientable surface and a compressed loop on the surface, computes a canonical form for the loop as a compressed word. In particular, contractibility of compressed curves on surfaces can be decided in polynomial time; prior published work considered only constant genus surfaces. More generally, we solve the following normal subgroup membership problem in polynomial time: given an arbitrary orientable surface, a compressed closed curve \(\gamma \), and a collection of disjoint normal curves \(\varDelta \), there is a polynomial-time algorithm to decide if \(\gamma \) lies in the normal subgroup generated by components of \(\varDelta \) in the fundamental group of the surface after attaching the curves to a basepoint.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10

Notes

  1. There are two different forms of compression going on in this paper: normal coordinates and straight line programs. We keep the name compressed for the latter, while a curve or a multicurve encoded with normal coordinates will be simply called a normal (multi-)curve.

  2. We recall, however, that the homeomorphism problem is undecidable in dimensions four or higher.

  3. A wedge of a family of topological spaces is the space obtained after attaching them all to a single common point. Actually, there are also circle summands here—we do not mention them in this outline to keep the discussion light.

  4. Their normal coordinates are given by the restriction on S of those of \(\varDelta \).

  5. At the start of Steps 1, 2, and 3, it might happen that the last letter of \(A_j^R\) and the first letter of \(A_k^R\) are both edges, if half of a jumping turn got removed. In that case, we remove those edges since they are superfluous.

References

  1. Agol, I., Hass, J., Thurston, W.: The computational complexity of knot genus and spanning area. Trans. Am. Math. Soc. 358(9), 3821–3850 (2006)

    MathSciNet  Article  Google Scholar 

  2. Aschenbrenner, M., Friedl, S., Wilton, H.: Decision problems for \(3\)-manifolds and their fundamental groups. In: Interactions Between Low-Dimensional Topology and Mapping Class Groups (Bonn 2013). Geometry & Topology Monographs, vol. 19, pp. 201–236. Geom. Topol. Publ., Coventry (2015)

  3. Aschenbrenner, M., Friedl, S., Wilton, H.: \(3\)-Manifold Groups. EMS Series of Lectures in Mathematics. European Mathematical Society, Zürich (2015)

  4. Bachman, D., Derby-Talbot, R., Sedgwick, E.: Computing Heegaard genus is NP-hard. In: A Journey Through Discrete Mathematics, pp. 59–87. Springer, Cham (2017)

  5. Bell, M.C.: Simplifying triangulations. Discrete Comput. Geom. 66(1), 1–11 (2021)

    MathSciNet  Article  Google Scholar 

  6. Burton, B.A.: A new approach to crushing \(3\)-manifold triangulations. Discrete Comput. Geom. 52(1), 116–139 (2014)

    MathSciNet  Article  Google Scholar 

  7. Burton, B.A., Colin de Verdière, É., de Mesmay, A.: On the complexity of immersed normal surfaces. Geom. Topol. 20(2), 1061–1083 (2016)

    MathSciNet  Article  Google Scholar 

  8. Colin de Verdière, É., Parsa, S.: Deciding contractibility of a non-simple curve on the boundary of a \(3\)-manifold. In: 28th Annual ACM-SIAM Symposium on Discrete Algorithms (Barcelona 2017), pp. 2691–2704. SIAM, Philadelphia (2017)

  9. Colin de Verdière, É., Parsa, S.: Deciding contractibility of a non-simple curve on the boundary of a \(3\)-manifold: a computational Loop Theorem (2020). arXiv:2001.04747

  10. Dehn, M.: Transformation der Kurven auf zweiseitigen Flächen. Math. Ann. 72(3), 413–421 (1912)

    MathSciNet  Article  Google Scholar 

  11. Despré, V., Lazarus, F.: Computing the geometric intersection number of curves. J. ACM 66(6), #45 (2019)

    MathSciNet  Article  Google Scholar 

  12. Dynnikov, I.: Counting intersections of normal curves. J. Algebra 607(B), 181–231 (2021)

  13. Dynnikov, I., Wiest, B.: On the complexity of braids. J. Eur. Math. Soc. 9(4), 801–840 (2007)

    MathSciNet  Article  Google Scholar 

  14. Epstein, D.B.A., Cannon, J.W., Holt, D.F., Levy, S.V.F., Paterson, M.S., Thurston, W.P.: Word Processing in Groups. Jones and Bartlett, Boston (1992)

    Book  Google Scholar 

  15. Erickson, J., Nayyeri, A.: Tracing compressed curves in triangulated surfaces. Discrete Comput. Geom. 49(4), 823–863 (2013)

    MathSciNet  Article  Google Scholar 

  16. Erickson, J., Whittlesey, K.: Transforming curves on surfaces redux. In: 24th Annual ACM-SIAM Symposium on Discrete Algorithms (New Orleans 2013), pp. 1646–1655. SIAM, Philadelphia (2013)

  17. Hagenah, Ch.: Gleichungen mit regulären Randbedingungen über freien Gruppen. PhD thesis, Universtät Stuttgart (2000). https://elib.uni-stuttgart.de/handle/11682/2469

  18. de la Harpe, P.: Topics in Geometric Group Theory. Chicago Lectures in Mathematics, University of Chicago Press, Chicago (2000)

    MATH  Google Scholar 

  19. Hass, J., Lagarias, J.C., Pippenger, N.: The computational complexity of knot and link problems. J. ACM 46(2), 185–211 (1999)

    MathSciNet  MATH  Google Scholar 

  20. Hass, J., Snoeyink, J., Thurston, W.P.: The size of spanning disks for polygonal curves. Discrete Comput. Geom. 29(1), 1–17 (2003)

    MathSciNet  Article  Google Scholar 

  21. Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)

    MATH  Google Scholar 

  22. Hempel, J.: \(3\)-Manifolds. AMS Chelsea Publishing, vol. 349. American Mathematical Society, Providence (2004)

  23. Holt, D., Lohrey, M., Schleimer, S.: Compressed decision problems in hyperbolic groups. In: 36th International Symposium on Theoretical Aspects of Computer Science (Berlin 2019). Leibniz International Proceedings in Informatics, vol. 126, # 37. Leibniz-Zent. Inform., Wadern (2019)

  24. Jaco, W., Rubinstein, J.H.: \(0\)-efficient triangulations of \(3\)-manifolds. J. Differ. Geom. 65(1), 61–168 (2003)

    MathSciNet  MATH  Google Scholar 

  25. Jaco, W., Tollefson, J.L.: Algorithms for the complete decomposition of a closed \(3\)-manifold. Ill. J. Math. 39(3), 358–406 (1995)

    MathSciNet  MATH  Google Scholar 

  26. Kuperberg, G.: Algorithmic homeomorphism of \(3\)-manifolds as a corollary of geometrization. Pacific J. Math. 301(1), 189–241 (2019)

    MathSciNet  Article  Google Scholar 

  27. Lackenby, M.: Some conditionally hard problems on links and \(3\)-manifolds. Discrete Comput. Geom. 58(3), 580–595 (2017)

    MathSciNet  Article  Google Scholar 

  28. Lackenby, M.: Algorithms in \(3\)-manifold theory (2020). arXiv:2002.02179

  29. Lackenby, M.: The efficient certification of knottedness and Thurston norm. Adv. Math. 387, #107796 (2021)

    MathSciNet  Article  Google Scholar 

  30. Lazarus, F., Rivaud, J.: On the homotopy test on surfaces. In: 53rd Annual IEEE Symposium on Foundations of Computer Science (New Brunswick 2012), pp. 440–449. IEEE Computer Society, Los Alamitos (2012)

  31. Löffler, M., Lubiw, A., Schleimer, S., Wolf Chambers, E.M. (eds.): Computation in low-dimensional geometry and topology (Dagstuhl Seminar 19352). Dagstuhl Reports 9(8), 84–112 (2019)

  32. Lohrey, M.: Word problems and membership problems on compressed words. SIAM J. Comput. 35(5), 1210–1240 (2006)

    MathSciNet  Article  Google Scholar 

  33. Lohrey, M.: The Compressed Word Problem for Groups. SpringerBriefs in Mathematics. Springer, New York (2014)

  34. Matveev, S.: Algorithmic Topology and Classification of \(3\)-Manifolds. Algorithms and Computation in Mathematics. vol. 9. Springer, Berlin (2007)

  35. de Mesmay, A., Rieck, Y., Sedgwick, E., Tancer, M.: The unbearable hardness of unknotting. In: 35th International Symposium on Computational Geometry (Portland 2019). Leibniz International Proceedings in Informatics, vol. 129, # 49. Leibniz-Zent. Inform., Wadern (2019)

  36. Mohar, B., Thomassen, C.: Graphs on Surfaces. Johns Hopkins Studies in the Mathematical Sciences, Johns Hopkins University Press, Baltimore (2001)

    MATH  Google Scholar 

  37. Moise, E.E.: Affine structures in \(3\)-manifolds. V. The triangulation theorem and Hauptvermutung. Ann. Math. 56, 96–114 (1952)

    MathSciNet  Article  Google Scholar 

  38. Schaefer, M., Sedgwick, E., Štefanković, D.: Algorithms for normal curves and surfaces. In: Computing and Combinatorics (Singapore 2002). Lecture Notes in Computer Science, vol. 2387, pp. 370–380. Springer, Berlin (2002)

  39. Schaefer, M., Sedgwick, E., Štefanković, D.: Computing Dehn twists and geometric intersection numbers in polynomial time. In: 20th Canadian Conference on Computational Geometry (Montreal 2008), pp. 111–114 (2008)

  40. Schleimer, S.: Polynomial-time word problems. Comment. Math. Helv. 83(4), 741–765 (2008)

    MathSciNet  Article  Google Scholar 

  41. Schubert, H.: Bestimmung der Primfaktorzerlegung von Verkettungen. Math. Z. 76, 116–148 (1961)

    MathSciNet  Article  Google Scholar 

  42. Stillwell, J.: Classical Topology and Combinatorial Group Theory. Graduate Texts in Mathematics, vol. 72. Springer, New York (1993)

  43. Waldhausen, F.: The word problem in fundamental groups of sufficiently large irreducible \(3\)-manifolds. Ann. Math. 88, 272–280 (1968)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

The authors would like to thank Mark Bell, Ben Burton, and Jeff Erickson for helpful discussions. We also thank an anonymous referee of [9] (which is a heavily modified version of [8]) for suggesting the use of a maximal compression body as a simple exponential-time algorithm for deciding contractibility of arbitrary (non-compressed) curves on the boundary of a 3-manifold. We are also grateful to the anonymous reviewers for their careful reading of the manuscript which greatly improved the paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Francis Lazarus.

Additional information

Editor in Charge: Kenneth Clarkson

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Erin Wolf Chambers: This work was funded in part by the National Science Foundation through grants CCF-1614562, CCF-1907612 and DBI-1759807.

Francis Lazarus: This author is partially supported by the French ANR projects GATO (ANR-16-CE40-0009-01) and MINMAX (ANR-19-CE40-0014) and the LabEx PERSYVAL-Lab (ANR-11-LABX-0025-01) funded by the French program Investissement d’avenir.

Arnaud de Mesmay: This author is partially supported by the French ANR projects ANR-17-CE40-0033 (SoS), ANR-16-CE40-0009-01 (GATO) and ANR-19-CE40-0014 (MINMAX).

Salman Parsa: This work was funded in part by the National Science Foundation through grant CCF-1614562 as well as funding from the SLU Research Institute.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Chambers, E.W., Lazarus, F., de Mesmay, A. et al. Algorithms for Contractibility of Compressed Curves on 3-Manifold Boundaries. Discrete Comput Geom (2022). https://doi.org/10.1007/s00454-022-00411-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s00454-022-00411-x

Keywords

  • 3-Manifolds
  • Surfaces
  • Computational topology
  • Contractibility
  • Compressed curves

Mathematics Subject Classification

  • 57M05
  • 68R99