Admissible Colourings of 3-Manifold Triangulations for Turaev-Viro Type Invariants
Turaev-Viro invariants are amongst the most powerful tools to distinguish 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them rely on the enumeration of an extremely large set of combinatorial data defined on the triangulation, regardless of the underlying topology of the manifold.
In the article, we propose a finer study of these combinatorial data, called admissible colourings, in relation with the cohomology of the manifold. We prove that the set of admissible colourings to be considered is substantially smaller than previously known, by furnishing new upper bounds on its size that are aware of the topology of the manifold. Moreover, we deduce new topology-sensitive enumeration algorithms based on these bounds.
The paper provides a theoretical analysis, as well as a detailed experimental study of the approach. We give strong experimental evidence on large manifold censuses that our upper bounds are tighter than the previously known ones, and that our algorithms outperform significantly state of the art implementations to compute Turaev-Viro invariants.
low-dimensional topology
triangulations of 3-manifolds
cohomology theory
Turaev-Viro invariants
combinatorial algorithms
64:1-64:16
Regular Paper
Clément
Maria
Clément Maria
Jonathan
Spreer
Jonathan Spreer
10.4230/LIPIcs.ESA.2016.64
Benjamin A. Burton. Structures of small closed non-orientable 3-manifold triangulations. J. Knot Theory Ramifications, 16(5):545-574, 2007.
Benjamin A. Burton. Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations. In Proceedings of ISSAC, pages 59-66. ACM, 2011.
Benjamin A. Burton. A new approach to crushing 3-manifold triangulations. Discrete Comput. Geom., 52(1):116-139, 2014.
Benjamin A. Burton, Ryan Budney, Will Pettersson, et al. Regina: Software for 3-manifold topology and normal surface theory. http://regina.sourceforge.net/, 1999-2014.
Benjamin A. Burton, Clément Maria, and Jonathan Spreer. Algorithms and complexity for Turaev-Viro invariants. In Proceedings of ICALP 2015, pages 281-293. Springer, 2015.
Benjamin A. Burton and Melih Ozlen. A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour. arXiv:1211.1079, 2012.
Allen Hatcher. Algebraic Topology. Cambridge University Press, Cambridge, 2002. http://www.math.cornell.edu/~hatcher/AT/ATpage.html.
Craig D. Hodgson and Jeffrey R. Weeks. Symmetries, isometries and length spectra of closed hyperbolic three-manifolds. Experiment. Math., 3(4):261-274, 1994.
William Jaco and J. Hyam Rubinstein. 0-efficient triangulations of 3-manifolds. J. Differential Geom., 65(1):61-168, 2003.
Robion Kirby and Paul Melvin. The 3-manifold invariants of Witten and Reshetikhin-Turaev for sl(2,C). Invent. Math., 105(3):473-545, 1991. URL: http://dx.doi.org/10.1007/BF01232277.
http://dx.doi.org/10.1007/BF01232277
Robion Kirby and Paul Melvin. Local surgery formulas for quantum invariants and the Arf invariant. Geom. Topol. Monogr., pages (7):213-233, 2004. URL: http://dx.doi.org/10.2140/gtm.2004.7.213.
http://dx.doi.org/10.2140/gtm.2004.7.213
Sergei Matveev. Algorithmic Topology and Classification of 3-Manifolds. Number 9 in Algorithms and Computation in Mathematics. Springer, Berlin, 2003.
Sergei Matveev et al. Manifold recognizer. http://www.matlas.math.csu.ru/?page=recognizer, accessed August 2012.
Justin Roberts. Skein theory and Turaev-Viro invariants. Topology, 34(4):771-787, 1995. URL: http://dx.doi.org/10.1016/0040-9383(94)00053-0.
http://dx.doi.org/10.1016/0040-9383(94)00053-0
Vladimir G. Turaev. Quantum Invariants of Knots and 3-Manifolds, volume 18 of de Gruyter Studies in Mathematics. Walter de Gruyter &Co., Berlin, revised edition, 2010. URL: http://dx.doi.org/10.1515/9783110221848.
http://dx.doi.org/10.1515/9783110221848
Vladimir G. Turaev and Oleg Y. Viro. State sum invariants of 3-manifolds and quantum 6j-symbols. Topology, 31(4):865-902, 1992.
Creative Commons Attribution 3.0 Unported license
https://creativecommons.org/licenses/by/3.0/legalcode