[论文解读] On Cross-intersecting Sperner Families

Wiseley Wong, Eng Guan Tay|arXiv (Cornell University)|Jan 7, 2020

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

一句话总结

本文建立了在 $n$-元素集合上两个交叉相交的Sperner族（反链）大小之和的紧致上界，证明了 $|\mathscr{A}| + |\mathscr{B}| \leq \binom{n}{\lfloor n/2 \rfloor} + \binom{n}{\lceil n/2 \rceil}$，且等号成立当且仅当这两个族分别是全部的 $\lfloor n/2 \rfloor$-集合与 $\lceil n/2 \rceil$-集合。证明使用Sperner操作以及影子/阴影技术，对极值与近乎极值配置进行了刻画。

ABSTRACT

Two sets $\mathscr{A}$ and $\mathscr{B}$ are said to be cross-intersecting if $X\cap Y eq\emptyset$ for all $X\in\mathscr{A}$ and $Y\in\mathscr{B}$. Given two cross-intersecting Sperner families (or antichains) $\mathscr{A}$ and $\mathscr{B}$ of $\mathbb{N}_n$, we prove that $|\mathscr{A}|+|\mathscr{B}|\le 2{{n}\choose{\lceil{n/2} ceil}}$ if $n$ is odd, and $|\mathscr{A}|+|\mathscr{B}|\le {{n}\choose{n/2}}+{{n}\choose{(n/2)+1}}$ if $n$ is even. Furthermore, all extremal and almost-extremal families for $\mathscr{A}$ and $\mathscr{B}$ are determined.

研究动机与目标

• 确定在 $\mathbb{N}_n$ 上两个交叉相交Sperner族大小之和的最大可能值。
• 刻画所有实现这些界值的极值与近乎极值族。
• 将经典关于相交族的结果推广至具有交叉相交约束的Sperner（反链）情形。
• 提供一种基于Sperner操作的新证明方法，与以往方法不同。
• 将极值集合论结果与图论联系起来，特别是图的 $G$-顶点乘积中的最优定向问题。

提出的方法

• 利用Sperner操作（影子与阴影）分析并变换族，同时保持交叉相交与反链性质。
• 应用Lubell-Yamamoto-Meshalkin（LYM）不等式框架及相关影子定理来界定族的大小。
• 基于中间层 $\lfloor n/2 \rfloor$ 与 $\lceil n/2 \rceil$ 中族的大小进行情况分析，利用已知的影子增长不等式。
• 使用双重计数与极值集合论技术，对非极值配置导出矛盾。
• 通过影子大小估计隐式应用Kruskal-Katona定理，以界定上层中集合的数量。
• 通过证明任何偏离都会导致 $|\mathscr{A}| + |\mathscr{B}|$ 严格减小，从而确立极值族的唯一性。

实验结果

研究问题

• RQ1 在 $\mathbb{N}_n$ 上，两个交叉相交Sperner族的大小之和 $|\mathscr{A}| + |\mathscr{B}|$ 的最大可能值是多少？
• RQ2 该最大和在何时达到？极值族的确切结构是什么？
• RQ3 近乎极值的配置是什么？它们与极值配置有何偏离？
• RQ4 如作者所建议，能否将极值界强化为类似LYM的不等式？
• RQ5 这些结果如何与图的 $G$-顶点乘积中的最优定向相关？

主要发现

• 当 $n$ 为奇数时，最大和 $|\mathscr{A}| + |\mathscr{B}|$ 为 $2\binom{n}{\lceil n/2 \rceil}$，当且仅当 $\{\mathscr{A}, \mathscr{B}\} = \left\{ \binom{\mathbb{N}_n}{\lfloor (n+1)/2 \rfloor}, \binom{\mathbb{N}_n}{\lceil (n+1)/2 \rceil} \right\}$ 时达到。
• 当 $n$ 为偶数时，最大和为 $\binom{n}{n/2} + \binom{n}{n/2 + 1}$，且唯一当一个族是全部的 $n/2$-集合，另一个族是全部的 $(n/2+1)$-集合时达到。
• 对于奇数 $n$，近乎极值的情形仅出现在一个族是全部的 $\lceil n/2 \rceil$-集合，而另一个族是大小为 $\binom{n}{\lceil n/2 \rceil} - 1$ 的子族时。
• 对于偶数 $n$，近乎极值和 $\binom{n}{n/2} + \binom{n}{n/2 + 1} - 1$ 恰好出现在两种对称配置中：一个族在 $n/2$ 层完全，另一个族在 $n/2 + 1$ 层近乎完全，反之亦然。
• 所有极值与近乎极值配置均被完全刻画，不存在其他族能实现这些界值。
• 基于Sperner操作的证明方法提供了新颖且自包含的推导，与以往基于 $t$-相交族的证明方法有本质区别。