[论文解读] Ahlswede-Khachatrian Theorems: Weighted, Infinite, and Hamming

Yuval Filmus|arXiv (Cornell University)|Oct 3, 2016

Limits and Structures in Graph Theory参考文献 10被引用 3

一句话总结

本文通过在 $μ_p$-测度框架下重新处理原始证明，将 Ahlswede–Khachatrian 定理推广至加权、无限和汉明设定。它对所有 $p \in (0,1)$ 完整刻画了 $t$-相交族的最大 $μ_p$-测度，包括 $p > 1/2$ 的情形，并识别出所有最优族，解决了先前工作中未能描述最优族或仅适用于 $p < 1/2$ 的缺陷。结果统一并推广了多个领域的经典极值组合学。

ABSTRACT

The seminal complete intersection theorem of Ahlswede and Khachatrian gives the maximum cardinality of a $k$-uniform $t$-intersecting family on $n$ points, and describes all optimal families. We extend this theorem to several other settings: the weighted case, the case of infinitely many points, and the Hamming scheme. The weighted Ahlswede-Khachatrian theorem gives the maximal $μ_p$ measure of a $t$-intersecting family on $n$ points, where $μ_p(A) = p^{|A|} (1-p)^{n-|A|}$. As has been observed by Ahlswede and Khachatrian and by Dinur and Safra, this theorem can be derived from the classical one by a simple reduction. However, this reduction fails to identify the optimal families, and only works for $p &lt; 1/2$. We translate the two original proofs of Ahlswede and Khachatrian to the weighted case, thus identifying the optimal families in all cases. We also extend the theorem to the case $p &gt; 1/2$, using a different technique of Ahlswede and Khachatrian (the case $p = 1/2$ is Katona's intersection theorem). We then extend the weighted Ahlswede-Khachatrian theorem to the case of infinitely many points. The Ahlswede-Khachatrian theorem on the Hamming scheme gives the maximum cardinality of a subset of $\mathbb{Z}_m^n$ in which any two elements $x,y$ have $t$ positions $i_1,\ldots,i_t$ such that $x_{i_j} - y_{i_j} \in \{-(s-1),\ldots,s-1\}$. We show that this case corresponds to $μ_p$ with $p = s/m$, extending work of Ahlswede and Khachatrian, who considered the case $s = 1$. We also determine the maximum cardinality families. We obtain similar results for subsets of $[0,1]^n$, though in this case we are not able to identify all maximum cardinality families.

研究动机与目标

• 完成对 $n$ 个点上最大 $μ_p$-测度 $t$-相交族的刻画，包括 $p > 1/2$ 的情形，其中先前方法失效。
• 在加权设定下识别出所有最优族，解决早期简化中缺乏结构描述的问题。
• 将 Ahlswede–Khachatrian 定理扩展至无穷多个点的情形，定义 $w_{\infty}(p,t)$ 为 $\{0,1\}^{\aleph_0}$ 中 $t$-相交族的 $μ_p$-测度上确界。
• 将定理推广至汉明方案 $\mathbb{Z}_m^n$，表明其对应于 $\u03bc_p$ 且 $p = s/m$，并确定最大族。
• 通过广义圆法在 $μ_p$ 设定下提供 Erdős–Ko–Rado 定理的简化统一证明。

提出的方法

• 将 Ahlswede 和 Khachatrian（1997）原始证明的两种方法重新表述于加权 $μ_p$-测度设定下，以保留最优族的结构信息。
• 通过随机限制的提升论证，将有限情形的结果推广至无限情形，证明 $w_{\infty}(p,t) = \sup_n w(n,t,p)$。
• 应用 Hoeffding 不等式和测度集中性，对 $p$-偏差采样下族的 $μ_p$-测度进行有界，从而实现与最优族的比较。
• 将 Katona 的圆法推广至 $μ_p$ 设定，为加权情形下的 Erdős–Ko–Rado 定理提供简洁证明。
• 在 $μ_p$-测度框架下定义并分析族 $\mathcal{F}_{t,r} = \{S : |S \cap [t+2r]| \geq t+r\}$，以确定 $p$ 的最优阈值。
• 利用置换不变性和极小性论证，证明在 $p$-最优性下最优族的唯一性，尤其当 $p$ 不是临界分数 $r/(t+2r-1)$ 时。

实验结果

研究问题

• RQ1 对所有 $p \in (0,1)$，$n$ 个点上 $t$-相交族的最大 $μ_p$-测度是多少，包括 $p > 1/2$ 的情形？
• RQ2 哪些族实现了这一最大测度，如何在加权设定下完全刻画它们？
• RQ3 在无穷多个点上，$t$-相交族的 $μ_p$-测度上确界是多少，它与有限情形有何关系？
• RQ4 Ahlswede–Khachatrian 定理如何推广至汉明方案 $\mathbb{Z}_m^n$，其与 $\u03bc_p$ 在 $p = s/m$ 时的对应关系是什么？
• RQ5 Katona 的圆法能否推广至 $μ_p$ 设定，以获得 Erdős–Ko–Rado 定理的更简明证明？

主要发现

• 本文完整刻画了 $w(n,t,p)$，即 $n$ 个点上 $t$-相交族的最大 $μ_p$-测度，适用于所有 $n$、$t$ 和 $p \in (0,1)$，解决了先前工作中不完整的图景。
• 当 $p \in \left[\frac{r}{t+2r-1}, \frac{r+1}{t+2r+1}\right]$ 时，最大测度为 $\mu_p(\mathcal{F}_{t,r})$，且该族对所有 $n \geq t+2r$ 均为最优，所有最优族均被明确识别。
• 通过 Ahlswede 和 Khachatrian 的不同技术解决了 $p > 1/2$ 的情形，表明最优族仍保持 $\mathcal{F}_{t,r}$ 的形式，但 $r$ 的选择基于 $p$。
• 在无限情形下，$w_{\infty}(t,p) = \sup_n w(n,t,p)$，且上确界在极限中实现，最优族由有限构造提升而来。
• 在汉明方案 $\mathbb{Z}_m^n$ 中，最大 $t$-相交族对应于 $\u03bc_p$ 且 $p = s/m$，最优族仍为 $\mathcal{F}_{t,r}$（$r$ 适当选取），并给出了 $n$ 的显式界限。
• 在 $μ_p$ 设定下，广义圆法提供了 Erdős–Ko–Rado 定理的简短优雅证明，简化了 Dinur–Friedgut 和 Friedgut 的先前证明。