Verification of the Jones unknot conjecture up to 22 crossings
| Autor: | Adam S. Sikora, Robert E. Tuzun |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Algebra and Number Theory
Conjecture 010102 general mathematics Bracket polynomial Jones polynomial Geometric Topology (math.GT) 0102 computer and information sciences Mathematics::Geometric Topology 01 natural sciences Combinatorics Mathematics - Geometric Topology Knot (unit) 010201 computation theory & mathematics TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY 57M25 57M27 ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION FOS: Mathematics 0101 mathematics Algebraic number Unknot Mathematics |
| Zdroj: | Journal of Knot Theory and Its Ramifications. 27:1840009 |
| ISSN: | 1793-6527 0218-2165 |
| DOI: | 10.1142/s0218216518400096 |
| Popis: | We proved by computer enumeration that the Jones polynomial distinguishes the unknot for knots up to 22 crossings. Following an approach of Yamada, we generated knot diagrams by inserting algebraic tangles into Conway polyhedra, computed their Jones polynomials by a divide-and-conquer method, and tested those with trivial Jones polynomials for unknottedness with the computer program SnapPy. We employed numerous novel strategies for reducing the computation time per knot diagram and the number of knot diagrams to be considered. That made computations up to 21 crossings possible on a single processor desktop computer. We explain these strategies in this paper. We also provide total numbers of algebraic tangles up to 18 crossings and of Conway polyhedra up to 22 vertices. We encountered new unknot diagrams with no crossing-reducing pass moves in our search. We report one such diagram in this paper. 19 pages, Journal of Knot Theory and Its Ramifications, (2018) 27, 1840009 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|