[論文レビュー] Pinned distance sets, k-simplices, Wolff's exponent in finite fields and sum-product estimates

Jeremy R. Chapman, M. Burak Erdoğan+3 more|ArXiv.org|Mar 25, 2009

Limits and Structures in Graph Theory参考文献 6被引用数 5

ひとこと要約

本稿は、フーリエ解析的手法と和積推定を用いて、有限体におけるピン留め距離およびドット積集合の改善された指数を確立する。$|E| \gtrsim q^{\frac{d+1}{2}}$ のとき、ピン留め距離集合 $\Delta_y(E)$ は正の密度を持つことが示され、特にカルテシアン積構造を持つ集合では閾値が $q^{\frac{d^2}{2d-1}}$ に改善され、$\mathbb{F}_q$ における新しい和積推定が得られる。結果は $k$-単体および $k$-スターアーキテクチャへと拡張され、既知の境界と一致または改善する。

ABSTRACT

An analog of the Falconer distance problem in vector spaces over finite fields asks for the threshold $α>0$ such that $|Δ(E)| \gtrsim q$ whenever $|E| \gtrsim q^α$, where $E \subset {\Bbb F}_q^d$, the $d$-dimensional vector space over a finite field with $q$ elements (not necessarily prime). Here $Δ(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x,y \in E\}$. In two dimensions we improve the known exponent to $ frac{4}{3}$, consistent with the corresponding exponent in Euclidean space obtained by Wolff. The pinned distance set $Δ_y(E)=\{{(x_1-y_1)}^2+...+{(x_d-y_d)}^2: x\in E\}$ for a pin $y\in E$ has been studied in the Euclidean setting. Peres and Schlag showed that if the Hausdorff dimension of a set $E$ is greater than $ frac{d+1}{2}$ then the Lebesgue measure of $Δ_y(E)$ is positive for almost every pin $y$. In this paper we obtain the analogous result in the finite field setting. In addition, the same result is shown to be true for the pinned dot product set $Π_y(E)=\{x\cdot y: x\in E\}$. Under the additional assumption that the set $E$ has cartesian product structure we improve the pinned threshold for both distances and dot products to $\frac{d^2}{2d-1}$. A generalization of the Falconer distance problem is determine the minimal $α>0$ such that $E$ contains a congruent copy of every $k$ dimensional simplex whenever $|E| \gtrsim q^α$. Here the authors improve on known results (for $k>3$) using Fourier analytic methods, showing that $α$ may be taken to be $\frac{d+k}{2}$.

研究の動機と目的

• 集合 $E \subset \mathbb{F}_q^d$ が $|E| \gtrsim q^\alpha$ のサイズを持つとき、ほとんどすべてのピン $y \in E$ に対してピン留め距離集合 $\Delta_y(E)$ が正の密度を持つようにする最小サイズ閾値 $\alpha$ を特定すること。
• 特にカルテシアン積構造の下で、これらの結果をピン留めドット積集合 $\Pi_y(E)$ に拡張すること。
• 有限体におけるファルカーラー距離問題を $k$-単体へ一般化し、$|E| \gtrsim q^\alpha$ がすべての $k$-単体の合同コピーを含むことを保証する最小の $\alpha$ を特定すること。
• ピン留めドット積結果から、特に構造的集合に対して新しい和積推定を導出すること。

提案手法

• 距離およびドット積集合における指数和の推定にフーリエ解析的手法を用い、ガウス和推定と直交性を活用する。
• $k$-重畳みと $L^2$-制限推定を用いて、ピン留め距離およびドット積集合のサイズを制限する。
• 距離およびドット積集合の特性関数のフーリエ変換の $L^2$ ノルムを制御するために、$\ell^2$-分解の原理と制限理論を用いる。
• ガウス和の恒等式と指標和推定を用いて、特に奇数次元および偶数次元における球面および等高線集合のサイズを分析する。
• コーシー＝シュワルツ不等式とピン $y$ における平均化議論を用いて、$\Delta_y(E)$ および $\Pi_y(E)$ の平均サイズに対する下界を導出する。
• $k$-単体問題を $k$-重畳みの連立系に還元し、距離およびドット積構造の解の数を制限するのと同じフーリエ解析的道具を用いる。

実験結果

リサーチクエスチョン

• RQ1 有限体 $\mathbb{F}_q^d$ において、$|E| \gtrsim q^\alpha$ がほとんどすべての $y \in E$ に対して $|\Delta_y(E)| \gtrsim q$ を満たすような鋭い閾値 $\alpha$ は何か？
• RQ2 集合 $E$ がカルテシアン積構造を持つ場合、ピン留め距離集合の閾値は改善可能か？また、その場合に得られる和積推定は何か？
• RQ3 $|E| \gtrsim q^\alpha$ が $\mathbb{F}_q^d$ 内のすべての $k$-次元単体の合同コピーを含むことを保証する最小の $\alpha$ は何か？
• RQ4 ピン留め距離およびドット積に関する結果は、$k$-スターアーキテクチャおよび球面上へどのように拡張可能か？

主な発見

• $d=2$ の場合、ピン留め距離集合の閾値は元の $\frac{d+1}{2} = 1.5$ から $\frac{4}{3}$ に改善され、ユークリッド設定におけるウォルフの指数と一致する。
• 一般の $d$ に対して、$|E| \gtrsim q^{\frac{d+1}{2}}$ ならば、ほとんどすべての $y \in E$ に対して $|\Delta_y(E)| \gtrsim q$ であることが示され、ペレスとシュラークのピン留め距離に関する有限体版が証明される。
• 集合 $E$ がカルテシアン積構造 $A^{d-1}$ を持つ場合、閾値は $|E| \gtrsim q^{\frac{d^2}{2d-1}}$ に改善され、新しい和積推定が得られる：$|A| \gtrsim q^{\frac{d}{2d-1}}$ ならば、$|E'| \gtrsim |A|^{d-1}$ となる $E' \subset A^{d-1}$ が存在し、すべての $(a_1,\dots,a_{d-1}) \in E'$ に対して $|a_1A + \cdots + a_{d-1}A + zA| > q/2$ が成り立つ。
• $k$-単体に対して、$|E| \gtrsim q^{\frac{d+k}{2}}$ ならば、$E$ はすべての $k$-単体の合同コピーを含むことが示され、$k > 3$ の場合、以前の境界を改善する。
• 同じ手法を $k$-スターアーキテクチャおよび球面上の距離およびドット積集合へ適用可能であり、同じ閾値 $q^{\frac{d+k}{2}}$ が得られ、フーリエ解析的手法の頑健性が裏付けられる。
• 奇数次元では指数 $\frac{d+1}{2}$ が鋭いことが証明され、ルドネーヴらの以前の結果の最適性が確認される。