[論文レビュー] Embedding simply connected 2-complexes in 3-space -- IV. Dual matroids

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

Computational Geometry and Mesh Generation参考文献 6被引用数 7

ひとこと要約

本稿は、有限体 𝔽₃ 上の2次元単体的複体に対して二重マトロイドを導入し、ウィットニーの平面性基準の3次元版を確立する：単純接続な複体が3次元空間に埋め込めるのは、その二重マトロイドがグラフ的であるときかつそのときに限る。主な貢献は、マトロイド双対性とグラフ的構造を用いた埋め込みの特徴づけであり、非平面的で単純接続な複体に対し、局所的二重マトロイド条件を用いてカーツォフスキー型定理を拡張するものである。

ABSTRACT

We introduce dual matroids of 2-dimensional simplicial complexes. Under certain necessary conditions, duals matroids are used to characterise embeddability in 3-space in a way analogous to Whitney's planarity criterion. We further use dual matroids to extend a 3-dimensional analogue of Kuratowski's theorem to the class of 2-dimensional simplicial complexes obtained from simply connected ones by identifying vertices or edges.

研究の動機と目的

• 2次元複体の二重マトロイドを定義することで、ウィットニーの2次元平面性基準を3次元に拡張すること。
• 単純接続な2次元複体の3次元空間への埋め込みを、二重マトロイド構造を用いて特徴づけること。
• 二重マトロイドがグラフ的である条件を同定することで、埋め込みの障害を解消すること。
• 単純接続な複体の頂点や辺を同一視して得られる2次元複体に対して、カーツォフスキーの定理を一般化すること。
• 分割複体と二重マトロイドの連結性を用いて、グローバルに3連結な複体の埋め込みを特徴づけること。

提案手法

• 2次元複体のエッジ／面インシデント行列を 𝔽₃ 上で表現するマトロイドとして、その二重マトロイドを定義する。
• 局所的二重マトロイドの概念を導入し、頂点の局所的構造を捉え、K₅ のコーンのような病理的ケースを除外する。
• チュッテによるグラフ的マトロイドの特徴づけを用い、マイナーに基づく埋め込み基準を導出する。
• 分割複体構成法を用いて、単純接続でない複体をより単純な形に還元し、特定の条件下で埋め込みを保存する。
• 制約マイナーを用いて、特定の頂点または辺に接する面集合が二重グラフで連結である条件を特徴づける。
• 整数環 ℤ 上でのマトロイドの正則表現を活用し、𝔽₃ 上の二重マトロイドがインシデント行列の整数線形依存関係を反映することを示す。

実験結果

リサーチクエスチョン

• RQ1 2次元複体の二重マトロイドがグラフ的マトロイドである条件は何か？ そしてそれは3次元空間への埋め込みとどのように関係するか？
• RQ2 2次元複体の二重マトロイドを用いて、ウィットニーの平面性基準を3次元に一般化できるか？
• RQ3 二重マトロイドの局所的構造的条件は、K₅ のコーンのような非埋め込み可能な複体が誤って埋め込み可能と分類されないのを防ぐにはどのように寄与するか？
• RQ4 グローバルに3連結な2次元複体の埋め込みは、その分割複体と二重マトロイド構造を用いてどのように特徴づけられるか？
• RQ5 頂点または辺に接する面集合が二重グラフで連結であることを特徴づける有限な障害のリストは何か？

主な発見

• 単純接続な2次元複体が3次元空間に埋め込めるのは、その二重マトロイドがグラフ的であるときかつそのときに限る。ただし、二重マトロイドが局所的であることが条件である。
• K₅ のコーンの二重マトロイドはグラフ的（唯一のループからなる）であるが、複体自体は埋め込めない。このため、局所的二重マトロイド条件の必要性が生じる。
• 埋め込みは特定のマイナータイプの不在によって特徴づけられる：U²₄、ファノ平面、その双対、および M(K₅) や M(K₃,₃) の双対。
• 分割複体構成法は埋め込みを保存する。グローバルに3連結な複体が埋め込めるのは、その分割複体が埋め込まれており、かつ二重マトロイドが面集合の連結性条件を満たすときである。
• 頂点または辺に接する面集合が二重グラフで連結であることを特徴づける有限な制約マイナーが6つ存在する。
• 𝔽₃ 上の二重マトロイドは、エッジ／面インシデント行列の整数線形構造を忠実に反映しており、ℤ 上の正則表現を可能にする。