[論文レビュー] Embedding distance graphs in finite field vector spaces

Alex Iosevich, Hans Parshall|arXiv (Cornell University)|Feb 18, 2018

Finite Group Theory Research参考文献 10被引用数 3

ひとこと要約

本稿では、次元が $d \geq 2t$ を満たし、かつ集合のサイズが $12n^2 q^{(d-1)/2 + t}$ を超える限り、有限体のベクトル空間 $[f_q^d$ の大きな部分集合は、任意の $n$ 頂点および最大次数 $t$ を持つ距離グラフの等長写像を含むことを確立する。この結果は、フーリエ解析的手法と平均化の議論に依拠しており、このような構成が単に存在するのではなく、豊富に存在することを示している。これは、有限幾何における距離集合や点配置に関する先行研究を拡張するものである。

ABSTRACT

We show that large subsets of vector spaces over finite fields determine certain point configurations with prescribed distance structure. More specifically, we consider the complete graph with vertices as the points of $A \subseteq \mathbf{F}_q^d$ and edges assigned the algebraic distance between pairs of vertices. We prove nontrivial results on locating specified subgraphs of maximum vertex degree at most $t$ in dimensions $d \geq 2t$.

研究の動機と目的

• $f_q^d$ の大きな部分集合が、任意の頂点数 $n$ および最大次数 $t$ を持つ距離グラフの等長写像を含む条件を同定すること。
• 特に Falconer の予想や Erdős 型距離問題に関連する、ユークリッド距離問題の有限体版を拡張すること。
• $d \geq 2t$ のもとで、$f_q^d$ に十分大きな集合が存在する場合、サイズ $n$ および次数 $t$ のすべての距離グラフが含まれることを示すこと。
• このようなグラフの真正の、頂点が互いに異なる等長写像の数に対する定量的下界を確立すること。

提案手法

• $A \subseteq \u0066_q^d$ における距離グラフ $\mathcal{G}$ の等長写像の数を推定するために、指数和と特徴和に依拠するフーリエ解析的手法を用いる。
• 辺の数に関する帰納法を用いた再帰的平均化議論により、完全な構成の数を、1つ辺を減らした部分グラフへの数に帰着させる。
• 頂点が重複する退化した場合を除き、頂点が互いに異なる真正の構成を特定するために、制限付き平均 $\mathbf{E}^{*}$ を導入する。
• コーシー・シュワーツと $L^2$ ノルムの推定を用いて、頂点が重複する寄与から生じる誤差項を制御する。
• 距離グラフの構造と最大次数 $t$ を用いて、重複する構成の数を制御し、主要項における誤差を抑え込む。
• 主な項からの期待値のずれを $O(q^{t - (d+1)/2})$ で抑え込む、鍵となる推定（定理6）に依拠する。これは $d$ が $t$ に対して十分に大きい場合、誤差項が小さくなる。

実験結果

リサーチクエスチョン

• RQ1 大きな部分集合 $A \subseteq \u0066_q^d$ が、$n$ 頂点および最大次数 $t$ を持つ任意の距離グラフの等長写像を含む条件は何か？
• RQ2 次元 $d$ を $d \geq 2t$ に選ぶことで、十分大きな集合においてすべてのこのような距離グラフが存在することを保証できるか？
• RQ3 $\u0066_q^d$ の大きな部分集合に、固定された距離グラフの真正の、頂点が互いに異なる等長写像はいくつ存在するか？
• RQ4 このような構成の数に対する定量的下界は何か？また、$n$、$t$、$q$、$d$ にどのように依存するか？
• RQ5 頂点が重複する場合のカウントにおける誤差を制御することで、非退化な構成の存在を保証できるか？

主な発見

• 任意の距離グラフ $\mathcal{G}$ が $n$ 頂点、$m$ 辺、最大次数 $t$ を持つとき、$|A| \geq 12n^2 q^{(d-1)/2 + t}$ ならば、$A$ は $\mathcal{G}$ の真正の等長写像を少なくとも $\frac{1}{2}|A|^n q^{-m}$ 個含む。
• $A$ における $\mathcal{G}$ の等長写像の数は、$\alpha^n$ に漸近的に近い。ここで $\alpha = |A|/q^d$ であり、誤差は $O(n^2 \alpha^{n-1} q^{t - (d+1)/2})$ で抑えられる。
• $d \geq 2t$ のとき、誤差項は主要項に比べて劣っているため、十分大きな $q$ および $n$ に対してこのような構成が存在することが保証される。
• 本手法により、$d \geq 4$ のとき、任意の長さのサイクルグラフ（例：$C_n$）が $\u0066_q^d$ に存在することが保証され、これは有限体設定における新しい結果である。
• 真正の構成に対する下界は頑健である：退化したケース（頂点が重複する場合）の寄与を差し引いても、期待される構成の半分以上が非退化のままである。
• 標準的な二乗ユークリッド距離の代わりに任意の非退化二次形式を用いても、[10] および [2] の既知の結果を用いることで、本手法がユークリッドモデルを超えて一般化可能であることが示された。