[論文レビュー] Distance graphs in vector spaces over finite fields, coloring and pseudo-randomness

Derrick Hart, Alex Iosevich+3 more|ArXiv.org|Apr 18, 2008

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

ひとこと要約

本稿は、有限体上のd次元ベクトル空間における距離グラフを調査し、色分けされた距離グラフの族 $ G_q^\triangle $ が、均等な辺分布と十分に大きな場合のすべての有限構成を含むという意味で、カレイドスコピックに擬似ランダムであることを確立している。主な結果は、十分に大きな部分集合が、指定された距離を持つすべての $ k $ ポイント構成を含むことを示す鋭い推定であり、有限幾何における直径の上限と擬似ランダム性への応用を含む。

ABSTRACT

In this paper we systematically study various properties of the distance graph in ${\Bbb F}_q^d$, the $d$-dimensional vector space over the finite field ${\Bbb F}_q$ with $q$ elements. In the process we compute the diameter of distance graphs and show that sufficiently large subsets of $d$-dimensional vector spaces over finite fields contain every possible finite configurations.

研究の動機と目的

• 有限体 $ \mathbb{F}_q^d $ における距離グラフの構造的および擬似ランダムな性質を体系的かつ系統的に研究すること、特に色分けと構成埋め込みに焦点を当てる。
• 色分けされた距離グラフの族 $ \{G_q^\triangle\} $ がカレイドスコピックに擬似ランダムであることを確立し、バランスの取れた辺分布と漸近的完全性を保証する。
• 十分に大きな $ \mathbb{F}_q^d $ の部分集合が、所定の距離を持つすべての有限 $ k $ ポイント構成を含むことを証明し、先行研究を一般化する。
• $ G_q^\triangle $ の距離グラフの直径を2次元以上で計算し、$ q \geq 17 $ の場合に直径が3であることを示し、$ q \neq 3 $ の場合には決して2でないことを示す。
• 代数的および非代数的多様体の交点を推定するために、特徴和およびガウス和の技法を発展させ、応用する。

提案手法

• 特徴和の手法とガウス和の推定を用いて、$ ||x - y|| = t $ の解の個数を分析し、均等な分布の結果を得る。
• 直交性関係と加法的特徴和を用いて、構成を定義する二次方程式系の解の個数を評価する。
• 特徴和の式において完全平方の補完と変数変換を適用し、解の個数に対する下界を導出する。
• バランスの取れた辺分布、漸近的完全性、普遍的構成埋め込みを要件とするカレイドスコピックな擬似ランダム性の概念を導入する。
• 古典的ガウス和および二次的特徴和の結果を活用し、直径解析に不可欠な $ T^*(s,t,c) = 0 $ の解の個数を推定する。
• 体の特性とパラメータに基づく場合分けを用いて、特に $ q = 3, 5, 9, 13 $ の場合の解空間における退化を処理する。

実験結果

リサーチクエスチョン

• RQ1 有限体 $ \mathbb{F}_q^d $ 上の色分けされた距離グラフ $ G_q^\triangle $ の族は、バランスの取れた辺分布と普遍的構成埋め込みを特徴とするカレイドスコピックに擬似ランダムであるか？
• RQ2 2次元における距離グラフ $ G_q^\triangle $ の直径は何か？また、なぜ $ q \neq 3 $ の場合には決して2ではないのか？
• RQ3 $ |E| \geq C q^{d(k-1)/k} q^{n/k} $ を満たす部分集合 $ E \subset \mathbb{F}_q^d $ が、$ n $ 個の所定の距離を持つすべての $ k $ ポイント $ J $-構成を含む条件は何か？
• RQ4 ガウス和の推定と特徴和の技法は、有限体における距離方程式の解の個数をどのように正確に数えるのを可能にするか？
• RQ5 $ (1+o(1))|E|^k q^{-n} $ のように、指定された距離を持つ $ k $ ポイント構成の個数を漸近的に推定できるか？その条件は何か？

主な発見

• 色分けされた距離グラフの族 $ \{G_q^\triangle\} $ はカレイドスコピックに擬似ランダムであり、辺の色分布が $ |\mathcal{E}_j^i| \sim (1+o(1))|\mathcal{E}_j^{i'}| $ を満たし、$ q \to \infty $ のとき漸近的完全性を示す。
• $ t \in \mathbb{F}_q $ に対して、$ ||x - y|| = t $ を満たす $ (x,y) \in \mathbb{F}_q^d \times \mathbb{F}_q^d $ のペアの個数は、$ d=2 $ かつ $ t=0 $ を除き、$ (1+o(1))q^{2d-1} $ である。
• $ C $ が十分に大きいとき、$ |E| \geq C q^{d(k-1)/k} q^{n/k} $ ならば、$ E $ に含まれる $ k $ ポイント $ J $-構成の個数は $ |\mathcal{T}_k^J(E)| = (1+o(1))|E|^k q^{-n} $ である。
• 2次元における $ G_q^\triangle $ の直径は $ q \geq 17 $ の場合に3であり、$ q \neq 3 $ の場合には決して2でない。これは特徴和の推定と解の個数の数え上げによって示された。
• $ \sum_{t \in \mathbb{F}_q} \psi(g(t,c)) $ において、$ \psi $ を二次的特徴和とすると、$ \left| \sum \psi(g(t,c)) \right| \leq 3q^{1/2} $ が成り立ち、$ q \geq 17 $ の場合に解の個数が0になるのを排除する。
• 証明により、$ q \geq 17 $ のとき $ R(a,b,r) > 0 $ が成り立つことが示され、$ S_r + a $ と $ S_r + b $ に属する任意の2点は長さ3の経路で接続可能であることが確認され、直径が3であることが裏付けられた。