[論文レビュー] Embeddability in the 3-sphere is decidable

Jiřı́ Matoušek, Eric Sedgwick+2 more|arXiv (Cornell University)|Feb 4, 2014

Topological and Geometric Data Analysis参考文献 31被引用数 13

ひとこと要約

この論文は、2次元単体的複体が3次元空間（特に3次元球面 S³）に埋め込み可能かどうかを決定する問題がアルゴリズム的に決定可能であることを確立している。主な洞察は、このような埋め込みが存在する場合、常に長さが単体の数の計算可能な関数で抑えられる短いミリディアン（厚くされた複体の境界上にあり、補集合内でドメイントを囲む曲線）を持つ埋め込みが存在することを示したことである。

ABSTRACT

We show that the following algorithmic problem is decidable: given a $2$-dimensional simplicial complex, can it be embedded (topologically, or equivalently, piecewise linearly) in $\mathbf{R}^3$? By a known reduction, it suffices to decide the embeddability of a given triangulated 3-manifold $X$ into the 3-sphere $S^3$. The main step, which allows us to simplify $X$ and recurse, is in proving that if $X$ can be embedded in $S^3$, then there is also an embedding in which $X$ has a short meridian, i.e., an essential curve in the boundary of $X$ bounding a disk in $S^3\setminus X$ with length bounded by a computable function of the number of tetrahedra of $X$.

研究の動機と目的

• 2次元複体のR³への埋め込み可能性が決定可能かどうかという長年の未解決問題を解消すること。
• 境界をもつ3次元多様体がS³に埋め込まれる任意の埋め込みにおいて、短いミリディアン（境界上にあり、補集合内でドメインを囲む本質的曲線）の長さに計算可能な上限が存在することを確立すること。
• 2次元複体のR³への埋め込み可能性問題を、境界をもつ三角形分割された3次元多様体がS³に埋め込まれるかどうかの問題へ還元すること。
• 短いミリディアンに基づく再帰的アルゴリズムフレームワークを提供し、埋め込み可能性の簡略化とテストを可能にすること。

提案手法

• EMBED 2→3 問題を、与えられた複体の3重厚さ（境界をもつ三角形分割された3次元多様体）がS³に埋め込まれるかどうかをテストする問題に還元する。
• Neuwirthのアルゴリズムを用いて、与えられた2次元複体のすべての可能な3重厚さをホメオモーフィズムの意味で計算する。
• 境界をもつ3次元多様体がS³に埋め込まれるならば、その埋め込みにおいて、長さが単体の数の計算可能な関数で抑えられる短いミリディアン（境界上にあり、補集合内でドメインを囲む本質的曲線）が存在することを証明する。
• PL Schoenflies定理を適用して、2次元スケルトンからの埋め込みを、埋め込まれた球面の補集合成分に内部を写像することで、全単体に拡張する。
• 短いミリディアンの存在を活用して、再帰的に複体を簡略化し、問題のサイズを縮小する。
• 2次元複体がS³に埋め込まれる際の位相的埋め込みとPL埋め込みの同値性を活用し、アルゴリズム的一致性を保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた2次元単体的複体がR³に埋め込めるかどうかを決定するアルゴリズムは存在するか？
• RQ2 境界をもつ3次元多様体がS³に埋め込まれる場合、その多様体に短いミリディアンが存在することは保証できるか？
• RQ3 そのような短いミリディアンの長さは、複体内の単体の数に有効に依存するか？
• RQ4 3次元複体のR³への埋め込み可能性は、境界をもつ3次元多様体がS³に埋め込まれるかどうかの問題に還元可能か？

主な発見

• EMBED 2→3 問題は決定可能であり、2次元複体がR³に埋め込めるかどうかを決定する有限のアルゴリズムが存在する。
• 境界をもつ三角形分割された3次元多様体がS³に埋め込まれるならば、その埋め込みにおいて境界上に短いミリディアン（境界上にあり、補集合内でドメインを囲む本質的曲線）が存在し、その長さは単体の数の計算可能な関数で抑えられる。
• EMBED 2→3 のためのアルゴリズムは、短いミリディアンを用いた再帰的簡略化に基づくものであり、そのミリディアンの存在が段階的縮小を可能にする。
• EMBED 3→3 問題についても、単純な位相的構成により EMBED 2→3 に還元できるため、決定可能である。
• アルゴリズムの実行時間は原始再帰的であるが、その上限は非常に高く、反復指数の塔をはるかに超えるため、主な焦点は効率性ではなく決定可能性にある。
• この問題はS³の認識問題ほど難しいか、それ以上であり、S³の認識問題はNPに属するが、EMBED 2→3 の複雑さは決定可能性を超えて未解決のままである。