[論文レビュー] A new perspective on the distance problem over prime fields

Alex Iosevich, Doowon Koh+1 more|arXiv (Cornell University)|May 10, 2019

Limits and Structures in Graph Theory参考文献 14被引用数 4

ひとこと要約

本稿は、素数体上の集合における距離集合と非退化長方形の数の間の新しい接点を提示する。組合せ論的およびフーリエ解析的技法を用いて、距離集合のサイズに対する新たな下界を確立する。主な結果として、同じ条件下で、下界の指数を $ |\triangle(\mathcal{E})| \gtrsim \min\big\{ |\mathcal{E}|^{12/19},~{} \frac{|\mathcal{E}|^{20/19}}{\square(\mathcal{E})^{4/19}} \big\} $ に改善し、先行研究を上回る。

ABSTRACT

Let $\mathbb{F}_p$ be a prime field, and ${\mathcal E}$ a set in $\mathbb{F}_p^2$. Let $Δ({\mathcal E})=\{||x-y||: x,y \in {\mathcal E} \}$, the distance set of ${\mathcal E}$. In this paper, we provide a quantitative connection between the distance set $Δ({\mathcal E})$ and the set of rectangles determined by points in ${\mathcal E}$. As a consequence, we obtain a new lower bound on the size of $Δ({\mathcal E})$ when ${\mathcal E}$ is not too large, improving a previous estimate due to Lund and Petridis and establishing an approach that should lead to significant further improvements.

研究の動機と目的

• 集合 $\mathbb{F}_p^2$ 上における異なる距離の数と非退化長方形の数の間の定量的関係を確立すること。
• 小規模な集合 $\mathcal{E} \subset \mathbb{F}_p^2$ に対して、距離集合 $\Delta(\mathcal{E})$ のサイズに関する既知の下界を改善すること。
• ランドとペトリディスの枠組みを拡張し、長方形配置に基づく新しい幾何的パラダイムを導入すること。
• 加法的組合せ論およびフーリエ解析的道具を用いて、条件 $p \equiv 3 \mod 4$ の下でより強い推定値を導出すること。
• 有限体における距離集合の下界の指数に関するさらなる改善への道筋を提供すること。

提案手法

• 非退化長方形の概念を $\mathbb{F}_p^2$ に導入し、直交する角の三つ組によって定義し、集合 $\mathcal{E}$ 内のこのような長方形の数を $\square(\mathcal{E})$ と定義する。
• 組合せ論的および加法的エネルギーの議論を用いて、$|\mathcal{E}|$、$|\Delta(\mathcal{E})|$、$\square(\mathcal{E})$ に依存する、等辺三角形 $T(\mathcal{E})$ を関連付ける重要な不等式を確立する。
• Lewko (2017) が提示した $\square(\mathcal{E})$ の上界を適用し、$|\mathcal{E}| \ll p^{26/21}$ のサイズ条件の下で $\square(\mathcal{E}) \lesssim |\mathcal{E}|^{99/41}$ が成り立つことを示す。
• コーシー・シュバルツと加法的エネルギーの推定値を用いて、$A^2 - A^2$ に関連する差の二乗の解の数を評価する。
• $A^2$ 内の平行移動に関する同値類の概念を導入し、$x - u = y - v = w$ という方程式の解の数を $\mathcal{X}$ を用いて評価する。
• 乗法的エネルギー $E_4(A^2)$、倍率定数 $K$、差の倍率 $M = |A - A|/|A|$ を含む不等式の連鎖を導出し、最終的に $M$ と $K$ の上界を得る。

実験結果

リサーチクエスチョン

• RQ1 集合 $\mathcal{E} \subset \mathbb{F}_p^2$ 内の非退化長方形の数を用いて、距離集合 $\Delta(\mathcal{E})$ の新たな下界を導出できるか？
• RQ2 $\mathbb{F}_p^2$ 内の等辺三角形、長方形、距離集合の相互作用は、$|\Delta(\mathcal{E})|$ の推定値をどのように改善するか？
• RQ3 条件 $p \equiv 3 \mod 4$ の下で、下界 $|\Delta(\mathcal{E})| \gtrsim |\mathcal{E}|^{1/2 + \epsilon}$ の最適指数は何か？
• RQ4 加法的エネルギーとフーリエ解析の枠組みを、長方形などの幾何的配置と組み合わせることで、既存の境界を上回れるか？
• RQ5 $\square(\mathcal{E})$ の境界をどの程度活用して、$|\Delta(\mathcal{E})|$ の $|\mathcal{E}|$ への依存関係を洗練できるか？

主な発見

• 本稿は、等辺三角形と距離、長方形を関連付ける新しい不等式を確立する：$ T(\mathcal{E}) \ll |\mathcal{E}|^2 \log|\mathcal{E}| + |\Delta(\mathcal{E})|^{4/15} |\mathcal{E}|^{33/15} + |\mathcal{E}|^{5/3} |\Delta(\mathcal{E})|^{4/15} \square(\mathcal{E})^{4/15} $。
• その結果、下界 $ |\Delta(\mathcal{E})| \gg \min\left\{ |\mathcal{E}|^{12/19},~{} \frac{|\mathcal{E}|^{20/19}}{\square(\mathcal{E})^{4/19}} \right\} $ が得られ、先行研究を上回る。
• $ |\mathcal{E}| \ll p^{8/5} $ の条件下で、$ |\Delta(\mathcal{E})| \gg |\mathcal{E}|^{12/19} $ が成り立ち、指数は約 $ 0.6316 $ に達する。これは、ランドとペトリディスによる $ 1/2 + 3/74 \approx 0.6419 $ よりも高い。
• 本手法は、$(A^2 - A^2)^2 \times P^2$ 内で $ x - u = y - v = w $ の解の数を制限することに依存する。ここで $ P $ は二乗の差の集合である。
• 著者らは、$ |A^2 - A^2||A - A||A| \leq p^2 $ の条件の下で、$ M^{27}K^{17} \gtrsim |A|^9 $ または $ M^{13}K^7 \gtrsim |A|^5 $ を証明する。ここで $ M = |A - A|/|A| $、$ K $ は加法的エネルギー定数である。
• 結果は $ p \equiv 3 \mod 4 $ に依存しており、これは二次剰余の数論的構造と $ \mathbb{F}_p^2 $ 内の距離関数の幾何学的性質と整合している。