[论文解读] A short proof of a near-optimal cardinality estimate for the product of a sum set

Oliver Roche‐Newton|arXiv (Cornell University)|Feb 19, 2015

Limits and Structures in Graph Theory参考文献 9被引用 11

一句话总结

本文提出了一种简短且初等的证明，表明对于任意有限集 $ A \subset \mathbb{R} $，存在 $ a, a' \in A $，使得 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $，仅使用 Szemerédi-Trotter 定理。该结果强化了先前的和积估计，并自然地推广到 $ A \subset \mathbb{C} $，在不依赖 Guth 和 Katz 深度射影几何工具的前提下，为双变量和集乘积提供了近乎最优的界。

ABSTRACT

In this note it is established that, for any finite set $A$ of real numbers, there exist two elements $a,b \in A$ such that $$|(a+A)(b+A)| \gg \frac{|A|^2}{\log |A|}.$$ In particular, it follows that $|(A+A)(A+A)| \gg \frac{|A|^2}{\log |A|}$. The latter inequality had in fact already been established in an earlier work of the author and Rudnev (arXiv:1203.6237), which built upon the recent developments of Guth and Katz (arXiv:1011.4105) in their work on the Erdős distinct distance problem. Here, we do not use those relatively deep methods, and instead we need just a single application of the Szemerédi-Trotter Theorem. The result is also qualitatively stronger than the corresponding sum-product estimate from (arXiv:1203.6237), since the set $(a+A)(b+A)$ is defined by only two variables, rather than four. One can view this as a solution for the pinned distance problem, under an alternative notion of distance, in the special case when the point set is a direct product $A imes A$. Another advantage of this more elementary approach is that these results can now be extended for the first time to the case when $A \subset \mathbb C$.

研究动机与目标

• 提供一种更简单、更初等的证明，用于和集乘积的近乎最优基数估计。
• 证明对于任意有限 $ A \subset \mathbb{R} $，存在 $ a, a' \in A $，使得 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $。
• 将结果推广至复平面 $ \mathbb{C} $，此前此类界在早期方法下尚不明确。
• 通过将乘积集中涉及的变量数从四个减少至两个，相较于先前工作实现定性改进。

提出的方法

• 应用 Szemerédi-Trotter 定理，以界定由 $ A \times A $ 衍生的点集中共线三元组的数量。
• 使用 Szemerédi-Trotter 定理的推论，以界定富直线的数量，从而得到双线性方程解数的上界。
• 运用柯西-施瓦茨不等式，将乘积集中元素的表示数与移位集合的乘法能量联系起来。
• 推导出乘法能量之和的界 $ \sum_{a,a' \in A} E^*(a - A, a' - A) \ll |A|^4 \log|A| $，该界蕴含存在一对 $ (a, a') $ 使得乘积集较大。
• 利用复数域上的 Szemerédi-Trotter 定理成立的事实，将结果推广至 $ A \subset \mathbb{C} $，并保持相同的渐近界。

实验结果

研究问题

• RQ1 能否仅通过初等射影几何，建立 $ (A - a)(A - a') $ 大小的近乎最优下界？
• RQ2 该界 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $ 是否对 $ A \subset \mathbb{C} $ 成立，且能否在不使用 Guth-Katz 工具的前提下证明？
• RQ3 能否在保持近乎二次增长的前提下，将乘积集中涉及的变量数从四个减少至两个？
• RQ4 是否存在一种更简单的 $ (A - A)(A - A) $ 和积估计证明，避免使用代数几何的深层工具？

主要发现

• 对于任意有限集 $ A \subset \mathbb{R} $，存在 $ a, a' \in A $，使得 $ |(A - a)(A - a')| \gg \frac{|A|^2}{\log|A|} $。
• 该结果蕴含 $ |(A + A)(A + A)| \gg \frac{|A|^2}{\log|A|} $，与目前已知的最佳界一致，但证明更为简洁。
• 该界同样适用于 $ A \subset \mathbb{C} $，将此前仅对实数集成立的结果推广至复数域。
• 该证明仅依赖 Szemerédi-Trotter 定理与柯西-施瓦茨不等式，避免使用多项式分划或三维射影界。
• 给出了三变量展开器界 $ \left|\left\{ \frac{a-b}{a-c} : a,b,c \in A \right\} \right| \gg \frac{|A|^2}{\log|A|} $ 的新证明，其简洁性优于 Jones [3] 的原始证明。
• 该方法在先前工作的基础上实现了更强的结果，即将乘积集中涉及的变量数从四个减少至两个。