[論文レビュー] Independent sets in hypergraphs

József Balogh, Robert Morris+1 more|arXiv (Cornell University)|Apr 29, 2012

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

ひとこと要約

本稿は、辺の分布が有界な一様超グラフにおける独立集合のための新しい構造的枠組みを導入し、すべての独立集合が少数のスパarsな「ほぼ独立」集合にほぼ含まれることを証明する。この手法により、強い数え上げ結果が得られ、シュレーディンガーの定理やエドーシュ＝ストーンの定理のスパースなランダム版を含む、極値組合せ論における主要な定理の新たな自己完結的証明が得られ、等差数列などの禁止構成を避ける集合の数に対する明示的な境界が得られる。

ABSTRACT

Many important theorems in combinatorics, such as Szemerédi's theorem on arithmetic progressions and the Erdős-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type. In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture of Kohayakawa, Łuczak and Rödl, a probabilistic embedding lemma for sparse graphs. We also give alternative proofs of many of the results of Conlon and Gowers and Schacht, and obtain their natural counting versions, which in some cases are considerably stronger. We moreover prove a sparse version of the Erdős-Frankl-Rödl Theorem on the number of H-free graphs and extend a result of Rödl and Ruciński on Ramsey properties in sparse random graphs to the general, non-symmetric setting. We remark that similar results have been discovered independently by Saxton and Thomason, and that, in parallel to this work, Conlon, Gowers, Samotij and Schacht have proved a sparse analogue of the counting lemma for subgraphs of the random graph G(n,p), which may be viewed as a version of the KŁR conjecture that is stronger in some ways and weaker in others.

研究の動機と目的

• 一様超グラフにおける辺の分布が有界である場合の独立集合の一般的構造的特徴付けを構築すること。
• 組合せ論における古典的極値定理のスパースなランダム版に対する、新たな自己完結的アプローチを提供すること。
• 等差数列やH自由グラフなどの禁止構成を避ける集合族の正確な数え上げ結果を導出すること。
• コンロンとガウアーズ、シュハクトの結果に対する代替証明を提供するとともに、明示的な数え上げ境界を用いてそれらを強化すること。
• コハヤカワ＝ルチャク＝ローデルの予想を解決し、非対称ラマージュ設定へのKLR予想を拡張すること。

提案手法

• クラスタリング現象の導入：超グラフにおける独立集合は、少数のスパースで「ほぼ独立」な頂点部分集合にほぼ含まれる。
• 確率的技法を用いて、固定グラフのブロー・アップにおける特定のエッジ密度を避ける部分グラフの数を評価し、正則性および密度条件に依存する。
• 二項係数の境界と指数的減衰に基づく数え上げ的議論を用い、(15)および(17)の不等式を応用して、与えられた族に属するグラフの数を推定する。
• 独立集合から少数のスパースな集合への写像gを定義し、各集合に対して包含関係が有界誤差内で保たれる上位集合を割り当てる関数fを定義する。
• （ε,p）-正則性条件および密度下限を用いて、特に固定部分グラフSが存在する場合の二部グラフペアにおける有効なエッジ選択の数を制御する。
• 数え上げ境界における和項が小さいsに対して増加することを利用し、最大項による一様上界を得る。

実験結果

リサーチクエスチョン

• RQ1 スパースで一様に分布する超グラフにおける独立集合の一般的構造的特徴付けを開発することは可能か？
• RQ2 このような特徴付けが、等差数列のような禁止構成を避けるための新たな定量的数え上げ結果をもたらすか？
• RQ3 この手法が、古典的極値定理のスパースなランダム版に対する代替的で自己完結的な証明を提供できるか？
• RQ4 このアプローチは、ランダムグラフにおける非対称ラマージュ性質へ拡張可能か？
• RQ5 固定グラフHのブロー・アップ構成におけるH自由グラフの数を、明示的な指数的減衰とともに境界づけられるか？

主な発見

• 任意のβ > 0および整数k ≥ 3に対し、{1, ..., n} のm要素部分集合のうちk項の等差数列を含まないものの数は、m ≥ C n^{1−1/(k−1)} を満たすようなC（βおよびkに依存）に対して、β^m * (n choose m) 以下である。
• 本稿は、スパースなランダム設定におけるH自由グラフの数に関するコハヤカワ＝ルチャク＝ローデルの予想を証明する。
• シュレーディンガーの定理のスパースなランダム版に対する、明示的な数え上げ境界を伴う新たな自己完結的証明を提供する。
• 本手法により、禁止部分グラフの数に指数的減衰を伴うH自由グラフの数に関するエドーシュ＝フラントゥル＝ローデルの定理のスパース版が得られる。
• ローデル＝ルチニンスキーの結果（ランダムグラフにおけるラマージュ性質）を一般の非対称ケースに拡張し、KLR予想を完全に一般化して確認する。
• 固定グラフHの完全なブロー・アップにおける部分グラフの数え上げ境界は、β^m * (n^2 choose m)^{e(H)} 以下であり、このようなグラフの数に指数的減衰が生じることを示す。