Abstract:Quantum topology provides various frameworks for defining and computing invariants of manifolds inspired by quantum theory. One such framework of substantial interest in both mathematics and physics is the Turaev-Viro-Barrett-Westbury state sum construction, which uses the data of a spherical fusion category to define topological invariants of triangulated 3-manifolds via tensor network contractions. In this work we analyze the computational complexity of state sum invariants of 3-manifolds derived from Tambara-Yamagami categories. While these categories are the simplest source of state sum invariants beyond finite abelian groups (whose invariants can be computed in polynomial time) their computational complexities are yet to be fully understood. We first establish that the invariants arising from even the smallest Tambara-Yamagami categories are #P-hard to compute, so that one expects the same to be true of the whole family. Our main result is then the existence of a fixed parameter tractable algorithm to compute these 3-manifold invariants, where the parameter is the first Betti number of the 3-manifold with Z/2Z coefficients. Contrary to other domains of computational topology, such as graphs on surfaces, very few hard problems in 3-manifold topology are known to admit FPT algorithms with a topological parameter. However, such algorithms are of particular interest as their complexity depends only polynomially on the combinatorial representation of the input, regardless of size or combinatorial width. Additionally, in the case of Betti numbers, the parameter itself is computable in polynomial time. Thus while one generally expects quantum invariants to be hard to compute classically, our results suggest that the hardness of computing state sum invariants from Tambara-Yamagami categories arises from classical 3-manifold topology rather than the quantum nature of the algebraic input.

A proof of the Teichmüller TQFT volume conjecture for $7_3$ knot

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Volume conjecture for $SU(n)$-invariants

Quantum modularity for a closed hyperbolic 3-manifold

Constructions of $q$-hyperbolic knots

On the Volume Conjecture for hyperbolic Dehn-filled 3-manifolds along the twist knots

Generalized Bonahon-Wong-Yang volume conjecture of quantum invariants of surface diffeomorphisms I: the figure eight knot complement

Proof of Volume Conjecture for twist knots

Complexified tetrahedrons, fundamental groups, and volume conjecture for double twist knots

Pants complex, TQFT and hyperbolic geometry

On A Proof of the ADKMV Conjecture

Perturbative invariants of cusped hyperbolic 3-manifolds

Kauffman bracket intertwiners and the volume conjecture

3-Alterfolds and Quantum Invariants

The Andersen-Kashaev volume conjecture for FAMED geometric triangulations

A Proof of the Full Marino-Vafa Conjecture

Topological invariants of three-manifolds from U_q(osp(1|2n))

An algorithm for Tambara-Yamagami quantum invariants of 3-manifolds, parameterized by the first Betti number

Topological entanglement entropy for torus knot bipartitions and the Verlinde-like formulas

Turaev-Viro invariants, colored Jones polynomials and volume

$q$-Series Invariants of Three-Manifolds and Knots-Quivers Correspondence