Algorithms and Complexity for Turaev-Viro Invariants

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.

[1]  Paul Melvin,et al.  The 3-manifold invariants of Witten and Reshetikhin-Turaev for sl(2, C) , 1991 .

[2]  Benjamin A. Burton,et al.  Courcelle's theorem for triangulations , 2014, J. Comb. Theory, Ser. A.

[3]  Vladimir Turaev,et al.  State sum invariants of 3 manifolds and quantum 6j symbols , 1992 .

[4]  Sóstenes Lins,et al.  Computing Turaev-Viro invariants for 3-manifolds , 1991 .

[5]  Robert König,et al.  Approximating Turaev-Viro 3-manifold invariants is universal for quantum computation , 2010 .

[6]  Kevin Walker,et al.  On Witten’s 3-manifold Invariants , 2003 .

[7]  Jeffrey R. Weeks,et al.  Symmetries, Isometries and Length Spectra of Closed Hyperbolic Three-Manifolds , 1994, Exp. Math..

[8]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

[9]  Sergei Matveev,et al.  Algorithmic Topology and Classification of 3-Manifolds (Algorithms and Computation in Mathematics) , 2007 .

[10]  Erich Kaltofen,et al.  On fast multiplication of polynomials over arbitrary algebras , 1991, Acta Informatica.

[11]  Bruce Kleiner,et al.  Notes on Perelman's papers , 2006 .

[12]  Ton Kloks.  Treewidth, Computations and Approximations , 1994, Lecture Notes in Computer Science.

[13]  Benjamin A. Burton.  Structures of small closed non-orientable 3-manifold triangulations , 2007 .

[14]  Paul Melvin,et al.  Local surgery formulas for quantum invariants and the Arf invariant , 2004, Geometry and Topology Monographs.

[15]  Seinosuke Toda,et al.  PP is as Hard as the Polynomial-Time Hierarchy , 1991, SIAM J. Comput..

[16]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[17]  Benjamin A. Burton.  Detecting genus in vertex links for the fast enumeration of 3-manifold triangulations , 2011, ISSAC '11.