[论文解读] An Improved Upper Bound for the Sum-free Subset Constant

Mark Lewko|arXiv (Cornell University)|Jul 16, 2010

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

一句话总结

本文建立了有限自然数集中和自由子集常数的新上界 11/28 ≈ 0.393，优于以往的界限。通过构造一个特定的 28 元素集合 A，并证明其中不存在大小为 12 的和自由子集，作者表明埃爾德什和自由子集定理中的最优常数不可能超过 11/28，其证明基于列为基础的加倍关系与和约束的结构化案例分析。

ABSTRACT

We show that the optimal constant in Erdös' sum-free subset theorem cannot be larger than $11/28 \approx .393$.

研究动机与目标

• 改进和自由子集常数的上界，该常数衡量的是有限自然数集中可能存在的最大和自由元素比例。
• 解决极值组合学中关于埃爾德什和自由子集定理中 1/3 下界是否严格的开放问题。
• 通过构造一个最大和自由子集严格小于总大小 1/3 的有限集合，证明最优常数不可能超过 11/28。
• 提供一个人工可验证的证明，表明在特定的 28 元素集合 A 中，不存在大小为 12 的和自由子集，从而确立新的上界。

提出的方法

• 作者定义和自由子集常数 δ(A) = l/|A|，其中 l 是有限集合 A ⊂ ℕ 中最大和自由子集的大小。
• 他们基于加倍关系（例如 1, 2, 4；3, 6, 12；等）对集合 A 进行表格化表示，以组织证明并约束可能的和自由子集。
• 证明通过关于交集 C = S ∩ B 的大小进行案例分析，其中 B 是前三个列的并集（元素 1–3，4–6，7–12），基于假设的大小为 12 的和自由子集 S 中来自这些列的元素数量。
• 对于每种情况（|C| = 2, 3, 4, 5），作者利用和关系（例如，若 x,y ∈ S，则 x+y ∉ S）推导出排除约束，并系统性地排除所有可能的配置。
• 他们利用若 d₁A ∩ d₂A = ∅，则 d₁A ∪ d₂A 的和自由子集常数至多等于 A 的常数这一事实，从而可使用单个构造集合来界定最优常数。
• 证明通过表明在所有情况下，假设存在大小为 12 的和自由子集都会因不可避免的和关系而产生矛盾而完成。

实验结果

研究问题

• RQ1 埃爾德什和自由子集定理中的最优常数是否严格小于 1/3？若是，最佳可能上界为何？
• RQ2 在所有有限自然数集中的和自由子集常数的最小可能值是多少？该值能否低于 11/28？
• RQ3 集合 A = {1,2,3,...,18,20,22,24,25,26,27,30,34,50,54} 且 |A| = 28 是否是实现和自由子集常数 11/28 的最小示例？
• RQ4 能否构造出一个人工可验证的证明，表明在该特定集合 A 中，不存在大小为 12 的和自由子集？

主要发现

• 集合 A = {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,20,22,24,25,26,27,30,34,50,54} 的最大和自由子集恰好包含 11 个元素。
• 通过在结构化表格表示中对这类子集与前三个列的交集进行详细案例分析，已证明在 A 中不存在大小为 12 的和自由子集。
• 和自由子集常数 δ(A) = 11/28 ≈ 0.393 由该集合实现，确立其作为上界的一个实例。
• 该证明表明，A 中任何假设的大小为 12 的和自由子集都会因不可避免的和关系（如 x + y = z 且 x,y,z ∈ S）而产生矛盾。
• 该结果优于以往的上界：3/7 ≈ 0.429（埃爾德什，1965 年），12/29 ≈ 0.414（阿隆与克莱特曼，1990 年），以及 0.4（马鲁夫，2002 年报告）。
• 作者确认，该构造的界限 11/28 是紧的，且不存在更大的常数，因为此类集合的存在意味着存在任意大的集合，其和自由子集常数的上界相同。