Related papers: Parameterized complexity of quantum invariants
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…
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…
We derive an inductive, combinatorial definition of a polynomial-valued regular isotopy invariant of links and tangled graphs. We show that the invariant equals the Reshetikhin-Turaev invariant corresponding to the exceptional simple Lie…
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)$…
In GT/0006019 oriented quantum algebras were motivated and introduced in a natural categorical setting. Invariants of knots and links can be computed from oriented quantum algebras, and this includes the Reshetikhin-Turaev theory for Ribbon…
Many polynomial invariants of knots and links, including the Jones and HOMFLY-PT polynomials, are widely used in practice but #P-hard to compute. It was shown by Makowsky in 2001 that computing the Jones polynomial is fixed-parameter…
By considering spaces of directed Jacobi diagrams, we construct a diagrammatic version of the Etingof-Kazhdan quantization of complex semisimple Lie algebras. This diagrammatic quantization is used to provide a construction of a directed…
In this paper we give a re-normalization of the Reshetikhin-Turaev quantum invariants of links, by modified quantum dimensions. In the case of simple Lie algebras these modified quantum dimensions are proportional to the usual quantum…
We study here several variants of the covariates fine balance problem where we generalize some of these problems and introduce a number of others. We present here a comprehensive complexity study of the covariates problems providing…
A Gauss diagram is a simple, combinatorial way to present a knot. It is known that any Vassiliev invariant may be obtained from a Gauss diagram formula that involves counting (with signs and multiplicities) subdiagrams of certain…
A quantum algorithm for approximating efficiently 3--manifold topological invariants in the framework of SU(2) Chern-Simons-Witten (CSW) topological quantum field theory at finite values of the coupling constant k is provided. The model of…
We discuss multivariable invariants of colored links associated with the $N$-dimensional root of unity representation of the quantum group. The invariants for $N>2$ are generalizations of the multi-variable Alexander polynomial. The…
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…
We define invariants for a framed link equipped with a SL2 local system in its complement and additional combinatorial data based on the theory of representations of stated skein algebras at roots of unity of punctured bigons and the…
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 consider the problem of finding a 1-planar drawing for a general graph, where a 1-planar drawing is a drawing in which each edge participates in at most one crossing. Since this problem is known to be NP-hard we investigate the…
We review the Reshetikhin-Turaev approach to construction of non-compact knot invariants involving R-matrices associated with infinite-dimensional representations, primarily those made from Faddeev's quantum dilogarithm. The corresponding…
The usual construction of link invariants from quantum groups applied to the superalgebra D_{2 1,alpha} is shown to be trivial. One can modify this construction to get a two variable invariant. Unusually, this invariant is additive with…
We consider the parameterised complexity of several list problems on graphs, with parameter treewidth or pathwidth. In particular, we show that List Edge Chromatic Number and List Total Chromatic Number are fixed parameter tractable,…
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…