[论文解读] Two Results on Union-Closed Families

Ilan Karpas|arXiv (Cornell University)|Aug 4, 2017

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

一句话总结

本文通过布尔分析，对并封闭族建立了两个关键结果：第一，任何包含至少一半幂集（$2^{n-1}$ 个集合）的并封闭族，其必存在一个元素出现在至少一半的集合中；第二，不属于该族但覆盖其某个集合的集合数量至多为 $2^{n-1}$，且该界是紧致的。这些结果推进了弗兰克尔猜想，表明在大型族中元素丰度成立，其中第一个结果通过布尔函数上的傅里叶分析证明。

ABSTRACT

We show that there is some absolute constant $c>0$, such that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, if \mbox{$|\mathcal{F}| \geq (\frac{1}{2}-c)2^n$}, then there is some element $i \in [n]$ that appears in at least half of the sets of $\mathcal{F}$. We also show that for any union-closed family $\mathcal{F} \subseteq 2^{[n]}$, the number of sets which are not in $\mathcal{F}$ that cover a set in $\mathcal{F}$ is at most $2^{n-1}$, and provide examples where the inequality is tight.

研究动机与目标

• 证明任何大小至少为 $2^{n-1}$ 的并封闭族中，必存在一个元素出现在其至少一半的集合中，从而支持弗兰克尔猜想。
• 建立并封闭族中不属于该族但覆盖其某个集合的集合数量的上界为 $2^{n-1}$，并证明该界是紧致的。
• 应用先进的布尔分析技术，以加强关于并封闭族中元素丰度的先前结果。
• 探讨并封闭族特征函数的傅里叶系数与其结构性质之间的关系。

提出的方法

• 使用布尔分析，特别是超立方体上的傅里叶分析，来分析并封闭族的特征函数。
• 应用 FKN 定理与 Kindler-Safra 定理，以界定函数与平衡函数之间的距离，从而在某些假设下导出矛盾。
• 采用影响与傅里叶系数分析，推导布尔函数正影响 $I^+(f)$ 的界。
• 利用并封闭族对应于单根布尔函数的事实，推导出结构约束。
• 使用上阴影算子 $\partial^+\mathcal{F}$ 分析不属于 $\mathcal{F}$ 但覆盖 $\mathcal{F}$ 中某个集合的集合。
• 结合布尔函数分析中的定理与组合推理，证明元素丰度与阴影大小的紧致界。

实验结果

研究问题

• RQ1 每个大小至少为 $2^{n-1}$ 的并封闭族是否都包含一个出现在其至少一半集合中的元素？
• RQ2 并封闭族的上阴影集（即不属于该族但覆盖其某个集合的集合）的最大可能大小是多少？
• RQ3 布尔分析技术能否有效应用于弗兰克尔猜想及相关极值组合问题？
• RQ4 并封闭族特征函数的傅里叶系数如何约束其结构性质？
• RQ5 在单根布尔函数中，负傅里叶系数 $\hat{f}(\emptyset)$ 与正影响 $I^+(f)$ 之间是否存在紧密关系？

主要发现

• 存在绝对常数 $c > 0$，使得任意并封闭族 $\mathcal{F} \subseteq 2^{[n]}$ 满足 $|\mathcal{F}| \geq \left(\frac{1}{2} - c\right)2^n$ 时，必存在一个元素出现在其至少一半的集合中。
• 对任意并封闭族 $\mathcal{F} \subseteq 2^{[n]}$，不属于 $\mathcal{F}$ 但覆盖 $\mathcal{F}$ 中某个集合的集合数量至多为 $2^{n-1}$，且该界是紧致的。
• 当 $|\mathcal{F}| \geq 2^{n-1}$ 时，可推出某元素丰度成立，这相比此前要求 $|\mathcal{F}| \geq \left(\frac{2}{3} - \frac{1}{104}\right)2^n$ 的结果有显著改进。
• 主结果的证明使用了布尔分析中的新颖技术，特别是傅里叶分析，通过假设无元素丰度来导出矛盾。
• 上阴影界的紧致性由例子 $\mathcal{F} = \{A \subseteq [n] \mid 1 \notin A\}$ 得到验证，其中恰好有 $2^{n-1}$ 个集合属于上阴影但不属于 $\mathcal{F}$。
• 本文猜想，在单根布尔函数中，负傅里叶系数 $\hat{f}(\emptyset)$ 与正影响 $I^+(f)$ 之间存在紧致关系，该猜想推广了已知的等周不等式。