悬而未决｜并闭集猜想

luyuanhong

悬而未决｜并闭集猜想

原创  abc 不知道  一团雾水  2026 年 8 月 5 日 09:00  上海

一、一个看起来显然成立的猜想

假设你手里有一些集合，比如：{1,2} , {2,3} ,{1,2,3} 。

注意，随便拿两个出来做“并集”（把元素合在一起），结果还在这个列表里：{1,2}∪{2,3}={1,2,3} 。数学家管这种怎么并都并不出去的集合族叫“并闭的”——字面意思，对“并”运算封闭。

现在数一数每个元素出现了多少次：总共有 3 个集合。元素 1 出现在 2 个集合里，元素 2 出现在 3 个集合里，元素 3 出现在 2 个集合里。元素 2 的出现频率是 3/3 = 100% ，超过了 50% 。

1979 年，匈牙利数学家 Peter Frankl 提出了一个猜想：

并闭集合猜想（Frankl 猜想）：对任意非空的有限并闭集合族，必然存在某个元素，该元素至少出现在一半的集合里。

听起来是不是太“显然”了？集合随便并，元素只会越并越多，怎么可能每个元素都只出现在不到一半的集合里？

但 50 年过去了，没有人能证明它。Frankl 自己悬赏了 100 万美元，至今无人领走。

二、直觉 vs. 数学：为什么它不简单

直觉告诉我们：并闭操作会让元素"富者愈富"——一个出现频率高的元素，在与其他集合取并后只会出现在更多集合中。所以，不太可能所有元素的频率低于 50% 。

但直觉是一回事，数学证明是另一回事。

麻烦在于：虽然看起来“不可能”构造出反例，但数学上并没有一个显而易见的理由阻止它发生。问题微妙就微妙在这里——你可以构造一些并闭族，让每个元素的频率都刚好卡在 50% 附近。比如，考虑全集 {1, 2, 3} 的所有非空子集（共 7 个），每个元素恰好出现在 4 个集合里，频率 4/7 ≈ 57%。如果把底集变大，这个比例会越来越接近 50% 。

那么，能不能让所有元素的频率都严格低于 50%？目前没人能证明这不可能——也没人能构造出反例。

三、早期探索

从 1979 年到 2022 年，这个猜想基本上处于“反复验证”的阶段。计算机穷举了海量案例，全部成立。1992 年，Roberts 验证了对于底集大小 n≤40 的情形猜想成立。1994 年，数学家 Knill 给出了一个下界：存在元素出现在至少“对数比例”的集合中。但这个下界会随着集合总数的增大而趋近于零，远不是猜想所需的 50% 。2013 年，Bosnjak 和 Markovic 利用同构分类技术，完全验证了 n≤11 的所有并闭族。

最令人沮丧的是：在长达近 30 年的时间里，连“存在一个元素出现在至少 1% 的集合中”都无法证明。1% ！不是 50% ，是 1% 。

四、2022 年：一个 Google 研究员用“信息”攻破了坚冰

2022 年 11 月，沉寂被打破了。Google 研究员 Justin Gilmer 发表了一篇论文，首次证明了：存在一个正的常数下界。虽然这个常数只有大约 0.0001（万分之一），但意义非凡——它证明了这种“明星元素”不是一个偶然现象，而是一个必然规律。

Gilmer 做了一件出人意料的事：他没有用传统的组合方法，而是用信息论。这个思路非常巧妙，我们用一个比喻来理解：

假设你有一堆拼图碎片，它们“对并封闭”——任取两片拼在一起，得到的新图案还在这一堆里。如果每片拼图都“差不多”（没有哪个图案元素特别高频），那么随便抽两片拼在一起，得到的图案应该比原来“更不确定”——用信息论的话说，熵增加了。但“并闭”意味着拼出来的图案不能超出这一堆，熵不能无限增加。矛盾。所以，必然存在某个图案元素特别高频。

