[论文解读] A Branch-and-Cut Strategy for the Manickam-Miklos-Singhi Conjecture

Stephen G. Hartke, Derrick Stolee|arXiv (Cornell University)|Feb 14, 2013

Analytic Number Theory Research参考文献 11被引用 6

一句话总结

该论文结合分支定界法与随机传播技术，计算验证了 $k \leq 7$ 时曼尼卡-米克洛斯-辛格伊猜想的更强形式。通过将问题建模为有序向量上的线性规划搜索，并利用对称性破除约束，作者证明了当 $k = 4,5,6,7$ 时，$f(k) = 14, 17, 20, 23$，并确认当 $n < f(k)$ 时极值例子的形式为 $a^b (-b)^a$，且在 $n = 4k$ 处存在相变。数据支持了 $f(k)/k \approx 3.1479$ 的猜想渐近增长率。

ABSTRACT

The Manickam-Miklos-Singhi Conjecture states that when n is at least 4k, every multiset of n real numbers with nonnegative total sum has at least (n-1 choose k-1) k-subsets with nonnegative sum. We develop a branch-and-cut strategy using a linear programming formulation to show that verifying the conjecture for fixed values of k is a finite problem. To improve our search, we develop a zero-error randomized propagation algorithm. Using implementations of these algorithms, we verify a stronger form of the conjecture for all k at most seven.

研究动机与目标

• 为了计算验证固定 $k$ 值下超越先前结果的曼尼卡-米克洛斯-辛格伊猜想。
• 为了确定最小的 $f(k)$，使得当 $n \geq f(k)$ 时，任意非负总和的 $n$-元组中至少有 $\binom{n-1}{k-1}$ 个非负的 $k$-和。
• 为了研究在 $n < f(k)$ 时实现非负 $k$-和数量最少的极值向量的结构。
• 为了检验一个加强的猜想，即 $f(k) = N_k$，其中 $N_k$ 是满足 $\binom{N_k-3}{k} \geq \binom{N_k-1}{k-1}$ 的最小整数。

提出的方法

• 将分支定界策略表述为线性规划问题，以验证 $g(n,k) \geq t$，其中 $g(n,k)$ 是所有非负总和的 $n$-元组中非负 $k$-和的最小数量。
• 通过将向量限制为非递增形式（$x_1 \geq x_2 \geq \cdots \geq x_n$）来应用对称性破除约束，形成集合 $F_n$，以减少搜索空间并实现 $k$-和符号的高效传播。
• 引入一种零误差的随机传播算法，以在不进行穷举枚举的情况下推断 $k$-和的符号，显著提升了搜索效率。
• 该算法利用 $k$-子集上的偏序集结构，特别关注集合 $T = \{1, n-k+2, \dots, n\}$，以指导分支与剪枝。
• 通过利用 Chowdhury 引理 $\hat{g}(n,k) = 0 \Rightarrow \hat{g}(n+k,k) = 0$，该方法验证了 $k$ 个连续 $n$ 值下 $g(n,k) \geq \binom{n-1}{k-1}$，从而将问题简化为有限计算。
• 实现代码测试了所有形式为 $a^b (-b)^a$ 的向量，其中 $k \leq 250$，确认当 $3k < n < N_k$ 时，$3^{n-3} (-(n-3))^3$ 是最优的，而当 $n \geq N_k$ 时，$(n-1)^1 (-1)^{n-1}$ 是最优的。

实验结果

研究问题

• RQ1 最小的 $f(k)$ 是多少，使得当 $n \geq f(k)$ 时，任意非负总和的 $n$-元组中至少有 $\binom{n-1}{k-1}$ 个非负的 $k$-和？
• RQ2 在 $n < f(k)$ 时，实现非负 $k$-和数量最少的极值向量是否总是具有 $a^b (-b)^a$ 的形式（仅含两个不同值）？
• RQ3 猜想的界 $f(k) = N_k$ 是否对所有 $k$ 成立，其中 $N_k$ 满足 $\binom{N_k-3}{k} \geq \binom{N_k-1}{k-1}$？
• RQ4 当 $n \geq f(k)$ 时，是否只有唯一的极值例子 $(n-1)^1 (-1)^{n-1}$ 能实现 $\binom{n-1}{k-1}$ 个非负的 $k$-和？
• RQ5 当 $k \to \infty$ 时，$f(k)/k$ 的渐近增长率是多少？其是否收敛于约 3.1479，如由等式 $\binom{x-3}{k} = \binom{x-1}{k-1}$ 的立方根所暗示的那样？

主要发现

• 作者计算验证了 $k \leq 7$ 时曼尼卡-米克洛斯-辛格伊猜想的更强形式，扩展了此前对 $k=3$ 的结果。
• 确定了 $f(k)$ 的取值：$f(4) = 14$，$f(5) = 17$，$f(6) = 20$，$f(7) = 23$，确认了使所有非负总和的 $n$-元组中至少有 $\binom{n-1}{k-1}$ 个非负 $k$-和的最小 $n$。
• 当 $n < f(k)$ 时，具有最少非负 $k$-和的极值例子为 $a^b (-b)^a$ 形式，其中当 $3k < n < f(k)$ 时 $a=3$，$b=n-3$；当 $n \geq f(k)$ 时 $a=n-1$，$b=1$。
• 在 $n = 4k$ 处的相变现象得到确认：当 $n < 4k$ 时，极值例子仅包含两个不同值，但当 $n \geq 4k$ 时，至少包含三个不同值，表明极值配置的结构发生了转变。
• 猜想的渐近增长率 $\lim_{k \to \infty} f(k)/k \approx 3.147899$ 得到计算结果的支持：$k \leq 7$ 时 $f(k)/k$ 的取值正趋向该极限。
• 证明了极值例子 $(n-1)^1 (-1)^{n-1}$ 在本质上是唯一的：不存在向量 ${\mathbf{x}} \in F_n$ 满足 $\sigma_T({\mathbf{x}}) < 0$（其中 $T = \{1, n-k+2, \dots, n\}$）且 $s_k({\mathbf{x}}) \leq \binom{n-1}{k-1}$，这意味着所有此类最小化器必须与该例子具有相同的非负 $k$-和。