[論文レビュー] Embeddings and Ramsey numbers of sparse k-uniform hypergraphs

Oliver Cooley, Nikolaos Fountoulakis+2 more|ArXiv.org|Dec 13, 2006

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

ひとこと要約

本稿では、最大次数が有界な任意の $k$-一様超グラフのラムゼー数が、その頂点数に対して線形であることを確立している。これは、グラフに対する古典的結果を超グラフへと拡張したものである。証明は、スパarsな $k$-一様超グラフが準ランダム超グラフに埋め込まれることを保証する、新規の埋め込み補題に依存しており、一般化された数え上げ補題と超グラフの正則性手法を活用している。

ABSTRACT

Chvatal, Roedl, Szemeredi and Trotter proved that the Ramsey numbers of graphs of bounded maximum degree are linear in their order. In previous work, we proved the same result for 3-uniform hypergraphs. Here we extend this result to k-uniform hypergraphs, for any integer k > 3. As in the 3-uniform case, the main new tool which we prove and use is an embedding lemma for k-uniform hypergraphs of bounded maximum degree into suitable k-uniform `quasi-random' hypergraphs.

研究の動機と目的

• 最大次数が有界なグラフに対する線形ラムゼー数の結果を、すべての $k \geq 3$ に対して $k$-一様超グラフへと拡張すること。
• スパarsな $k$-一様超グラフが有界次数を持つ場合、適切な準ランダム $k$-一様超グラフへ埋め込まれることを保証する埋め込み補題を確立すること。
• 主超グラフに対して線形サイズをとる超グラフを扱えるように、超グラフの数え上げ補題を一般化すること。
• 正則性および拡張技術を用いて、スパarsな超グラフ設定におけるラムゼー型結果の構造的基盤を提供すること。

提案手法

• Rödl と Schacht による $k$-一様超グラフの正則性補題のバージョンを用い、密度の高い超グラフを準ランダムな部分超グラフに分割する。
• 主超グラフ $\mathcal{G}$ に含まれる $k$-一様超グラフ $\mathcal{H}$ のコピー数を推定する一般化された数え上げ補題（補題 4）を証明し、$|\mathcal{H}|$ が $|\mathcal{G}|$ に対して線形であっても成立するようにする。
• ほとんどすべての $\mathcal{H}$ のコピーが、より大きな超グラフ $\mathcal{H}'$ のコピーに拡張可能であることを保証する拡張補題（補題 5）を導入し、チェビシェフの不等式による分散の見積もりを用いる。
• 埋め込み補題（定理 2）を用いて、最大次数が $\Delta$ 以下の任意の $k$-一様超グラフ $\mathcal{H}$ が、適切な線形サイズの準ランダム $k$-一様超グラフに埋め込まれることを示す。
• 正則性補題と埋め込み補題を組み合わせることで、主結果（定理 1）を導出する。これにより、ラムゼー数 $R(\mathcal{H})$ が定数 $C = C(\Delta,k)$ に対して $C|\mathcal{H}|$ 以下であることが保証される。
• 確率的技法と集中不等式を活用して、拡張不能なコピーの数を制御し、埋め込み条件を満たさない非可視的少数に留めることを保証する。

実験結果

リサーチクエスチョン

• RQ1 最大次数が有界なグラフに対する線形ラムゼー数の結果は、$k \geq 3$ に対して $k$-一様超グラフへと拡張可能か？
• RQ2 最大次数が有界なスパarsな $k$-一様超グラフは、同程度のサイズの準ランダム $k$-一様超グラフへ埋め込めるか？
• RQ3 主超グラフに対して線形サイズをとる $k$-一様超グラフに適用可能な、一般化された数え上げ補題は存在するか？
• RQ4 スパarsな超グラフのコピーが、準ランダムな主超グラフ内に存在する場合、それらの多くがより大きな構成に拡張可能であることを保証する拡張補題を定式化できるか？

主な発見

• 最大次数が $\Delta$ 以下の任意の $k$-一様超グラフ $\mathcal{H}$ のラムゼー数 $R(\mathcal{H})$ は、$C|\mathcal{H}|$ 以下であり、ここで $C = C(\Delta,k)$ は $\Delta$ と $k$ のみに依存する定数である。
• 埋め込み補題（定理 2）が確立され、最大次数が有界な任意の $k$-一様超グラフが、主超グラフのサイズに対して線形な適切な準ランダム $k$-一様超グラフへ埋め込まれることを示している。
• 一般化された数え上げ補題（補題 4）が証明され、古典的な超グラフ数え上げ補題を、主超グラフに対して線形サイズをとる超グラフにまで拡張した。
• 拡張補題（補題 5）が導出され、パラメータを適切に選べば、準ランダム超グラフ $\mathcal{G}$ 内で $\mathcal{H}$ のコピーが $\mathcal{H}'$ のコピーに拡張できないものの数は、$\beta|\mathcal{H}|_{\mathcal{G}}$ 以下であることが示された（任意の $\beta > 0$ に対して）。
• 正則性と確率的数え上げを用いることで、グラフの場合の証明戦略を一般化し、スパarsな超グラフラムゼー理論のための強固なフレームワークを提供した。