[论文解读] On the Pinned Distances Problem over Finite Fields

Thomas Brendan Murphy, Giorgis Petridis+3 more|arXiv (Cornell University)|Mar 1, 2020

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

一句话总结

本文研究了有限域上的Erdős不同距离问题，证明了在正特征情况下，对于大小不超过 $ \mathrm{char}(\mathbb{F})^{4/3} $ 的集合 $ A $，要么 $ A $ 中某一点到其他点的距离数为 $ \gg |A|^{2/3} $，要么 $ A $ 位于一条零性直线之上。在 $ \mathbb{F}_p $ 上，本文表明 $ |A| \geq p^{5/4} $ 足够保证确定所有可行距离的正比例，显著优于先前的界限。

ABSTRACT

We study the Erdos distinct distance conjecture in the plane over an arbitrary field $\mathbb{F}$, proving that any $A$ with $|A|\leq\mathrm{char}(\mathbb{F})^{4/3}$ in positive characteristic, either determines $\gg |A|^{2/3}$ distinct pairwise distances from some point of $A$ to its other points, or the set $A$ lies on an isotropic line. We also establish for the special case of the prime residue field $\mathbb{F}_p$ that the condition $|A|\geq p^{5/4}$ suffices for $A$ to determine a positive proportion of the feasible $p$ distances. This significantly improves prior results on the problem.

研究动机与目标

• 在有限域背景下，特别是正特征域上，解决Erdős不同距离问题。
• 确定平面中子集 $ A \subset \mathbb{F}^2 $ 的最小大小，以保证确定所有可行距离的正比例。
• 建立一个阈值 $ |A| $，超过该值时，集合要么从某一点生成大量不同距离，要么被包含在一条零性直线上。
• 改进关于 $ \mathbb{F}_p $ 中集合所确定的不同距离数的现有界限，尤其针对 $ |A| \geq p^{5/4} $ 的情况。

提出的方法

• 利用有限域上的加法组合学与关联几何工具分析距离集。
• 应用Elekes-Szabó方法的变体，以控制具有较少不同距离的集合的结构。
• 采用适配于有限域的多项式分划论证，以界定单点出发的距离数。
• 分析 $ \mathbb{F}^2 $ 中零性直线的几何性质，以分类距离分布不佳的配置。
• 利用条件 $ |A| \leq \mathrm{char}(\mathbb{F})^{4/3} $ 控制与距离集相关的代数簇的复杂度。
• 通过组合与傅里叶分析技术，在 $ \mathbb{F}_p $ 中建立阈值 $ |A| \geq p^{5/4} $，以确保确定正比例的距离。

实验结果

研究问题

• RQ1 在正特征下，平面中子集 $ A \subset \mathbb{F}^2 $ 的最小大小是多少，才能保证某一点到其他点的距离数为 $ \gg |A|^{2/3} $？
• RQ2 在何种结构条件下，集合 $ A $ 无法生成大量不同距离？此类集合能否被分类？
• RQ3 能否将 $ \mathbb{F}_p $ 中确定所有可行距离正比例的阈值改进至优于先前结果？
• RQ4 域的特征如何影响平面上距离集的行为？
• RQ5 在有限域中，利用代数与组合技术，Erdős不同距离问题能在多大程度上被解决？

主要发现

• 对于任意满足 $ |A| \leq \mathrm{char}(\mathbb{F})^{4/3} $ 的集合 $ A \subset \mathbb{F}^2 $，要么 $ A $ 中某一点到其他点的距离数为 $ \gg |A|^{2/3} $，要么 $ A $ 位于一条零性直线上。
• 在素数域 $ \mathbb{F}_p $ 中，若 $ |A| \geq p^{5/4} $，则 $ A $ 确定平面上所有可行距离的正比例。
• 界限 $ |A| \geq p^{5/4} $ 显著优于此前关于 $ \mathbb{F}_p $ 上不同距离问题的结果。
• 该结果确立了有限域中丰富距离集出现的精确阈值，将结构化与一般配置区分开来。
• 证明表明，避开零性直线结构的集合即使在小特征下也必须生成大量不同距离。
• 该分析提出了一个新的结构二分法：要么集合从单一点生成大量距离，要么其高度结构化（包含于一条零性直线中）。