[论文解读] 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 $ 在二维及以上维度中的直径，证明当 $ q \geq 17 $ 时其直径为三，且当 $ q \neq 3 $ 时直径永不为二。
• 发展并应用特征和与高斯和技巧，以估计 $ \mathbb{F}_q^d $ 中代数与非代数簇的交集。

提出的方法

• 使用特征和方法与高斯和估计分析方程 $ ||x - y|| = t $ 的解数，从而得出均匀分布结果。
• 应用正交关系与加法特征和，以界定定义构型的二次方程组的解数。
• 在特征和表达式中使用完全平方配方与变量替换，推导解数的下界。
• 引入万花筒式伪随机性的概念，要求边分布均衡、渐近完备，且普遍包含所有构型。
• 利用经典高斯和与二次特征和的结果，估计方程 $ T^*(s,t,c) = 0 $ 的解数，这对直径分析至关重要。
• 基于域的特征与参数进行分类讨论，以处理解空间中的退化情况，特别是 $ q = 3, 5, 9, 13 $ 的情形。

实验结果

研究问题

• RQ1 在 $ \mathbb{F}_q^d $ 中，彩色距离图族 $ G_q^\triangle $ 是否表现出万花筒式伪随机性，即边分布均衡且普遍包含所有构型？
• RQ2 在二维中，距离图 $ G_q^\triangle $ 的直径是多少？为何当 $ q \neq 3 $ 时其直径永不为二？
• 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 $ 的数量为 $ (1+o(1))q^{2d-1} $，但当 $ d=2 $ 且 $ t=0 $ 时，其数量为 $ (2+o(1))q^{2d-1} $。
• 若 $ |E| \geq C q^{d(k-1)/k} q^{n/k} $ 且常数 $ C $ 足够大，则 $ E $ 中的 k 点 J-构型数量为 $ |\mathcal{T}_k^J(E)| = (1+o(1))|E|^k q^{-n} $。
• 在二维中，$ G_q^\triangle $ 的直径为三（当 $ q \geq 17 $ 时），且当 $ q \neq 3 $ 时其直径永不为二，该结论通过特征和估计与解数计数得以证明。
• 和式 $ \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 $ 时解数为零的可能性。
• 证明表明 $ R(a,b,r) > 0 $ 对 $ q \geq 17 $ 成立，意味着 $ S_r + a $ 与 $ S_r + b $ 中的任意两点均可通过长度为三的路径连接，从而确认直径为三。