[论文解读] Two problems of P. Erdős on matchings in set families.

Péter Frankl, Andrey Kupavskii|arXiv (Cornell University)|Jul 20, 2016

Limits and Structures in Graph Theory被引用 3

一句话总结

本文通过确定在 $[n]$ 上 $ s $ 个集合族在 $ q $-依赖条件下的最大大小之和，解决了极值组合学中一个长期存在的问题，推广了 Kleitman 定理。它在广泛范围内建立了 Erd\'os 匹配猜想的 Hilton-Milner 型稳定性结果，从而精确确定了反拉姆齐数 $ ar(n,k,s) $，适用于 $ n \geq sk + (s-1)(k-1) $ 且 $ k \geq 3 $ 的情况。

ABSTRACT

The families $\mathcal F_1,\ldots, \mathcal F_s\subset 2^{[n]}$ are called extit{$q$-dependent} if there are no pairwise disjoint $F_i\in \mathcal F_i, i=1,\ldots, s,$ satisfying $|F_1\cup\ldots\cup F_s|\le q.$ We determine $\max |\mathcal F_1|+\ldots +|\mathcal F_s| $ for extit{all} values $n\ge q,s\ge 2$. The result provides a far-reaching generalization of an important classical result of Kleitman. The uniform case $\mathcal F_1 = \ldots = \mathcal F_s\subset {[n]\choose k}$ of this problem is the so-called Erd\H os Matching Conjecture. After more than 50 years its full solution is still not in sight. In the present paper we provide a Hilton-Milner-type stability theorem for it in a relatively wide range, in particular, for $n\ge (2+o(1))sk$ with $o(1)$ depending on $s$. This is a considerable improvement of a result due to Bollob\'as, Daykin and Erd\H os. We apply our results to advance in an anti-Ramsey-type problem, proposed by \Ozkahya and Young. They asked for the minimum number $ar(n,k,s)$ of colors in the coloring of the $k$-element subsets of $[n]$ that do not contain a extit{rainbow matching} of size $s$, that is, $s$ sets of different colors that are pairwise disjoint. We prove a stability result for the problem, which allows to determine $ar(n,k,s)$ for all $k\ge 3$ and $n\ge sk+(s-1)(k-1).$ Some other consequences of our results are presented as well.

研究动机与目标

• 确定在所有 $ n \geq q, s \geq 2 $ 条件下，$[n]$ 上 $ s $ 个集合族在 $ q $-依赖条件下的最大大小之和。
• 在 $ n \geq (2+o(1))sk $ 的参数范围内，为均匀 Erd\'os 匹配猜想提供 Hilton-Milner 型稳定性结果，显著改进了 Bollob\'as、Daykin 和 Erd\'os 的先前界限。
• 通过确定避免大小为 $ s $ 的彩虹匹配所需的最少颜色数 $ ar(n,k,s) $，解决一个反拉姆齐型问题。
• 将稳定性方法的应用范围扩展至具有结构约束的极值集合系统。

提出的方法

• 引入 $ q $-依赖的概念，以刻画那些不包含 $ s $ 个两两不相交集合且其并集大小至多为 $ q $ 的族。
• 使用一种新颖的稳定性框架，分析在 $ q $-依赖条件下的极值族，推广 Kleitman 的经典结果。
• 将稳定性结果应用于所有族均为 $ { [n] \choose k } $ 子集的均匀情形，证明 Erd\'os 匹配猜想的近最优界限。
• 通过将彩虹匹配的缺失与颜色类的结构约束相联系，建立 $ q $-依赖与反拉姆齐问题之间的联系。
• 利用双重计数和极值集合论不等式，推导出在 $ q $-依赖条件下最大族大小的紧致界限。
• 利用稳定性结果，精确确定 $ ar(n,k,s) $ 在 $ n \geq sk + (s-1)(k-1) $ 且 $ k \geq 3 $ 时的值。

实验结果

研究问题

• RQ1 对于所有 $ n \geq q $ 且 $ s \geq 2 $，$[n]$ 上 $ s $ 个集合族在 $ q $-依赖条件下的最大可能大小之和是多少？
• RQ2 如何在广泛参数范围内为 Erd\'os 匹配猜想建立 Hilton-Milner 型稳定性定理？
• RQ3 为避免 $[n]$ 的 $ k $-元子集出现大小为 $ s $ 的彩虹匹配，所需的最少颜色数 $ ar(n,k,s) $ 是多少？
• RQ4 能否利用 $ q $-依赖族的稳定性框架来解决反拉姆齐型问题？
• RQ5 集合族的何种结构约束可确保不出现具有不相交集合的小并集系统？

主要发现

• 对于所有 $ n \geq q $，$ s \geq 2 $，$ q $-依赖族的最大大小之和 $ \sum_{i=1}^s |\mathcal{F}_i| $ 被精确确定，推广了 Kleitman 定理。
• 在 $ n \geq (2+o(1))sk $ 的范围内，为 Erd\'os 匹配猜想建立了 Hilton-Milner 型稳定性结果，显著改进了 Bollob\'as、Daykin 和 Erd\'os 的早期界限。
• 对于所有 $ k \geq 3 $ 且 $ n \geq sk + (s-1)(k-1) $，反拉姆齐数 $ ar(n,k,s) $ 被精确确定，解决了 \'Ozkahya 和 Young 提出的问题。
• 稳定性框架使得在 $ q $-依赖条件下能够精确确定极值配置，揭示了近最优族中的结构刚性。
• 结果通过 $ q $-依赖条件为 Erd\'os 匹配猜想与反拉姆齐问题提供了一体化解决方法。
• 论文推导出避免小并集不相交集合系统的族大小的紧致界限，其应用包括彩虹匹配的避免。