[论文解读] 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$ 的大子集包含任意具有有界最大顶点度的距离图的等距拷贝。
• 扩展欧氏距离问题在有限域中的类比，特别是与 Falconer 猜想和 Erdős 型距离问题相关的结果。
• 证明当 $ d \geq 2t $ 时，$f_q^d$ 中足够大的集合包含所有大小为 $ n $、度为 $ t $ 的距离图，即使 $ n $ 很大。
• 建立此类图在大集合中真实、顶点互不相交的等距拷贝数量的定量下界。

提出的方法

• 使用傅里叶分析方法估计子集 $ A \subseteq \mathbb{F}_q^d $ 中距离图 $\mathcal{G}$ 的等距拷贝数量，依赖指数和与特征和。
• 通过边数的归纳法应用递归平均值论证，将完整构型的计数简化为边数少一个的子图。
• 引入受限平均值 $\mathbf{E}^{*}$ 以分离出顶点互异的真实构型，排除顶点重合的退化情形。
• 使用柯西-施瓦茨不等式和 $L^2$-范数估计来控制计数过程中因顶点重合而产生的误差项。
• 利用距离图的结构和最大度 $t$ 来控制重叠构型的数量，并对主项中的误差进行有界处理。
• 依赖一个关键估计（定理 6），该估计将期望构型数量与主项之间的偏差控制在 $O(q^{t - (d+1)/2})$ 范围内，当 $d$ 相对于 $t$ 较大时，该偏差项可忽略。

实验结果

研究问题

• RQ1 在何种条件下，大子集 $A \subseteq \mathbb{F}_q^d$ 包含任意给定距离图（具有 $n$ 个顶点和最大度 $t$）的等距拷贝？
• RQ2 是否可选择维度 $d$ 使得 $d \geq 2t$，以保证在大集合中存在所有此类距离图？
• RQ3 在 $\mathbb{F}_q^d$ 的大子集中，可以找到多少个真实、顶点互不相交的固定距离图的等距拷贝？
• RQ4 此类构型数量的定量下界是多少？其如何依赖于 $n$、$t$、$q$ 和 $d$？
• RQ5 在计数过程中，是否可以控制因顶点重合而引入的误差，以确保非退化构型的存在？

主要发现

• 对于任意具有 $n$ 个顶点、$m$ 条边和最大顶点度 $t$ 的距离图 $\mathcal{G}$，若 $|A| \geq 12n^2 q^{(d-1)/2 + t}$，则 $A$ 至少包含 $\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$ 时，$\mathbb{F}_q^d$ 中存在任意长的环图（例如 $C_n$），这是有限域设定下的新结果。
• 真实构型数量的下界具有鲁棒性：即使扣除顶点重合的退化情形贡献，仍至少有一半的期望构型保持非退化。
• 该结果可推广至任意非退化的二次型（而不仅标准的欧氏距离平方），依据 [10] 和 [2] 中的已知结果，表明该方法不仅适用于欧氏模型，且具有一般性。