[論文レビュー] A generalization of the Grid Theorem

Jim Geelen, Benson Joeris|arXiv (Cornell University)|Sep 28, 2016

Advanced Graph Theory Research参考文献 5被引用数 13

ひとこと要約

本稿では、θ未満の次数のクリーク和を用いて定義される、ツリー幅の一般化された概念であるθツリー幅を導入し、十分に大きなθツリー幅を持つグラフが、大きな完全二部グラフminor $K_{\theta,n}$ あるいは $(\theta;n)$-ホイール minor を含むことを証明している。主な貢献は、この枠組みを用いてロバートソンとセイモアのグリッド定理の新しい、自己完結的な証明を提示したことであり、高次のθ連結性における避けられないminor構造を確立している。

ABSTRACT

A graph has tree-width at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums. We refine this definition by, for each non-negative integer $θ$, defining the $θ$-tree-width of a graph to be at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums on cliques of size less than $θ$. We find the unavoidable minors for the graphs with large $θ$-tree-width and we obtain Robertson and Seymour's Grid Theorem as a corollary.

研究の動機と目的

• 古典的なツリー幅の概念を、θ未満の次数のクリーク和に制限することによって、θツリー幅を導入することで精錬すること。
• 大きなθツリー幅を持つグラフを、避けられないminor構造を同定することで特徴づけ、グリッド定理を一般化すること。
• θ連結な頂点集合と、$K_{\theta,n}$ や $(\theta;n)$-ホイールといった特定のminor構造の存在との関係を確立すること。
• 新しい枠組みを用いて、ロバートソンとセイモアのグリッド定理の新しい独立した証明を提示すること。
• 3連結および内部4連結グラフに関する既存の避けられないminorに関する結果を統合・拡張すること。

提案手法

• θツリー幅を、頂点数が高々 $k+1$ 個のグラフが、次数が $< \theta$ のクリーク和によって構成されるような最小の $k$ として定義する。
• θ連結集合を定義：サイズが $\leq \theta$ の任意の2つの部分集合が、$|X|$ 個の頂点素性経路で接続されている頂点集合。
• $(\theta;n)$-ホイールを、木のコピー、巡回的接続、外部接続を用いて、サイズ $n$ の大きなθ連結集合を持つグラフ族として構成する。
• リトラクトminorとネックレス構造（精錬、バランス、ほぼバランス）を用いて、連結性をモデル化し、minor構造を抽出する。
• 下位モジュラリティ分離不等式と再帰的分解を適用し、連結性を制御し、minorを抽出する。
• 大きなθ連結集合が、$K_{\theta,n}$-minor または $(\theta;n)$-ホイール minor を強制することを証明し、必要なサイズを制御する関数 $f_{9.1}(\theta,n)$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 大きなθツリー幅を持つグラフにおける避けられないminor構造は何か？
• RQ2 θツリー幅は、θ連結な頂点集合およびその構造的意味とどのように関係するか？
• RQ3 θツリー幅の枠組みから独立してグリッド定理を導けるか？
• RQ4 大きなθ連結集合から生じるminor構造は何か？ そして、それらはどのように体系的に抽出できるか？
• RQ5 ネックレス構造とリトラクトminorは、$K_{\theta,n}$ または $(\theta;n)$-ホイール minor の特定をどのように支援するか？

主な発見

• 任意の $\theta, n \geq 3$ に対して、関数 $f_{9.1}(\theta,n)$ が存在し、$\theta$-連結集合のサイズが $f_{9.1}(\theta,n)$ 以上であるような任意のグラフは、$\theta$-連結集合内にサイズ $n$ の独立集合を持つ $K_{\theta,n}$ のリトラクトminor、またはその集合にリムを横断する集合を持つ $(\theta;n)$-ホイール minor を含む。
• $(\theta;n)$-ホイールは、サイズ $n$ のθ連結集合を含み、θ連結性の極値例としての役割を確認している。
• グラフ $G$ のθツリー幅が $\omega$ で抑えられるのは、最大のθ連結集合 $U$ のサイズが $\omega < |U| \leq \binom{\omega+1}{\theta-1}(\theta-1)$ を満たすときであり、これは明確な数量的関係を確立している。
• グリッド定理は系として導かれる：$\theta = 2n^{2n} + n^2$ のとき、$K_{n^2,n^2}$-minor を含まない前提で、サイズ $m \geq f_{\text{main-local}}(\theta, n^2)$ の $m$-連結集合を持つグラフは、$n \times n$-グリッド minor を含む。
• 証明では、$G$ が $K_{n^2,n^2}$-minor を含まず、大きな $\theta$-連結集合を持つならば、$(\theta;n^2)$-ホイールを含む必要があることが示され、その根拠となる木に次数 $\geq n^2$ の頂点があれば、辺を収縮することで $K_{n^2,n^2}$-minor が得られ、矛盾が生じる。
• この枠組みは、3連結および内部4連結グラフに関する既存の避けられないminorに関する結果を一般化し、それらが定理1.1の特別な場合であることを示している。