[論文レビュー] Fundamental Group Algorithm for low dimensional tessellated CW complexes

Piotr Brendel, Graham Ellis+2 more|arXiv (Cornell University)|Jul 13, 2015

Topological and Geometric Data Analysis参考文献 14被引用数 18

ひとこと要約

本稿では、Formanの離散モース理論を用いて低次元のタイル状CW複体の基本群提示を計算するC++ベースのアルゴリズムを提示する。この手法により、絡み目の分類が著しく高速化された。非巡回な組合せ的ベクトル場を用いた細胞数の削減と、Tietze変換の最適化により、低インデックス部分群の効率的計算が可能となり、14交差までのすべての素因数の絡み目59,937個を分類可能となった。これは、従来の11交差までの分類を拡張するものである。

ABSTRACT

We present a detailed description of a fundamental group algorithm based on Forman's combinatorial version of Morse theory. We use this algorithm in a classification problem of prime knots up to 14 crossings.

研究の動機と目的

• 有限正則CW複体、特に低次元のタイル状複体の基本群提示を効率的に計算するアルゴリズムの開発を目的とする。
• 離散モース理論を応用し、ホモトピー型を保ちながら複体内の細胞数を削減することで、群提示計算の簡略化を図ること。
• 基本群から導かれる代数的不変量の計算を高速化することで、14交差までの素因数の絡み目の大規模分類を可能とすること。
• 低インデックス部分群探索における計算コストを低減するため、離散ベクトル場における臨界細胞の数を最小限に抑えること。
• Tietze変換およびベクトル場構築順序の最適化により、群提示における生成子数と合計計算時間を最小限に抑えること。

提案手法

• アルゴリズムは、グリーディーなアプローチを用いて細胞をペアリングし、複体を簡略化する非巡回な組合せ的ベクトル場を有限正則CW複体上に構築する。
• Formanの離散モース理論を適用し、ペアリングされた細胞（ベクトル）を収縮させ、ホモトピー同値な複体を残す臨界細胞のみを残す。
• 簡略化された複体の2次スケルトンから基本群を計算し、エッジパス群の技法とTietze変換を用いて群提示を簡略化する。
• C++実装は、絡み目の補空間を含む、実世界のデータから得られる大規模な複体を処理する際、ベクトル場構築の前段階でコアダクションと可縮部分集合の検出を実施する。
• 臨界細胞数と生成子数を最小限に抑えるために、複数の細胞順序戦略とベクトル場構築法（例：縮約 vs. コアダクション）をテストすることで、パフォーマンスを向上させる。
• 得られた群提示はGAPとHAPに供給され、低インデックス部分群の列挙が行われ、絡み目の分類に用いられる$I^n(K)$不変量の計算が可能となる。

実験結果

リサーチクエスチョン

• RQ1 離散モース理論は、低次元CW複体における基本群計算の計算複雑性を効果的に低減できるか？
• RQ2 離散ベクトル場における臨界細胞の数は、絡み目の不変量のための後続の低インデックス部分群計算の効率にどのように影響するか？
• RQ3 ベクトル場構築戦略および細胞順序の最適化により、Tietze変換後の群提示における生成子数を最小限に抑えるにはどのような戦略が有効か？
• RQ4 幾何的簡略化（例：シェービング、可縮部分集合）は、絡み目の補空間における群提示の複雑性をどの程度低減できるか？
• RQ5 基本群計算のボトルネックを高速化することで、14交差までのすべての素因数の絡み目を分類するアルゴリズムはスケーラブルか？

主な発見

• 複体内の細胞数が著しく削減され、通常は元の複体$X$よりもはるかに小さな簡略化複体$X'$が得られ、群計算が高速化される。
• 14交差の絡み目$ ext{K}_{14,38437}$では、最良のベクトル場構築戦略により、群提示が3生成子と2関係式にまで簡略化され、$I^7(K)$の計算が数分で可能となり、従来の数日間を大幅に短縮した。
• Tietze変換は生成子数だけでなく、離散ベクトル場の定性的な性質にも依存する。4つのテスト戦略のうち、唯一の1戦略のみが3生成子の提示を生成した。
• 臨界細胞の数は計算時間に直接的な影響を及ぼす。1つの臨界細胞の追加が、$I^7(K)$の計算時間を数分から52日間にまで延長する可能性がある。
• 本手法により、11交差までの分類を拡張し、14交差までのすべての素因数の絡み目59,937個を分類可能となった。計算のボトルネックは、群提示から部分群列挙にシフトされた。
• アーキペゼンテッドの絡み目に対しても、シェービングと可縮部分集合の検出は不可欠であり、最小生成子数を4から3にまで低減でき、性能向上に不可欠である。