Table of Contents
Fetching ...

The OU number and Reidemeister moves of type III for link diagrams

Naoki Sakata, Ayaka Shimizu, Koya Shimokawa

Abstract

We introduce the non-self OU sequence and the OU number for link diagrams. Using these, we give a lower bound for the number of necessary Reidemeister moves of type III between two diagrams of the same link.

The OU number and Reidemeister moves of type III for link diagrams

Abstract

We introduce the non-self OU sequence and the OU number for link diagrams. Using these, we give a lower bound for the number of necessary Reidemeister moves of type III between two diagrams of the same link.
Paper Structure (11 sections, 19 theorems, 8 equations, 9 figures)

This paper contains 11 sections, 19 theorems, 8 equations, 9 figures.

Key Result

Theorem 1

For each knot component $K_i$ of a diagram $D=K_1 \cup K_2 \cup \dots \cup K_r$ of an (oriented or unoriented) link diagram, $\Phi (K_i)$ is invariant under Reidemeister moves except for RI I I$\alpha$.

Figures (9)

  • Figure 1: Reidemeister moves.
  • Figure 2: An RI I I$\alpha$ move.
  • Figure 3: A 2-component link diagram $D=K_1 \cup K_2$ with non-self OU sequences $f(K_1)=O^2 U^2$ and $f(K_2)=OUOU$. Note that self crossings are not counted.
  • Figure 4: A diagram $D=K_1 \cup K_2 \cup K_3$ with $f(K_1)=O^4$, $f(K_2)=OUOU$ and $f(K_3)=U^4$.
  • Figure 5: The upper, middle, and lower segments $s_1, s_2$, and $s_3$. Middle segments are thickened.
  • ...and 4 more figures

Theorems & Definitions (55)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Theorem 4
  • Definition 1
  • Proposition 1
  • proof
  • Lemma 1
  • proof
  • Definition 2
  • ...and 45 more