[論文レビュー] Combinatorial theorems relative to a random set

David Conlon|arXiv (Cornell University)|Apr 12, 2014

Limits and Structures in Graph Theory参考文献 104被引用数 32

ひとこと要約

この論文は、ラマヌジャン、ツァラン、ゼメレディ型の古典的な組合せ定理のスパースなランダムおよび擬似ランダムな類似定理に関する最近の進展を調査している。三つの異なる手法—転送原理、マルチラウンド露出、ハイパーグラフコンテナ技術—を用いて、これらの定理がランダムおよび擬似ランダムグラフにおいて鋭い閾値を示すことを示しており、主な結果として、$\beta \leq cp^tn$ を満たす擬似ランダムグラフが、稠密なグラフの多くの極値的性質を継承することを示している。

ABSTRACT

We describe recent advances in the study of random analogues of combinatorial theorems.

研究の動機と目的

• ランダムおよび擬似ランダムな類似定理における最近のブレークスルーを統合的かつ包括的に調査すること。
• 極値的組合せ的結果のスパース類似定理を証明するための三つの明確に異なる一般的手法を同定し、分析すること。
• 擬似ランダムグラフ（特に$(p,\beta)$-jumbledグラフ）が稠密なグラフのラマヌジャン、ツァラン、除去補題などの性質をどの条件下で継承するかを確立すること。
• いくつかの結果において$\beta \leq cp^tn$が十分であることを示すことで、理解のギャップを埋め、ゼメレディの定理および素数における等差数列への応用に含む。

提案手法

• グリーンとトーマスの転送原理を、ガウワーと著者によって適応されたものを使い、稠密な設定からスパースな設定へ結果を拡張する。
• ローデルとルツィンスキーにインspiredされたマルチラウンド露出技術を用いて、ランダムグラフにおけるラマヌジャン型定理の閾値結果を証明する。
• バロッグ、モリス、サモティージとサクソンとトーマソンによって開発されたハイパーグラフコンテナ法を適用し、ハイパーグラフ内の独立集合を制御する。
• $(p,\beta)$-jumbledグラフにおける擬似ランダム性条件を用い、$|e(X,Y) - p|X||Y|| \leq \beta\sqrt{|X||Y|}$ を用いてランダムに似た振る舞いをモデル化する。
• これらの手法を適用して、三角形除去補題、ラマヌジャン的性質、擬似ランダムグラフにおけるツァラン型定理のスパース類似定理を証明する。
• 異なる擬似ランダム性仮定の下でハイパーグラフへ結果を拡張し、ゼメレディの定理の擬似ランダム版を可能にする。

実験結果

リサーチクエスチョン

• RQ1 スパースなランダムグラフにおけるラマヌジャン型、ツァラン型、ゼメレディ型定理の鋭い閾値は何か？
• RQ2 除去補題は擬似ランダムグラフの部分グラフへ拡張可能か？また、どの擬似ランダム性条件下で成立するか？
• RQ3 $(p,\beta)$-jumbledグラフが$K_t$-ラマヌジャンまたは$K_t$-ツァラン性質を満たすために必要な最小の擬似ランダム性パラメータ$\beta$は何か？
• RQ4 転送、マルチラウンド露出、コンテナ法という三つの異なる手法は、組合せ的定理のスパース類似定理を証明する上でどのように比較できるか？
• RQ5 相関条件を除いて、ゼメレディの定理の擬似ランダム版を証明することは可能か？また、新手法はどのような役割を果たすか？

主な発見

• 任意の$t$および$\epsilon > 0$に対して、$\delta, c > 0$が存在し、$\beta \leq cp^tn$ ならば、$n$ 頂点の$(p,\beta)$-jumbledグラフはスパースな除去補題を満たす：$K_t$ のコピーが高々$\delta p^{\binom{t}{2}}n^t$ 個あるような部分グラフは、高々$\epsilon pn^2$ 条の辺を削除することで$K_t$-フリーにできる。
• $\beta \leq cp^tn$ は、擬似ランダムグラフにおける$K_t$-ラマヌジャンおよび$K_t$-ツァラン性質に対して十分であり、$t=3$ の場合、この境界はタイトである。
• 三角形（$t=3$）の場合、$\beta \leq cp^3n$ ならば除去補題は擬似ランダムグラフで成立するが、$\beta \leq cp^2n$ に改善可能であり、アロンの例によりこれが最適である可能性がある。
• フォックス、チョウ、および著者の手法は、擬似ランダム性条件の下でハイパーグラフへ拡張可能であり、ゼメレディの定理の擬似ランダム版を導く。
• この結果により、グリーンとトーマスの元々の証明における相関条件が取り除かれた。
• 三つの手法—転送、マルチラウンド露出、コンテナ法—は、それぞれ明確で強力なツールであり、ラマヌジャン理論、ツァラン理論、加法的組合せ論の分野に広く応用可能である。