On the complexity of torus knot recognition
From MaRDI portal
Abstract: We show that the problem of recognizing that a knot diagram represents a specific torus knot, or any torus knot at all, is in the complexity class , assuming the generalized Riemann hypothesis. We also show that satellite knot detection is in under the same assumption, and that cabled knot detection and composite knot detection are unconditionally in . Our algorithms are based on recent work of Kuperberg and of Lackenby on detecting knottedness.
Recommendations
Cites work
- 1-bridge braids in solid tori
- A polynomial upper bound on Reidemeister moves
- Algorithmic topology and classification of 3-manifolds
- Algorithms for the complete decomposition of a closed 3-manifold
- An algebraic classification of knots in S^3
- An upper bound on Reidemeister moves
- Decision problems in the space of Dehn fillings
- Dehn surgery, the fundamental group and \(\operatorname{SU}(2)\)
- Eine Kennzeichnung der Torusknoten
- Finding the number of factors of a polynomial
- Hilbert's Nullstellensatz is in the polynomial hierarchy
- Homotopy equivalences of 3-manifolds with boundaries
- scientific article; zbMATH DE number 3563269 (Why is no real title available?)
- scientific article; zbMATH DE number 3640527 (Why is no real title available?)
- scientific article; zbMATH DE number 1092415 (Why is no real title available?)
- scientific article; zbMATH DE number 4121031 (Why is no real title available?)
- scientific article; zbMATH DE number 3205927 (Why is no real title available?)
- scientific article; zbMATH DE number 3308981 (Why is no real title available?)
- Integer homology 3-spheres admit irreducible representations in \(\mathrm{SL}(2,{\mathbb C})\)
- Knots are Determined by Their Complements
- Knots.
- Knottedness is in NP, modulo GRH
- Modern computer algebra
- Non-trivial positive braids have positive signature
- On the classification of homeomorphisms of 2-manifolds and the classification of 3-manifolds
- On the signature of a link
- PL equivariant surgery and invariant decompositions of 3-manifolds
- Seifert fibered spaces in 3-manifolds
- Sphere recognition lies in NP
- Surgery on knots in solid tori
- The computational complexity of basic decision problems in 3-dimensional topology
- The computational complexity of knot and link problems
- The computational complexity of knot genus and spanning area
- The efficient certification of knottedness and Thurston norm
- The knots in \(D^ 2\times S^ 1\) which have nontrivial Dehn surgeries that yield \(D^ 2\times S^ 1\)
- Theorie der Normalflächen. Ein Isotopiekriterium für den Kreisknoten
- Three dimensional manifolds, Kleinian groups and hyperbolic geometry
- Triangulations of fibre-free Haken 3-manifolds
- Varieties of group representations and splittings of 3-manifolds
- Über das Homöomorphieproblem der 3-Mannigfaltigkeiten. I
Cited in
(7)- Unknotting is in \(\mathsf{AM} \cap \mathsf{co-AM}\)
- RECOGNIZING TEXTILE STRUCTURES BY FINITE TYPE KNOT INVARIANTS
- Recognition algorithms in knot theory
- Low complexity algorithms in knot theory
- The computational complexity of classical knot recognition
- Recognition of Seifert fibered spaces with boundary is in NP
- A practical algorithm for knot factorisation
This page was built for publication: On the complexity of torus knot recognition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3120516)
