[論文レビュー] 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 距離予想との間の関係を確立すること。
• 奇数次元の $\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 距離予想との間の直接的な関係が確立された。