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

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

Topological and Geometric Data Analysis被引用数 4

ひとこと要約

本稿は、2次元単体的複体の3次元空間への埋め込みについて、Kuratowski型の特徴付けを、2次元複体へのグラフのマイナーの一般化である「空間マイナー」と呼ばれる新しいマイナー関係を導入することで確立する。主な結果は、埋め込み可能性を完全に特徴付ける有限個の除外空間マイナーのリストであり、これはグラフの平面性に関するKuratowskiの定理を3次元位相幾何学へと拡張するものである。

ABSTRACT

We characterise the embeddability of simply connected locally 3-connected 2-dimensional simplicial complexes in 3-space in a way analogous to Kuratowski's characterisation of graph planarity, by excluded minors. This answers questions of Lovász, Pardon and Wagner.

研究の動機と目的

• 単連結で局所的に3連結な2次元単体的複体が3次元空間に埋め込めるための構造的特徴付けを提供すること。
• グラフの平面性に関するKuratowskiの定理を、2次元複体への新しいマイナー関係を用いて3次元複体へと拡張すること。
• Lovász, Pardon, Wagnerらが提起した、可縮可能な2次元複体の3次元埋め込みの障害に関する未解決問題を解消すること。
• 「空間マイナー」という概念を定義・形式化する——これはグラフマイナーを2次元複体へ一般化したものであり、有限障害に基づく特徴付けを可能にする。
• 埋め込み可能性と特定の除外空間マイナーの不在との同値性を確立する。これは、平面性における$K_5$および$K_{3,3}$の障害と類似している。

提案手法

• 空間マイナーをグラフマイナーの一般化として導入する。これは、辺・面の削除、辺・面の収縮（制約付き）、頂点の分割によって定義される。
• 空間マイナーが3次元空間への埋め込みを保存し、2次元複体上でwell-foundedな関係をなすことを証明する。
• 平面的回転系を主要な位相的不変量として用いる：2次元複体が$\mathbb{S}^3$に埋め込めるのは、それが平面的回転系をもつときかつそのときに限る。
• 埋め込み可能性が特定の除外空間マイナーの不在と同値であることを確立する。これには、八面体障害と$K_5$のコーンが含まれる。
• 有限リスト$\mathcal{Z}$を除外空間マイナーとして定義し、複体が3次元空間に埋め込めるのは、$\mathcal{Z}$のすべてのマイナーを避けるときかつそのときに限ることを示す。
• マトロイドマイナーとの双対性およびリンクグラフ解析を活用し、非平面的リンクグラフまたは特定のマーク付きマイナーの存在をチェックすることで問題を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 2次元複体の文脈において、グラフの平面性に関するKuratowskiの定理の3次元版は何か？
• RQ2 単連結で局所的に3連結な2次元複体が3次元空間に埋め込めない構造的障害は何か？
• RQ3 2次元複体に対して、グラフマイナー関係に類似した埋め込み可能性を特徴付けるマイナー関係を定義できるか？
• RQ4 このような2次元複体の埋め込み可能性を完全に特徴付ける有限個の除外マイナーのリストは存在するか？
• RQ5 局所的障害（例：非平面的リンクグラフ）と、グローバル障害（例：八面体障害）との関係は、3次元埋め込みにおいてどのように関係しているか？

主な発見

• 2次元複体が3次元空間に埋め込めるのは、有限リスト$\mathcal{Z}$の空間マイナーをすべて含まないときかつそのときに限る。これは完全な障害に基づく特徴付けを提供する。
• 八面体障害——八面体に3つの4次元面を追加したもの——は3次元空間に埋め込めず、これは空間マイナーによって検出可能である。
• $K_5$のコーンは禁止マイナーである。そのリンクグラフが非平面的であるためであり、この障害は空間マイナー枠組みによって捉えられる。
• 平面的回転系の存在は、単連結で局所的に3連結な2次元複体が$\mathbb{S}^3$に埋め込めるかどうかと同値である。
• 空間マイナー関係はwell-foundedであり、埋め込みを保存するため、面の数に関して線形時間で埋め込み可能性をアルゴリズム的に検証可能である。
• この特徴付けは、1次ホモロジーが自明な複体へと拡張可能である：埋め込み可能性は、リンクグラフにおいて$K_5$、$K_{3,3}$、または$\mathcal{Y}$から12個のマーク付きグラフがマイナーやマーク付きマイナーとして存在しないことと同値である。