Table of Contents
Fetching ...

A new unknotting operation for classical and welded links

Danish Ali, Zhiqing Yang, Mohd Ibrahim Sheikh, Sidra Batool

TL;DR

This work introduces the $D$-move, a local diagram transformation that generalizes and unifies several classic unknotting moves. It proves that any knot or link diagram can be reduced to the trivial diagram using finite sequences of $D$-moves together with Reidemeister moves, and defines the diagonal unknotting number $u_D(K)$. The paper shows that numerous known moves, including the $\Delta$-move, $\sharp$-move, $\Gamma$-move, $n$-gon move, and pass move, are realizable by $D$-moves, yielding distance relations $d_{D}(K,K') \le d_{X}(K,K') \le 2 d_{D}(K,K')$ and positioning $D$-move as a powerful generalization. It then extends these results to welded knots, proving that the $D$-move remains an unknotting operation and that all classical moves are expressible via $D$-moves, establishing $D$-equivalence for welded knots. Collectively, these results provide a unified, efficient framework for knot simplification and equivalence with potential broad implications in topological and combinatorial knot theory.

Abstract

Any knot diagram can be transformed into the unknot by a series of unknotting operations. This paper introduces the diagonal move, a novel unknotting operation that generalizes and unifies several existing moves. We prove that the diagonal move is an efficient unknotting operation for both classical and welded knots, demonstrating that any knot or link can be reduced to the unknot or unlink via a finite sequence of diagonal moves and Reidemeister moves. Additionally, we analyze the distance between knots under diagonal moves, showing that it often requires fewer operations than traditional crossing changes, and extend our results to welded knots, confirming the diagonal move's applicability in this broader setting. Our findings provide a powerful new tool for knot simplification and equivalence, advancing topological and combinatorial knot theory.

A new unknotting operation for classical and welded links

TL;DR

This work introduces the -move, a local diagram transformation that generalizes and unifies several classic unknotting moves. It proves that any knot or link diagram can be reduced to the trivial diagram using finite sequences of -moves together with Reidemeister moves, and defines the diagonal unknotting number . The paper shows that numerous known moves, including the -move, -move, -move, -gon move, and pass move, are realizable by -moves, yielding distance relations and positioning -move as a powerful generalization. It then extends these results to welded knots, proving that the -move remains an unknotting operation and that all classical moves are expressible via -moves, establishing -equivalence for welded knots. Collectively, these results provide a unified, efficient framework for knot simplification and equivalence with potential broad implications in topological and combinatorial knot theory.

Abstract

Any knot diagram can be transformed into the unknot by a series of unknotting operations. This paper introduces the diagonal move, a novel unknotting operation that generalizes and unifies several existing moves. We prove that the diagonal move is an efficient unknotting operation for both classical and welded knots, demonstrating that any knot or link can be reduced to the unknot or unlink via a finite sequence of diagonal moves and Reidemeister moves. Additionally, we analyze the distance between knots under diagonal moves, showing that it often requires fewer operations than traditional crossing changes, and extend our results to welded knots, confirming the diagonal move's applicability in this broader setting. Our findings provide a powerful new tool for knot simplification and equivalence, advancing topological and combinatorial knot theory.
Paper Structure (3 sections, 12 theorems, 4 equations, 13 figures)

This paper contains 3 sections, 12 theorems, 4 equations, 13 figures.

Key Result

Theorem 2.1

Every knot diagram can be deformed into a trivial knot diagram by a finite sequence of $D$-moves and Reidemeister moves.

Figures (13)

  • Figure 1: Reidemeister moves
  • Figure 2: Some well-known unknotting operations
  • Figure 3: Illustration of pass move and 4-move
  • Figure 4: The $D$-move illustration
  • Figure 5: The $D$-move
  • ...and 8 more figures

Theorems & Definitions (19)

  • Theorem 2.1
  • proof
  • Theorem 2.2
  • proof
  • Corollary 2.3
  • Theorem 2.4
  • proof
  • Theorem 3.1
  • Corollary 3.2
  • Corollary 3.3
  • ...and 9 more