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

We consider the Witten-Reshetikhin-Turaev invariants or Chern-Simons partition function at or around roots of unity $q=e^{2\pi i \frac{1}{K}}$ with rational level $K=\frac{r}{s}$ where $r$ and $s$ are coprime integers. From the exact…

Partition functions, also known as homomorphism functions, form a rich family of graph invariants that contain combinatorial invariants such as the number of k-colourings or the number of independent sets of a graph and also the partition…

If $C$ is a spherical fusion category, the string-net construction associates to each closed oriented surface $\Sigma$ the vector space $Z_\text{SN}(\Sigma)$ of linear combinations of $C$-labelled graphs on $\Sigma$ modulo local relations,…

We consider the moduli space of the McKay quiver representations associated to the binary polyhedral groups G < SU(2) < SU(3). The derived category of such representations is equivalent to the derived category of coherent sheaves on the…

This paper gives a definition of an extended topological quantum field theory (TQFT) as a weak 2-functor Z: nCob_2 -> 2Vect, by analogy with the description of a TQFT as a functor Z: nCob -> Vect. We also show how to obtain such a theory…

We prove that the problem of deciding whether a 2- or 3-dimensional simplicial complex embeds into $\mathbb{R}^3$ is NP-hard. Our construction also shows that deciding whether a 3-manifold with boundary tori admits an $\mathbb{S}^{3}$…

We obtain generalizations of some results of Turaev relating leading order terms of the Turaev torsion of closed, oriented, connected 3-manifolds to certain ``determinants'' derived from cohomology operations such as the alternate trilinear…

The Tambara-Yamagami (TY) fusion category symmetry $\text{TY}(\mathbb{A},\chi,\epsilon)$ describes the enhanced non-invertible self-duality symmetry of a $2$-dim QFT under gauging a finite Abelian group $\mathbb{A}$. We generalize the…

We investigate the conjectural relations between the Reshetikhin-Turaev-Witten quantum SU(2) invariants and the volume of hyperbolic 3-manifolds. Given a finite set of sufficiently large positive integers, say J, we construct examples of…

We find further evidence for the conjecture relating large N Chern-Simons theory on S^3 with topological string on the resolved conifold geometry by showing that the Wilson loop observable of a simple knot on S^3 (for any representation)…

We prove a complexity dichotomy theorem for the eight-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…

We study the complexity of the Distributed Constraint Satisfaction Problem (DCSP) on a synchronous, anonymous network from a theoretical standpoint. In this setting, variables and constraints are controlled by agents which communicate with…

The universal Vassiliev-Kontsevich invariant is a functor from the category of tangles to a certain graded category of chord diagrams, compatible with the Vassiliev filtration and whose associated graded is an isomorphism. The Vassiliev…

We propose a program for bridging the gap between the perturbative BV-BFV quantization of Chern-Simons theory and the non-perturbative Reshetikhin-Turaev (RT) invariants of 3-manifolds, passing through factorization homology of…

We construct polynomial conformal invariants, the vanishing of which is necessary and sufficient for an $n$-dimensional suitably generic (pseudo-)Riemannian manifold to be conformal to an Einstein manifold. We also construct invariants…

We describe the simplest non-trivial modular category $\mathfrak{E}$ with two simple objects. Then we extract from this category the invariant for non-oriented links in 3-sphere and two invariants for 3-manifolds: the complex-valued Turaev…

We investigate the Constraint Satisfaction Problem (CSP) over templates with a group structure, and algorithms solving CSP that are equivariant, i.e. invariant under a natural group action induced by a template. Our main result is a method…

In pursuit of a deeper understanding of Boolean Promise Constraint Satisfaction Problems (PCSPs), we identify a class of problems with restricted structural complexity, which could serve as a promising candidate for complete…

We prove that a rational linear combination of Chern numbers is an oriented diffeomorphism invariant of smooth complex projective varieties if and only if it is a linear combination of the Euler and Pontryagin numbers. In dimension at least…

We create Resthetikhin-Turaev topological invariants of closed orientable three-manifolds from the quantum supergroup U_q(osp(1|2n)) at certain even roots of unity. To construct the invariants we develop tensor product theorems for finite…