Knottedness is in NP, modulo GRH

@article{Kuperberg2011KnottednessII,
  title={Knottedness is in NP, modulo GRH},
  author={Greg Kuperberg},
  journal={ArXiv},
  year={2011},
  volume={abs/1112.0845}
}
  • G. Kuperberg
  • Published 5 December 2011
  • Mathematics, Computer Science
  • ArXiv
Given a tame knot K presented in the form of a knot diagram, we show that the problem of determining whether K is knotted is in the complexity class NP, assuming the generalized Riemann hypothesis (GRH). In other words, there exists a polynomial-length certificate that can be verified in polynomial time to prove that K is non-trivial. GRH is not needed to believe the certificate, but only to find a short certificate. This result complements the result of Hass, Lagarias, and Pippenger that… 
The efficient certification of knottedness and Thurston norm
We show that the problem of determining whether a knot in the 3-sphere is non-trivial lies in NP. This is a consequence of the following more general result. The problem of determining whether the
Certifying the Thurston Norm via SL(2,C)-twisted Homology
We study when the Thurston norm is detected by twisted Alexander polynomials associated to representations of the 3-manifold group to SL(2, C). Specifically, we show that the hyperbolic torsion
Certifying the Thurston Norm via SL(2,ℂ)-twisted Homology
We study when the Thurston norm is detected by twisted Alexander polynomials associated to representations of the 3-manifold group to SL2C. Specifically, we show that the hyperbolic torsion
Parameterized complexity of untangling knots
TLDR
It is shown that the II− moves in a shortest untangling sequence of Reidemeister moves can be essentially performed greedily and that this problem belongs to W[P] when parameterized by the defect, and is shown to be W,[P]-hard by a reduction from Minimum axiom set.
49 : 2 The Unbearable Hardness of Unknotting 1
We prove that deciding if a diagram of the unknot can be untangled using at most k Reidemeister moves (where k is part of the input) is NP-hard. We also prove that several natural questions regarding
The unbearable hardness of unknotting
Abstract We prove that deciding if a diagram of the unknot can be untangled using at most k Reidemeister moves (where k is part of the input) is NP-hard. We also prove that several natural questions
On the complexity of torus knot recognition
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 ${\sf NP} \cap {\sf co\text{-}NP}$, assuming the
Identifying lens spaces in polynomial time
We show that if a closed, oriented 3-manifold M is promised to be homeomorphic to a lens space L(n,k) with n and k unknown, then we can compute both n and k in polynomial time in the size of the
A Combinatorial Approach to Knot Recognition
TLDR
The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes, including how to determine colorability of a knot.
Embeddability in the 3-Sphere Is Decidable
We show that the following algorithmic problem is decidable: given a 2-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in R3? By a known
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 47 REFERENCES
Non-triviality of the A-polynomial for knots in S^3
The A-polynomial of a knot in S^3 defines a complex plane curve associated to the set of representations of the fundamental group of the knot exterior into SL(2,C). Here, we show that a non-trivial
Noncyclic Covers of Knot Complements
Hempel has shown that the fundamental groups of knot complements are residually finite. This implies that every nontrivial knot must have a finite-sheeted, noncyclic cover. We give an explicit bound,
The computational complexity of knot and link problems
We consider the problem of deciding whether a polygonal knot in 3-dimensional Euclidean space is unknotted, ie., capable of being continuously deformed without self-intersection so that it lies in a
Dehn surgery, the fundamental group and SU(2)
Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the
Hilbert's Nullstellensatz Is in the Polynomial Hierarchy
  • P. Koiran
  • Computer Science, Mathematics
    J. Complex.
  • 1996
TLDR
A new lower bound for unsatisfiable systems is included, and remarks on the Arthur-Merlin class are included, on the problem of deciding whether a system of polynomial equations in several complex variables has a solution.
Every Prime has a Succinct Certificate
  • V. Pratt
  • Mathematics, Computer Science
    SIAM J. Comput.
  • 1975
TLDR
It remains an open problem whether a prime n can be recognized in only $\log _2^\alpha n$ operations of a Turing machine for any fixed $\alpha $.
ELLIPTIC CURVES AND PRIMALITY PROVING
This report describes the theory and implementation of the Elliptic Curve Primality Proving algorithm - ECPP - algorithm. This includes the relationships between representing primes by quadratic
Recognizing trivial links in polynomial time
Trivial links are unique up to number of link components, but they can be hard to recognize from arbitrary diagrams. We define a new measure of the complexity of a link embedding, the crumple, and
Primality testing using elliptic curves
TLDR
A primality proving algorithm—a probablistic primality test that produces short certificates of primality on prime inputs that is based on a new methodology for applying group theory to the problem of prime certification, and the application of this methodology using groups generated by elliptic curves over finite fields.
Riemann's Hypothesis and tests for primality
  • G. Miller
  • Computer Science, Mathematics
    STOC
  • 1975
TLDR
It is shown that primality is testable in time a polynomial in the length of the binary representation of a number, and a partial solution is given to the relationship between the complexity of computing the prime factorization of a numbers, computing the Euler phi function, and computing other related functions.
...
1
2
3
4
5
...