[论文解读] The minimum number of disjoint pairs in set systems and related problems

Shagnik Das, Wenying Gan+1 more|arXiv (Cornell University)|May 29, 2013

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

一句话总结

该论文通过确定超过Erdös-Ko-Rado界限的k一致集合系统中不相交对的最小数量，解决了极值组合学中的一个长期问题。作者利用字典序和分数集合系统，确认了Bollobás与Leader对小规模系统的猜想，并将结果扩展至t-相交及q-匹配自由系统，为经典极值定理提供了定量强化，精确界定了超出极值阈值的禁止配置数量。

ABSTRACT

Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$. A natural question, which was asked by Ahlswede in 1980, is how many disjoint pairs must appear in a set system of larger size. Except for the case k=2, solved by Ahlswede and Katona, this problem has remained open for the last three decades. In this paper, we determine the minimum number of disjoint pairs in small k-uniform families, thus confirming a conjecture of Bollobas and Leader in these cases. Moreover, we obtain similar results for two well-known extensions of the Erdos-Ko-Rado theorem, determining the minimum number of matchings of size q and the minimum number of t-disjoint pairs that appear in set systems larger than the corresponding extremal bounds. In the latter case, this provides a partial solution to a problem of Kleitman and West.

研究动机与目标

• 解决Ahlswede于1980年提出的问题：在超过Erdös-Ko-Rado极值界限的k一致集合系统中，不相交对的最小数量是多少？
• 确认Bollobás-Leader猜想：在小规模系统中，k-集合的字典序初始段最小化不相交对的数量。
• 将分析扩展至t-相交系统与q-匹配自由族，提供对禁止配置数量的定量界限。
• 为Kleitman与West在t-不相交对方面提出的问题提供部分解答：在超过极值界限的集合系统中，t-不相交对的最小数量是多少？

提出的方法

• 利用字典序构造候选极值集合系统，证明初始段最小化不相交对的数量。
• 应用分数集合系统技术，将离散问题松弛为连续优化框架。
• 使用双重计数与二项式系数恒等式，计算候选构造中t-相交对的数量。
• 通过二项式系数的渐近展开，比较字典序系统与星形构造中t-相交对的数量。
• 利用Kneser图的谱性质与结构特性，分析极值配置中独立集与边数。
• 通过伸缩求和与容斥原理进行详细组合分析，精确计算不相交与相交对的数量。

实验结果

研究问题

• RQ1 在大小s > \binom{n-1}{k-1}的k一致集合系统中，不相交对的最小数量是多少？
• RQ2 在小规模族中，k-元素子集的字典序初始段是否是最小化不相交对数的最优解？
• RQ3 在超过极值t-相交界限的k一致族中，必须出现多少个t-相交对？
• RQ4 在超过极值q-匹配自由界限的k一致族中，q-匹配的最小数量是多少？
• RQ5 对于k ≥ 3，极值系统的结构能否在星形与字典序之外被进一步刻画？

主要发现

• 对于大小s > \binom{n-1}{k-1}的小规模k一致族，字典序初始段最小化不相交对的数量，从而确认了Bollobás-Leader猜想。
• 此类系统中不相交对的最小数量渐近下界为\frac{1}{2}\left(1 - \frac{k(k+2)}{n}\right)s^2，且通过谱方法证明了该界限的紧致性。
• 对于t-相交系统，字典序构造中t-相交对的数量比星形构造多出一个正量，其渐近表达式为\frac{1}{4}(r+1)r(r-1)(r-2)\binom{n-t}{k-t-1}^2（当r ≥ 3时）。
• 通过构造r个完整的t-星加一个部分(r+1)星，可实现给定大小下t-相交对数的最小值。
• 该论文通过确定超过极值t-相交界限的系统中t-不相交对的最小数量，为Kleitman与West的问题提供了部分解答。
• 结果对Erdös-Ko-Rado定理及其推广提供了定量强化，表明超过极值界限将强制产生可预测数量的禁止配置。