[论文解读] Integral point sets over finite fields

Sascha Kurz|ArXiv.org|Apr 8, 2008

Limits and Structures in Graph Theory参考文献 26被引用 15

一句话总结

本文研究有限域上仿射平面上的整数点集，其中所有成对欧氏距离均为域中的平方。针对素数域，本文确定了此类集合的最大大小，并在无三点共线或无四点共圆等几何约束下，提供了极值构型的构造与猜想。

ABSTRACT

We consider point sets in the affine plane $\mathbb{F}_q^2$ where each Euclidean distance of two points is an element of $\mathbb{F}_q$. These sets are called integral point sets and were originally defined in $m$-dimensional Euclidean spaces $\mathbb{E}^m$. We determine their maximal cardinality $\mathcal{I}(\mathbb{F}_q,2)$. For arbitrary commutative rings $\mathcal{R}$ instead of $\mathbb{F}_q$ or for further restrictions as no three points on a line or no four points on a circle we give partial results. Additionally we study the geometric structure of the examples with maximum cardinality.

研究动机与目标

• 确定有限域上仿射平面上整数点集的最大势，特别是针对素数域。
• 探讨无三点共线或无四点共圆等几何约束对最大集合大小的影响。
• 将有限域上的整数点集与强正则图、佩雷图（Paley）图及组合设计相联系。
• 为具有受限几何构型的极值整数点集提供构造与猜想。
• 研究此类集合的渐近行为及存在性，尤其与未解决的Erdős-Noll问题（关于7点整数簇的存在性）的关系。

提出的方法

• 在 $ \mathbb{F}_q^2 $ 中使用平方距离函数 $ d^2(u,v) = \bigsum_{i=1}^m (u_i - v_i)^2 $，将整数距离定义为域中平方元的集合 $ \square_{\mathbb{F}_q} $。
• 应用Rédei型定理与群论技术，分析方向约束并剪枝搜索空间。
• 采用基于规范标记与自同构群作用的同构剪枝算法框架，避免冗余枚举。
• 实现基于方向剪枝的回溯搜索，仅在保持整数性与一般位置时才添加点。
• 利用仿射平面在 $ \mathbb{F}_q $ 上的自同构群，特别是当 $ q \equiv 3 \pmod{4} $ 时，以减少同构重复。
• 借助与佩雷图（Paley）图及有理三角学的联系，将问题与已知的组合对象与结构关联。

实验结果

研究问题

• RQ1 在 $ \mathbb{F}_q^2 $ 中，所有成对平方距离均为 $ \mathbb{F}_q $ 中平方元的整数点集的最大大小 $ \mathcal{I}(\mathbb{F}_q, 2) $ 是多少？
• RQ2 对于大素数 $ p $，在无三点共线与无四点共圆的约束下，最大大小 $ \dot{\mathcal{I}}(\mathbb{Z}_p, 2) $ 的渐近行为如何？
• RQ3 在 $ \mathbb{F}_q^2 $ 中，能否通过圆上构造的整数点集实现无三点共线条件下的最大大小？
• RQ4 整数点集与强正则图（特别是佩雷图（Paley）图）之间存在何种关系？
• RQ5 是否对所有充分大的素数 $ p $ 都有 $ \dot{\mathcal{I}}(\mathbb{Z}_p, 2) \geq 7 $，且这是否意味着在 $ \mathbb{Z}^2 $ 中存在一个7点整数簇？

主要发现

• 当 $ q \equiv 3 \pmod{4} $ 时，最大大小 $ \mathcal{I}(\mathbb{F}_q, 2) $ 对应于佩雷图图 $ \mathcal{PG}_{q^2} $ 的最大团大小，已知该值为 $ q $。
• 本文证明了对所有充分大的素数 $ p $，有 $ \dot{\mathcal{I}}(\mathbb{Z}_p, 2) \geq 7 $，支持了此类7点集合在 $ \mathbb{Z}_p $ 上存在的猜想。
• 在一般位置（无三点共线）的 $ \mathbb{F}_p^2 $ 上，极值整数点集通常仅由少数几条直线构成，表明其几何结构稀疏。
• 结合规范检查与基于方向的剪枝的算法框架成功生成了非同构的极值整数点集，使小规模 $ p $ 的计算验证成为可能。
• 存在多个非同构的整数点集可达到上界 $ \dot{\mathcal{I}}(\mathbb{Z}_n, 2) $，表明极值构型具有结构多样性。
• 整数点集与佩雷图图之间的联系得到确认：当 $ q = p^2 $ 且 $ p \equiv 3 \pmod{4} $ 时，$ \mathbb{F}_q^2 $ 中的整数点集同构于佩雷图图 $ \mathcal{PG}_q $。