[论文解读] On "stability" in the Erd\H{o}s-Ko-Rado theorem

Pat Devlin, Jeff Kahn|arXiv (Cornell University)|Feb 19, 2015

Limits and Structures in Graph Theory参考文献 9被引用 5

一句话总结

该论文证明了在随机Kneser图 $K_p(2k+1,k)$ 中，存在一个固定的 $p < 1$，使得当 $k \to \infty$ 时，几乎必然地，唯一的最大独立集是星形结构——这在Erdös-Ko-Rado定理下实现了稳定性结果，即在随机删边条件下。此外，论文还表明该性质的阈值概率为 $O(p_0(n,k))$，适用于一般 $n$ 和 $k$，从而解决了关于随机Kneser图中EKR性质阈值行为的一个问题。

ABSTRACT

Denote by $K_p(n,k)$ the random subgraph of the usual Kneser graph $K(n,k)$ in which edges appear independently, each with probability $p$. Answering a question of Bollob\\'as, Narayanan, and Raigorodskii,we show that there is a fixed $p&lt;1$ such that a.s. (i.e., with probability tending to 1 as $k \ o \\infty$) the maximum independent sets of $K_p(2k+1, k)$ are precisely the sets $\\{A\\in V(K(2k+1,k)): x\\in A\\}$ ($x\\in [2k+1]$). We also complete the determination of the order of magnitude of the "threshold" for the above property for general $k$ and $n\\geq 2k+2$. This is new for $k\\sim n/2$, while for smaller $k $ it is a recent result of Das and Tran.

研究动机与目标

• 解决Bollob\'as、Narayanan和Raigorodskii提出的问题：是否存在某个固定的 $p < 1$，使得 $K_p(2k+1,k)$ 几乎必然满足EKR性质（即所有最大独立集都是星形）？
• 确定随机Kneser图 $K_p(n,k)$ 中EKR性质阈值 $p_c(n,k)$ 的数量级，特别是当 $k \sim n/2$ 时的情况。
• 完成对随机Kneser图 $K_p(n,k)$ 中EKR性质阈值行为的完整刻画，尤其在 $n \in \{2k+1, 2k+2\}$ 且 $k$ 较大的困难情形下。
• 证明对于所有 $n$ 和 $k$，阈值 $p_c(n,k)$ 满足 $O(p_0(n,k))$，其中 $p_0$ 是基于极值族的已知候选阈值。

提出的方法

• 分析随机子图 $K_p(n,k)$，其中Kneser图 $K(n,k)$ 的边以概率 $p$ 独立保留，重点关注最大独立集的结构。
• 通过双计数法和对满足 $A \in {\cal A}$，$B \in \Gamma_{k+c}$，且 $A \subseteq B$ 的对 $({\cal A}, B)$ 的数量进行组合界估计，来估算族 ${\cal A}$ 的阴影中的边数。
• 利用Johnson图结构对 $\beta_c({\cal A})$ 函数（计数 ${\cal A}$ 中集合的 $c$-移位）施加界限，从而推导出随机图中边数的下界。
• 应用一个关键不等式，涉及 $\Lambda({\cal A}, \bar{{\cal B}})$ 和 $\Lambda(\bar{{\cal A}}, {\cal B})$，将边数与 ${\cal A}$ 的大小及其密度 $\mu_k({\cal A})$ 联系起来，从而导出 $e({\cal F})$ 的下界。
• 将这些界限与 $\log(1/\mu_k({\cal A}))$ 的估计相结合，证明随机图中的边数超过阻止非星形独立集存在的阈值。
• 基于 $\mu_k({\cal A})$ 的大小进行情形分析，验证所导出的 $e({\cal F})$ 下界超过所需阈值，从而确保只有星形结构可以是最大独立集。

实验结果

研究问题

• RQ1 是否存在一个固定的 $p < 1$，使得对所有 $k$，$K_p(2k+1,k)$ 几乎必然满足EKR性质？
• RQ2 当 $n \geq 2k+2$ 且 $k \sim n/2$ 时，$K_p(n,k)$ 中EKR性质的阈值 $p_c(n,k)$ 的数量级是什么？
• RQ3 对于所有 $n$ 和 $k$，包括 $n = 2k+1$ 的情形，阈值 $p_c(n,k)$ 是否仍为 $O(p_0(n,k))$？
• RQ4 是否可以为那些非星形但与星形仅相差一个集合的族建立阈值行为，特别是那些恰好在一个集合上与星形不同的族？

主要发现

• 存在一个固定的 $p < 1$，使得当 $k \to \infty$ 时，$K_p(2k+1,k)$ 几乎必然满足EKR性质，确认最大独立集恰好是星形结构。
• 对于一般的 $n$ 和 $k$，EKR性质的阈值 $p_c(n,k)$ 满足 $p_c(n,k) = O(p_0(n,k))$，其中 $p_0(n,k)$ 是基于极值族的候选阈值。
• 阈值 $p_0(n,k)$ 的渐近表达式为：当 $n \geq 2k+2$ 时为 $\binom{n-k-1}{k-1}^{-1} \log(n\binom{n-1}{k})$，当 $n = 2k+1$ 时为 $3/4$，且本文在所有情况下均证明了 $p_c = O(p_0)$。
• 对于 $n = 2k+1$，本文证明了当 $k \to \infty$ 时 $p_c \to 3/4$，支持了阈值趋于 $3/4$ 的猜想。
• 证明表明，当 $p > Cp_0(n,k)$ 且 $C$ 为某个绝对常数时，随机图 $K_p(n,k)$ 几乎必然满足EKR性质，即使在 $k \sim n/2$ 的情形下，此前方法失效的区域也成立。
• 分析确认，EKR性质的主要障碍来自那些恰好在一个集合上与星形不同的族，且此类族在 $p$ 超过阈值时几乎不可能成为独立集。