𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The parametrized complexity of knot polynomials

✍ Scribed by J.A. Makowsky; J.P. Mariño


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
195 KB
Volume
67
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

✦ Synopsis


We study the parametrized complexity of the knot (and link) polynomials known as Jones polynomials, Kauffman polynomials and HOMFLY polynomials. It is known that computing these polynomials is xP hard in general. We look for parameters of the combinatorial presentation of knots and links which make the computation of these polynomials to be fixed parameter tractable, i.e., in the complexity class FPT. If the link is explicitly presented as a closed braid, the number of its strands is known to be such a parameter. In a generalization thereof, if the link is explicitly presented as a combination of compositions and rotations of k-tangles the link is called k-algebraic, and its algebraicity k is such a parameter. The previously known proofs that, for this parameter, the link polynomials are in FPT uses the so called skein modules, and is algebraic in its nature. Furthermore, it is not clear how to find such an algebraic presentation from a given link diagram. We look at the treewidth of two combinatorial presentation of links: the crossing diagram and its shading diagram, a signed graph. We show that the treewidth of these two presentations and the algebraicity of links are all linearly related to each other. Furthermore, we characterize the k-algebraic links using the pathwidth of the crossing diagram. Using this, we can apply algorithms for testing fixed treewidth to find k-algebraic presentations in polynomial time. From this we can conclude that also treewidth and pathwidth are parameters of link diagrams for which the knot polynomials are FPT. For the Kauffman and Jones polynomials (but not for the HOMFLY polynomials) we get also a different proof for FPT via the corresponding result for signed Tutte polynomials.


📜 SIMILAR VOLUMES


The Jones polynomial of pretzel knots an
✍ Ryan A. Landvoy 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 708 KB

A formula for the Jones polynomial of pretzel knots and links is constructed using Kauffman's state model of the Jones polynomial. A computer program in Maple, which is given for calculations of these polynomials is also used to show that an infinite class of pretzel knots with trivial Alexander pol

Test complexity of generic polynomials
✍ Peter Bürgisser; Thomas Lickteig; Michael Shub 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 595 KB
On the Deterministic Complexity of Facto
✍ Shuhong Gao 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 345 KB

The paper focuses on the deterministic complexity of factoring polynomials over finite fields assuming the extended Riemann hypothesis (ERH). By the works of and , the general problem reduces deterministically in polynomial time to finding a proper factor of any squarefree and completely splitting