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.

Complex analogues of the Tverberg--Vrećica conjecture and central transversal theorems

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

The topological Tverberg problem beyond prime powers

Obstructions to almost complex structures following Massey

Complex-projective and lens product spaces

On a transversal theorem of Montejano and Karasev

The Many Faces of the Subspace Theorem (after Adamczewski, Bugeaud, Corvaja, Zannier...)

Convolution monodromy groups and the Shafarevich conjecture for hypersurfaces in tori

The Wonderful Geometry of the Vandermonde map

Complex Points of Minimal Surfaces in Almost Kähler Manifolds

The Kervaire conjecture and the minimal complexity of surfaces

Errett Bishop theorems on Complex Analytic Sets: Chow's Theorem Revisited and Foliations with all leaves Compact on Kähler Manifolds

The Baum-Connes conjecture, Swan group actions and controlled topology

Toric degenerations and Newton-Okounkov bodies

An Improved Turán Exponent for 2-Complexes

Action of the automorphism group on the Jacobian of Klein's quartic curve II: Invariant theta functions

Super-representations of 3-manifolds and torsion polynomials

Intersecting the torsion of elliptic curves

On normal forms of complex points of small $\mathcal{C}^{2}$-perturbations of real $4$-manifolds embedded in a complex $3$-manifold

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

Gromov-Witten Invariants in Complex and Morava-Local K-Theories