[论文解读] Structure and properties of large intersecting families

Andrey Kupavskii|arXiv (Cornell University)|Oct 1, 2018

Limits and Structures in Graph Theory参考文献 27被引用 6

一句话总结

本文通过精确量化远离星形家族的多样性（与星形的距离）与族大小之间的权衡，为大交集族的稳定性建立了决定性结果。利用Kruskal–Katona定理和改进的二分图切换技巧等高级技术，证明了当 $ n > Ck $ 时，覆盖数至少为3的最大交集族同构于族 $\mathcal{C}_3(n,k)$，从而解决了极值集合论中长期存在的问题，并将Frankl定理推广至有界多样性和交叉交集族的情形。

ABSTRACT

We say that a family of $k$-subsets of an $n$-element set is intersecting if any two of its sets intersect. In this paper we study properties and structure of large intersecting families. We prove a conclusive version of Frankl's theorem on intersecting families with bounded maximal degree. This theorem, along with its generalizations to cross-intersecting families, strengthens the results obtained by Frankl, Frankl and Tokushige, Kupavskii and Zakharov and others. We study the structure of large intersecting families, obtaining some very general structural theorems which extend the results of Han and Kohayakawa, as well as Kostochka and Mubayi. We also obtain an extension of some classic problems on intersecting families introduced in the 70s. We extend an old result of Frankl, in which he determined the size and structure of the largest intersecting family of $k$-sets with covering number $3$ for $n>n_0(k)$. We obtain the same result for $n>Ck$, where $C$ is an absolute constant. Finally, we obtain a similar extension for the following problem of Erd\H os, Rothschild and Szémeredi: what is the largest intersecting family, in which no element is contained in more than a $c$-proportion of the sets, for different values of $c$.

研究动机与目标

• 确定当 $ n > Ck $ 时，覆盖数至少为3的 $k$-集合交集族的最大精确大小，其中 $C$ 为绝对常数。
• 在有界最大度下，建立Frankl定理的决定性版本，推广Frankl、Frankl–Tokushige以及Kupavskii–Zakharov的结果。
• 将关于大交集族的结构结果推广至经典Erdős–Ko–Rado和Hilton–Milner定理之外，包括加权和交叉交集变体。
• 在相同 $ n > Ck $ 条件下，解决Erdős–Rothschild–Szémeredi关于元素在集合中出现频率不超过 $c$ 比例的族的极值问题，对不同的 $c$ 值进行分析。

提出的方法

• 应用Kruskal–Katona定理分析阴影结构，推导交集族的极值界限。
• 使用二分图切换技巧（先前工作已提出，本文进一步扩展），在保持交集性质的同时变换族并增加其大小。
• 引入并分析多样性 $\gamma(\mathcal{F}) = |\mathcal{F}| - \Delta(\mathcal{F})$ 作为关键参数，以度量与星形族的偏离程度。
• 采用junta逼近方法，证明极值族必须同构于特定构造 $\mathcal{D}_{3/7}$，随后证明该构造为最优。
• 证明：对于任意族 $\mathcal{F}$，若 $\gamma(\mathcal{F}) \leq \binom{n-5}{k-4}$ 且 $\tau(\mathcal{F}) \geq 3$，则 $|\mathcal{F}| \leq |\mathcal{C}_3(n,k)|$，且等号成立当且仅当 $\mathcal{F}$ 同构于 $\mathcal{C}_3(n,k)$。
• 通过案例分析与结构论证，表明任何对最优族 $\mathcal{C}_3(n,k)$ 的偏离均可通过切换操作修正，除非已为最优，否则将严格增加族的大小。

实验结果

研究问题

• RQ1 当 $ n > Ck $ 时，覆盖数至少为3的 $k$-集合交集族的最大大小是多少？
• RQ2 交集族的大小如何精确依赖于其多样性 $\gamma(\mathcal{F})$？
• RQ3 Hilton–Milner定理与Frankl型定理能否被强化，以包含等号成立条件及加权变体？
• RQ4 对于不同 $c$ 值，元素在集合中出现频率不超过 $c$ 比例的最大交集族大小是多少？
• RQ5 交集族的 $k$-集合的最大可能多样性 $\gamma(\mathcal{F})$ 是多少？

主要发现

• 当 $ n > Ck $ 时，覆盖数至少为3的最大交集族同构于 $\mathcal{C}_3(n,k)$，其大小为 $\binom{n-1}{k-1} + \binom{n-4}{n-k-1} - \binom{n-4}{k-1}$。
• 任何满足 $\tau(\mathcal{F}) \geq 3$ 的极值交集族，其多样性 $\gamma(\mathcal{F})$ 上限为 $\binom{n-5}{k-4}$，且仅当 $\mathcal{F}$ 同构于 $\mathcal{C}_3(n,k)$ 时大小达到等号。
• 本文证明了Frankl定理的决定性版本，表明当 $ n > 2k \geq 8 $ 时，若 $\gamma(\mathcal{F}) > \binom{n-u-1}{n-k-1}$（$u \geq 4$），则 $|\mathcal{F}|$ 的界限严格小于Frankl原始界限中的表达式。
• 该结果可推广至加权族与交叉交集族，强化了Frankl、Frankl–Tokushige以及Kupavskii–Zakharov的先前结果。
• 本文解决了 $ n > Ck $ 条件下的Erdős–Rothschild–Szémeredi问题，表明在元素度有界时最大族同构于 $\mathcal{C}_3(n,k)$。
• 证明了当 $ n > Ck $ 时 $\gamma(\mathcal{F}) \leq \binom{n-3}{k-2}$，且该界限是紧的，支持该不等式对 $ n \geq 5k $ 也成立的猜想。