[论文解读] Bisector energy and pinned distances in positive characteristic

Thomas Brendan Murphy, Misha Rudnev+1 more|arXiv (Cornell University)|Aug 13, 2019

Finite Group Theory Research参考文献 29被引用 7

一句话总结

本文通过利用基于 Clifford 代数的刚体运动到射影三维空间的运动学映射，分析了双线能量，建立了正特征有限域中不同固定距离数目的新下界。研究证明，对于 $ A ⊂ \mathbb{F}_q^2 $ 的足够小的子集，$ A $ 中某点可确定 $ \gg |A|^{2/3} $ 个不同的距离，通过点-平面相交技术与 Blaschke-Grünwald 映射改进了先前的界限。

ABSTRACT

We prove a new lower bound for the number of pinned distances over finite fields: if $A$ is a sufficiently small subset of $\mathbb{F}_q^2$, then there is an element in $A$ that determines $\gg |A|^{2/3}$ distinct distances to other elements of $A$. Combined with results for large subsets $A\subseteq\mathbb{F}_q^2$, this improves all previously known lower bounds on distinct distances over finite fields. In fact, we obtain an upper bound for the number of isosceles triangles determined by $A$. For that we use the concept of bisector energy. It turns out that the latter can be expressed as a point-plane incidence bound, so one can use a theorem of the third author. The conversion to this incidence problem relies on the Blaschke-Grünwald kinematic mapping -- an embedding of the group of rigid motions of $\mathbb{F}_q^2$ into an open subset of the projective three space. This has long been known in kinematics and geometric algebra; we provide a proof for arbitrary fields using Clifford algebras.

研究动机与目标

• 建立正特征有限域中固定距离数目的定量下界。
• 通过双线能量的概念，分析 $ \mathbb{F}_q^2 $ 中等腰三角形的结构。
• 为任意域开发刚体运动群到射影三维空间的几何嵌入，基于 Clifford 代数。
• 应用点-平面相交定理来界定双线能量，并推导出距离结果。
• 将组合几何中的相交几何工具扩展到加法组合论中的有限域设定。

提出的方法

• 作者将双线能量定义为满足 $ (a,b) $ 与 $ (c,d) $ 的垂直平分线重合的四元组 $ (a,b,c,d) \in A^4 $ 的数量，将其与等腰三角形联系起来。
• 他们使用 Blaschke-Grünwald 运动学映射，将 $ \mathbb{F}_q^2 $ 中的刚体运动群嵌入到 $ \mathbb{P}^3 $ 的一个开子集中，利用 Clifford 代数在任意域上定义该嵌入。
• 通过 Clifford 代数 $ \mathcal{C}\ell(V,Q)^+ $ 的偶子代数中的夹紧乘积实现群作用，该子代数同构于 $ \mathbb{F}^4 $，从而可应用射影几何技术。
• 在运动学映射下，刚体运动群的像对应于 $ \mathbb{P}^3 $ 中的一个二次曲面超曲面，但排除锥面 $ X_0^2 - \lambda X_1^2 = 0 $。
• 双线能量通过将其约化为点-平面相交问题来界定，利用第三作者在 $ \mathbb{P}^3 $ 中点-平面相交的定理。
• 将相交界限应用于嵌入后的刚体运动，将几何约束转化为对等腰三角形数量的组合界限，从而导出固定距离的界限。

实验结果

研究问题

• RQ1 在有限集 $ A \subset \mathbb{F}_q^2 $ 中，单个点能确定的最小不同距离数是多少？
• RQ2 如何利用几何相交方法，在正特征有限域中界定双线能量？
• RQ3 能否通过在任意域上有效的代数结构，将 $ \mathbb{F}_q^2 $ 中的刚体运动群自然地嵌入射影三维空间？
• RQ4 Blaschke-Grünwald 映射在多大程度上保持了几何对称性，并支持相交理论分析？
• RQ5 零化直线与二次型的结构如何影响有限域中距离的分布？

主要发现

• 本文证明，当 $ A \subset \mathbb{F}_q^2 $ 且 $ |A| \leq q^{4/5} $ 时，$ A $ 中存在一点可确定 $ \gg |A|^{2/3} $ 个不同的距离。
• 由 $ A $ 确定的等腰三角形数量上界为 $ O(|A|^{8/3}) $，这通过双线能量推导出固定距离的界限。
• 刚体运动群 $ \mathrm{SF}_2(\mathbb{F}) $ 通过 Clifford 代数构造，自然地与 $ \mathbb{P}^3 $ 的一个开子集相等同，即 $ \{[X_0:X_1:X_2:X_3] \mid X_0^2 - \lambda X_1^2 \neq 0\} $。
• 运动学映射 $ \kappa: \mathrm{SF}_2(\mathbb{F}) \to \mathbb{P}^3 \setminus \{X_0^2 - \lambda X_1^2 = 0\} $ 是一个双射，保持群结构，并将旋转与平移子群映射为射影直线。
• 群中的左乘与右乘对应于 $ \mathbb{P}^3 $ 上的射影变换，从而可利用相交几何来界定双线能量。
• 主要结果改进了先前的界限，例如 Lund 与 Petridis 的 $ \gg |A|^{20/37} $，在相似条件下实现了更强的指数 $ 2/3 $。