[论文解读] A superadditivity and submultiplicativity property for cardinalities of sumsets

Katalin Gyarmati, Imre Z. Ruzsa+1 more|ArXiv.org|Jul 18, 2007

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

一句话总结

本文建立了有限整数集和交换半群中和集基数的超可加性与次可乘性不等式。证明了 $n$-重和集 $S = A_1 + \cdots + A_n$ 的大小满足 $|S| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$，其中 $S_i$ 是省略一个集合的 $(n-1)$-重和集，且 $|S| \leq \left(\prod |S_i|\right)^{1/(k-1)}$，表明其增长为次指数级。这些结果将柯西-戴文波特和列夫型不等式推广至异质和项，并扩展至无挠群和受限加法图。

ABSTRACT

For finite sets of integers $A_1, A_2 ... A_n$ we study the cardinality of the $n$-fold sumset $A_1+... +A_n$ compared to those of $n-1$-fold sumsets $A_1+... +A_{i-1}+A_{i+1}+... A_n$. We prove a superadditivity and a submultiplicativity property for these quantities. We also examine the case when the addition of elements is restricted to an addition graph between the sets.

研究动机与目标

• 建立当和项为有限整数集时，$n$-重和集基数的超可加性性质。
• 证明交换半群中和集大小增长的次可乘性不等式。
• 将这些结果扩展至无挠群，并通过加法图在受限加法设定下进行推广。
• 将已知不等式（如柯西-戴文波特和列夫关于 $|3A| \geq \frac{3}{2}|2A| - \frac{1}{2}$ 的结果）推广至任意有限集且和项互异的情形。
• 研究 $|kA|^{1/k}$ 的行为，并证实其单调递减，支持鲁扎的猜想。

提出的方法

• 定义 $S = A_1 + \cdots + A_k$ 和 $S_i = A_1 + \cdots + A_{i-1} + A_{i+1} + \cdots + A_k$，即省略 $A_i$ 的和集。
• 通过用包含 $A_i$ 的最小和最大元素的二元子集 $A_i'$ 替代 $A_i$，构造 $S_i'$。
• 定义 $S' = \bigcup_{i=1}^k S_i'$，并利用组合与极值集论方法证明 $|S| \geq |S'| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$。
• 使用普吕内克类型不等式，并迭代应用定理 4.2 来控制大子集的和集大小，确保存在一个子集 $X \subset A$ 满足可控的加倍性质。
• 应用定理 4.4 找到一个大小大于 $t$ 的子集 $X$，使得 $|X + B|$ 的大小以 $s = \prod |A + B_i|$ 为基准进行有界，其中 $B = B_1 + \cdots + B_h$。
• 通过 $k$-重直积的缩放论证，消除中间界限中的因子 2，最终证明 $|S + A| \leq \sqrt{s|S|}$。

实验结果

研究问题

• RQ1 不等式 $|3A| \geq \frac{3}{2}|2A| - \frac{1}{2}$ 能否推广至异质和集 $A + B + C$？
• RQ2 超可加性不等式 $|S| \geq \frac{1}{k-1}\sum |S_i| - \frac{1}{k-1}$ 是否对任意有限整数集成立？
• RQ3 次可乘性界 $|S| \leq \left(\prod |S_i|\right)^{1/(k-1)}$ 在交换半群的和集中是否成立？
• RQ4 超可加性与次可乘性性质能否推广至无挠群（其中最小/最大元素未定义）？
• RQ5 在受限加法（如图上）下，不等式 $|S + A| \leq \sqrt{|A+B_1||A+B_2||S|}$ 是否成立？

主要发现

• 超可加性不等式 $|S| \geq \frac{1}{k-1}\sum_{i=1}^k |S_i| - \frac{1}{k-1}$ 对有限整数集成立，当集合为等差数列时等号可能成立。
• 次可乘性界 $|S| \leq \left(\prod_{i=1}^k |S_i|\right)^{1/(k-1)}$ 已在交换半群中的有限集上证明，推广了 $k=3$ 时的已知结果。
• 在无挠群中，若 $A_i'$ 为在合适排序下包含最小与最大元素的二元子集，则存在超可加性结果。
• $|kA|^{1/k}$ 的增长被证明是非增的，使用普吕内克类型不等式证实了鲁扎的猜想。
• 通过使用 $k$-重直积消除中间界限中因子 2 的方法，导出了精确不等式 $|S + A| \leq \sqrt{s|S|}$。
• 结果可推广至加法图，但在这类受限设定下，次可乘性不等式通常不成立。