[论文解读] On a theorem of Schoen and Shkredov on sumsets of convex sets

Liangpan Li|arXiv (Cornell University)|Aug 22, 2011

Limits and Structures in Graph Theory参考文献 17被引用 20

一句话总结

该论文改进了实数域中凸集的和集大小的下界，证明了 $|A+A| \gg \frac{|A|^{14/9}}{\left(\log|A|\right)^{2/9}}$，优化了 Schoen 和 Shkredov 的结果。此外，该下界被应用于和积型问题，表明具有小乘法加倍性质的集合必须具有大和集，从而在乘法能量的弱假设下获得强定量估计。

ABSTRACT

A set of reals $A=\{a_1,...,a_n\}$ labeled in increasing order is called convex if there exists a continuous strictly convex function $f$ such that $f(i)=a_i$ for every $i$. Given a convex set $A$, we prove \[|A+A|\gg\frac{|A|^{14/9}}{(\log|A|)^{2/9}}.\] Sumsets of different summands and an application to a sum-product-type problem are also studied either as remarks or as theorems.

研究动机与目标

• 改进实数域中凸集和集 $|A+A|$ 的最佳已知下界。
• 将 Schoen-Shkredov 的估计推广至具有小乘法加倍性质的集合，即 $|AA| \leq M|A|$。
• 通过将凸性与乘法能量及和集增长联系起来，建立定量的和积型估计。
• 应用关联几何，特别是 Szemerédi-Trotter 定理，推导和集与能量量的新型界。

提出的方法

• 利用由凸性与关联界导出的精细能量估计 $E_3(A) \ll |A|^3 \log|A|$，适用于凸集。
• 应用二元分解与流行度论证，控制和集中表示的数量，利用关于高重数表示的引理 2.1。
• 采用柯西-施瓦茨不等式与霍尔德型估计，关联 $E_{1.5}(A)$、$E_3(A)$ 与 $E(A, A+B)$。
• 通过凸函数 $f$ 的图像构造几何关联模型，将 $Z \times B$ 映射到平面上的关联点，以界定高重数差值。
• 利用 Szemerédi-Trotter 关联定理，界定由 $f$ 导出的伪直线系中至少位于 $\tau$ 条曲线上的点数。
• 将条件 $|AA| \leq M|A|$ 转化为集合 $Z = \ln A$ 满足 $|Z+Z| \leq M|Z|$，从而将基于凸性的界应用于乘法加倍集。

实验结果

研究问题

• RQ1 能否改进凸集的和集下界 $|A+A| \gg \frac{|A|^{14/9}}{\left(\log|A|\right)^{2/3}}$？
• RQ2 当一个集合具有小乘法加倍性质时，即 $|AA| \leq M|A|$，其和集大小如何变化？
• RQ3 能否从较小的乘法加倍中推断出类似凸性的性质，以及这如何影响和集的增长？
• RQ4 如何结合关联几何与能量估计，以获得凸集和集的更强定量界？

主要发现

• 论文建立了和集下界的尖锐改进：$|A+A| \gg \frac{|A|^{14/9}}{\left(\log|A|\right)^{2/9}}$，优于 Schoen 和 Shkredov 的 $\gg \frac{|A|^{14/9}}{\left(\log|A|\right)^{2/3}}$。
• 对于任意满足 $|AA| \leq M|A|$ 的集合 $A$，其和集满足 $|A+A| \gg_M \frac{|A|^{14/9}}{\left(\log|A|\right)^{2/9}}$，表明小乘法加倍意味着和集的显著增长。
• 在相同的乘法加倍条件下，差集满足 $|A-A| \gg_M \frac{|A|^{8/5}}{\left(\log|A|\right)^{2/5}}$，将结果推广至差集。
• 该方法适用于形如 $f(Z)$ 的集合，其中 $f$ 严格凸且 $|Z+Z| \leq M|Z|$，将界推广至超越标准凸集的更广集合类。
• 论文推导出一个新不等式：对于凸集 $A,B$，有 $|A\pm B|^9 \gg \frac{|A|^6 |B|^8}{\left(\log|A|\right)^{4/3} \left(\log|B|\right)^{8/3}}$，利用能量与关联技术。
• 还证明了 $|A-A|^2 |A\pm B|^3 \gg \frac{|A|^6 |B|^2}{\left(\log|A|\right)^{4/3} \left(\log|B|\right)^{2/3}}$ 对于凸集成立，进一步展示了能量与包含型估计的强大力道。