[论文解读] Maximizing the number of nonnegative subsets

Noga Alon, Harout Aydinian+1 more|arXiv (Cornell University)|Dec 1, 2013

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

一句话总结

本文通过证明：对于一组 $ n $ 个实数，若所有大小大于 $ k $ 的子集的和均为负，则非负子集的最大数量为 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $，从而解决了 Tsukerman 提出的问题。作者提供了两种证明方法：一种基于加权 Hall 定理的变体，另一种基于强化的非均匀 Erdœs-Ko-Rado 定理，证明了在特定条件下该界是紧致且唯一的。

ABSTRACT

Given a set of $n$ real numbers, if the sum of elements of every subset of size larger than $k$ is negative, what is the maximum number of subsets of nonnegative sum? In this note we show that the answer is $\binom{n-1}{k-1} + \binom{n-1}{k-2} + \cdots + \binom{n-1}{0}+1$, settling a problem of Tsukerman. We provide two proofs, the first establishes and applies a weighted version of Hall's Theorem and the second is based on an extension of the nonuniform Erdős-Ko-Rado Theorem.

研究动机与目标

• 确定在所有大小大于 $ k $ 的子集和为负的约束下，$ n $ 个实数集合中非负子集的最大数量。
• 解决 Emmanuel Tsukerman 关于在大小约束下极值子集和的猜想。
• 在仅有一个非负元素时，建立极值配置的紧致性和唯一性。
• 提供两种不同的组合证明：一种基于加权 Hall 型匹配条件，另一种基于强化的非均匀 Erdœs-Ko-Rado 定理。

提出的方法

• 将问题形式化为二分图匹配问题，其中顶点集被划分为两部分，边权反映子集和的条件。
• 引入一种加权 Hall 定理的变体，该变体在子图中保持对称度条件时仍能保证匹配的存在性。
• 通过“上推”操作对子集族进行变换，将其转化为不相交族而不违反非负和条件。
• 应用强化形式的非均匀 Erdœs-Ko-Rado 定理，以在大小-和约束下界定相交族的大小。
• 使用帕斯卡恒等式比较不同非负元素数量下的界，并证明随着 $ t $（非负元素的数量）增加，该界严格递减。
• 通过构造一个显式例子 $ x_1 = k-1 $，$ x_2 = \cdots = x_n = -1 $ 验证极值性，该例子达到了推导出的上界。

实验结果

研究问题

• RQ1 当 $ n $ 个实数集合中所有大小大于 $ k $ 的子集和为负时，非负子集的最大数量是多少？
• RQ2 当 $ k < n-1 $ 时，特别是仅有一个元素非负时，极值配置是否在同构意义下唯一？
• RQ3 在和与大小约束下，能否通过非均匀 Erdœs-Ko-Rado 定理的版本推导出非负子集的上界？
• RQ4 随着非负元素数量的增加，该上界是否严格递减？能否通过组合方法证明这一点？
• RQ5 在 Hall 型证明中使用的辅助图是否存在显式完美匹配构造，而不依赖 Hall 定理？

主要发现

• 非负子集的最大数量恰好为 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $，且该界是紧致的。
• 当 $ k < n-1 $ 且仅有一个元素非负时，极值配置 $ x_1 = k-1 $，$ x_2 = \cdots = x_n = -1 $ 达到该界，且在同构意义下唯一。
• 当 $ k < n-1 $ 时，非负子集的数量在恰好有一个非负元素时达到严格最大值，且随着非负元素数量的增加，该界递减。
• 上界 $ \binom{n-1}{k-1} + \cdots + \binom{n-1}{0} + 1 $ 是强化非均匀 Erdœs-Ko-Rado 定理的一个推论。
• 通过上推操作的证明表明，任何满足和与不相交条件的族均可转化为不相交族而不违反约束，保持大小不变，从而可应用已知的极值界。
• 本文证明了对于所有满足 $ 1 \leq t \leq k < n $ 的 $ t, k, n $，极值界都是紧致的，构造为 $ x_1 = k-t $，$ x_2 = \cdots = x_t = 0 $，$ x_{t+1} = \cdots = x_n = -1 $。