[論文レビュー] An example related to the Erdos-Falconer question over arbitrary finite fields

Thomas Brendan Murphy, Giorgis Petridis|arXiv (Cornell University)|May 13, 2019

Limits and Structures in Graph Theory参考文献 7被引用数 9

ひとこと要約

本稿は、$ \mathbb{F}_q^2 $ の部分集合 $ E $ を無限族として構成し、$ |E| = q^{4/3} $ であり、距離集合 $ \Delta(E) $ が全体の体 $ \mathbb{F}_q $ ではないことを示している。これは、有限体上のErd\'os–Falconer距離集合予想における指数 $ 4/3 $ が $ d=2 $ の場合に鋭いことを示している。構成は、$ \mathbb{F}_p $ の二次および三次拡張体上のベクトル部分空間を用い、$ q \to \infty $ のとき $ |Δ(E)|/q \to 1/2 $ となる。これにより、[6]における次元2の予想が反証された。

ABSTRACT

There exists an infinite family of examples of subsets of $\mathbb{F}_q^2$ with $q^{4/3}$ elements whose distance sets are not the whole of $\mathbb{F}_q$.

研究の動機と目的

• 文献[6]の予想1.1を反証すること。この予想は、任意の $ E \subset \mathbb{F}_q^2 $ で $ |E| > q^{4/3} $ ならば $ \Delta(E) = \mathbb{F}_q $ でなければならないと主張している。
• 明示的な反例の構成により、有限体上のErd\'os–Falconer距離集合問題における指数の下界を確立すること。
• 中間の有限体上のベクトル部分空間が、それ自身が部分体ではない場合でも、距離集合の成長を妨げる構造的役割を果たすことを示すこと。
• $ q \to \infty $ のとき $ |\Delta(E)|/q \leq 1/2 $ となることを示し、距離集合が $ \mathbb{F}_q $ の正の定数割合を欠く可能性があることを示すこと。

提案手法

• $ \mathbb{F}_q $ を $ F = \mathbb{F}_p[i] $ という二次拡張体上の三次拡張として構成し、$ q = p^{6r} $ とし、$ p \equiv 3 \pmod{4} $ とする。
• 固定された $ F $-部分空間 $ V \subset \mathbb{F}_q $ を2次元とし、$ E = \{ (u, iv) : u,v \in V \} \subset \mathbb{F}_q^2 $ を定義する。このとき $ |E| = |V|^2 = |F|^4 = q^{4/3} $ となる。
• 恒等式 $ \Delta(E) = \{ (u_1 - u_2)^2 + (iv_1 - iv_2)^2 \} = \{ u^2 - v^2 : u,v \in V \} = \{ (u-v)(u+v) : u,v \in V \} \subseteq VV $ を用いる。
• 文献[7]の結果を活用し、$ VV \neq \mathbb{F}_q $ かつ $ q \to \infty $ のとき $ |VV|/q \to 1/2 $ であることを示し、$ \Delta(E) \subset VV \subset \mathbb{F}_q $ が全体の体ではないことを示す。
• $ V $ が加法および減法に関して閉じていることを利用して、$ \Delta(E) $ が $ VV $ に含まれることを保証し、$ VV $ が $ \mathbb{F}_q $ の真部分集合であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ q^{4/3} $ の集合 $ E \subset \mathbb{F}_q^2 $ が、距離集合 $ \Delta(E) $ が全体の体 $ \mathbb{F}_q $ でない可能性は存在するか？
• RQ2 Erd\'os–Falconer距離集合問題における指数 $ 4/3 $ は $ d=2 $ で鋭いか、それより改善可能か？
• RQ3 部分体そのものではなく、中間の有限体上のベクトル部分空間が、距離集合の成長を制限する構造的役割を果たすか？
• RQ4 サイズ $ q^{4/3} $ の集合の距離集合が、$ \mathbb{F}_q $ の正の密度（例えば50％）を欠くことは可能か？
• RQ5 文献[6]の構成が、このような例の存在により $ d=2 $ で失敗するのだろうか？

主な発見

• $ |E| = q^{4/3} $ であるような $ \mathbb{F}_q^2 $ の無限族 $ E \subset \mathbb{F}_q^2 $ が存在し、$ \Delta(E) \neq \mathbb{F}_q $ である。これは、$ d=2 $ における文献[6]の予想1.1を反証する。
• $ q \to \infty $ のとき $ |\Delta(E)|/q \to 1/2 $ であるため、距離集合は極限において $ \mathbb{F}_q $ の少なくとも半分の要素を欠く。
• 構成は、$ \mathbb{F}_q $ が $ F = \mathbb{F}_p[i] $ という二次拡張体上の三次拡張であること、および $ V \subset \mathbb{F}_q $ が2次元の $ F $-部分空間で $ VV \neq \mathbb{F}_q $ であることに依存している。
• 距離集合 $ \Delta(E) $ は $ VV $ に含まれ、$ |VV|/q \to 1/2 $ であるため、$ \Delta(E) $ が $ \mathbb{F}_q $ をカバーできないことは明らかである。
• Erd\'os–Falconer問題における指数 $ 4/3 $ が $ d=2 $ で最適であることが示された。なぜなら、$ \Delta(E) = \mathbb{F}_q $ を保証するより小さい指数では不可能である。
• 障害は部分体そのものではなく、中間の体上の部分空間の代数的構造に起因しており、これはより広範な幾何的制限を示している。