[論文レビュー] A two-parameter finite field Erdős-Falconer distance problem

Philipp Birklbauer, Alex Iosevich|arXiv (Cornell University)|Feb 7, 2017

Coding theory and cryptography参考文献 1被引用数 6

ひとこと要約

本稿は、有限体上の2パラメータのErdős-Falconer距離問題を導入し、集合 $E, F \subset \mathbb{F}_q^{k+l}$ に対して、二乗距離の組 $(\|x' - y'\|, \|x'' - y''\|)$ の集合を研究する。$|E||F| > Cq^{k+2l+1}$ ならば、すべての距離ペアが実現されることを証明している。この境界は $k$ が奇数のとき、鋭い。$k=l=2$ かつ $q \equiv 3 \pmod{4}$ の場合、$|E||F| > Cq^{6+2/3}$ ならば、$|B_{2,2}(E,F)| > cq^2$ が成り立ち、この指数は6未満に低下させることはできない。

ABSTRACT

We study the following two-parameter variant of the Erd\H os-Falconer distance problem. Given $E,F \subset {\Bbb F}_q^{k+l}$, $l \geq k \ge 2$, the $k+l$-dimensional vector space over the finite field with $q$ elements, let $B_{k,l}(E,F)$ be given by $$\{(\Vert x'-y'\Vert, \Vert x"-y" \Vert): x=(x',x") \in E, y=(y',y") \in F; x',y' \in {\Bbb F}_q^k, x",y" \in {\Bbb F}_q^l \}.$$ We prove that if $|E||F| \geq C q^{k+2l+1}$, then $B_{k,l}(E,F)={\Bbb F}_q imes {\Bbb F}_q$. Furthermore this result is sharp if $k$ is odd. For the case of $l=k=2$ and $q$ a prime with $q \equiv 3 \mod 4$ we get that for every positive $C$ there is $c$ such that $$ ext{if } |E||F|>C q^{6+\frac{2}{3}} ext{, then } |B_{2,2}(E,F)|> c q^{2}.$$

研究の動機と目的

• 有限体における古典的Erdős-Falconer距離問題を2パラメータ設定に拡張すること。
• すべての可能な距離ペア $(\|x'-y'\|, \|x''-y''\|)$ が実現されるような、$E, F \subset \mathbb{F}_q^{k+l}$ の最小サイズを特定すること。
• $B_{k,l}(E,F) = \mathbb{F}_q \times \mathbb{F}_q$ となるために必要な $E$ と $F$ のサイズに関する鋭いまたはほぼ鋭い境界を確立すること。
• $k=l=2$ かつ $q \equiv 3 \pmod{4}$ の場合を分析し、正の割合の距離ペアが実現されるためのサイズ条件における指数を改善すること。

提案手法

• 有限体上のフーリエ解析法、特に $\mathbb{F}_q^d$ 内の球面の特性関数のフーリエ変換を用いる。
• 距離方程式の解の数を推定するために、プランシュレの定理とコーシー＝シュワルツの不等式を適用する。
• フーリエ和を3つの部分に分解する：周波数0の項、両方の成分で非ゼロの項、片方がゼロで片方が非ゼロの混合項。
• フェッファーマン型のテクニックを用いて、$\mathbb{F}_q^2$ 内の球面への制限のフーリエ変換の $L^4$ ノルムを評価し、円同士の交点を活用する。
• $SO_2(\mathbb{F}_q)$ の作用を用いて回転で平均化し、指数和におけるキャンセルを制御する。
• $\ell^p$-制限推定と球面のサイズ評価を用いて、距離集合のサイズに関する定量的推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 集合 $E, F \subset \mathbb{F}_q^{k+l}$ の最小サイズは何か？ そのとき、2パラメータ距離集合 $B_{k,l}(E,F)$ は $\mathbb{F}_q \times \mathbb{F}_q$ 全体をカバーする。
• RQ2 $\mathbb{F}_q^2$ 内の球面の交点の幾何学的性質は、2パラメータ設定における距離集合のサイズにどのように影響するか？
• RQ3 $k$ が偶数の場合、特に $k=l=2$ の場合に、$|E||F| > Cq^{k+2l+1}$ の指数を改善できるか？
• RQ4 $|B_{2,2}(E,F)|$ が、$|E||F|$ が大きくても、常に大きく保証されないような、下限としての最良の指数は何か？
• RQ5 $|E||F| > Cq^{6+2/3} \Rightarrow |B_{2,2}(E,F)| > cq^2$ の境界における指数 $6 + \frac{2}{3}$ は鋭いか、改善可能か？

主な発見

• もし $|E||F| > Cq^{k+2l+1}$ ならば、$l \geq k \geq 2$ のとき $B_{k,l}(E,F) = \mathbb{F}_q \times \mathbb{F}_q$ であり、$k$ が奇数のときこの境界は鋭い。
• $k=l=2$ かつ $q$ が素数で $q \equiv 3 \pmod{4}$ のとき、$|E||F| > Cq^{6+2/3}$ ならば、ある $c>0$ に対して $|B_{2,2}(E,F)| > cq^2$ が成り立ち、すべての距離ペアの正の割合が実現されることを示している。
• $k=l=2$ の場合の指数 $6 + \frac{2}{3}$ は、6未満に低下させることはできず、$|E| = q^{3-\varepsilon}$ のとき $|B(E,E)| = o(q^2)$ となる構成によって示されている。
• $k$ が奇数のとき、$|E||F| > Cq^{k+2l+1}$ の境界は、定数 $C$ を除いて最適であり、一致する下界の構成によって示されている。
• 証明は、特に $\mathbb{F}_q^2$ 内の2つの異なる円が高々2点で交わることを根拠とした、フーリエ制限推定と球面交点の幾何学に依存している。
• この手法により、$\mathbb{F}_q \times \mathbb{F}_q$ 全体が達成されない場合でも、$\ell^p$-制限と回転での平均化を通じて、距離集合のサイズに対する非自明な下界が得られる。