[論文レビュー] Framed link presentations of 3-manifolds by an {O}(n^2) algorithm, III: geometric complex $\mathcal{H}_n^\star$ embedded into $\mathbb{R}^3$

Sóstenes Lins, Ricardo Machado|arXiv (Cornell University)|Nov 9, 2012

Advanced Combinatorial Mathematics参考文献 1被引用数 5

ひとこと要約

本稿では、フレームドリンク表現を用いて3次元多様体をℝ³に埋め込むためのO(n²)アルゴリズムを提示する。幾何的複体ℋₙ⋆に特別に構築された「翼」上でトゥッテの重心埋め込みを用いて3次元埋め込み問題を2次元平面問題に再定式化することで、直交埋め込みを保証し、頂点配置を制御するPL複体ℋ₁⋄を構築する。最終的に、シリンダーの中線曲線によって定まるフレームによって決定されるリンクを通じて、3次元多様体の surgery 述語が得られる。

ABSTRACT

In this final part of a 3-part paper we introduce the pair of "wings" of the abstract PL-colored complexes $\mathcal{H}_{m}^\star$, described in the second paper. The wings, via a weight enhanced Tutte's barycentric embedding of a planar map, produce the unexpected reformutation of a 3-dimensionl problem into a 2-dimensional one. The total number of edges in each one of the pair of final wings is less than $8n-5$. Tutte's method is applied O(n) times to each one of the 2 wings in the final pair to assure rectilinearity of the embeddings of the planar maps, which include the final wings. A cone construction over the final wings provides a PL-complex $\mathcal{H}_1^\diamond$, which contain the set of 0-simplices $\{a_1, a_2,...,a_f\} \cup \{b_1, b_2,...,b_g\}$ (as defined in the second part of the article) properly fixed in $\mathbb{R}^3$. The other 0-simplices are obtained by bisections of segments linking previously defined points. This implies that $\mathcal{H}_n$ is PL-embedded into $\mathbb{R}^3$. We then conclude the surgery description of the 3-manifold induced by the gem with its resolution by defining some disjoint cylinders contained in $\mathcal{H}_{n}^\star$, directly from the hinges (dual of the twistors of the resolution), in a 1-1 correspondence. The medial curves of the cylinders define the link we seek. The framing of a medial curve is the linking number of the boundary components of the corresponding cylinder. The analysis of the whole proccess shows that the memory and time requirement to complete the algorithm is O(n^2). Data for the Weber-Seifert 3-manifold, which answers Jeffrey Weeks's question is given in the appendix. It consists of a link with 142 crossings but it admits simplifications.

研究の動機と目的

• 任意の3次元多様体をフレームドリンク表現を用いてℝ³に構成的・アルゴリズム的に埋め込むための方法を提供すること。
• 3次元PL埋め込みの複雑さを、重心法を用いた2次元平面埋め込み問題に再定式化することで低減すること。
• 時間的・記憶的複雑度がO(n²)で抑えられる、計算的に効率的なリンク表現を保証すること。
• 幾何的複体を介して、gem（グラフ符号化3次元多様体）の解像から、手術リンクとそのフレーミングを明示的に構築すること。
• ジェフリー・ウィークスのウェーバー＝ザイファー3次元多様体に関する疑問に答え、142交差を持つ具体的なリンクとその簡略化可能性を提示すること。

提案手法

• 本手法は、z軸を境界とする半平面に埋め込まれた平面的「翼」（左翼および右翼）のペアを、gemの解像における0フラップと1フラップを模倣するwbp-移動の系列を用いて構築する。
• 各翼に対してO(n)回のトゥッテの重心埋め込みを適用することで、平面的マップの直交埋め込みを達成し、幾何的制御を確保する。
• 計画性を維持するため、翼のグラフのスパニングツリー（ナーヴゥール）を再帰的構成に従って段階的に構築する。
• 最終的な翼を用いて、{a₁,…,a_f} ∪ {b₁,…,b_g} の0次元単体の集合上のコーン構成を定義し、残りの頂点は定義済み点間の線分の中点による二等分によって得る。
• 得られるPL複体ℋ₁⋄は、3次元多様体の手術により定義するのに必要なすべての頂点と面を含み、ℋₙ⋆内に互いに交差しないシリンダーが埋め込まれている。
• これらのシリンダーの媒体曲線は手術リンクに対応し、そのフレーミングはシリンダーの境界成分の絡み合い数によって定義される。

実験結果

リサーチクエスチョン

• RQ1 3次元多様体を、O(n²)時間および記憶量の複雑度を満たすフレームドリンク表現を用いて、ℝ³にアルゴリズム的に埋め込むことは可能か？
• RQ2 複雑な3次元PL埋め込み問題は、どのようにして、重心法を用いた取り扱いやすい2次元平面埋め込み問題に還元できるか？
• RQ3 手術記述を支えるために必要な、双対複体ℋₙ⋆の正確な幾何学的・組合せ的構造は何か？
• RQ4 gemの解像から、ヒンジやシリンダーといった幾何的特徴を介して、手術リンクのフレーミングを直接的に導出できるか？
• RQ5 本アルゴリズムは、ウェーバー＝ザイファー多様体のような既知の3次元多様体に、明示的なリンクと計算可能な不変量を生成するために実際に適用可能か？

主な発見

• 本アルゴリズムはO(n²)の時間的・記憶的複雑度を達成しており、gemとして符号化された3次元多様体に対する実装において効率的である。
• 各最終翼における辺の総数は8n − 5未満であるため、スパarsityが保たれ、幾何的管理が可能である。
• 最終的なPL複体ℋ₁⋄はℝ³に埋め込まれており、すべての0次元単体が適切に配置されている。非ベース頂点は、事前に定義された点間の線分の中点による二等分によって得られる。
• 3次元多様体の手術リンクは、ℋₙ⋆に埋め込まれたシリンダーの媒体曲線から明示的に構築され、フレーミングは絡み合い数によって与えられる。
• ウェーバー＝ザイファー3次元多様体に対して、本アルゴリズムは142交差を持つリンクを生成し、その簡略化が可能であるため、ジェフリー・ウィークスの疑問に答えている。
• 本手法は、平面的重心埋め込みとコーン構成を活用することで、幾何的複体ℋₙ⋆をℝ³に正しく埋め込むことに成功し、構成の位相的・幾何学的整合性を裏付けた。