Abstract
The Turaev-Viro invariants are a powerful family of topological invariants for distinguishing between different 3-manifolds. They are invaluable for mathematical software, but current algorithms to compute them require exponential time.
The invariants are parameterised by an integer \(r \ge 3\). We resolve the question of complexity for \(r=3\) and \(r=4\), giving simple proofs that computing Turaev-Viro invariants for \(r=3\) is polynomial time, but for \(r=4\) is #P-hard. Moreover, we give an explicit fixed-parameter tractable algorithm for arbitrary \(r\), and show through concrete implementation and experimentation that this algorithm is practical—and indeed preferable—to the prior state of the art for real computation.
A full version of this article is available at arXiv:1503.04099.
J. Spreer—Supported by the Australian Research Council (projects DP1094516, DP140104246).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alagic, G., Jordan, S.P., König, R., Reichardt, B.W.: Estimating Turaev-Viro three-manifold invariants is universal for quantum computation. Physical Review A 82(4), 040302(R) (2010)
Bodlaender, H.L., Koster, A.M.C.A.: Treewidth computations. I. Upper bounds. Inform. and Comput. 208(3), 259–275 (2010)
Burton, B.A.: Structures of small closed non-orientable 3-manifold triangulations. J. Knot Theory Ramifications 16(5), 545–574 (2007)
Burton, B.A.: Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations. In: ISSAC 2011: Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation, pp. 59–66. ACM (2011)
Burton, B.A., Budney, R., Pettersson, W., et al.: Regina: Software for 3-manifold topology and normal surface theory. http://regina.sourceforge.net/
Burton, B.A., Downey, R.G.: Courcelle’s theorem for triangulations, March 2014. arXiv:1403.2926 (Preprint)
van Dijk, T., van den Heuvel, J.P., Slob, W.: Computing treewidth with LibTW (2006). http://www.treewidth.com
Hodgson, C.D., Weeks, J.R.: Symmetries, isometries and length spectra of closed hyperbolic three-manifolds. Experiment. Math. 3(4), 261–274 (1994)
Kauffman, L.H., Lins, S.: Computing Turaev-Viro invariants for \(3\)-manifolds. Manuscripta Math. 72(1), 81–94 (1991)
Kirby, R., Melvin, P.: The \(3\)-manifold invariants of Witten and Reshetikhin-Turaev for sl(2, C). Invent. Math. 105(3), 473–545 (1991)
Kirby, R., Melvin, P.: Local surgery formulas for quantum invariants and the Arf invariant. Geom. Topol. Monogr. 7, 213–233 (2004) (Geom. Topol. Publ.)
Kleiner, B., Lott, J.: Notes on Perelman’s papers. Geom. Topol. 12(5), 2587–2855 (2008)
Kloks, T.: Treewidth: Computations and Approximations, vol. 842. Springer, Heidelberg (1994)
Matveev, S.: Algorithmic Topology and Classification of 3-Manifolds. No. 9 in Algorithms and Computation in Mathematics. Springer, Heidelberg (2003)
Matveev, S., et al.: Manifold recognizer. http://www.matlas.math.csu.ru/
Munkres, J.R.: Elements of algebraic topology. Addison-Wesley (1984)
Robertson, N., Seymour, P.D.: Graph minors. II. Algorithmic aspects of tree-width. J. Algorithms 7(3), 309–322 (1986)
Toda, S.: PP is as hard as the polynomial-time hierarchy. SIAM J. Comput. 20(5), 865–877 (1991)
Turaev, V.G., Viro, O.Y.: State sum invariants of \(3\)-manifolds and quantum \(6j\)-symbols. Topology 31(4), 865–902 (1992)
Valiant, L.G.: The complexity of computing the permanent. Theor. Comput. Sci. 8, 189–201 (1979)
Walker, K.: On Witten’s 3-manifold invariants (1991). http://canyon23.net/math/
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burton, B.A., Maria, C., Spreer, J. (2015). Algorithms and Complexity for Turaev-Viro Invariants. In: Halldórsson, M., Iwama, K., Kobayashi, N., Speckmann, B. (eds) Automata, Languages, and Programming. ICALP 2015. Lecture Notes in Computer Science(), vol 9134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-47672-7_23
Download citation
DOI: https://doi.org/10.1007/978-3-662-47672-7_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-47671-0
Online ISBN: 978-3-662-47672-7
eBook Packages: Computer ScienceComputer Science (R0)