[論文レビュー] Linear Connectivity Forces Large Complete Bipartite Minors: the Patch for the Large Tree-Width Case

Jan-Oliver Fröhlich, Theodor Müller|ArXiv.org|Jun 15, 2009

Advanced Graph Theory Research参考文献 4被引用数 3

ひとこと要約

本稿は、Böhme らの証明におけるギャップを厳密に補填する。特に、木幅が大きいグラフにおいて線形に高い連結性が大きな完全二部グラフ型小形を強制することの証明における、そのギャップを埋める。彼らの証明で未検証の構造定理（Theorem 4.2）の代わりに、Robertson と Seymour の元の構造定理を直接適用することで、埋め込みコアグラフ内に大きな広がりのあるバーチャル（vortex）の存在を確立し、小形構成に必要なコンビネーション構造（comb）を保証する。これにより、元の仮定の下で主結果が正当化される。

ABSTRACT

The recent paper "Linear Connectivity Forces Large Complete Bipartite Minors" by Boehme et al. relies on a structure theorem for graphs with no H-minor. The sketch provided of how to deduce this theorem from the work of Robertson and Seymour appears to be incomplete. To fill this gap, we modify the main proof of that paper to work with a mere restatement of Robertson and Seymour's original results instead.

研究の動機と目的

• Böhme らの完全二部グラフ型小形に関する論文における定理 1.1 の証明における深刻なギャップを解消すること。
• 彼らの議論において未検証の構造定理（定理 4.2）を、Robertson と Seymour の元の構造定理への直接的かつ厳密な適用に置き換えること。
• 埋め込みコアグラフ内に大きな広がりのあるバーチャル（vortex）の存在を保証すること。これは小形構成を支える。
• 元の枠組み内で自立的かつ正しい議論を提供することで、Böhme らの主結果を正当化すること。
• コアグラフにおける低次数に基づく本質的頂点（essential vertices）を定義し、これにより $ n_2 $-広がりのバーチャルの存在を証明すること。

提案手法

• Böhme らの論文の用語に整合する形で、Robertson と Seymour の構造定理を再記述し、直接適用可能にする。
• バーチャルを、線形順序付きの社会（society）と制御された付着集合（adhesion sets）を持つ連結なパス分解を備えたグラフとして定義する。
• 表面への $ \alpha $-近似埋め込み（$ \alpha $-near-embedding）の概念を用い、アペックス集合、大きなバーチャル（連結、高付着）および小さなバーチャル（長さ ≤ 3）を含める。
• コアグラフ $ G_0 $ における次数 < 7 の社会頂点（essential society vertices）を定義し、オイラー特性の議論を精緻化する。
• 埋め込みコアグラフ $ G_0 $ に対してオイラーの公式を適用し、辺と面の上限を用いて、本質的頂点の数の下界を導出する。
• 補題 5 を用いて、大きな壁小形がバーチャルおよびアペックス集合と交差する分岐集合の数を評価し、$ G_0 $ が小さすぎると矛盾が生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 Böhme らが高木幅のグラフにおける大きな埋め込み壁の存在を導くために用いた構造定理は、厳密に成立するか？
• RQ2 未検証の定理 4.2 に依存せずに、埋め込みコアグラフ内に大きな広がりのあるバーチャルの存在を確立できるか？
• RQ3 本質的頂点の見直し定義のもとで、オイラー特性の議論は有効か？
• RQ4 Robertson と Seymour の基礎的結果のみを用いて、定理 1.1 の元の証明を修復できるか？
• RQ5 見直された枠組みにおいて、連結性から離れたコンビネーション構造（comb）が、社会頂点に歯（teeth）を持つことは、定理 1 から導かれるか？

主な発見

• コアグラフ $ G_0 $ は $ n_1 $ 個を超える頂点を含まねばならず、そうでなければ大きな壁小形の分岐集合数が、必要な $ r^2 $ 個に満たない。
• 高々 $ g $ 個の小さなバーチャルが存在する。各々は高々 3 個の頂点で分離され、壁小形に寄与する分岐集合は少ない。
• コアグラフ $ G_0 $ 内の本質的社会頂点の数は、$ \frac{1}{7}|G_0| - 2(a+1)g - ask $ を超え、その数は十分に大きい。
• $ n_2 $-広がりのバーチャルが存在する。これは、その社会に少なくとも $ n_2 $ 個の本質的頂点を含むことを意味し、小形構成を引き起こすのに十分である。
• 大きなバーチャルの連結性から離れたコンビネーション構造（comb）の存在が、定理 1 により保証され、小形構成が正しく進行することが保証される。
• 本質的頂点の見直し定義とオイラー公式の議論が正当化され、元の証明の重要な段階が正当化された。