[论文解读] 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

一句话总结

该论文提出了一种针对边分布有界的均匀超图中独立集的新型结构框架，证明了所有独立集几乎都包含在少量稀疏的、'几乎独立'的集合中。该方法导出了强有力的计数结果，并为极值组合学中的关键定理提供了新的、自包含的证明，包括Szemerédi定理和Erd\'os-Stone定理的稀疏随机版本，且对避免算术级数等禁止结构的集合数量给出了明确的界。

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-自由图）的集合族的精确计数结果。
• 为Conlon与Gowers以及Schacht的结果提供替代证明，同时通过明确的计数界加以强化。
• 解决Kohayakawa-Luczak-R"odl猜想，并将KL R猜想推广至非对称Ramsey情形。

提出的方法

• 引入聚类现象：超图中的独立集几乎都包含在少量稀疏的、'几乎独立'的顶点子集中。
• 使用概率方法，通过正则性和密度条件，控制固定图的爆破中避免特定边密度的子图数量。
• 基于二项式系数界和指数衰减的计数论证，利用(15)和(17)中的不等式，估计给定族中图的数量。
• 定义一个函数g，将独立集映射到一个稀疏集合的小族；并定义一个函数f，为每个此类集合分配一个超集，确保包含关系最多存在有界误差。
• 利用(ε,p)-正则性条件和密度下界，控制双图对中有效边选择的数量，特别是在存在固定子图S的情况下。
• 利用计数界中被加项在小s值时递增的性质，通过最大项获得统一的上界。

实验结果

研究问题

• RQ1 能否为稀疏且均匀分布的超图中的独立集发展出一种一般性的结构表征？
• RQ2 这种表征能否为算术级数等禁止配置提供新的、定量的计数结果？
• RQ3 该方法能否为经典极值定理的稀疏随机类比提供替代的、自包含的证明？
• RQ4 该方法能否推广至随机图中的非对称Ramsey性质？
• RQ5 能否对爆破构造中H-自由图的数量给出具有显式指数衰减的界？

主要发现

• 对任意β > 0和整数k ≥ 3，若m ≥ C n^{1−1/(k−1)}（其中C依赖于β和k），则{1, ..., n}中不包含k项算术级数的m元子集的数量至多为β^m * (n choose m)。
• 本文证明了Kohayakawa-Luczak-R"odl关于稀疏随机情形下H-自由图数量的猜想。
• 它为Szemer\'edi定理的稀疏随机版本提供了新的、自包含的证明，并给出了明确的计数界。
• 该方法导出了Erd\'os-Frankl-R"odl定理在稀疏情形下的版本，即H-自由图的数量具有禁止子图数量的指数衰减。
• 本文将R"odl-Ruci\'nski关于随机图中Ramsey性质的结果推广至一般非对称情形，完全证实了KL R猜想。
• 对固定图H的完全爆破中子图数量的计数界至多为β^m * (n^2 choose m)^{e(H)}，表明此类图的数量具有指数衰减。