[论文解读] A linear bound on the Manickam-Miklos-Singhi Conjecture

Alexey Pokrovskiy|BIROn (Birkbeck, University of London)|Aug 9, 2013

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

一句话总结

本文通过证明当 $ n \geq 10^{46}k $ 时，任意具有非负总和的 $ n $ 个实数的集合中，至少包含 $ \binom{n-1}{k-1} $ 个大小为 $ k $ 且总和非负的子集，从而为 Manickam-Miklós-Singhi 猜想建立了线性上界。证明采用了一种受 Katona 证明 Erdős-Ko-Rado 定理启发的基于超图的平均化技术，将问题简化为在精心构造的正则超图上验证 MMS 性质。

ABSTRACT

Suppose that we have a set of numbers x_1, ..., x_n which have nonnegative sum. How many subsets of k numbers from {x_1, ..., x_n} must have nonnegative sum? Manickam, Miklos, and Singhi conjectured that for n at least 4k the answer is (n-1 \choose k-1). This conjecture is known to hold when n is large compared to k. The best known bounds are due to Alon, Huang, and Sudakov who proved the conjecture when n > 33k^2. In this paper we improve this bound by showing that there is a constant C such that the conjecture holds when n > Ck.

研究动机与目标

• 通过在 $ k $ 上建立线性上界，解决长期悬而未决的 Manickam-Miklós-Singhi 猜想，优于以往的超多项式上界。
• 证明当 $ n \geq 10^{46}k $ 时该猜想成立，与先前结果相比，显著降低了 $ n $ 相对于 $ k $ 的要求。
• 引入并应用一种受 Katona 证明 Erdős-Ko-Rado 定理启发的基于超图的平均化方法，以在正则超图上验证 MMS 性质。
• 识别出确保 MMS 性质成立的超图结构约束，为通过其他构造方式实现进一步改进铺平道路。

提出的方法

• 利用引理 1.3，将问题简化为验证一个 $ d $-正则 $ k $-均匀超图是否满足 MMS 性质：若顶点权重总和非负，则至少有 $ d $ 条边的权重和非负。
• 构造一族稀疏、正则的 $ k $-均匀超图 $ \mathcal{H}_{n,k} $，其顶点数为 $ n $，具有受控的度数和边分布，以满足 MMS 性质。
• 通过对顶点集的循环平移应用平均化论证，利用加法组合数学工具估算跟踪负部分和区间的集合 $ R(0) $ 和 $ R^{-}(m) $ 的大小。
• 使用涉及 $ \epsilon_1, \epsilon_4, \epsilon_5 $ 的不等式组控制误差项，并推导出长度为 $ k $ 的区间中非负 $ k $-子集数量的下界。
• 通过对称性和区间重叠论证表明，若 $ R(0) $ 和 $ R^{-}(m) $ 均包含某个 $ k $-区间的超过一半，则除非总和为负，否则将导致矛盾。
• 建立存在满足 MMS 性质的此类超图的事实，意味着原始猜想对相应的 $ n $ 和 $ k $ 成立。

实验结果

研究问题

• RQ1 能否在 $ n $ 关于 $ k $ 线性而非超多项式或指数关系时证明 Manickam-Miklós-Singhi 猜想？
• RQ2 一个 $ k $-均匀超图必须具备何种结构性质，才能在非负总权重分配下确保 MMS 性质成立？
• RQ3 是否可能构造出满足 MMS 性质的正则超图，并实现 $ n $ 相对于 $ k $ 的显著改进上界？
• RQ4 最小常数 $ C $ 是多少，使得该猜想对所有 $ n \geq Ck $ 成立？
• RQ5 当前的超图构造能否被优化或替换，以将常数从 $ 10^{46} $ 降低到更小的通用常数？

主要发现

• Manickam-Miklós-Singhi 猜想对所有 $ n \geq 10^{46}k $ 成立，建立了关于 $ k $ 的线性上界。
• 该证明依赖于对循环平移上平均化技术的创新应用，扩展了 Katona 证明 Erdős-Ko-Rado 定理的方法。
• 构造具有 MMS 性质的 $ k $-均匀超图是论证的核心，且已证明当 $ n \geq 10^{46}k $ 时此类超图存在。
• 当前的超图构造无法将常数 $ 10^{46} $ 降低至 5，因为对于大 $ k $，$ \mathcal{H}_{5(k-1),k} $ 不满足 MMS 性质。
• 常数 $ 10^{46} $ 并不紧致，通过优化超图设计或采用其他构造方式，很可能进一步改进该上界。
• 本文识别出一类具有 MMS 性质的新超图，提示了可能实现该猜想完全解决的路径。