[论文解读] 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

一句话总结

该论文构建了一个无限族的子集 $ E \subset \mathbb{F}_q^2 $，满足 $ |E| = q^{4/3} $，其距离集 $ \Delta(E) $ 并非整个域 $ \mathbb{F}_q $，从而证明在 $ d=2 $ 时，有限域上 Erd\'os–Falconer 距离集猜想中的指数 $ 4/3 $ 是紧确的。该构造利用了 $ \mathbb{F}_p $ 的二次与三次扩张上的向量子空间，显示当 $ q \to \infty $ 时，有 $ |\Delta(E)|/q \to 1/2 $，因此否定了文献 [6] 中关于二维情形的猜想。

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| > q^{4/3} $ 的集合 $ E \subset \mathbb{F}_q^2 $ 必有 $ \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 $ 为满足 $ p \equiv 3 \pmod{4} $ 的素数。
• 固定一个二维 $ F $-子空间 $ V \subset \mathbb{F}_q $，并定义 $ 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 是否存在一个集合 $ E \subset \mathbb{F}_q^2 $，其大小为 $ q^{4/3} $，但其距离集 $ \Delta(E) $ 不是整个域 $ \mathbb{F}_q $？
• RQ2 在 $ d=2 $ 时，Erd\'os–Falconer 距离集问题中的指数 $ 4/3 $ 是否是紧确的，还是可以改进？
• RQ3 在中间有限域上的向量子空间——而非仅仅是子域——是否在限制距离集增长方面起到结构性作用？
• RQ4 大小为 $ q^{4/3} $ 的集合的距离集是否可能遗漏 $ \mathbb{F}_q $ 的正密度部分，例如 $ 50\% $？
• RQ5 文献 [6] 中的构造在 $ d=2 $ 时是否如这些例子所暗示的那样失败？

主要发现

• 存在一个无限族的集合 $ E \subset \mathbb{F}_q^2 $，满足 $ |E| = q^{4/3} $，且 $ \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 $ 是一个二维 $ F $-子空间，满足 $ VV \neq \mathbb{F}_q $。
• 距离集 $ \Delta(E) $ 包含于 $ VV $，且由于 $ |VV|/q \to 1/2 $，因此 $ \Delta(E) $ 不可能覆盖 $ \mathbb{F}_q $。
• 结果表明，在 $ d=2 $ 时，Erd\'os–Falconer 问题中指数 $ 4/3 $ 是最优的，因为任何更小的指数都无法保证 $ \Delta(E) = \mathbb{F}_q $。
• 阻碍效应源于中间域上的代数结构，而不仅仅是子域，表明存在更广泛的几何限制。