[论文解读] Extension theorems and a connection to the Erd\H{o}s-Falconer distance problem over finite fields

Doowon Koh, Thang Pham+1 more|arXiv (Cornell University)|Sep 23, 2018

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

一句话总结

该论文在有限域上建立了抛物面和球面的新型 L² → Lʳ 扩展估计，特别针对 d = 4k+3 维且 q ≡ 3 mod 4 的情形，利用零球面上的新颖傅里叶分析。其揭示了一个显著差异：在奇数维中，具有本原半径的球面的 Lᵖ → L⁴ 估计显著强于抛物面的对应估计，且证明了在有限域上的奇数维空间中，当一个集合位于抛物面或球面上而另一个集合为任意集合时，Erdős-Falconer 距离猜想成立。

ABSTRACT

The first purpose of this paper is to provide new finite field extension theorems for paraboloids and spheres. By using the unusual good Fourier transform of the zero sphere in some specific dimensions, which has been discovered recently in the work of Iosevich, Lee, Shen, and the first and second listed authors (2018), we provide a new $L^2 o L^r$ extension estimate for paraboloids in dimensions $d=4k+3$ and $q\equiv 3\mod 4$, which improves significantly the recent exponent obtained by the first listed author. In the case of spheres, we introduce a way of using extit{the first association scheme graph} to analyze energy sets, and as a consequence, we obtain new $L^p o L^4$ extension theorems for spheres of primitive radii in odd dimensions, which break the Stein-Tomas result toward $L^p o L^4$ which has stood for more than ten years. Most significantly, it follows from the results for spheres that there exists a different extension phenomenon between spheres and paraboloids in odd dimensions, namely, the $L^p o L^4$ estimates for spheres with primitive radii are much stronger than those for paraboloids. Based on new estimates, we will also clarify conjectures on finite field extension problem for spheres. This results in a reasonably complete description of finite field extension theorems for spheres. The second purpose is to show that there is a connection between the restriction conjecture associated to paraboloids and the Erd\H{o}s-Falconer distance conjecture over finite fields. The last is to prove that the Erd\H{o}s-Falconer distance conjecture holds in odd-dimensional spaces when we study distances between two sets: one set lies on a variety (paraboloids or spheres), and the other set is arbitrary in $\mathbb{F}_q^d$.

研究动机与目标

• 通过零球面的傅里叶变换，为 d = 4k+3 维且 q ≡ 3 mod 4 的抛物面建立改进的 L² → Lʳ 扩展估计。
• 引入首个关联方案图以分析能量集，从而为奇数维中具有本原半径的球面获得更强的 Lᵖ → L⁴ 扩展定理。
• 澄清关于球面在有限域上扩展定理的长期猜想，实现对其行为的近乎完整描述。
• 建立抛物面限制猜想与有限域上 Erdős-Falconer 距离问题之间的联系。
• 证明当一个集合位于抛物面或球面上而另一个集合为任意集合时，Erdős-Falconer 距离猜想在奇数维空间中成立。

提出的方法

• 利用近期发现的特定维数下零球面的异常良好傅里叶变换，改进抛物面的 L² → Lʳ 扩展估计。
• 引入首个关联方案图以分析能量集，并推导出具有本原半径的球面的新 Lᵖ → L⁴ 估计。
• 应用限制与扩展问题之间的对偶性，将 Lᵖ → L⁴ 估计转化为傅里叶变换 L² 范数的界。
• 利用加法特征的正交性与 Plancherel 定理分析傅里叶系数，并推导出 L² 估计。
• 通过构造满足 |A||B| 和 |∆(A,B)| 受控的集合 A ⊂ V 和 B ⊂ Fₚ^d，证明估计的最优性。
• 应用扩展与限制问题之间的对偶性原理，将 Erdős-Falconer 距离问题与限制猜想联系起来。

实验结果

研究问题

• RQ1 能否利用零球面的傅里叶变换，改进 d = 4k+3 维抛物面的 L² → Lʳ 扩展估计？
• RQ2 为何在奇数维中，具有本原半径的球面的 Lᵖ → L⁴ 估计显著优于抛物面的对应估计？
• RQ3 抛物面限制猜想与有限域上 Erdős-Falconer 距离问题之间的确切联系是什么？
• RQ4 在奇数维中，能否通过新的傅里叶分析技术完全刻画球面的扩展问题？
• RQ5 当一个集合位于代数曲面（抛物面或球面）上而另一个集合为任意集合时，Erdős-Falconer 距离猜想在奇数维有限域中是否成立？

主要发现

• 对于 d = 4k+3 且 q ≡ 3 mod 4 的抛物面，本文获得了新的 L² → Lʳ 扩展估计，其指数显著优于前一作者所获结果。
• 对于奇数维中具有本原半径的球面，本文获得了新的 Lᵖ → L⁴ 扩展定理，突破了超过十年未被改进的 Stein-Tomas 临界值。
• 一个关键发现是存在一种独特的扩展现象：在奇数维中，具有本原半径的球面的 Lᵖ → L⁴ 估计显著强于抛物面的对应估计。
• 本文证明了当一个集合位于抛物面或球面上而另一个集合为任意集合时，Erdős-Falconer 距离猜想在奇数维空间中成立，条件为 |A||B| ≥ q^d。
• 本文构造了反例，表明距离估计中 |A||B| ≥ q^d 的条件是最优的，因为当 |A||B| ∼ q^{d−ε} 时，|∆(A,B)| 可小至 q^{1−ε}。