[論文レビュー] Embedding simply connected 2-complexes in 3-space -- V. A refined Kuratowski-type characterisation

Johannes Carmesin|arXiv (Cornell University)|Sep 14, 2017

Topological and Geometric Data Analysis参考文献 17被引用数 10

ひとこと要約

この論文は、『伸ばし』操作を含む空間マイナー操作の拡張と、有限個の障害に加えて無限個の『トーラスクロス障害』からなるリストを導入することで、単連結な2次元複体の3次元空間への埋め込みに関する洗練されたカラトフスキー型特徴づけを確立した。主な結果は、単連結な単体的複体が3次元空間に埋め込まれるための必要十分条件が、そのいかなる『伸ばし』に対しても、$ mathcal{Z}$ とトーラスクロス障害 $ mathcal{T}$ の和集合に属する空間マイナーを含まないことである。これは、局所的に3連結でない複体へも拡張された先行研究を一般化するものである。

ABSTRACT

This paper is the last paper in a series of five papers. Building on earlier papers in this series, we prove an analogue of Kuratowski's characterisation of graph planarity for three dimensions. More precisely, a simply connected 2-dimensional simplicial complex embeds in 3-space if and only if it has no obstruction from an explicit list of obstructions. This list of obstructions is finite except for one infinite family.

研究の動機と目的

• 局所的に3連結な複体に限らない、一般の単連結な2次元複体に対する3次元埋め込みのカラトフスキー型特徴づけを拡張すること。
• メービウスの帯に円板を貼り付けたような非可定向構造から生じる、新たな障害クラス—『トーラスクロス障害』—を同定し、形式化すること。
• 埋め込みを保存し、構造の簡略化を可能にする『伸ばし』操作を含む一般化された空間マイナー操作を考案すること。
• 任意の単連結な単体的複体が、『伸ばし』操作によって局所的にほぼ3連結かつ伸ばし尽くされた形、あるいは非平面的リンクを持つものに変換可能であることを示すこと。
• 単連結な2次元複体の3次元埋め込み可能性を、アルゴリズム的に検証可能な完全な基準として確立すること。

提案手法

• メガ面が共通の基底サイクルを持ち、トーラス上でのホモトピー類が異なることにより定義される、トーラスクロス障害のリスト $\mathcal{T}$ を導入する。
• 『伸ばし』を、埋め込みを保存し、複雑な構造を標準形に簡略化可能にする位相的操作として定義する。
• 再帰的な辺および頂点操作を用いて、任意の単体的複体が局所的にほぼ3連結かつ伸ばし尽くされた形、あるいは非平面的リンクを持つものに変換可能であることを証明する。
• 複雑さを追跡するための次数パラメータを導入し、『伸ばし』プロセスの終了を保証する。また、主要な操作において次数パラメータの上限が保たれることを示す。
• カットバーテックスと閉路に基づく再帰的削減戦略を適用し、経路を収縮し、再びブランチを『伸ばし』直して単体的構造を維持する。
• すべての『伸ばし』および収縮操作が、平面的回転系の存在を保存し、次数パラメータを増加させないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 局所的に3連結な場合に限らない、単連結な2次元複体の3次元埋め込み可能性について、カラトフスキーの平面性基準を拡張できるか。
• RQ2 局所的に3連結でない場合に、特に非可定向な曲面を含む埋め込み可能性において、どのような新しい種類の障害が生じるか。
• RQ3 埋め込みを保存しつつ構造の簡略化を可能にする『伸ばし』のような操作を含む、空間マイナー操作をどのように拡張できるか。
• RQ4 任意の単連結な2次元複体が『伸ばし』によって到達可能な標準形が存在するか。その場合、埋め込み可能性は、そのマイナー閉じた族に障害が含まれないことに同値であるか。
• RQ5 次数パラメータに基づく削減戦略を用いて、埋め込みの決定問題を多項式時間で解けるか。

主な発見

• 単連結な単体的複体が3次元空間に埋め込まれるための必要十分条件は、そのいかなる『伸ばし』に対しても、$ mathcal{Z} \cup \mathcal{T}$ に属する空間マイナーを含まないことである。ここで $ mathcal{Z}$ は先行研究における有限リスト、$ mathcal{T}$ は無限個のトーラスクロス障害からなる。
• メービウスの帯に円板を貼り付けた構造は、埋め込まれたトーラス上での境界サイクルのホモトピー類の相違により、根本的な障害を形成する。これは、局所的に3連結であることの不十分性を示している。
• 『伸ばし』操作は埋め込みを保存し、任意の複体を局所的にほぼ3連結かつ伸ばし尽くされた形、あるいは非平面的リンクを持つものに変換可能である。
• アルゴリズム的削減プロセスは時間計算量が二次式であり、次数パラメータが複雑さの尺度として機能し、主要な操作において増加しない。
• すべての『伸ばし』および収縮操作は、平面的回転系の存在を保存するため、変換の全過程で埋め込みが保持される。
• 次数パラメータは星の結合に対して不変であり、辺の『伸ばし』および面の分割において非増加的であるため、複雑さの成長が有界に保たれる。