A Polynomial-Time Algorithm to Compute Turaev–Viro Invariants \(\mathrm {TV}_{4,q}\) of 3-Manifolds with Bounded First Betti Number

Abstract

In this article, we introduce a fixed-parameter tractable algorithm for computing the Turaev–Viro invariants \(\mathrm {TV}_{4,q}\), using the first Betti number, i.e. the dimension of the first homology group of the manifold with \(\mathbb {Z}_2\)-coefficients, as parameter. This is, to our knowledge, the first parameterised algorithm in computational 3-manifold topology using a topological parameter. The computation of \(\mathrm {TV}_{4,q}\) is known to be #P-hard in general; using a topological parameter provides an algorithm polynomial in the size of the input triangulation for the family of 3-manifolds with first \(\mathbb {Z}_2\)-homology group of bounded dimension. Our algorithm is easy to implement, and running times are comparable with running times to compute integral homology groups for standard libraries of triangulated 3-manifolds. The invariants we can compute this way are powerful: in combination with integral homology and using standard data sets, we are able to almost double the pairs of 3-manifolds we can distinguish. We hope this qualifies \(\mathrm {TV}_{4,q}\) to be added to the short list of standard properties (such as orientability, connectedness and Betti numbers) that can be computed ad hoc when first investigating an unknown triangulation.

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

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Notes

  1. 1.

    Having a one-vertex triangulation is a rather weak restriction; see Sect. 4.

  2. 2.

    Integral homology groups, i.e. homology groups with integer coefficients, are strictly more powerful than homology groups with finite field coefficients, but can still be computed in polynomial time; see [37, Chapter 8] for an overview of algorithms.

  3. 3.

    Most notably, Turaev and Viro do not consider triangle weights \(|f|_\theta \), but instead incorporate an additional factor of \(|f|_\theta ^{1/2}\) into each tetrahedron weight \(|t|_\theta \) and \(|t'|_\theta \) for the two tetrahedra t and \(t'\) containing f.

  4. 4.

    See [18] for an alternative surface interpretation of admissible colourings for small r.

  5. 5.

    The procedure may fail in the rare case of triangulations containing two-sided projective planes. In such a case, the algorithm terminates in polynomial time stating the existence of such a surface.

  6. 6.

    In case \(\mathfrak {T}\) contains a two-sided projective plane and the algorithm fails, this fact is detected by the algorithm.

  7. 7.

    Note that computing \(\mathrm {TV}_{4,q}\) is not a counting problem and, as such, not a #P problem in nature.

