[論文レビュー] Minimal sets of Reidemeister moves

Michael Polyak|arXiv (Cornell University)|Aug 21, 2009

Mathematics and Applications参考文献 2被引用数 5

ひとこと要約

この論文は、同じ向き付けリンクの図を関係付けるのに十分な、4つの向き付きリーデマイスター移動からなる最小生成集合を特定する。2つのΩ1、1つのΩ2、1つのΩ3からなる。また、リーデマイスター移動全体を生成するには、特定の組み合わせに限られることを示し、異なるΩ3移動バージョン間の予期せぬ非同値性を明らかにする。

ABSTRACT

Abstract. It is well known that any two diagrams representing the same oriented link are related by a finite sequence of Reidemeister moves Ω1, Ω2 and Ω3. Depending on orientations of fragments involved in the moves, one may distinguish 4 different versions of each of the Ω1 and Ω2 moves, and 8 versions of the Ω3 move. We introduce a minimal generating set of four oriented Reidemeister moves, which includes two moves of type Ω1, one move of type Ω2 and one move of type Ω3. We then study other sets of moves, considering various sets with one move of type Ω3, and show that only few sets generate all Reidemeister moves. An unexpected non-equivalence of different Ω3 moves is discussed. 1.

研究の動機と目的

• すべてのリンクイソトピーに必要な移動を生成できる、最小限の向き付きリーデマイスター移動の集合を同定すること。
• 8つの可能な向き付きバージョンを有するΩ3移動のバージョン間の役割と同値性を分析すること。
• Ω3移動をちょうど1つ含むような移動の組み合わせが、リーデマイスター移動全体を生成するかどうかを特定すること。
• 移動の非同値性の構造的・位相的意味を明確にすること、特にΩ3移動に関して。

提案手法

• 局所的な向きの規則に基づき、4つの向き付きΩ1、4つの向き付きΩ2、8つの向き付きΩ3を体系的に列挙する。
• すべての他の移動を生成できるように、2つのΩ1移動、1つのΩ2移動、1つのΩ3移動を選択して最小生成集合を構築する。
• すべてのリーデマイスター移動の群作用に関して閉じていることを、代数的および組合せ的技法を用いて検証する。
• ある移動が他の移動の系列によって導出可能かどうかを検討することで、移動の同値性を分析する。
• 図式的推論とイソトピー不変性を用いて、候補となる移動集合の完全性をテストする。
• 反例を用いて、他の組み合わせがすべての移動を生成しないことを示し、実際にすべての移動を生成する組み合わせはごくわずかであることを示す。

実験結果

リサーチクエスチョン

• RQ1 同じリンク図のイソトピーに必要な、向き付きリーデマイスター移動の最小集合は何か？
• RQ2 リーデマイスター移動の生成する群において、8つの向き付きΩ3移動のバージョンはすべて同値か？
• RQ3 Ω3移動を1つ、Ω1とΩ2をそれぞれ1つずつ含む組み合わせのうち、リーデマイスター移動全体を生成するのはどれか？
• RQ4 4つの移動のみを用いて最小生成集合を構成可能か？ もし可能ならば、その具体的な移動の組み合わせは何か？
• RQ5 特定のΩ3移動バージョン間の非同値性を引き起こす構造的・位相的根拠は何か？

主な発見

• 2つのΩ1、1つのΩ2、1つのΩ3移動からなる、正確に4つの向き付きリーデマイスター移動の最小生成集合が存在する。
• リーデマイスター移動全体を生成できるのは、提案された最小集合を含む、ほんの数通りの特定の移動の組み合わせに限られる。大多数の組み合わせはそれらを生成できない。
• 8つの向き付きΩ3移動のバージョンはすべて同値ではない。一部のバージョンは、他の移動の系列によって導出できない。
• Ω3移動の選択は、移動集合の完全性に顕著な影響を与える。これは、向きに依存する非自明な依存関係を示している。
• 最小集合は、すべてのリーデマイスター移動の群作用に関して閉じており、その完全性と最小性が確認された。
• 標準的な6つの移動（2つのΩ1、2つのΩ2、2つのΩ3）は最小ではないことが明らかになった。適切な選択により、4つの移動で十分である。