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

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

Advanced Mathematical Modeling in Engineering被引用 2

一句话总结

该论文在有限域上建立了抛物面和球面的新 $L^p \to L^r$ 扩展估计，利用了新颖的傅里叶分析与关联系数方案。它证明了在奇数维中，对于本原半径的球面，$L^p \to L^4$ 估计更强，揭示了其与抛物面的根本差异，并在奇数维中证实了 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$.

研究动机与目标

• 开发抛物面与球面在以往结果受限的维度中的新有限域扩展定理。
• 通过首次引入关联系数方案图的创新用法，解决球面上 $L^p \to L^4$ 扩展估计中长期存在的 Stein-Tomas 限制问题。
• 通过新的定量估计，厘清球面有限域扩展定理的猜想性图景。
• 在奇维有限域中，建立抛物面限制猜想与 Erdős-Falconer 距离猜想之间的联系。
• 在 $d$ 为奇数时，证明有限域 $\mathbb{F}_q^d$ 中，一个代数曲面（抛物面或球面）与任意集合之间的距离满足 Erdős-Falconer 距离猜想。

提出的方法

• 利用最近发现的在 $d = 4k+3$ 维中零球面的异常良好傅里叶变换性质，推导出抛物面的改进 $L^2 \to L^r$ 扩展估计。
• 应用首阶关联系数方案图理论分析与球面相关的能量集，从而获得新的 $L^p \to L^4$ 扩展定理。
• 提出一种新框架，用于比较球面与抛物面之间的扩展现象，揭示在奇数维中球面具有更强的估计。
• 利用有限域上的调和分析与指数和估计，分析限制与距离问题。
• 通过对偶性与傅里叶分析技术，建立抛物面限制猜想与 Erdős-Falconer 距离猜想之间的联系。
• 通过分析 $\mathbb{F}_q^d$ 中一个代数曲面（球面或抛物面）与任意集合之间的距离，证明了在奇数维中 Erdős-Falconer 距离猜想。

实验结果

研究问题

• RQ1 能否利用零球面在 $d = 4k+3$ 维中最近发现的傅里叶变换性质，推导出在 $q \equiv 3 \pmod{4}$ 条件下抛物面的新的 $L^p \to L^r$ 扩展估计？
• RQ2 在奇数维中，本原半径球面的 $L^p \to L^4$ 扩展定理在多大程度上超越了 Stein-Tomas 阈值？其改进的原因是什么？
• RQ3 在奇维有限域中，球面与抛物面的扩展行为是否存在根本性差异？
• RQ4 在有限域上，抛物面的限制猜想与 Erdős-Falconer 距离猜想之间存在何种关联？
• RQ5 当一个集合位于抛物面或球面上而另一个集合为任意集合时，Erdős-Falconer 距离猜想在奇维空间中是否成立？

主要发现

• 在 $d = 4k+3$ 维且 $q \equiv 3 \pmod{4}$ 条件下，建立了抛物面的新 $L^2 \to L^r$ 扩展估计，其指数显著优于以往结果。
• 论文获得了奇数维中本原半径球面的新 $L^p \to L^4$ 扩展定理，打破了长期存在的 Stein-Tomas 阈值。
• 揭示了一个关键差异：在奇数维中，本原半径球面的 $L^p \to L^4$ 估计远强于抛物面的对应估计。
• 关联系数方案图的使用使得对能量集的分析更加精细，从而导出了更强的球面扩展估计。
• 在奇维空间中，当一个集合位于抛物面或球面上而另一个集合为任意集合时，证明了 Erdős-Falconer 距离猜想。
• 在有限域上，建立了抛物面限制猜想与 Erdős-Falconer 距离猜想之间的直接联系。