[論文レビュー] Algorithmically detecting the bridge number of hyperbolic knots

Alexander Coward|arXiv (Cornell University)|Oct 5, 2007

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

ひとこと要約

本稿では、双曲的絡み目の橋数を決定するアルゴリズムを提示する。その根拠として、任意のオイラー乗数に対して、アマルファイズムの下で有限個のブリッジ付き穿孔付き2次元球面が存在することを示す。部分的に平坦な角度付き理想三角形分割と一般化されたブリッジ曲面を用いることで、正規曲面を制御し、候補となる曲面のアルゴリズム的列挙を可能にし、双曲的3次元多様体における正規曲面論を用いた橋数の決定手続きを構築する。

ABSTRACT

We exhibit an algorithm to determine the bridge number of a hyperbolic knot in the 3-sphere. The proof uses adaptations of almost normal surface theory for compact surfaces with boundary in ideally triangulated knot exteriors.

研究の動機と目的

• S³ 内の双曲的絡み目の橋数がアルゴリズム的に決定可能であることを確立すること。
• 双曲的絡み目の外部に対して、任意の与えられたオイラー乗数を持つブリッジ付き穿孔付き2次元球面が、アマルファイズムの下で有限個であることを証明すること。
• 理想三角形分割における正規曲面論を用いて、このような曲面を列挙する構成的技法を開発すること。
• 可縮曲面や正規トーラスの障害を、一般化されたブリッジ曲面と2-正規曲面論を用いて克服すること。

提案手法

• 双曲的絡み目の外部の部分的に平坦な角度付き理想三角形分割を用い、非負のオイラー乗数を持つ正規曲面を制御する。
• アンテレスコピングを用いて一般化されたブリッジ曲面を適用し、可縮曲面を、非可縮の薄いレベルと強く非可縮の厚いレベルを持つものに還元する。
• これらの三角形分割内で2-正規曲面を探索する。これは、オイラー乗数が非負の場合、境界成分に通常平行であることが知られている。
• 正規曲面論および1-有効な三角形分割の結果を活用し、誤った正規トーラスを回避し、曲面の複雑さを制御する。
• 同相移動中に追加される境界に平行なトーラスの数を制限することで、すべての候補となるブリッジ付き穿孔付き2次元球面を列挙可能であることを保証する。
• アルゴリズムは、境界辺の数が b である1次スケルトンにおいて、そのようなトーラスの数を最大 4b + 4 に制限することで停止し、有限の探索空間を保証する。

実験結果

リサーチクエスチョン

• RQ1 双曲的絡み目の橋数は、アルゴリズム的に決定可能か？
• RQ2 双曲的絡み目の外部において、与えられたオイラー乗数を持つブリッジ付き穿孔付き2次元球面は、アマルファイズムの下で有限個か？
• RQ3 高い可縮性の影響を受ける双曲的絡み目の外部において、正規曲面論を変更してブリッジ曲面を検出可能か？
• RQ4 アルゴリズム的探索において、正規トーラスと不必要ない曲面成分をどのように制御できるか？
• RQ5 三角形分割された絡み目の外部において、曲面の同相移動の過程で、表面の同相類の数にどのような組合せ的境界を設けられるか？

主な発見

• 任意の S³ 内の双曲的絡み目に対して、与えられたオイラー乗数を持つブリッジ付き穿孔付き2次元球面は、アマルファイズムの下で有限個である。
• 与えられた絡み目図と整数 n に対して、その外部のオイラー乗数が n であるすべてのブリッジ付き穿孔付き2次元球面を有限個のリストとして生成するアルゴリズムが存在する。
• このアルゴリズムは、非負のオイラー乗数を持つ2-正規曲面が境界成分に通常平行であることを保証する部分的に平坦な角度付き理想三角形分割に基づく。
• 同相移動中に考慮すべき境界に平行なトーラスの数は、三角形分割の1次スケルトンにおける境界辺の数 b を用いて 4b + 4 に上限される。
• 非可縮の薄いレベルと強く非可縮の厚いレベルを持つ一般化されたブリッジ曲面を用いることで、可縮曲面の問題を効果的に克服した。
• アルゴリズムは停止し、候補となるすべての曲面の完全なリストを生成でき、その中での最小オイラー乗数が橋数として得られる。