GEOTOP-A International Conference (1/11/24)

The Tanglenomicon

Zachary Bryhtan, Nicholas Connolly, Isabel Darcy, Ethan Rooke, Joseph Starr*

Mathematics Department at The University of Iowa

Knot Tables

  • 1860’s Tait computes knots up to 7 crossing
    • 15 knots
  • 1870’s Tait, Kirkman, and Little compute knots up to 10 crossing
    • Takes about 25 years
    • 250 knots
  • 1960’s Conway computes knots up to 11 crossings
    • “A few hours”
    • 802 knots
  • 1980’s Dowker and Thistlethwaite compute up to 13 crossings
    • First using a computer
    • 12,966
  • 1990’s Hoste, Thistlethwaite, and Weeks compute up to 16 crossings
    • Computer runtime on the order of weeks
    • 1,701,936
  • 2020’s Burton computes up to 19 crossings
    • 350 Million

KnotInfo

Conway

How did Conway compute 25 years of work in "a few hours"?

Tangles

“We define a tangle as a portion of a knot diagram from which there emerge just 4 arcs pointing in the compass directions NW, NE, SW, SE.”

Conway, J.H. “An Enumeration of Knots and Links, and Some of Their Algebraic Properties.” In Computational Problems in Abstract Algebra, 329-58. Elsevier, 1970. https://doi.org/10.1016/B978-0-08-012975-4.50034-5

$\quad$
$\quad$
NWNESWSE
$\quad$
$\quad$
$\quad$

Basic Operations

Operation $+$

$+$
$=$
$=$
$=$
$2$

Operation $\vee$

$\vee$
$=$
$=$
$=$
$\frac{1}{2}$

The Tanglenomicon

The table of two string tangles

Building up

$\ $
$\ $
$\ $
$\ $

Where we are

Rational Tangles

$\ $
$\begin{aligned}\to&\ \LP 3 \vee \frac{1}{2}\RP + 2\\&\\ \to&\ [3\ 2\ 2]\end{aligned}$

Generation

For any $N$ an obvious twist vector is the twist vector of all $1$s $$[1\ 1\ 1\ \cdots\ 1]$$ Noting that when we write this sequence, we have $N-1$ spaces.

If we choose to place a $+$ instead of the left most space we get $$[1+1\ 1\ \cdots\ 1]=[2\ 1\ \cdots\ 1]$$ we’re free to make this choice for each space

this gives $N-1$ choices between ‘$+$’ and space $$[1\square 1\square 1\square\cdots\square1]$$ letting us generate twist vectors by simply counting from $0\to 2^{N-1}$.

Twist Vectors for $N=5$
$$\begin{array}{|l|l|l|l|} \hline [1\ 1\ 1\ 1\ 1]\ &\ [2\ 1\ 1\ 1]\ &\ [1\ 2\ 1\ 1]\ &\ [1\ 1\ 2\ 1]\\\hline [1\ 1\ 1\ 2]\ &\ [3\ 1\ 1]\ &\ [1\ 3\ 1]\ &\ [1\ 1\ 3]\\\hline [2\ 2\ 1]\ &\ [2\ 1\ 2]\ &\ [1\ 2\ 2]\ &\ [3\ 2]\\\hline [2\ 3]\ &\ [4\ 1]\ &\ [1\ 4]\ &\ [5]\\\hline \end{array}$$

Canonical Twist Vectors

We can write a canonical twist vector by taking the odd length vectors (appending $0$ where needed).

Canonical Twist Vectors for $N=5$
$$\begin{array}{|l|l|l|l|} \hline [1\ 1\ 1\ 1\ 1]\ &\ [2\ 1\ 1\ 1\ 0]\ &\ [1\ 2\ 1\ 1\ 0]\ &\ [1\ 1\ 2\ 1\ 0]\\\hline [1\ 1\ 1\ 2\ 0]\ &\ [3\ 1\ 1]\ &\ [1\ 3\ 1]\ &\ [1\ 1\ 3]\\\hline [2\ 2\ 1]\ &\ [2\ 1\ 2]\ &\ [1\ 2\ 2]\ &\ [3\ 2\ 0]\\\hline [2\ 3\ 0]\ &\ [4\ 1\ 0]\ &\ [1\ 4\ 0]\ &\ [5]\\\hline \end{array}$$

Computations

Rational Number (continued fraction)

The rational number for a twist vector is computed by taking the twist vector as a finite continued fraction that is: $$\LB a\ b\ c\RB=c+\frac{1}{b+\frac{1}{a}}$$

