We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Geometric Topology

Title: Unknot Recognition Through Quantifier Elimination

Abstract: Unknot recognition is one of the fundamental questions in low dimensional topology. In this work, we show that this problem can be encoded as a validity problem in the existential fragment of the first-order theory of real closed fields. This encoding is derived using a well-known result on SU(2) representations of knot groups by Kronheimer-Mrowka. We further show that applying existential quantifier elimination to the encoding enables an UnKnot Recogntion algorithm with a complexity of the order $2^{\mathcal{O}(n)}$, where $n$ is the number of crossings in the given knot diagram. Our algorithm is simple to describe and has the same runtime as the currently best known unknot recognition algorithms.
Comments: 11 pages
Subjects: Geometric Topology (math.GT)
MSC classes: Primary 57M25, 03C10, Secondary 11Y16,
Cite as: arXiv:1803.00413 [math.GT]
  (or arXiv:1803.00413v1 [math.GT] for this version)

Submission history

From: T. V. H. Prathamesh [view email]
[v1] Tue, 27 Feb 2018 13:39:35 GMT (27kb,D)

Link back to: arXiv, form interface, contact.