[论文解读] Stability versions of Erd\H{o}s-Ko-Rado type theorems, via isoperimetry

David Ellis, Nathan Keller+1 more|arXiv (Cornell University)|Apr 7, 2016

Limits and Structures in Graph Theory参考文献 57被引用 17

一句话总结

本文提出了一种新颖的等周方法，用于推导Erdös-Ko-Rado（EKR）型定理的紧致稳定性版本，表明与极值相交族大小接近的集合族，其结构也必须接近于典型的极值族（例如，独裁族或t-umvirate族）。该方法利用超立方体上的偏差边等周不等式，将精确的EKR结果升级为强稳定性界，而无需重新证明原始定理。

ABSTRACT

Erd\\H{o}s-Ko-Rado (EKR) type theorems yield upper bounds on the sizes of families of sets, subject to various intersection requirements on the sets in the family. Stability versions of such theorems assert that if the size of a family is close to the maximum possible size, then the family itself must be close (in some appropriate sense) to a maximum-sized family. In this paper, we present an approach to obtaining stability versions of EKR-type theorems, via isoperimetric inequalities for subsets of the hypercube. Our approach is rather general, and allows the leveraging of a wide variety of exact EKR-type results into strong stability versions of these results, without going into the proofs of the original results. We use this approach to obtain tight stability versions of the EKR theorem itself and of the Ahlswede-Khachatrian theorem on $t$-intersecting families of $k$-element subsets of $\\{1,2,\\ldots.n\\}$ (for $k < \\frac{n}{t+1}$), and to show that, somewhat surprisingly, all these results hold when the intersection requirement is replaced by a much weaker requirement. Other examples include stability versions of Frankl's recent result on the Erd\\H{o}s matching conjecture, the Ellis-Filmus-Friedgut proof of the Simonovits-S\\'{o}s conjecture, and various EKR-type results on $r$-wise (cross)-$t$-intersecting families.

研究动机与目标

• 开发一种通用方法，利用等周不等式推导EKR型定理的强稳定性版本。
• 证明那些大小接近EKR型定理所允许最大值的集合族，其结构也必须接近于极值族（如独裁族或t-umvirate族）。
• 将稳定性结果扩展至标准相交条件之外，包括更弱的相交要求，以及测度不极度接近最大值的族。
• 为关键结果（如Wilson定理、Ahlswede-Khachatrian定理和Erdös匹配猜想）提供精确且紧致的稳定性界。
• 提出猜想，并指出通往更复杂极值族（如完整Ahlswede-Khachatrian定理中族）的精确稳定性结果的路径。

提出的方法

• 该方法采用超立方体上的偏差边等周不等式，分析在相交约束下集合族的结构。
• 使用自举论证，通过迭代细化对极值族的逼近，将弱稳定性界转化为强稳定性界。
• 该方法利用了EKR型问题的极值族通常对应于在偏差边等周不等式中取等号的集合这一事实。
• 引入一个对偶稳定性定理，并将其应用于Erdös匹配猜想等问题，使用乘积测度空间中的测度论稳定性。
• 该框架允许将精确EKR型定理的稳定性结果转移到稳定性版本中，而无需重新推导原始定理。
• 该方法适用于多种情形：t-相交族、三角形相交图族，以及满足Erdös匹配条件的族。

实验结果

研究问题

• RQ1 能否在不重新证明原始精确结果的前提下，利用超立方体上的等周不等式推导出EKR型定理的强稳定性版本？
• RQ2 一个族在大小上必须接近极值界多远，才能保证其在结构上接近于典型的极值族（如独裁族或t-umvirate族）？
• RQ3 该方法能否扩展到相交条件被弱化的情形，例如仅要求族避免某些小的相交？
• RQ4 Erdös匹配猜想的精确稳定性阈值是什么？能否通过此等周框架捕捉到该阈值？
• RQ5 该方法能否被调整以处理非简单t-umvirate族的极值族，如完整Ahlswede-Khachatrian定理中的族？

主要发现

• 本文在 n ≥ (t+1)(k−t+1) 时，为t-相交族建立了Wilson定理的紧致稳定性版本，表明大小接近极值边界的族必须接近于t-umvirate族。
• 证明了Simonovits-Sós猜想的强稳定性结果，表明在偏差测度下，测度接近最大值的族必须接近于独裁族。
• 该方法为k-均匀超图的三角形相交族提供了精确的稳定性结果，优于先前的界。
• 对于Erdös匹配猜想，本文在匹配数为s的条件下，提供了紧致的稳定性版本，表明接近极值大小的族必须接近于典型的极值族。
• 作者猜想这些稳定性界是精确的，且存在显式极值族（例如，固定大小为t的集合族并加以微小扰动）可达到这些界。
• 该方法具有普遍性，只要极值族在偏差边等周不等式中取等号，即可从任意精确EKR型定理推导出强稳定性结果。