[论文解读] Extension theorems and Distance problems over finite fields

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

Advanced Mathematical Modeling in Engineering被引用 5

一句话总结

该论文在 $d = 4k+3$ 维且 $q \equiv 3 \mod 4$ 的条件下，建立了抛物面的新 $L^2 \to L^r$ 扩展估计，并首次引入第一类关联方案图来推导奇维空间中本原半径球面的更强 $L^p \to L^4$ 扩展定理——突破了 Stein-Tomas 临界值，揭示了球面与抛物面之间存在显著不同的扩展现象。此外，论文还将抛物面的限制猜想与 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ős-Falconer distance conjecture over finite fields. The last is to prove that the Erdő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 \equiv 3 \mod 4$ 条件下抛物面的改进 $L^2 \to L^r$ 扩展估计。
• 引入第一类关联方案图以分析与球面相关的能量集，从而推导出奇维空间中本原半径球面的更强 $L^p \to L^4$ 扩展定理。
• 澄清关于球面有限域扩展定理的长期悬而未决的猜想，并对其行为提供全面描述。
• 在有限域上建立抛物面限制猜想与 Erdős-Falconer 距离猜想之间的联系。
• 证明当一个集合位于曲面（球面或抛物面）上而另一个集合为任意集合时，Erdős-Falconer 距离猜想在奇维空间中成立。

提出的方法

• 利用近期发现的特定维数下零球面的异常良好傅里叶变换性质，推导出抛物面的改进 $L^2 \to L^r$ 扩展估计。
• 引入第一类关联方案图以分析与球面相关的能量集，从而实现更强的 $L^p \to L^4$ 扩展定理。
• 运用调和分析与指数和估计技术，控制限制范数并推导出本原半径球面的扩展估计。
• 通过共享的分析结构，建立抛物面限制猜想与 Erdős-Falconer 距离猜想之间的理论联系。
• 应用组合与傅里叶分析技术，证明在指定几何条件下，Erdős-Falconer 距离猜想在奇维空间中成立。

实验结果

研究问题

• RQ1 能否在 $d = 4k+3$ 维且 $q \equiv 3 \mod 4$ 的条件下，为抛物面建立改进的 $L^2 \to L^r$ 扩展估计？
• RQ2 第一类关联方案图能否用于推导奇维空间中本原半径球面的更强 $L^p \to L^4$ 扩展定理？
• RQ3 在奇维空间中，球面与抛物面的扩展行为是否存在根本性差异，特别是在 $L^p \to L^4$ 估计方面？
• RQ4 在有限域上，抛物面的限制猜想与 Erdős-Falconer 距离猜想之间存在何种联系？
• RQ5 当一个集合位于球面或抛物面上而另一个集合为任意集合时，Erdős-Falconer 距离猜想是否在奇维空间中成立？

主要发现

• 在 $d = 4k+3$ 维且 $q \equiv 3 \mod 4$ 的条件下，抛物面的 $L^2 \to L^r$ 扩展估计得到显著改进，优于首位作者近期获得的指数结果。
• 第一类关联方案图的使用使得能够推导出奇维空间中本原半径球面的新 $L^p \to L^4$ 扩展定理，突破了长期存在的 Stein-Tomas 临界值。
• 揭示了一种显著不同的扩展现象：在奇维空间中，本原半径球面的 $L^p \to L^4$ 估计远强于抛物面的对应估计。
• 研究结果对有限域球面扩展定理提供了较为完整的描述，澄清了长期悬而未决的猜想。
• 在有限域上建立了抛物面限制猜想与 Erdős-Falconer 距离猜想之间的联系。
• 证明了当一个集合位于球面或抛物面上而另一个集合在 $\mathbb{F}_q^d$ 中为任意集合时，Erdős-Falconer 距离猜想在奇维空间中成立。