这个论证的核心是一个叫“熵”的概念——它衡量的是“不确定性”。Gilmer 的证明本质上在说：如果每个元素都太“稀有”，那么随机取两个集合并起来，结果的“不确定性”就会比原来大，但这与并闭性矛盾。

短短几周内，多位数学家接力改进：Alweiss 、Huang 和 Sellke ，以及 Chase 和 Lovett 、Sawin 几乎同时证明了：用 Gilmer 的方法，下界可以推到 约 38.2% 。从万分之一到 38% ，不到一个月！

五、黄金比例的神秘现身



六、小数点后第三位：一场毫米级的推进

38.2% 还没到 50%，但 Gilmer 的方法已经被证明到了极限。那么，怎么继续往前走？

Will Sawin 第一个指出：Gilmer 的推导中假设两个随机集合是“完全独立”抽取的，这个假设太强了。打个比方：Gilmer 相当于假设每次抽两个集合都是“重新洗牌”，但实际并闭族中的集合之间有天然的关联。如果让两个集合“稍微沾亲带故”一点，就能得到更好的下界。

在这条思路上，Lei Yu（南开大学）和 Stijn Cambie 分别独立地把下界推到了约 0.38234 。2023 年，Jingbo Liu（UIUC）用更精细的方式让集合之间的“关联”更贴近真实情况，又推进了一小步，达到了 0.38271 ——这需要求解一个极其复杂的 9 维最优化问题。



从 0.38197 到 0.38271，只提高了 0.00074 ——连千分之一都不到。这折射出熵方法在逼近 50% 的路上似乎遇到了某种本质性障碍。要突破 50% ，可能需要全新的数学思想。

七、换个角度看：不只是一种问法

并闭集合猜想的有趣之处在于，它有很多“马甲”——在完全不同的数学领域里，它可以被翻译成完全不同的语言。

格论的视角：如果把并闭族看作一个“格”（一种有序的代数结构），猜想等价于说：任何有限格中，总有一个“不可再分”的小元素，它上面坐着的元素不超过总数的一半。这个视角让格论专家也能参与进攻，已经成功证明猜想对分配格、模格、几何格等多种特殊格类成立。

图论的视角：可以把集合和元素画成一张二分图——左边是集合，右边是元素，连线表示“属于”关系。猜想等价于说：存在一个右侧顶点，它的连线数至少是左侧顶点数的一半。

信息论的视角：这就是 Gilmer 用的方法——把“集合”看作随机变量，把“并闭”翻译成熵的不等式。

这三种视角看似风马牛不相及，说的却是同一件事。

八、2025–2026 ：有人在逼近答案

最近两年，进展明显加速。

2025 年，Christopher Bouchard 对猜想的最小反例做了精确的结构刻画。他的思路是：假设反例存在，那么它必须满足一系列苛刻的条件——比如至少要有 3 个“原子”（最小的非空集合），而且底部结构不能太简单。这些条件使得反例的空间被极大地压缩了。

2026 年 7 月，Bouchard 又研究了并闭族中的“超饱和现象”——简单说，就是“某些结构在并闭族中不仅存在，而且必须大量存在”。这为理解并闭族的内部结构提供了新工具。

2026 年 3 月，T. Agama 甚至声称给出了完整证明。不过，这篇论文发表在一个非主流的预印本分类下，使用了非常规的术语，数学界普遍持审慎态度。该猜想历史上已有多次声称证明后被推翻的先例，所以这次也不例外地需要等待独立验证。

值得一提的是，中国学者也在积极参与。胡泽春、施一丁、周倩倩（四川大学 / 天津理工大学）在 2025–2026 年间发表了系列论文，研究了一个加强版猜想（要求存在两个元素各出现至少一半），并证明在小规模情形下成立。Lei Yu（南开大学）的熵方法改进也发表在 Entropy 期刊上。

也许那天你给 AI 说了这个猜想，它找出反例呢（doge）。

一团雾水