# 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} }

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…

## Topics from this paper

## 64 Citations

The efficient certification of knottedness and Thurston norm

- Mathematics
- 2016

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

- Mathematics
- 2019

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

- Mathematics
- 2020

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

- Computer Science, MathematicsArXiv
- 2021

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

- 2019

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

- Mathematics
- 2021

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

- MathematicsTransactions of the American Mathematical Society
- 2018

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

- Mathematics, Physics
- 2015

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

- Mathematics, Computer ScienceEGC
- 2015

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

- Mathematics, Computer ScienceJ. ACM
- 2018

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…

## References

SHOWING 1-10 OF 47 REFERENCES

Non-triviality of the A-polynomial for knots in S^3

- Mathematics
- 2004

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

- Mathematics
- 2005

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

- Mathematics, Computer ScienceJACM
- 1999

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)

- Mathematics
- 2003

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

- Computer Science, MathematicsJ. Complex.
- 1996

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

- Mathematics, Computer ScienceSIAM J. Comput.
- 1975

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

- Mathematics
- 1993

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

- Mathematics
- 2011

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

- Mathematics, Computer ScienceJACM
- 1999

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

- Computer Science, MathematicsSTOC
- 1975

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.