[论文解读] Growth Estimates in Positive Characteristic via Collisions

Esen Aksoy Yazici, Thomas Brendan Murphy+2 more|arXiv (Cornell University)|Dec 21, 2015

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

一句话总结

本文通过引入基于'像的碰撞'的新型几何方法——即三维点-平面关联的解释——在正特征域中建立了新的和积估计。该方法改进了乘积集、和集及多项式像的界，实现了接近最优的指数，如 |A(A+A)| ≫ |A|^{3/2} 和 |A+1/A| ≫ |A|^{31/30}，并应用于有限平面中的关联几何与距离集问题。

ABSTRACT

Let $F$ be a field of characteristic $p>2$ and $A\subset F$ have sufficiently small cardinality in terms of $p$. We improve the state of the art of a variety of sum-product type inequalities. In particular, we prove that $$ |AA|^2|A+A|^3 \gg |A|^6,\qquad |A(A+A)|\gg |A|^{3/2}. $$ We also prove several two-variable extractor estimates: ${\displaystyle |A(A+1)| \gg|A|^{9/8},}$ $$ |A+A^2|\gg |A|^{11/10},\; |A+A^3|\gg |A|^{29/28}, \; |A+1/A|\gg |A|^{31/30}.$$ Besides, we address questions of cardinalities $|A+A|$ vs $|f(A)+f(A)|$, for a polynomial $f$, where we establish the inequalities $$ \max(|A+A|,\, |A^2+A^2|)\gg |A|^{8/7}, \;\; \max(|A-A|,\, |A^3+A^3|)\gg |A|^{17/16}. $$ Szemerédi-Trotter type implications of the arithmetic estimates in question are that a Cartesian product point set $P=A imes B$ in $F^2$, of $n$ elements, with $|B|\leq |A|< p^{2/3}$ makes $O(n^{3/4}m^{2/3} + m + n)$ incidences with any set of $m$ lines. In particular, when $|A|=|B|$, there are $\ll n^{9/4}$ collinear triples of points in $P$, $\gg n^{3/2}$ distinct lines between pairs of its points, in $\gg n^{3/4}$ distinct directions. Besides, $P=A imes A$ determines $\gg n^{9/16}$ distinct pair-wise distances. These estimates are obtained on the basis of a new plane geometry interpretation of the incidence theorem between points and planes in three dimensions, which we call collisions of images.

研究动机与目标

• 改进有限正特征域中现有和积估计，特别是针对相对于域大小较小的集合。
• 基于三维点-平面关联建立几何框架，以推导更强的算术估计。
• 为多项式像（如 |A(A+A)|、|A+1/A| 和 |A+A^k|）建立近乎最优的界，使其趋近于实数域的结果。
• 为 F² 中的笛卡尔积集推导强型 Szemerédi-Trotter 类似关联定理，包括共线三元组、不同方向和距离的界。
• 通过线像等式的新'碰撞'解释，将点-平面关联定理的应用扩展至算术问题。

提出的方法

• 将算术问题的新几何解释引入为平面中直线像之间的'碰撞'，建模为 R³ 中点与平面之间的关联。
• 应用三维点-平面关联定理（定理 17）来计数形如 ℓ(x) = ℓ′(x′) 的方程的解，其中 ℓ, ℓ′ 为直线且 x, x′ ∈ A。
• 使用柯西-施瓦茨不等式和普吕内克-鲁扎不等式，将解的数量与和集及积集的大小联系起来。
• 在 |A| < p^{c} 的约束下应用定理 17 的关联界，确保关联估计的有效性。
• 通过代换如 X = (A⁻¹ + A⁻¹)⁻¹ 将涉及倒数和多项式像的问题转化为关联问题。
• 通过平衡平凡估计与关联导出的估计，优化界，从而在最终估计中获得改进的指数。

实验结果

研究问题

• RQ1 能否通过几何关联方法将正特征域中的和积估计超越当前最优水平？
• RQ2 在正特征域中，能否通过点-平面关联定理在多大程度上模拟实数域上的 Szemerédi-Trotter 定理？
• RQ3 在正特征有限域中，|A(A+A)|、|A+1/A| 和 |A+A^k| 的最佳可能指数是什么？
• RQ4 对于有限域上的多项式 f，|A+A| 与 |f(A)+f(A)| 的基数在何种程度上可比较？
• RQ5 在给定约束下，笛卡尔积集 P = A×A 在 F² 中的关联与距离界是什么？

主要发现

• 论文证明了在 |A| < p^{2/3} 条件下，|A(A+A)| ≫ |A|^{3/2}，与实数域中的最佳已知指数一致。
• 论文建立了 |A+1/A| ≫ |A|^{31/30}，优于以往结果，并趋近于实数域的阈值。
• 对于高次多项式，证明了 |A+A^k| ≫ |A|^{(2k+1)/(2k)}（k=2,3），其中 |A+A^3| ≫ |A|^{29/28} 且 |A+A^2| ≫ |A|^{11/10}。
• 证明了 max(|A+A|, |A²+A²|) ≫ |A|^{8/7} 和 max(|A−A|, |A³+A³|) ≫ |A|^{17/16}，优于早期结果。
• 对于 P = A×B 且 |B| ≤ |A| < p^{2/3}，与 m 条直线的关联数为 O(n^{3/4}m^{2/3} + m + n)，其中 n = |P|。
• 集合 P = A×A 确定 ≫ n^{9/16} 个不同的距离和 ≫ n^{3/4} 个不同的方向，共线三元组数 ≪ n^{9/4}。