[論文レビュー] Upper Bounds for an Unknotting Sequence of Reidemeister Moves

Allison Henrich, Louis H. Kauffman|arXiv (Cornell University)|Jun 21, 2010

Geometric and Algebraic Topology被引用数 1

ひとこと要約

この論文は、ダイニコフの弧表示を用いて、図から直接くさり目を検出することで、リードマイスター移動のくさり目解消列における導入される交差数の上界を二次関数として確立している。さらに、必要な移動回数についても二次関数的上界を提供し、くさり目解消の複雑さに関する長年の未解決問題を解決している。

ABSTRACT

A knot is an an embedding of a circle into three-dimensional space. We say that a knot is unknotted if there is an ambient isotopy of the embedding to a standard circle. By representing knots via planar diagrams, we discuss the problem of unknotting a knot diagram when we know that it is unknotted. This problem is surprisingly difficult, since it has been shown that knot diagrams may need to be made more complicated before they may be simplified. We do not yet know, however, how much more complicated they must get. We give an introduction to the work of Dynnikov who discovered the key use of arc--presentations to solve the problem of finding a way to detect the unknot directly from a diagram of the knot. Using Dynnikov's work, we show how to obtain a quadratic upper bound for the number of crossings that must be introduced into a sequence of unknotting moves. We also apply Dynnikov's results to find an upper bound for the number of moves required in an unknotting sequence.

研究の動機と目的

• くさり目であることが分かっているが、その過程で複雑さが増加する可能性があるため、くさり目図のくさり目解消の挑戦に取り組むこと。
• リードマイスター移動のくさり目解消列中に一時的に導入される交差数の最大値を特定すること。
• くさり目であることが分かっている図を解消するのに必要なリードマイスター移動の回数の上界を確立すること。
• ダイニコフの弧表示技術を、図から直接くさり目を検出するための基盤的ツールとして活用すること。
• 図の変換を用いた、構成的かつ計算的に有界なくさり目検出および単純化の方法を提供すること。

提案手法

• ダイニコフの弧表示形式を用い、図の記述を組み合わせ論的手段によってくさり目を直接検出可能にする。
• くさり目解消プロセスを、中間の位相的同相変形を必要としない弧表示への移動列に翻訳すること。
• 弧表示構造の変化を追跡することで、変換プロセス中の交差数の増加を分析すること。
• くさり目解消列中に導入される交差数が、初期の交差数に関して二次関数的であることを確立すること。
• 弧表示の複雑さの変化を分析することでリードマイスター移動の回数の上限を導出し、これも二次関数的増加であることを示すこと。
• 初期図から有効かつ計算可能な上界を得るために、ダイニコフのアルゴリズム的枠組みを適用すること。

実験結果

リサーチクエスチョン

• RQ1 くさり目であることが分かっている図に対して、リードマイスター移動のくさり目解消列中に導入される交差数の最大値は何か？
• RQ2 くさり目であることが分かっている図を解消するために必要なリードマイスター移動回数について、二次関数的上界を確立できるか？
• RQ3 ダイニコフの弧表示法を用いて、位相的同相変形に依存せずに、図から直接くさり目を検出できるか？
• RQ4 くさり目解消プロセスの複雑さは、初期図の交差数に関してどの程度に束縛できるか？
• RQ5 移動回数および中間の複雑さに関して、多項式的上界を保証する構成的かつ有効なくさり目解消法は存在するか？

主な発見

• リードマイスター移動のくさり目解消列中に導入される交差数は、初期の交差数に関して二次関数的上界によって抑えられる。
• 図を解消するために必要なリードマイスター移動の総数も、初期の交差数に関して二次関数的上界によって抑えられる。
• ダイニコフの弧表示法により、図から直接くさり目を検出可能であり、くさり目性の組み合わせ的基準を提供する。
• 上界は有効かつ計算可能であり、弧表示の構造を用いてくさり目解消列全体にわたり複雑さを追跡することに依存する。
• 結果として、最悪ケースのくさり目解消の複雑さが交差数に関して多項式的であることが示され、指数的ではないことが解決された。
• 解析により、弧表示の使用が、複雑さの束縛およびアルゴリズム的くさり目検出の両面で強力なフレームワークを提供することが確認された。