Possible Sizes of Sumsets

技术摘要：和集可能的大小

问题陈述
本文探讨了确定大小为 $k$ 的整数子集之 $h$ 阶和集（$h$-fold sumsets）可能基数（cardinalities）集合的问题。设 $A \subset \mathbb{Z}$ 且 $|A|=k$。$h$ 阶和集定义为 $hA = \{a_1 + \dots + a_h : a_i \in A\}$。Nathanson 定义了可能基数的范围为 $R(h,k) := \{|hA| : A \subset \mathbb{Z}, |A|=k\}$。虽然 $R(2,k)$ 的形式已由 Erdős 和 Szemerédi 确定，且 $R(h,3)$ 已由 Nathanson 确定，但对于任意 $h, k \in \mathbb{N}$，$R(h,k)$ 的结构仍是一个开放问题。具体而言，本文旨在刻画对于固定的 $h$ 和较大的 $k$，集合 $R(h,k)$ 中精确的整数集合。

方法论
作者结合了结构数论、非构造性存在性论证以及生成函数分析。

1. 通过直径控制进行排除： 为了识别不在 $R(h,k)$ 中的整数，本文利用了 Lev [Lev96] 关于集合 $A$ 直径的研究结果。通过定义直径 $d = \text{diam}(A)$ 并应用基于 Freiman 型定理的 $|hA|$归纳界限，作者证明了某些整数区间是不可能的和集大小。这些不可能的值构成了一个集合，记作$\Delta_{h,k}$，其在参数空间中在几何上类似于一个三角形。

2. 归纳图论论证（情况 $h=3$）： 对于 $h=3$ 的特定情况，定理 1.7 的证明是非构造性的，依赖于涉及图 $G_k$ 的归纳论证。$G_k$ 的顶点代表大小为 $k$ 的集合的对 $(|2A|, |3A|)$。作者通过在图中构建路径来证明这些特定顶点之间的连通性，从而证明 $|3A|$ 的可能取值集合是一个连续区间（排除特定的间隙）。

3. 通过不相交并实现连续变化（一般 $h$）： 对于一般的 $h$ 和较大的 $k$，定理 1.4 的证明依赖于将集合 $A$ 构建为“稠密”分量（类似于算术级数）与“稀疏”分量（类似于几何级数或 Sidon 集）的不相交并。

   • 生成函数： 作者定义了生成函数 $F_A(z) = \sum |nA|z^n$。他们证明了对于不相交并 $A \sqcup B$，生成函数具有乘法性质：$F_{A \sqcup B}(z) = F_A(z)F_B(z)$。
   • 区间连通性： 通过在这些构建的集合中改变参数（具体而言是稠密部分的规模以及稀疏部分的指数），作者定义了一个映射参数到 $|hA|$的函数$f$。他们利用了一个关于离散网格上非增函数的引理（引理 4.5）来证明该函数的像是一个区间。这确保了通过改变参数，可以实现$|hA|$ 的所有中间整数值。

主要贡献与结果

• 刻画不可能的值（定理 1.3）： 本文定义了一个集合 $\Delta_{h,k}$，它由 $\binom{h-1}{2}$ 个特定整数（排列在 $\min\{h,k\}-2$ 个区间中）组成，并证明了 $R(h,k) \cap \Delta_{h,k} = \emptyset$。这推广了 Tang–Xing 和 Schinina 的先前结果。
• 渐近完备性（定理 1.4）： 对于任何固定的 $h \in \mathbb{N}$，存在一个常数 $k_h$，使得若 $k > k_h$，则集合 $R(h,k)$ 正好是区间 $[hk - h + 1, \binom{h+k-1}{h}]$ 排除集合 $\Delta_{h,k}$ 后的结果。作者提供了一个显式的（尽管可能较松的）界限 $k_h \leq 2^{20h^2}$。
• $h=3$ 的精确解（定理 1.7）： 本文证明了对于 $h=3$ 且 $k > 2$， $R(3,k) = \{3k-2\} \cup [3k, \binom{k+2}{3}]$。这证实了 $R(3,k)$ 中唯一的间隙是单个整数 $3k-1$，该整数对应于集合 $\Delta_{3,k}$。
• $N(h,k)$ 的多项式界限： 本文在备注 1.8 中指出，使得 $R(h,k)$ 可以由 $[0,N]$ 的子集实现的最小 $N$ 是 $k$ 的多项式（具体为 $N(h,k) \leq k^{10h^3}$），这一结果是在使用 ChatGPT 5.5 Pro 的协助下优化完成的。

意义与主张
本文声称解决了 Nathanson 关于固定 $h$ 且充分大的 $k$ 的问题 8 和 9。它确立了对于较大的 $k$，可能的和集大小集合“几乎”是一个区间，仅缺失由参数几何决定的特定小集合。

作者强调其证明是非构造性的；虽然他们保证了对于有效范围内的每一个基数都存在一个集合 $A$，但他们并未为特定的目标大小提供显式的构造。相反，他们依赖于连续性类型的论证来表明可实现的规模集合是一个区间。

本文提出了猜想 1.6，建议定理 1.4 中的渐近结果对所有 $k > h$ 均成立，而不局限于 $k > k_h$。作者承认对于 $k < h-1$，由于 Lev 的已知结果，该猜想并不成立。这项工作开辟了新的研究方向，包括更精确地控制元组 $(|A|, |2A|, \dots, |hA|)$ 以及将这些结果扩展到带有扭元的群或受限和集。