[论文解读] A new perspective on the distance problem over prime fields

Alex Iosevich, Doowon Koh+1 more|arXiv (Cornell University)|May 10, 2019

Limits and Structures in Graph Theory参考文献 14被引用 4

一句话总结

本文通过组合与傅里叶分析技术，建立了一个关于素数域上集合的非退化矩形数与距离集之间的新联系，推导出距离集大小的新下界。关键结果将下界中的指数改进为 $ |\triangle(\mathcal{E})| \gtrsim \min\big\{ |\mathcal{E}|^{12/19},~{} \frac{|\mathcal{E}|^{20/19}}{\square(\mathcal{E})^{4/19}} \big\} $，在相同条件下超越了以往结果。

ABSTRACT

Let $\mathbb{F}_p$ be a prime field, and ${\mathcal E}$ a set in $\mathbb{F}_p^2$. Let $Δ({\mathcal E})=\{||x-y||: x,y \in {\mathcal E} \}$, the distance set of ${\mathcal E}$. In this paper, we provide a quantitative connection between the distance set $Δ({\mathcal E})$ and the set of rectangles determined by points in ${\mathcal E}$. As a consequence, we obtain a new lower bound on the size of $Δ({\mathcal E})$ when ${\mathcal E}$ is not too large, improving a previous estimate due to Lund and Petridis and establishing an approach that should lead to significant further improvements.

研究动机与目标

• 建立 $\mathbb{F}_p^2$ 中集合的非退化矩形数与不同距离数之间的定量关系。
• 改进小集合 $\mathcal{E} \subset \mathbb{F}_p^2$ 的距离集 $\Delta(\mathcal{E})$ 大小的已知下界。
• 通过引入基于矩形构型的新几何范式，拓展Lund和Petridis的框架。
• 在 $p \equiv 3 \mod 4$ 条件下，利用加性组合与傅里叶分析工具，推导更强估计。
• 为有限域中距离集下界指数的进一步改进提供路径。

提出的方法

• 在 $\mathbb{F}_p^2$ 中引入非退化矩形的概念，通过正交角三元组定义，并将 $\square(\mathcal{E})$ 定义为集合 $\mathcal{E}$ 中此类矩形的数量。
• 利用组合与加性能量论证，建立一个将等腰三角形数 $T(\mathcal{E})$ 与 $|\mathcal{E}|$、$|\Delta(\mathcal{E})|$ 和 $\square(\mathcal{E})$ 联系起来的关键不等式。
• 应用Lewko（2017）给出的 $\square(\mathcal{E})$ 上界，即在 $|\mathcal{E}| \ll p^{26/21}$ 条件下有 $\square(\mathcal{E}) \lesssim |\mathcal{E}|^{99/41}$。
• 利用柯西-施瓦茨不等式与加性能量估计，控制与 $A^2 - A^2$ 中平方差相关的方程组解数。
• 引入 $A^2$ 中平移下的等价类概念，以计数方程 $x - u = y - v = w$ 的解，并通过 $\mathcal{X}$ 有界此类解的数量。
• 推导出涉及乘法能量 $E_4(A^2)$、加倍常数 $K$ 与差集加倍 $M = |A - A|/|A|$ 的一系列不等式，最终得到对 $M$ 与 $K$ 的上界。

实验结果

研究问题

• RQ1 集合 $\mathcal{E} \subset \mathbb{F}_p^2$ 中的非退化矩形数能否用于推导距离集 $\Delta(\mathcal{E})$ 的新下界？
• RQ2 在 $\mathbb{F}_p^2$ 中，等腰三角形、矩形与距离集之间的相互作用如何带来对 $|\Delta(\mathcal{E})|$ 的更优估计？
• RQ3 在条件 $p \equiv 3 \mod 4$ 下，下界 $|\Delta(\mathcal{E})| \gtrsim |\mathcal{E}|^{1/2 + \epsilon}$ 的最优指数是多少？
• RQ4 加性能量与傅里叶分析框架能否与几何构型（如矩形）结合，以超越现有界限？
• RQ5 对 $\square(\mathcal{E})$ 的界在多大程度上可用于细化 $|\Delta(\mathcal{E})|$ 对 $|\mathcal{E}|$ 的依赖关系？

主要发现

• 本文建立了新不等式：$ T(\mathcal{E}) \ll |\mathcal{E}|^2 \log|\mathcal{E}| + |\Delta(\mathcal{E})|^{4/15} |\mathcal{E}|^{33/15} + |\mathcal{E}|^{5/3} |\Delta(\mathcal{E})|^{4/15} \square(\mathcal{E})^{4/15} $，将等腰三角形数与距离及矩形数联系起来。
• 由此，本文推导出下界 $ |\Delta(\mathcal{E})| \gg \min\left\{ |\mathcal{E}|^{12/19},~{} \frac{|\mathcal{E}|^{20/19}}{\square(\mathcal{E})^{4/19}} \right\} $，优于以往结果。
• 在 $ |\mathcal{E}| \ll p^{8/5} $ 条件下，有 $ |\Delta(\mathcal{E})| \gg |\mathcal{E}|^{12/19} $，对应指数约 $ 0.6316 $，优于Lund和Petridis的先前结果 $ 1/2 + 3/74 \approx 0.6419 $。
• 该方法依赖于对 $ (A^2 - A^2)^2 \times P^2 $ 中方程 $ x - u = y - v = w $ 的解数进行有界，其中 $ P $ 为平方差的集合。
• 作者证明了在 $ |A^2 - A^2||A - A||A| \leq p^2 $ 条件下，有 $ M^{27}K^{17} \gtrsim |A|^9 $ 或 $ M^{13}K^7 \gtrsim |A|^5 $，其中 $ M = |A - A|/|A| $，$ K $ 为加性能量常数。
• 结果依赖于 $ p \equiv 3 \mod 4 $，与二次剩余的数论结构及 $ \mathbb{F}_p^2 $ 中距离函数的几何特性一致。