[论文解读] Multi-fold sums from a set with few products

Liangpan Li|arXiv (Cornell University)|Jun 29, 2011

Limits and Structures in Graph Theory参考文献 12被引用 3

一句话总结

本文为正实数有限集 $A$ 在乘积集较小（即 $|AA| \leq M|A|$）的情形下，建立了 $k$-重和集 $kA$ 大小的新下界。通过基于 Ruzsa 三角不等式和几何投影技巧的归纳论证，证明了 $|kA| \geq \frac{C_k}{M^{D_k}} \cdot |A|^{\log_4 2k}$，改进了先前的估计，并给出了 $M$ 和 $k$ 的定量显式依赖关系。该结果在小乘积集的背景下支持了 Erdős-Szemerédi 和积猜想。

ABSTRACT

In this paper we show that for any $k\geq2$, there exist two universal constants $C_k,D_k>0$, such that for any finite subset $A$ of positive real numbers with $|AA|\leq M|A|$, $|kA|\geq \frac{C_k}{M^{D_k}}\cdot|A|^{\log_42k}.$

研究动机与目标

• 建立当乘积集 $AA$ 较小时，$k$-重和集 $kA$ 大小的定量下界。
• 通过提供显式的通用常数 $C_k$、$D_k$ 和指数中的 $\Psi_k$，改进 Croot-Hart 定理。
• 在乘积集较小的情况下，利用受 Solymosi 证明启发的初等方法，将已知的和积估计推广至实数域。
• 证明即使乘积集较小（$|AA| \leq M|A|$），$k$-重和集 $kA$ 仍以 $|A|$ 的幂次 $\log_4 2k$ 多项式增长。

提出的方法

• 对 $k$ 使用归纳法构造常数 $C_k$、$D_k$ 和 $\Psi_k$，初始情况为 $k=1$。
• 应用 Ruzsa 三角不等式，得到 $|A/A| \leq M^2 |A|$，从而控制比值的数量。
• 将 $A \times A$ 划分为纤维 $A_s = \{(x,y) \in A \times A : y = s x\}$，其中 $s \in A/A$，并选取具有高重数的比值的较大子集 $D$。
• 通过投影映射 $\Pi$ 将每个纤维 $A_s$ 投影到竖直轴上，并利用 $|k_1 \Pi(A_j) + k_2 \Pi(A_{j+1})|$ 产生不相交和集的事实，以对 $|kA|$ 进行下界估计。
• 对投影集 $\Pi(A_j)$ 应用归纳假设，利用 $|\Pi(A_j) \Pi(A_j)| \leq 2M^3 |\Pi(A_j)|$ 的界。
• 推导出递推关系 $\Psi_k = \frac{1 + \Psi_{k_1} + \Psi_{k_2}}{2}$（其中 $k_1 + k_2 = k$），并通过二进制分解证明 $\Psi_k \geq \log_4 2k$。

实验结果

研究问题

• RQ1 当乘积集 $AA$ 受 $M|A|$ 限制时，$k$-重和集 $kA$ 的最小可能大小是多少？
• RQ2 和集增长的指数能否从 $\log_4 k - f_k(\epsilon)$ 的形式改进为 $|A|$ 的完全显式且通用的幂次？
• RQ3 $M$（即乘积集膨胀因子）对 $kA$ 增长的影响如何？
• RQ4 初等几何与组合技巧能否在实数域中，产生强于以往结果的定量和积估计？

主要发现

• 对任意 $k \geq 2$，存在与 $k$ 相关的通用常数 $C_k, D_k > 0$，使得当 $|AA| \leq M|A|$ 时，有 $|kA| \geq \frac{C_k}{M^{D_k}} \cdot |A|^{\log_4 2k}$。
• 指数 $\log_4 2k$ 是最优的，因为它与实数域中 Erdős-Szemerédi 猜想的最佳已知指数一致。
• 证明中建立了递推关系 $\Psi_k = \frac{1 + \Psi_{k_1} + \Psi_{k_2}}{2}$（$k_1 + k_2 = k$），并由此得出 $\Psi_k \geq \log_4 2k$。
• 对 $M$ 的依赖关系为多项式形式，其中指数 $D_k$ 随 $k$ 增大而增长，但即使 $M$ 较小，该界依然有效。
• 该结果通过消除 $\epsilon$-依赖的误差项并提供显式常数，改进了 Croot-Hart 定理。
• 该方法初等且自包含，仅依赖于 Ruzsa 三角不等式和几何投影论证。