[論文レビュー] On the Grid Ramsey Problem and Related Questions

David Conlon, Jacob Fox+2 more|arXiv (Cornell University)|May 26, 2014

Limits and Structures in Graph Theory参考文献 11被引用数 4

ひとこと要約

この論文は、ラムゼー理論における長年の未解決問題を解決し、グリッドラムゼー問題の境界——特に、任意のr色の辺彩色において単色の長方形を保証するために必要な最小グリッドサイズ——がrに関して超多項式的であることを証明している。これにより、古典的なシェラの立方体補題の境界が多項式形式に改善できないことが示された。この結果は、Hales–Jewett定理の原始再帰的境界が、この手法によってタワー型の境界にまで低下させられないことを示唆する。

ABSTRACT

The Hales--Jewett theorem is one of the pillars of Ramsey theory, from which many other results follow. A celebrated theorem of Shelah says that Hales--Jewett numbers are primitive recursive. A key tool used in his proof, now known as the cube lemma, has become famous in its own right. In its simplest form, this lemma says that if we color the edges of the Cartesian product $K_n imes K_n$ in $r$ colors then, for $n$ sufficiently large, there is a rectangle with both pairs of opposite edges receiving the same color. Shelah's proof shows that $n = r^{\binom{r+1}{2}} + 1$ suffices. More than twenty years ago, Graham, Rothschild and Spencer asked whether this bound can be improved to a polynomial in $r$. We show that this is not possible by providing a superpolynomial lower bound in $r$. We also discuss a number of related problems.

研究の動機と目的

• グラハム、ロスチャイルド、スペンサーによる予想——シェラの立方体補題の境界G(r) ≤ r(r+1)/2 + 1 がrに関して多項式に改善可能かどうか——を解決すること。
• 単色の長方形を含むようなKn × Knの任意のr色の辺彩色が存在する最小のn、すなわちグリッドラムゼー関数G(r)のタイトな境界を確立すること。
• 極値的組合せ論における辺彩色構成の構造的制限、特に彩色数と交互長方形に関する考察を行うこと。
• グリッドラムゼー問題と、Erdfis–Gyárfás問題や彩色ラムゼー関数を含むより広範なラムゼー型問題との関係を探索すること。

提案手法

• 完全二部グラフのランダム辺彩色に基づく確率的構成を用いて、G(r)の下界を導出する。
• エレミスとヘイナルのステッピングアップ技法を応用し、小さなケースの結果をより大きなケースへ拡張する。
• 辺彩色における色クラスの和集合の彩色数を分析することで、ラムゼー型関数の成長を制限する。
• Fχ(r, p, q)、つまり任意のr色の辺彩色において、q色未満でp彩色の部分グラフを含む最小のnを定義・研究する。
• 色クラスの和集合における彩色数の成長を制御する特定の構成cMを導入する。
• 二重帰納法と極値的グラフ理論を用いて、交互長方形を含まない彩色の制限を分析する。

実験結果

リサーチクエスチョン

• RQ1 シェラの立方体補題の境界G(r) ≤ r(r+1)/2 + 1 は、rに関して多項式に改善可能か？
• RQ2 Erdős–Gyárfás問題が示唆するように、すべてのp ≥3に対してF(r, p, p−1)は超多項式的か？
• RQ3 彩色ラムゼー関数Fχ(r, p, q)の成長率は何か？また、q = ⌈log p⌉で指数的から非指数的へ遷移するか？
• RQ4 F3(r, p, p−2) は、ある固定されたcに対して2rcより大きいか、特にp ≥4のときか？
• RQ5 辺彩色におけるs色クラスの和集合の彩色数は、任意にゆっくり成長することができるか？

主な発見

• 本論文は、G(r)の超多項式的下界を確立し、G(r)がrに関して任意の多項式より速く成長することを証明した。これにより、グラハム–ロスチャイルド–スペンサーの問いに否定的な答えを与えた。
• G(r) ≥ 2Ω(log² r) が示され、シェラの境界が多項式形式に改善できないことが裏付けられた。
• 彩色ラムゼー関数Fχ(r, 4, 3)は、2Ω(log² r) ≤ Fχ(r, 4, 3) ≤ 2O(√r log r) を満たし、非指数的だが超多項式的な成長率を示している。
• p = 5の場合、Fχ(r, 5, 4) = 2Ω(log² r) であることが確認され、彩色ラムゼー関数が超多項式的になり得ることを裏付けた。
• Fχ(r, 2d, d+1) = 2o(r) が成り立てば、Fχ(r, p, q)の指数的から非指数的への遷移に鋭い閾値が存在するが、本論文はd ≥2のすべてのdに対してそれが成り立つと予想している。
• 構成cMにおけるs色クラスの和集合の彩色数がゆっくり成長することを示し、今後の研究でより良い境界が得られる可能性を示唆した。