On unknotting operations of rotation type
Abstract
An unknotting operation is a local move on a knot diagram such that any knot diagram can be transformed into a diagram of the unknot by a finite sequence of the operations and Reidemeister moves. In this paper, we introduce a new local move H(T) on a knot diagram which is obtained by the rotation of a tangle diagram T and study their properties. As an application, we prove that the H(T)-move is an unknotting operation for any descending tangle diagram T.