Related papers: An algorithm for Tambara-Yamagami quantum invarian…
In this article, we introduce a fixed parameter tractable algorithm for computing the Turaev-Viro invariants TV(4,q), using the dimension of the first homology group of the manifold as parameter. This is, to our knowledge, the first…
Quantum invariants in low dimensional topology offer a wide variety of valuable invariants of knots and 3-manifolds, presented by explicit formulas that are readily computable. Their computational complexity has been actively studied and is…
We define a family of quantum invariants of closed oriented $3$-manifolds using spherical multi-fusion categories. The state sum nature of this invariant leads directly to $(2+1)$-dimensional topological quantum field theories…
We define a Turaev-Viro-Barrett-Westbury state sum model of triangulated 3-manifolds with surface, line and point defects. Surface defects are oriented embedded 2d PL submanifolds and are labeled with bimodule categories over spherical…
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…
The computational complexity class #P captures the difficulty of counting the satisfying assignments to a boolean formula. In this work, we use basic tools from quantum computation to give a proof that the SO(3) Witten-Reshetikhin-Turaev…
Quantum topological invariants have played an important role in computational topology, and they are at the heart of major modern mathematical conjectures. In this article, we study the experimental problem of computing large $r$ values of…
Any triple $(W,L,\rho)$, where $W$ is a compact closed oriented 3-manifold, $L$ is a link in $W$ and $\rho$ is a flat principal $B$-bundle over $W$ ($B$ is the Borel subgroup of upper triangular matrices of $SL(2,\mc)$), can be encoded by…
Turaev Viro invariants are amongst the most powerful tools to distinguish 3-manifolds: They are implemented in mathematical software, and allow practical computations. The invariants can be computed purely combinatorially by enumerating…
Computing topological invariants of 3-manifolds is generally intractable, yet specialized algebraic structures can enable efficient algorithms. For Witten-Reshetikhin-Turaev (WRT) invariants of torus bundles, we exploit the non-commutative…
One of the apparent advantages of quantum computers over their classical counterparts is their ability to efficiently contract tensor networks. In this article, we study some implications of this fact in the case of topological tensor…
The Turaev-Viro invariants are scalar topological invariants of compact, orientable 3-manifolds. We give a quantum algorithm for additively approximating Turaev-Viro invariants of a manifold presented by a Heegaard splitting. The algorithm…
In this paper we construct invariants of 3-manifolds "\`a la Reshetikhin-Turaev" in the setting of non-semi-simple ribbon tensor categories. We give concrete examples of such categories which lead to a family of 3-manifold invariants…
We prove exact complexity dichotomies for two quantum invariants of closed oriented three-manifolds, with the categorical data fixed. For a modular category $\mathcal{C}$, computing the Reshetikhin--Turaev invariant $Z_{\mathcal{C}}(M)$…
The Turaev-Viro invariant for a closed 3-manifold is defined as the contraction of a certain tensor network. The tensors correspond to tetrahedra in a triangulation of the manifold, with values determined by a fixed spherical category. For…
Certain quantum topological invariants of three manifolds can be written in the form of the Gaussian sum. It is shown that such topological invariants can be approximated efficiently by a quantum computer. The invariants discussed here are…
We study the invariants of spin networks embedded in a three-dimensional manifold which are based on the path integral for SU(2) BF-Theory. These invariants appear naturally in Loop Quantum Gravity, and have been defined as spin-foam state…
In the prequel of this paper, Kauffman and Ogasa introduced new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed…
A family of TQFTs parametrised by G-crossed braided spherical fusion categories has been defined recently as a state sum model and as a Hamiltonian lattice model. Concrete calculations of the resulting manifold invariants are scarce because…
We construct a new type of quantum invariant of closed framed $3$-manifolds with the vanishing first Betti number. The invariant is defined for any finite dimensional Hopf algebra, such as small quantum groups, and is based on ideal…