Twist Vector to rational number
$$\ =\LB 3\ 2\ 2\RB=2+\frac{1}{2+\frac{1}{3}}=\frac{17}{7}$$

Louis H. Kauffman and Sofia Lambropoulou. Classifying and applying rational knots and rational tangles. In DeTurck, editor, Contemporary Mathematics, volume 304, pages 223-259, 2001

Using The Tanglenomicon

Where we’re going

Montesinos

Existence of canonical diagrams for Montesinos tangles

Theorem (Bonahon and Siebenmann)
Every non-rational Montesinos tangle $T$ admits a canonical diagram satisfying the following construction: $$T \cong L_1+\cdots+L_m+\frac{k}{1}$$ where each $L_i \cong \frac{p_i}{q_i}$ is a rational subtangle in canonical form with fraction satisfying $0<\frac{p_i}{q_i}<1$, and $\frac{k}{1}$ is a horizontal integer subtangle.

F. Bonahon and L. Siebenmann, New geometric splittings of classical knots, and the classification and symmetries of arborescent knots, http://www-bcf.usc.edu/~fbonahon/Research/Publications.html

$+$
$=$
$$\ =\ $$
$$=[3\ 2\ 0] + [3\ 2\ 0]$$

Generation

The Montesinos tangles of crossing number $N$ have a slightly simpler generation strategy compared to rational tangles. We again generate twist vectors but require that each entry $e$ of the twist vector satisfies $2\leq e < N.$ We call these restricted set of twist vectors stencils.

Stencils for $N=5$
$$\begin{array}{|l|l|l|l|} \hline [1\ 1\ 1\ 1\ 1]\ &\ [2\ 1\ 1\ 1]\ &\ [1\ 2\ 1\ 1]\ &\ [1\ 1\ 2\ 1]\\\hline [1\ 1\ 1\ 2]\ &\ [3\ 1\ 1]\ &\ [1\ 3\ 1]\ &\ [1\ 1\ 3]\\\hline [2\ 2\ 1]\ &\ [2\ 1\ 2]\ &\ [1\ 2\ 2]\ &\ [3\ 2]\\\hline [2\ 3]\ &\ [4\ 1]\ &\ [1\ 4]\ &\ [5]\\\hline \end{array}$$

Now for each entry $e_i$ of the stencil, we generate a list of rational tangles of crossing number equal to $e_i$, with the restriction $0<\frac{p_i}{q_i}<1$. We then take all combinations of elements of these lists.

Montesinos tangles for $N=5$
\begin{array}{|l|} \hline \text{Rational Tangles CN: }2 \\\hline [1\ 1\ 0]=\frac{1}{2},\ [2]=\frac{2}{1} \ \\\hline \text{Rational Tangles CN: }3\\\hline [1\ 2\ 0]=\frac{1}{3},\ [2\ 1\ 0]=\frac{2}{3},\ [3]=\frac{3}{1}\\\hline \end{array}
$\quad$
\begin{array}{|l|l|} \hline \color{var(--r-Purple)}\text{Stencil:}[3\ 2]\ &\ \\\hline \color{var(--r-Foreground)}[1\ 2\ 0] + [1\ 1\ 0]\ &\ [2\ 1\ 0] + [1\ 1\ 0]\\\hline \color{var(--r-Purple)}\text{Stencil:}[2\ 3]\\\hline \color{var(--r-Foreground)}[1\ 1\ 0] + [1\ 2\ 0]\ &\ [1\ 1\ 0] + [2\ 1\ 0]\\\hline \end{array}

What about the ‘k’?

The construction for the canonical Montesinos tangles includes a trailing $\frac{k}{1}$ tangle. Our generation strategy seems to miss these.

What we’re actually generating with this algorithm is equivalent to allowing the boundary components of the tangle to move. To recover fixed boundary tangles we need to generate the next larger class of tangles.

We can note which stage a tangle was generated at to allow users to choose datasets for fixed or non-fixed boundary tangles.

Generalized Montesinos

Operation $\circ$

$\ $
$= \color{var(--r-Purple)}([1\ 2\ 0] + [1\ 2\ 0] + [1\ 1\ 0]) \color{var(--r-Foreground)}\circ \color{var(--r-Red)}[1\ 2]$

Moon, Hyeyoung, and Isabel K. Darcy. “Tangle Equations Involving Montesinos Links.” Journal of Knot Theory and Its Ramifications 30, no. 08 (July 2021): 2150060. https://doi.org/10.1142/S0218216521500607.

Generation

We just need to take our lists of Montesinos and rational tangles and glue them together with $\circ$.

Into the future

Algebraic