[論文レビュー] K_6 minors in 6-connected graphs of bounded tree-width

Ken‐ichi Kawarabayashi, Serguei Norine+2 more|arXiv (Cornell University)|Mar 9, 2012

Advanced Graph Theory Research参考文献 15被引用数 7

ひとこと要約

本稿は、十分に大きな6連結グラフが木幅が有界で $K_6$ マイナーを含まない場合、必ずアペックスであることを証明している。すなわち、1つの頂点を削除すると平面的になる。証明はグラフの線形分解を用い、分解集合を横切る経路の相互作用を分析し、極値的議論と平面性制約を適用することで、$K_6$ マイナーの不在が、木幅が有界な条件下で構造的アペックス性を強制することを示している。

ABSTRACT

We prove that every sufficiently big 6-connected graph of bounded tree-width either has a K_6 minor, or has a vertex whose deletion makes the graph planar. This is a step toward proving that the same conclusion holds for all sufficiently big 6-connected graphs. Jorgensen conjectured that it holds for all 6-connected graphs.

研究の動機と目的

• 木幅が有界で $K_6$ マイナーを含まない6連結グラフの構造的特徴づけを確立すること。
• すべての6連結グラフが $K_6$ マイナーを含まない場合にアペックスであるという Jørgensen の予想を支持すること。
• $K_6$ マイナーを含まないグラフに関する既知の結果と完全な予想との間のギャップを、木幅が有界なグラフに焦点を当てることで埋めること。
• 線形分解と経路の相互作用を用いて $K_6$ マイナーまたはアペックス構造を検出する手法を開発すること。

提案手法

• 木幅が $w$ 以下の木分解から導かれる、有界な付着性と長い長さを持つ線形分解を構築する。
• トリミングと鳩の巣原理を適用して、すべての分解集合において一様な構造的性質（例：経路のねじれ）を保証する。
• 分解における基本的な連結性と経路の相互作用を分析するための、基礎的連結性とコア構造を用いる。
• 極値的議論を用いる：特定の経路ペアが多数の分解集合にわたり一貫してねじれている場合、$K_6$ マイナーが強制的に生じる。
• 4連結平面グラフにおける補助グラフの平面性と顔サイクルの性質を用いて、$K_6$ マイナーが存在しない場合に矛盾を導く。
• $K_6$ マイナーの不在を根拠に、コアとブリッジに関する構造的制約を用いて、グラフがアペックスでなければならないことを導出する。

実験結果

リサーチクエスチョン

• RQ1 木幅が有界で $K_6$ マイナーを含まない6連結グラフがアペックスになるのはどのような条件下か？
• RQ2 長い一連の分解集合にわたり、経路のねじれが一貫していると、$K_6$ マイナーが強制的に生じるか？
• RQ3 線形分解における構造的制約と基礎的連結性が、$K_6$ マイナーの存在をどのように制限するか？
• RQ4 木幅が有界であることによって、$K_6$ マイナーを含まない6連結グラフがアペックス構造に還元可能になる仕組みは何か？
• RQ5 木幅が有界で $K_6$ マイナーを含まない6連結グラフにおいて、$K_6$ マイナーの不在を根拠にグラフがアペックスであると結論づけられるか？

主な発見

• 任意の整数 $w \geq 1$ に対して、整数 $N$ が存在し、$N$ 個以上の頂点をもち、木幅が $w$ 以下で $K_6$ マイナーを含まない6連結グラフはすべてアペックスである。
• 証明により、$K_6$ マイナーが存在しない場合、ある頂点を削除するとグラフが平面的になることが示された。
• 有界な付着性と一貫した経路のねじれを示す長い線形分解が存在する場合、$K_6$ マイナーが生じるため、このようなねじれがすべての集合に一様に現れるのは、グラフがアペックスである場合に限る。
• 基礎的経路とそれらの接続からなる補助グラフは、$K_6$ マイナーが存在しないという仮定の下で平面的であることが示され、アペックスの結論を支持する。
• 証明は矛盾に基づく：グラフがアペックスでない場合、分解集合を横切る経路系とブリッジから $K_6$ マイナーを構成できる。
• 最終的な議論では、長さの閾値 $l_3 = (6\binom{w}{6} + 48\binom{w}{3})l_2$ を用い、$K_6$ マイナーを強制するのに十分な構造を保証する。