[論文レビュー] A Modification of the Sarkar-Wang Algorithm and an Analysis of its Computational Complexity

Jonathan Hales, Dmytro Karabash+1 more|ArXiv.org|Nov 28, 2007

Geometric and Algebraic Topology参考文献 1被引用数 3

ひとこと要約

この論文は、ハンドル付加と領域簡略化によりヘーガード距離を1に低下させることで、Heegaard Floer knot homologyのハット版（$\widehat{HFK}$）を計算するSarkar-Wangアルゴリズムを変更し、計算複雑度を$O(v^{15g})2^{O(g)}$時間に低下させた。ここで$v$は頂点数、$g$は genus である。この変更されたアルゴリズムは、特定の結び目図の構築に関する予想が成り立つ場合、Manolescu-Ozsváth-Sarkarアルゴリズムよりも高速である可能性がある。

ABSTRACT

The Sarkar-Wang algorithm computes the hat version of the Heegaard Floer homology of a closed oriented three manifold. This paper analyzes the computational complexity of the Sarkar-Wang algorithm; then the algorithm is modified to obtain a better bound. Then the computational complexity of calculating HFK hat from a Heegaard diagram by means of the modified Sarkar-Wang algorithm is also analyzed. Under certain assumptions it is shown that the modified Sarkar-Wang algorithm is faster than the Manolescu-Ozsvath-Sarkar algorithm.

研究の動機と目的

• Heegaard図から$\widehat{HFK}$を計算するSarkar-Wangアルゴリズムの計算複雑度を分析・改善すること。
• ハンドル付加と領域簡略化により、図のヘーガード距離を1に低下させ、より効率的な計算を可能にすること。
• 結び目図の構築に関する妥当な予想のもとで、変更されたアルゴリズムがManolescu-Ozsváth-Sarkarアルゴリズムよりも良い時間上限を達成することを示すこと。

提案手法

• ステップ1：ベースポイント$z$や$w$を含まない二角形をフィンガーモーブで除去する。
• ステップ2：悪い度数を低下させ、図を簡略化するために、ドメインを除去するためのハンドルを付加する。
• ステップ3：すべての悪い領域にハンドルを付加することでヘーガード距離を1に低下させ、$Z$へのすべての経路がたかだか1本の$\beta$-カーブを横切ることを保証する。
• ステップ4：図を完全な図（badnessが0）に変換するため、修正されたSarkar-Wang手順を適用する。
• 修正されたアルゴリズムを用いて、$\partial\partial_{\alpha}^{-1}$、相対的アレクサンダー・グレーディング、マスロフ・グレーディング、およびホモロジー計算の微分を計算する。
• 各段階における頂点数の増加と genus の増加を追跡することで、合計時間複雑度を評価し、最終的に$O(v^{15g})2^{O(g)}$時間に到達する。

実験結果

リサーチクエスチョン

• RQ1 図の簡略化プロセスを変更することで、$\widehat{HFK}$を計算するSarkar-Wangアルゴリズムの計算複雑度を低減できるか？
• RQ2 ハンドル付加によりヘーガード距離を1に低下させることは、アルゴリズムの効率に顕著な改善をもたらすか？
• RQ3 どのような条件下で、修正されたSarkar-Wangアルゴリズムは、時間複雑度の観点からManolescu-Ozsváth-Sarkarアルゴリズムを上回るか？
• RQ4 トンネル数$\tau$の結び目に対して、$O(k)$個の頂点を持つ genus $\tau+1$ のHeegaard図を、$k$（交差数）の多項式時間で構築できるか？
• RQ5 トンネル数が有界な結び目に対して、修正されたSarkar-Wangアルゴリズムは、Manolescu-Ozsváth-Sarkarアルゴリズムよりも漸近的に速いか？

主な発見

• 修正されたSarkar-Wangアルゴリズムは、genus $g$ で $v$ 個の頂点を持つHeegaard図を、最大$ v' = v2^{O(g)} $ 個の頂点を持つ完全な図に変換する。
• 修正されたアルゴリズムを用いて完全な図を計算する時間は$O(v')$であり、これは最終的図の頂点数に対して多項式時間である。
• 修正されたアルゴリズムを用いて$\widehat{HFK}$を計算する合計時間は、初期の頂点数$v$と genus $g$ を用いて$O(v^{15g})2^{O(g)}$に上限づけられる。
• 予想1（トンネル数$\tau$の結び目に対して、$2^{O(k)}$個の頂点を持つgenus $\tau+1$ の図を$2^{O(k)}$時間で構築可能）が成り立つ場合、アルゴリズムは$2^{O(k)}$時間で実行される。
• 予想2（同様の図が$O(k)$時間で構築可能）が成り立つ場合、アルゴリズムは$k$に関して多項式時間で$\widehat{HFK}$を計算でき、これは$2^{O(k\log k)}$時間で実行されるManolescu-Ozsváth-Sarkarアルゴリズムよりも高速である。