Related papers: Towards a complexity-theoretic dichotomy for TQFT …

We prove a complexity dichotomy theorem for the six-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomial time or #P-hard. The dichotomy criterion is…

Let $(V,Z)$ be a Topological Quantum Field Theory over a field $f$ defined on a cobordism category whose morphisms are oriented $n+1$-manifolds perhaps with extra structure. Let $(M,\chi)$ be a closed oriented $n+1$-manifold $M$ with this…

We discuss a variety of codimension-one, non-invertible topological defects in general 3+1d QFTs with a discrete one-form global symmetry. These include condensation defects from higher gauging of the one-form symmetries on a…

A faithful $(1+1)$ TQFT has recently been constructed, but the existence of a faithful $(2+1)$ TQFT remains an open question, that subsumes the hard problem of linearity of mapping class groups of surfaces. To circumvent the latter problem…

A shaped triangulation is a finite triangulation of an oriented pseudo three manifold where each tetrahedron carries dihedral angles of an ideal hyberbolic tetrahedron. To each shaped triangulation, we associate a quantum partition function…

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…

Reshetikhin-Turaev (a.k.a. Chern-Simons) TQFT is a functor that associates vector spaces to two-dimensional genus g surfaces and linear operators to automorphisms of surfaces. The purpose of this paper is to demonstrate that there exists a…

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…

In this paper, we present the next step in the proof that $Z_{TV,\C} = Z_{RT, Z(\C)}$, namely that the theories give the same 3-manifold invariants. In future papers we will show that this equality extends to an equivalence of TQFTs.

In this paper we prove the Dichotomy Conjecture on the complexity of nonuniform constraint satisfaction problems posed by Feder and Vardi.

The aim of this note is to derive some invariants at infinity for open 3-manifolds in the framework of Topological Quantum Field Theories. These invariants may be used to test if an open manifold is simply connected at infinity as we done…

We construct families of TQFT's over the finite field Z/pZ starting from an integral TQFT obtained by Frohman and Nicas. These TQFT's are likely to describe the constant order contributions of the cyclotomic integer expansions of the…

Short-range entangled topological phases of matter are closely connected to Topological Quantum Field Theory. We use this connection to classify bosonic Symmetry Protected Topological Phases in low dimensions, including the case when the…

We calculate the knot invariant coming from the Teichm\"{u}ller TQFT [AK1]. Specifically we calculate the knot invariant for the complement of the knot $6_1$ both in the original [AK1] and the new formulation of the Teichm\"{u}ller TQFT…

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…

We explicitly show that the new polynomial invariants for knots, upto nine crossings, agree with the Ooguri-Vafa conjecture relating Chern-Simons gauge theory to topological string theory on the resolution of the conifold.

We derive a canonical form for 2-group gauge theory in 3+1D which shows they are either equivalent to Dijkgraaf-Witten theory or to the so-called "EF1" topological order of Lan-Wen. According to that classification, recently argued from a…

We define a relative version of the Turaev-Viro invariants for an ideally triangulated compact 3-manifold with non-empty boundary and a coloring on the edges, generalizing the Turaev-Viro invariants [35] of the manifold. We also propose the…

We give a complexity dichotomy theorem for the counting Constraint Satisfaction Problem (#CSP in short) with complex weights. To this end, we give three conditions for its tractability. Let F be any finite set of complex-valued functions,…

We develop several methods that allow us to compute all-loop partition functions in perturbative Chern-Simons theory with complex gauge group G_C, sometimes in multiple ways. In the background of a non-abelian irreducible flat connection,…