[論文レビュー] Embedding simply connected 2-complexes in 3-space -- III. Constraint minors

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

Topological and Geometric Data Analysis参考文献 1被引用数 6

ひとこと要約

この論文は、指定された辺集合 X を持つグラフマトロイドが、X が連結部分グラフを形成するようなグラフのサイクルマトロイドとして実現可能である条件を特徴づけている。制約マイナー（辺の縮約や削除といったグラフ操作から導かれる障害）を用いて、このような実現可能性が、6つの特定の3連結制約マイナーを除外することと同値であることを証明している。これら6つのマイナーは、K₄、ハブ、および4つのプラズマ型グラフとして明示的に図示されている。この結果により、3連結グラフにおける制約連結性の有限な禁止マイナー特徴づけが得られる。

ABSTRACT

We characterise the following property by six obstructions: given a graphic matroid $M$ and a set $X$ of its elements, when is $M$ the cycle matroid of a graph $G$ such that $X$ is a connected edge set in $G$?

研究の動機と目的

• 指定された要素部分集合 X を持つグラフマトロイド M が、X が連結な辺集合を形成するグラフ G のサイクルマトロイドとして実現可能である条件を特徴づけること。
• この実現可能性条件を特徴づける有限な禁止制約マイナーのリストを特定すること。
• 指定された要素の部分集合に連結性制約を組み込んだ Tutte のグラフマトロイド特徴づけを拡張すること。
• 禁止マイナー障害を用いた、3連結グラフにおける制約連結性の完全にグラフ論的特徴づけを確立すること。

提案手法

• M がグラフマトロイドで X がその要素の部分集合である制約マトロイド (M, X) を定義し、実現可能性が対応するグラフ G において X が連結であることと要求する。
• 任意の辺の縮約と、X の外側の辺の削除による制約マイナーを導入し、マイナー閉じたクラスを形成する。
• 3連結制約グラフ (G, X) が制約連結であることは、K₄、ハブ、および4つのプラズマ型構成の6つの特定の3連結制約マイナーを含まないことと同値であることを証明する。
• マトロイドの2分離に関する帰納法を用い、Tutteの分解と2和を用いて3連結でないマトロイドを分解し、X-連結性を保つように再構成する。
• 2連結マトロイドの表現に関するWhitneyの定理を適用し、2分離子の反転を除きグラフの一意性を保証し、実現の整合的接合を可能にする。
• 特別な縮約マイナーと構造的補題を用いて、任意の非可約3連結制約グラフが、6つの禁止マイナーのいずれかと同型であるか、あるいは制約連結であることを示す。

実験結果

リサーチクエスチョン

• RQ1 指定された辺集合 X を持つグラフマトロイドが、X が連結であるようなグラフとして実現可能でない原因となる完全な障害集合は何か？
• RQ2 3連結グラフにおける X-連結性の性質が、有限な禁止制約マイナーのリストによって特徴づけられるか？
• RQ3 マトロイドの2分離と2和は、X が連結である制約マトロイドの実現可能性にどのように影響するか？
• RQ4 3連結制約グラフが、6つの禁止構成の制約マイナーでないために満たすべき構造的性質は何か？

主な発見

• 3連結制約グラフ (G, X) が制約連結（すなわち G において X が連結）であることは、そのグラフが6つの指定された3連結制約マイナーのいずれのマイナーとも含まないことと同値である。
• 禁止される6つの制約マイナーは、特別な K₄、特別なハブ、および4つの特別なプラズマ構成からなる。これらすべてが3連結かつグラフ的である。
• これらの6つの障害を回避する任意の制約グラフは、実現可能な成分の2和による帰納的構成によって、X が連結であるようなグラフとして実現可能である。
• この証明は、Tutteの2分離定理を用いて3連結でないマトロイドを分解し、仮想要素と2分離子を介した連結性を注意深く管理することで実現の再構成を行う。
• この結果により、3連結グラフにおける制約連結性の有限な禁止マイナー特徴づけが確立され、Tutteのグラフマトロイド特徴づけが拡張される。
• この特徴づけはタイトである：6つの障害の各々は最小かつ必須であり、障害性質を失わずにさらに縮約または簡略化することはできない。