[論文レビュー] Linear Ramsey numbers for bounded-degree hypergraphs

Yoshiyasu Ishigami|ArXiv.org|Dec 20, 2006

Limits and Structures in Graph Theory参考文献 23被引用数 12

ひとこと要約

本稿では、任意の有界次数の $k$-一様超グラフのラムゼー数が頂点数に関して線形であることを確立し、1983 年の Chvátal らのグラフに関する結果を拡張する。著者は、証明を簡素化した新しい超グラフ正則性補題を用い、ブローモン化のための数え上げ補題を構築することで、$b$ 色に塗り分けられた完全超グラフに単色の超グラフのコピーを埋め込むことを可能にし、最大次数 $O(1)$ の $k$-一様超グラフについて $R_b(H) = O_b(N)$ を証明する。

ABSTRACT

We show that the Ramsey number is linear for every uniform hypergraph with bounded-degree. This is a hypergraph extension of the famous theorem for ordinary graphs which Chvátal et al. showed in 1983. Our proof is simple, contains the multicolor case, and provides a strong embedding lemma. It shows the potential of a new hypergraph regularity lemma by the author.

研究の動機と目的

• 有界次数グラフに対する古典的線形ラムゼー数結果を $k$-一様超グラフへ拡張すること。
• 任意の固定された色数 $b \geq 1$ に対して、最大次数 $O(1)$ の $k$-一様超グラフ $H$ について、ラムゼー数 $R_b(H)$ が $N$ に対して線形であることを確立すること。
• 新しい超グラフ正則性補題（[18] より）がラムゼー的問題に有用であることを示すこと。
• 従来の手法とは異なり、マルチカラーラムゼー問題を自然に扱える、よりシンプルでモジュラーな証明フレームワークを提供すること。

提案手法

• 弱正則性設定の新しい超グラフ正則性補題（定理 2.A）を適用し、証明を短くかつ柔軟に可能にする。
• 密度閾値 $\rho_i(b_i^*) = \alpha / b_i^*$ を丁寧に定義した、ブローモン化のための数え上げ補題（補題 2.3）を用いる。この補題は、Cooley らや Nagle らの埋め込み補題よりも強力である。
• $mN$ 頂点の $b$-色に塗り分けられた $k$-一様超グラフを、各部がサイズ $N$ の $m$ 個の部分に正則性分解する。誤差パラメータを制御する。
• 低密度または高不規則性を持つ例外的辺を定義し、その出現確率が $2\alpha$ で抑えられることを示し、確率的補題を用いてそれらを避ける頂点集合を特定する。
• ラムゼーの定理（定理 1.A）を適用し、$r = \Delta + 1$ 頂点の単色 $k$-一様部分複体を特定し、元の超グラフ $B$ をこの複体のブローモン化として埋め込む。
• 主な数え上げ補題を用いた再帰的埋め込み戦略により、$|V_i(B)| < \eta_1(\rho_1(\widetilde{b}_1)) \cdot |V_i(\mathbf{G}^*)|$ のサイズ制約が満たされることを保証し、望ましい単色コピーの存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 有界次数グラフに対する線形ラムゼー数の性質は、最大次数 $O(1)$ の $k$-一様超グラフへ拡張可能か？
• RQ2 新しい超グラフ正則性補題フレームワーク（[18] より）を用いることで、従来の手法よりも効率的に超グラフの線形ラムゼー数を証明できるか？
• RQ3 有界次数超グラフのマルチカラーラムゼー問題は、よりシンプルな証明構造を持つ正則性ベースのアプローチで取り扱えるか？
• RQ4 新しい正則性設定におけるブローモン化のための数え上げ補題は、一般性と適用範囲において、従来の埋め込み補題よりも優れているか？

主な発見

• 任意の $N$ 頂点の $k$-一様超グラフ $H$ について、最大次数が $O(1)$ であれば、$R_b(H) = O_b(N)$ が成り立つ。
• 証明は、短く自己完結的な証明を持つ新しい正則性補題に依存しており、従来の研究とは異なり、長く不透明な証明とは対照的である。
• 主な数え上げ補題（補題 2.3）は、Cooley らや Nagle らの埋め込み補題よりも強力であり、より弱い正則性設定にも適用可能である。
• 従来の二色のみを想定した手法とは異なり、この手法は当初からマルチカラーラムゼー問題に自然に拡張可能である。
• 構成により、$O(N)$ 頂点の任意の $b$-エッジ彩色完全 $k$-一様超グラフに、$H$ の単色コピーが存在することが保証される。隠れた定数は $b$ と $k$ のみに依存する。
• この結果は、新規正則性フレームワークが極値組合せ論における広範な応用の可能性を秘めていることを示しており、その後続の研究 [20] でもその有効性が裏付けられている。