A Combinatorial Approach to Knot Recognition

This is a report on our ongoing research on a combinatorial approach to knot recognition, using coloring of knots by certain algebraic objects called quandles. 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. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. The computational complexity of the problem, both in theory and in our implementation, is discussed. In the last part, we explain how coloring can be utilized in knot recognition.

[1]  Louis H. Kauffman,et al.  Unknotting Unknots , 2010, Am. Math. Mon..

[2]  Sam Nelson.  The Combinatorial Revolution in Knot Theory , 2011 .

[3]  Daniel S. Silver,et al.  Knot theory's odd origins , 2006 .

[4]  S. Matveev.  DISTRIBUTIVE GROUPOIDS IN KNOT THEORY , 1984 .

[5]  Ronald C. Read,et al.  The knot book: An elementary introduction to the mathematical theory of knots , 1997, Complex..

[6]  M. Lackenby.  A polynomial upper bound on Reidemeister moves , 2013, 1302.0180.

[7]  Dorothy Buck,et al.  Applications of Knot Theory (Proceedings of Symposia in Applied Mathematics) , 2009 .

[8]  J. Murakami,et al.  Problems on invariants of knots and 3-manifolds , 2004, math/0406190.

[9]  David Joyce,et al.  A classifying invariant of knots, the knot quandle , 1982 .

[10]  Yongju Bae,et al.  Coloring link diagrams by Alexander quandles , 2011, 1105.3695.

[11]  Jeffrey C. Lagarias,et al.  The computational complexity of knot and link problems , 1999, JACM.

[12]  Masahico Saito,et al.  Quandle coloring and cocycle invariants of composite knots and abelian extensions. , 2014, Journal of knot theory and its ramifications.

[13]  Greg Kuperberg,et al.  Knottedness is in NP, modulo GRH , 2011, ArXiv.

[14]  Nicolas Andruskiewitsch,et al.  From racks to pointed Hopf algebras , 2002, math/0202084.

[15]  Alexander Hulpke,et al.  Connected quandles and transitive groups , 2014, 1409.2249.

[16]  Iain Moffatt,et al.  Applications to Knot Theory , 2013 .

[17]  Mohamed Elhamdadi,et al.  Quandle colorings of knots and applications. , 2013, Journal of knot theory and its ramifications.

[18]  Benoît Larose,et al.  Taylor Terms, Constraint Satisfaction and the Complexity of Polynomial Equations over Finite Algebras , 2006, Int. J. Algebra Comput..

[19]  Andrew Fish,et al.  Detecting Unknots via Equational Reasoning, I: Exploration , 2014, CICM.