[論文レビュー] Effective computation of knot Floer homology

Jean-Marie Droz|ArXiv.org|Mar 17, 2008

Geometric and Algebraic Topology参考文献 12被引用数 9

ひとこと要約

この論文は、Beliakovaのノットフローリングホモロジーの計算手法を整数係数へと拡張し、公開可能なPythonプログラムとして実装している。長・短の楕円複体間のホモトピー同値を用いることで、生成子の数を著しく削減し、13交差以下のノットについて $\widehat{HL}$ の効率的な計算が可能になった。主な結果は、$\leq$11交差の素で非交番なノットが、そのノットフローリングホモロジーに torsion を持たないことを確認したことである。

ABSTRACT

We extend an approach of Beliakova for computing knot Floer homology and implement it in a publicly available computer program. We review the main programming and optimization methods used. Our program is then used to check that the Floer homology of a prime non-alternating knot with less than 12 crossings has no torsion.

研究の動機と目的

• Beliakovaの長・短の楕円複体フレームワークを $\mathbb{Z}/2\mathbb{Z}$ から $\mathbb{Z}$ 係数へと拡張すること。
• $\mathbb{Z}$ 上での短い楕円複体のホモロジーを計算する計算効率の良いアルゴリズムを開発すること。
• 実用的なノットフローリングホモロジーの計算を可能にする、公開可能なプログラムとしてこの手法を実装すること。
• $\leq$11交差の素で非交番なノットのノットフローリングホモロジーに torsion 要素が存在しないことを検証すること。

提案手法

• 境界写像と次数の公式を修正することで、Beliakovaの長・短の楕円複体を $\mathbb{Z}$ 係数へと拡張する。
• 長・短の楕円複体間のホモトピー同値を用いて、複体内の生成子の数を削減する。
• 境界写像をグラフとして表現し、長楕円複体のグラフにおける経路数え上げによって $\partial_{\mathrm{short}}$ を計算する。
• キャッシュを用いた幅優先探索を用いて生成子間の経路を列挙し、2を法として数えることで $\partial_{\mathrm{short}}$ の非ゼロ成分を特定する。
• Psycoを用いたジャストインタイムコンパイル技術を導入し、Python実装の高速化を図る。
• BaldwinとGillamの既存データと照合することで、計算結果の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 Beliakovaの長・短の楕円複体フレームワークを、$\mathbb{Z}/2\mathbb{Z}$ ではなく $\mathbb{Z}$ 係数でノットフローリングホモロジーを計算するために効果的に拡張できるか？
• RQ2 短い楕円複体構成は、元のMOS複体と比較して生成子の数を著しく削減するか？ これにより実用的な計算が可能になるか？
• RQ3 得られたプログラムは、13交差以下のノットについて $\widehat{HL}(K)$ を $\mathbb{Z}$ 上で効率的に計算できるか？
• RQ4 $\leq$11交差の素で非交番なノットのノットフローリングホモロジーに torsion 要素が含まれるか？
• RQ5 長楕円複体のグラフにおける経路数え上げを用いて、短い楕円複体の境界写像を効率的に計算する方法は何か？

主な発見

• プログラムは、13交差以下のノット、特に高難易度のノットに対しても $\widehat{HL}(K)$ を $\mathbb{Z}$ 上で正しく計算できた。
• 短い楕円複体構成により、MOS複体と比較して生成子の数が著しく削減され、計算が現実可能になった。
• プログラムは、$\leq$11交差のすべての素で非交番なノットのノットフローリングホモロジーに torsion が存在しないことを確認した。
• 実装は、BaldwinとGillamの報告した $\widehat{HL}$ の計算結果を正しく再現した。
• 幅優先探索にキャッシュを組み合わせた経路数え上げ法により、グラフのサイズが大きくても効率的なメモリ使用が可能になった。