References

  1. 1.

    Arnborg, S., Corneil, D.G., Proskurowski, A.: Complexity of finding embeddings in a \(k\)-tree. SIAM J. Algebraic Discrete Methods 8(2), 277–284 (1987)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Bodlaender, H.L.: A linear-time algorithm for finding tree-decompositions of small treewidth. SIAM J. Comput. 25(6), 1305–1317 (1996)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Burton, B.A.: Structures of small closed non-orientable 3-manifold triangulations. J. Knot Theory Ramifications 16(5), 545–574 (2007)

    MathSciNet  Article  Google Scholar 

  4. 4.

    Burton, B.A.: Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations. In: Proceedings of ISSAC, pp. 59–66. ACM (2011)

  5. 5.

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

    MathSciNet  Article  Google Scholar 

  6. 6.

    Burton, B.A., Budney, R., Pettersson, W., et al.: Regina: Software for 3-manifold topology and normal surface theory. https://regina-normal.github.io/ (1999–2019). Accessed 25 Oct 2019

  7. 7.

    Burton, B.A., Maria, C., Spreer, J.: Algorithms and complexity for Turaev-Viro invariants. J. Appl. Comput. Topol. 2(1-2), 33–53 (2018)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Burton, B.A., Ozlen, M.: A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour. arXiv:1211.1079 (2012)

  9. 9.

    Edelsbrunner, H., Harer, J.L.: Computational topology: An introduction. American Mathematical Society, Providence, RI (2010)

    MATH  Google Scholar 

  10. 10.

    Freedman, M.H.: Complexity classes as mathematical axioms. Ann. of Math 170(2), 995–1002 (2009)

    MathSciNet  Article  Google Scholar 

  11. 11.

    Frohman, C., Kania-Bartoszynska, J.: The quantum content of the normal surfaces in a three-manifold. J. Knot Theory Ramifications 17(8), 1005–1033 (2008)

    MathSciNet  Article  Google Scholar 

  12. 12.

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

    MATH  Google Scholar 

  13. 13.

    Hausmann, J.C.: Mod two homology and cohomology. Universitext. Springer, Cham (2014)

    Book  Google Scholar 

  14. 14.

    Hodgson, C.D., Weeks, J.R.: Symmetries, isometries and length spectra of closed hyperbolic three-manifolds. Experiment. Math. 3(4), 261–274 (1994)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Huszár, K., Spreer, J.: 3-Manifold Triangulations with Small Treewidth. In: Proceedings of SOCG, pp. 44:1–44:20. LIPIcs (2019)

  16. 16.

    Huszár, K., Spreer, J., Wagner, U.: On the treewidth of triangulated 3-manifolds. In: Proceddings of SOCG, pp. 46:1–46:15. LIPIcs (2018)

  17. 17.

    Jaco, W., Rubinstein, J.H.: 0-Efficient Triangulations of 3-Manifolds. J. Differential Geom. 65(1), 61–168 (2003)

    MathSciNet  Article  Google Scholar 

  18. 18.

    Kauffman, L.H., Lins, S.: Computing Turaev-Viro invariants for \(3\)-manifolds. Manuscripta Math. 72(1), 81–94 (1991)

    MathSciNet  Article  Google Scholar 

  19. 19.

    Kirby, R., Melvin, P.: Local surgery formulas for quantum invariants and the Arf invariant. Geom. Topol. Monogr. pp. (7):213–233 (2004)

  20. 20.

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

    MathSciNet  Article  Google Scholar 

  21. 21.

    Lidl, R., Niederreiter, H.: Finite Fields. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  22. 22.

    Maria, C., Purcell, J.S.: Treewidth, crushing, and hyperbolic volume. Algebraic Geom. Topology 19(5), 2625–2652. https://doi.org/10.2140/agt.2019.19.2625 (2019)

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Maria, C., Spreer, J.: Admissible colourings of 3-manifold triangulations for Turaev-Viro type invariants. In: Proceedings of ESA, pp. 64:1–64:16 (2016)

  24. 24.

    Maria, C., Spreer, J.: Classification of normal curves on a tetrahedron. In: SOCG:YRF – Collection of Abstracts (2016)

  25. 25.

    Maria, C., Spreer, J.: A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first betti number. In: Proceedings of SODA, pp. 2721–2732 (2017)

  26. 26.

    Markov, A.: The insolubility of the problem of homeomorphy. Dokl. Akad. Nauk SSSR 121, 218–220 (1958)

    MathSciNet  MATH  Google Scholar 

  27. 27.

    Matveev, S.: Transformations of special spines, and the Zeeman conjecture. Izv. Akad. Nauk SSSR Ser. Mat. 51(5), 1104–1116, 1119 (1987)

  28. 28.

    Matveev, S.: Algorithmic Topology and Classification of 3-Manifolds. Springer, Berlin (2003)

    Book  Google Scholar 

  29. 29.

    Matveev, S., et al.: Manifold recognizer. http://www.matlas.math.csu.ru/?page=recognizer (2012). Accessed 25 Oct 2019

  30. 30.

    Mohar, B.: A linear time algorithm for embedding graphs in an arbitrary surface. SIAM J. Discrete Math. 12(1), 6–26 (1999)

    MathSciNet  Article  Google Scholar 

  31. 31.

    Morgan, J., Tian, G.: The geometrization conjecture. American Mathematical Society, Providence, RI; Clay Mathematics Institute, Cambridge, MA (2014)

  32. 32.

    Norine, S., Seymour, P.D., Thomas, R., Wollan, P.: Proper minor-closed families are small. J. Comb 96(5), 754–757 (2006)

    MathSciNet  Article  Google Scholar 

  33. 33.

    Piergallini, R.: Standard moves for standard polyhedra and spines. Rend. Circ. Mat. Palermo (2) Suppl. (18), 391–414 (1988)

  34. 34.

    Schleimer, S., de Mesmay, A., Purcell, J., Sedgwick, E.: On the tree-width of knot diagrams. Journal of Computational Geometry 10(1), 164–180 (2019)

    MathSciNet  MATH  Google Scholar 

  35. 35.

    Sokolov, M.: Which lens spaces are distinguished by Turaev–Viro invariants? Mathematical Notes 61(3), 468–470 (1997)

    MathSciNet  Article  Google Scholar 

  36. 36.

    Stillwell, J.: Classical topology and combinatorial group theory, Graduate Texts in Mathematics, vol. 72, Springer-Verlag, second edn. Springer-Verlag, New York (1993)

    Book  Google Scholar 

  37. 37.

    Storjohann, A.: Algorithms for matrix canonical forms. Ph.D. thesis, ETH Zürich (2000)

  38. 38.

    Turaev, V.G.: Quantum invariants of knots and 3-manifolds, de Gruyter Studies in Mathematics, vol. 18, revised edn. Walter de Gruyter & Co., Berlin (2010)

    Book  Google Scholar 

  39. 39.

    Turaev, V.G., Viro, O.Y.: State sum invariants of \(3\)-manifolds and quantum \(6j\)-symbols. Topology 31(4), 865–902 (1992)

    MathSciNet  Article  Google Scholar 

  40. 40.

    Yamada, S.: The absolute value of the Chern-Simons-Witten invariants of lens spaces. J. Knot Theory Ramifications 4(2), 319–327 (1995)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

We would like to thank the anonymous referees for numerous helpful comments on an earlier version of this article. This work is supported by the Australian Research Council (projects DP140104246 and DP150104108).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Jonathan Spreer.

Additional information

Publisher's Note

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

An extended abstract [25] of this article has been published in the Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) 2017.

Communicated by Herbert Edelsbrunner.

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Maria, C., Spreer, J. A Polynomial-Time Algorithm to Compute Turaev–Viro Invariants \(\mathrm {TV}_{4,q}\) of 3-Manifolds with Bounded First Betti Number. Found Comput Math 20, 1013–1034 (2020). https://doi.org/10.1007/s10208-019-09438-8

Download citation

Keywords

  • Fixed-parameter tractable algorithms
  • Turaev–Viro invariants
  • Triangulations of 3-manifolds
  • (Integral)homology
  • (Generalised)normal surfaces
  • Discrete algorithms

Mathematics Subject Classification

  • 57M27
  • 57Q15
  • 68Q25