A generalization of Boppana's entropy inequality

技术摘要：Boppala 熵不等式的推广

问题陈述
本文研究了关于并集封闭集合猜想（union-closed sets conjecture）中的一个关键引理，特别关注 Boppala 熵不等式。原始猜想指出，对于任何非空的并集封闭集合族，存在一个元素包含在至少一半的集合中。Gilmer (2022) 最近的进展利用了信息论方法，这在很大程度上依赖于 Boppala 不等式：$h(x^2) \geq \phi x h(x)$，其中 $\phi = (1+\sqrt{5})/2$ 且 $h(x)$ 是二元熵函数。

此前，Yuster 曾推测该不等式可以推广到整数 $k \geq 2$ 的情况（涉及“近似 $k$-并集封闭集合系统”），随后的研究验证了其在特定整数（$k=3,4$ 以及 $5 \leq k \leq 20$）下的成立情况，但对于实数 $k > 1$ 的证明仍是一个开放问题。本文旨在证明该推广不等式对所有实数 $k > 1$ 均成立。

方法论
作者采用标准微积分来分析由熵函数导出的特定比例函数的行为。证明的核心包括：

1. 定义比例函数： 本文定义了 $q(x) = \frac{x^{k-1}h(x)}{h(x^k)}$，其中 $x \in (0, 1)$，并将其连续扩展至边界 $[0, 1]$。
2. 目标不等式： 目标是证明 $q(x) \leq \alpha_k$，其中 $\alpha_k$ 是方程 $x(1+x)^{k-1} = 1$ 的唯一正解。这等价于证明推广后的不等式 $\alpha_k h(x^k) \geq x^{k-1}h(x)$。
3. 临界点分析： 证明表明，$q'(x)$ 消失（等于零）当且仅当 $x = 1/(1+\alpha_k)$。
4. 辅助函数： 为了求解 $q'(x)=0$，作者引入了函数 $U(x) = \frac{\log(x)\log(1-x)}{h(x)}$。条件 $q'(x)=0$ 简化为方程 $U(x) = U(x^k)$。
5. 单调性与对称性： 通过建立 $U(x)$ 在 $(0, 1/2]$ 上严格递减且具有对称性（$U(x) = U(1-x)$）的事实，作者推导出 $U(x) = U(x^k)$ 意味着 $x^k = 1-x$（给定 $k>1$ 且 $0<x<1$）。
6. 边界验证： 证明确认了 $q(x)$ 的最大值出现在唯一的临界点 $x = 1/(1+\alpha_k)$ 处，此时 $q(x) = \alpha_k$，且边界值 $q(0)$ 和 $q(1)$ 严格小于 $\alpha_k$。

主要贡献与结果

• 定理 1： 本文证明了对于任何实数 $k > 1$，不等式 $\alpha_k h(x^k) \geq x^{k-1}h(x)$ 对所有 $0 \leq x \leq 1$ 均成立。当且仅当 $x = 0$，$x = 1/(1+\alpha_k)$ 或 $x = 1$ 时，等号成立。
• 推广： 本结果推广了 Boppala 不等式（$k=2$ 的情况），并证实了 Yuster 的猜想对于所有实数 $k > 1$ 均成立，将其范围从之前的特定整数证明扩展到了更广领域。
• 推论 1： 本文推导了在集合系统中的直接应用：如果一个有限集合系统 $\mathcal{F}$ 是 $(1-\epsilon)$-近似 $k$-并集封闭的，那么存在一个元素包含在 $\frac{\alpha_k}{1+\alpha_k} - \delta$ 比例的集合中，其中 $\delta$ 取决于 $\epsilon, k$ 以及系统的规模。
• 形式化： 作者指出，该证明已在 Lean 4 中完成了形式化验证。

意义与主张
本文声称解决了实数指数下 Boppala 熵不等式的推广问题，这是此前由 Yuster 提出的猜想。通过建立这一不等式，这项工作为适用于“近似 $k$-并集封闭集合系统”的并集封闭集合猜想类比提供了理论基础。作者强调，虽然证明过程依赖于标准微积分技术，但关键步骤得到了 AI 工具（GPT-5.2 pro）的辅助，且形式化过程利用了 AI 辅助（Harmonic Aristotle 和 Gemini 3 Pro Preview）。该工作并非提出新的实验应用，而是巩固了用于处理并集封闭集合问题中近期信息论方法的数学边界。