Every Reidemeister move is needed for each knot type
Abstract
Description
We show that every knot type admits a pair of diagrams that cannot be made identical without using Reidemeister Omega_2-moves. We also show that our proof is compatible with known results for the other move types, in the sense that every knot type admits a pair of diagrams that cannot be made identical without using all of the move types.
8 pages, 8 figures. Changed title and added mention of a partial result by Vassily Manturov
8 pages, 8 figures. Changed title and added mention of a partial result by Vassily Manturov