[論文レビュー] A polynomial-time solution to the reducibility problem

Ki Hyoung Ko, Jang-Won Lee|ArXiv.org|Oct 25, 2006

Geometric and Algebraic Topology参考文献 10被引用数 4

ひとこと要約

本稿では、ガルシードの重み付き分解と剛性基準を用いて、与えられたブレードが周期的、擬アイソノフ、または還元可能であるかどうかを多項式時間で判定するアルゴリズムを提示する。主な貢献は、還元可能性問題に対する完全な解決であり、広範な還元可能ブレードのクラスに対して標準還元系を明示的に構成することにある。

ABSTRACT

We propose an algorithm for deciding whether a given braid is pseudo-Anosov, reducible, or periodic. The algorithm is based on Garside's weighted decomposition and is polynomial-time in the word-length of an input braid. Moreover, a reduction system of circles can be found completely if the input is a certain type of reducible braids.

研究の動機と目的

• ブレードの還元可能性問題を、語長に関して多項式時間で解くこと。
• ブレードが周期的、擬アイソノフ、または還元可能であるかどうかを特定する手法を開発すること。
• ブレードが還元可能でかつ剛性を有する場合に、完全な標準還元系を構築すること。
• 標準還元円が共役と剛性を用いて検出可能な条件を確立すること。
• 剛性と重み付き形を活用することで、還元可能ブレードへの共役問題の解法の適用範囲を拡張すること。

提案手法

• 任意のブレードを一意に $\Delta^u x_1 \cdots x_k$ の形に表現するため、ガルシードの重み付き分解を用いる。ここで $x_i \in S_n \setminus \{e, \Delta\}$ であり、この形は左重み付きである。
• 下限、上限、標準長の概念を用いてブレード構造と共役行動を分析する。
• 共役類を探索し、剛性ブレードを同定するために、サイクリングおよびデサイクリング操作を適用する。
• i-剛性と完全剛性を定義し、共役代表元における構造的安定性を検出する。
• 頂点集合 $SSS(x)$ とスーパー頂点集合を用いて、上限が最小である剛性共役を特定する。
• 内部および外部のストランドから導かれる部分リンクに対するリンク数の議論を適用し、正のブレード接頭辞における非標準的構成を除外する。

実験結果

リサーチクエスチョン

• RQ1 ブレードの動的型（周期的、擬アイソノフ、または還元可能）は、語長に関して多項式時間で判定可能か？
• RQ2 還元可能ブレードに対して、標準還元系をアルゴリズム的に構成可能な条件は何か？
• RQ3 ブレード $\gamma^{-1}x\gamma$ が剛性であり、標準還元円を導入するような最小の正のブレード $\gamma$ はどのように特徴づけられるか？
• RQ4 剛性と重み付き分解が、アルゴリズムの終了性と正しさを保証するためにどのように作用するか？
• RQ5 リンク数などの位相的不変量（例：リンク数）は、正のブレード接頭辞における非標準的構成を除外するためにどのように利用可能か？

主な発見

• アルゴリズムは、語長に関して任意のブレードの動的型を多項式時間で同定可能である。
• 標準円の軌道を有する剛性還元可能ブレードに対して、$\ell(\gamma) > 1$ を満たす最小の共役ブレード $\gamma$ が存在する場合、それより短い共役 $\beta \prec \gamma$ も存在し、同様に剛性共役と標準円を導く。
• タイプ I または II の $\gamma_1\gamma_2$ から導かれる2成分リンクのリンク数は非ゼロ（1 または 2）であり、元のブレードの正の冪ではキャンセル不可能であるため、このような構成は除外される。
• 標準還元円の軌道を有する任意の剛性還元可能ブレードに対して、アルゴリズムのコアステップを反復適用することで、完全な標準還元系を構築可能である。
• $\sup(\hat{x}) = \sup(\dot{x})$ を満たす剛性還元可能ブレードのクラスは、[14] で研究されたものとは互いに素であり、より構造的なアルゴリズム的取り扱いが可能である。
• 還元可能ブレードの共役が標準還元円を有する場合、そのような円は最小の正の共役を用いて検出可能であり、これにより完全な還元系の回復が可能となる。