[论文解读] Using the subspace theorem to bound unit distances

Ryan Schwartz|arXiv (Cornell University)|Nov 21, 2012

Analytic Number Theory Research参考文献 11被引用 6

一句话总结

本文利用子空间定理，对复数乘法子群（有限秩）产生的平面上单位距离的数量进行有界。当秩 $ r \leq c \log n $ 时，此类单位距离的数量至多为 $ n^{1+\varepsilon} $，将此前关于单位根的结果推广，并证实了Erdős的下界构造确实源自此类群。

ABSTRACT

We prove a special case of Erdős' unit distance problem using a corollary of the subspace theorem bounding the number of solutions of linear equations from a multiplicative group. We restrict our attention to unit distances coming from a multiplicative group of rank $r$ not too large. Specifically, given $\varepsilon>0$ and $n$ points in the plane, we construct the unit distance graph from these points and distances and use the corollary above to bound certain paths of length $k$ in the graph giving at most $n^{1+\varepsilon}$ unit distances from the group above. We require that the rank $r\le c\log n$ for some $c>0$ depending on $\varepsilon$. This extends a result of József Solymosi, Frank de Zeeuw and the author where we only considered unit distances that are roots of unity. Lastly we show that the lower bound configuration for the unit distance problem of Erdős consists of unit distances from a multiplicative subgroup of the form above.

研究动机与目标

• 将此前关于平面上单位距离的有界结果从单位根推广至 $\mathbb{C}^*$ 的更一般有限秩乘法子群。
• 应用子空间定理，特别是Amoroso与Viada的定量推论，以控制此类群中线性方程的非退化解数量。
• 证明当秩 $ r \leq c\log n $ 时，单位距离的数量至多为 $ n^{1+\varepsilon} $（对任意 $ \varepsilon > 0 $），从而改进早期结果。
• 证明Erdős已知的单位距离问题下界构造确实产生来自此类有限秩乘法子群的单位距离。
• 通过代数数论与丢番图逼近工具（特别是子空间定理）统一分析单位距离。

提出的方法

• 利用子空间定理的一个推论，该推论控制了形如 $ a_1z_1 + \cdots + a_kz_k = 1 $ 的线性方程在有限秩乘法子群 $ \Gamma \subset \mathbb{C}^* $ 中的非退化解数量。
• 应用Amoroso与Viada的改进界，得到 $ A(k,r) \leq (8k)^{4k^4(k + kr + 1)} $，以控制此类解的数量。
• 从平面上的 $ n $ 个点构造单位距离图，其中边对应来自 $ \Gamma $ 的单位距离，并使用图论工具分析路径。
• 运用一个引理提取一个子图 $ H $，其最小度至少为 $ (c/2)n^\alpha $，以确保路径计数所需的边密度。
• 通过最小度的下界，对长度为 $ k $ 的非冗余路径进行计数，从而导出此类路径数量的下界。
• 通过证明当单位距离数量超过 $ n^{1+\varepsilon} $ 时，此类路径数量将超过子空间定理给出的上界，从而导出矛盾，完成主界证明。

实验结果

研究问题

• RQ1 能否利用子空间定理，对来自 $ \mathbb{C}^* $ 的有限秩乘法子群的单位距离数量进行有界？
• RQ2 若这些单位距离的方向位于秩 $ r \leq c\log n $ 的乘法子群中，最多可能有多少个单位距离？
• RQ3 Erdős关于单位距离问题的已知下界构造是否产生来自 $ \mathbb{C}^* $ 的有限秩乘法子群的单位距离？
• RQ4 与基于单位根求和（如Mann的结果）的早期方法相比，子空间定理的使用如何改进结果？
• RQ5 单位方向乘法群的秩与单位距离数量增长速率之间的确切关系为何？

主要发现

• 对任意 $ \varepsilon > 0 $，存在 $ n_0 = n_0(\varepsilon) $，使得当 $ n > n_0 $ 时，来自 $ \mathbb{C}^* $ 的有限秩乘法子群 $ \Gamma \subset \mathbb{C}^* $ 的单位距离数量至多为 $ n^{1+\varepsilon} $，其中 $ c = c(\varepsilon) > 0 $，且秩 $ r \leq c\log n $。
• 该界通过将子空间定理应用于单位距离图中非冗余路径的数量推导得出，若单位距离过多则导致矛盾。
• 该结果将此前关于单位根（对应秩 0）的工作推广至更高秩群，表明在秩条件下，相同的 $ n^{1+\varepsilon} $ 界依然成立。
• Erdős的下界构造（基于 $ \sqrt{n} \times \sqrt{n} $ 网格）产生的单位距离确实来自 $ \mathbb{C}^* $ 的有限秩乘法子群，其秩至多为 $ r \leq 16\log n / \log\log n - 1 $。
• 该秩界在 $ n $ 较大时渐近满足 $ \leq c\log n $，因此该构造满足主定理的假设，确认其与上界的一致性。
• 分析中利用了高斯整数 $ \mathbb{Z}[i] $ 的唯一分解性质，以计数整数表示为两平方和的方式，这些和对应于网格构造中的单位向量。