[論文レビュー] A survey of $\chi$-boundedness

Alex Scott, Paul Seymour|arXiv (Cornell University)|Dec 18, 2018

Limits and Structures in Graph Theory参考文献 99被引用数 18

ひとこと要約

このサーベイは、彩色数（$\chi$）とクリーク数（$\omega$）の関係を扱うグラフ理論における中心的な概念である$\chi$-有界性に関する最近の進展を包括的にレビューしている。奇数の穴、弦を含むサイクル、または特定の頂点マイナー構造を除外する$\chi$-有界なイデアルに関する結果を統合し、タイトな境界を提示するとともに、多項式$\chi$-有界関数やアルゴリズム的意味の未解決問題を強調している。

ABSTRACT

If a graph has bounded clique number and sufficiently large chromatic number, what can we say about its induced subgraphs? András Gyárfás made a number of challenging conjectures about this in the early 1980s, which have remained open until recently; but in the last few years there has been substantial progress. This is a survey of where we are now.

研究の動機と目的

• アンドラーシ・ギャルファスが提唱した長年にわたる研究分野である$\chi$-有界性における最近のブレークスルーを体系的かつ要約すること。
• クリーク数が有界であるグラフが、そのクリーク数の関数として彩色数が有界であるとされる構造的条件を明確にすること。
• 特に奇数の穴、弦を含むサイクル、または特定の頂点マイナー構造を除外する$\chi$-有界なイデアルに関連する主要な予想と定理を特定・分析すること。
• 彩色数の計算や$\chi$-有界クラスにおける誘導部分構造の検出に関する未解決問題とアルゴリズム的課題を強調すること。

提案手法

• 三角形を含まないが彩色数が非常に高いグラフの構成（Erdős–Lovász–Tutte）を含む基礎的結果のサーベイ、特に強い完全グラフ定理。
• 構造的分解と禁止部分グラフ特徴づけを用いて、さまざまなグラフクラスにおける$\chi$-有界性を証明すること。
• 極値グラフ理論、確率的グラフ手法、および明示的構成（例：Mycielski、Erdős、Tutte）を応用し、$\chi$が大きく$\omega$が小さいグラフの存在を示すこと。
• 頂点マイナー操作と円グラフ表現を用いて、頂点マイナー閉包下での$\chi$-有界性を確立すること。
• 多項式時間での奇数の穴検出のアルゴリズム的結果を活用し、$\omega$の関数としての$\chi$の構成的境界を支持すること。
• 多項式$\chi$-有界関数や構造的分割（例：完全グラフへの分割）に関する予想を提示し、既知の境界を強化すること。

実験結果

リサーチクエスチョン

• RQ1 クリーク数が有界で彩色数が非常に大きいグラフが、誘導された奇数の穴を必ず含むのはどのような条件下か？
• RQ2 すべての$H$に対して、$H$-自由グラフの彩色数がクリーク数の関数として有界にできるか？
• RQ3 サイクルに正確に$k$個の弦がある誘導部分グラフを除外するグラフのイデアルは$\chi$-有界か？
• RQ4 すべての適切なイデアルが頂点マイナーに関して閉じている場合、それらは$\chi$-有界であり、かつそのクラスで最大クリークと安定集合が多項式時間で計算可能か？
• RQ5 主要なグラフクラスにおいて、$\chi$-有界関数を二重指数的ではなく多項式的にすることができるか？

主な発見

• 任意の$\kappa$に対して、$\omega(G) \leq \kappa$ かつ $\chi(G) > 2^{2^{\kappa+2}}$ ならば、$G$ は奇数の穴を含む。これはギャルファスの予想を確認する。
• 奇数の穴を含まないグラフのイデアルは$\chi$-有界であり、二重指数的$\chi$-有界関数$f(x) = 2^{2^{x+2}}$を有する。
• 正確に$k$個の弦を持つサイクルを誘導部分グラフとして含まないグラフは、$k = 2, 3$ の場合に$\chi$-有界であり、一般化された予想がすべての$k$に対して成り立つとされている。
• サイクル上に$k$個の隣接頂点を持つ頂点を含まない誘導部分グラフを持つグラフのイデアルは、$\chi$-有界であると予想されている。
• 円グラフのイデアルは二次関数的$\chi$-有界であり、これはすべての円グラフを除外する頂点マイナーに関して閉じたイデアルへと拡張可能である。
• 最近の結果により、すべての頂点マイナーに関して閉じた適切なイデアルが$\chi$-有界であることが確認され、ジム・ジーリーの長年の予想を支持する。