Nine-distance theorem and growth of best-approximation denominators

技术摘要：九距离定理与最佳逼近分母的增长

问题陈述
本文研究了经典三距离定理（斯坦豪斯猜想）的高维类比。在一维情况下，该定理指出克罗内克序列 $\{n\alpha \pmod 1\}_{n=1}^N$ 在圆周上的前 $N$ 个点的间隙最多取三个不同的值。作者研究了在平坦 $d$ 维环面 $V/L$ 上，由前 $N$ 个轨道点生成的不同最近邻距离的数量，记作 $g_N(\alpha, L)$。

在此项工作之前，Haynes 和 Marklof 确定了平面情况（$d=2$）的上界为 5，并证明了该界是紧确的。对于 $d=3$ 的情况，他们给出了 13 的界，并猜想最优通用上界为 9。Dettmann 此前已在立方三维环面上展示了一个存在 9 个不同距离的实例，表明 9 是 $d=3$ 时的紧确界。核心问题在于确定 $g_N(\alpha, L)$ 的最优维度一致上界，并解决 Haynes 和 Marklof 的猜想。

方法论
本文开发的主要工具是一个关于 $d$ 维内积空间中最佳同时逼近分母的新增长定理。令 $q_1 < q_2 < \dots$ 为距离 $\rho(q) = \text{dist}(q\alpha, L)$ 达到新的严格极小值的整数序列。

作者证明了一个关于这些分母增长的结构定理（定理 1.4）。特别地，当 $M=2d$ 且 $q_{n+M}$ 有定义时，以下两个条件之一必须成立：

1. 快速增长： $q_{n+2d} \ge 2q_{n+1}$。
2. 加法结构： 索引集 $\{1, \dots, 2d\}$ 可以被划分为不相交的对 $\{j, k\}$（其中 $j < k$），使得 $q_{n+k} = q_n + q_{n+j}$。

该结果是通过结合以下手段推导出的：

• 无和集理论： 将经典的 $\mathbb{F}_2^{d+1}$ 中无和子集的界（引理 3.1）应用于最佳逼近坐标向量的奇偶类。
• 几何恒等式： 利用广义平行四边形法则（引理 3.2），如果加法结构失效，则通过导出矛盾来强制执行快速增长条件。

论文还重新审视了最近邻距离与最佳逼近分母之间的关系，遵循了 Chevallier 和 Haynes-Marklof 的框架。文章建立了一个结论：不同距离的数量受限于落在相对于 $N$ 的特定区间内的最佳逼近分母的数量。

主要结果

1. 九距离定理（定理 1.2）： 对于任何三维实内积空间、全秩格点和旋转向量，前 $N$ 个轨道点之间的不同最近邻距离数量至多为 9。这证实了 Haynes 和 Marklof 的猜想。
2. 维度一致界（定理 1.1）： 对于任何维度 $d \ge 1$，不同距离的数量满足 $g_N(\alpha, L) \le 2d + 1$。
3. 紧确性： 该界被证明在维度 $d=1, 2, 3$ 时是紧确的。由于 Dettmann 的实例产生了恰好 9 个距离，因此 $d=3$ 的情况是紧确的。
4. 增长率推论（推论 3.3）： 作者导出了最佳逼近分母指数增长率的下界。对于 $d \ge 2$，$\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$。这改进了以往对 $d=2$ 的下界（将 Ermakov 的界从 $\approx 1.228$ 提高到 $\approx 1.260$）。

与现有界的比较
论文将其新界（$2d+1$）与由接触数（或接触数）$\sigma_d$ 导出的界进行比较，后者得出 $g_N \le \sigma_d + 1$。

• 对于 $d=3$，接触数界为 13，而新界为 9。
• 对于 $d=8$，新界为 17，而接触数界（使用严格不等式定义 $\sigma^>_d$）为 240。
  作者指出，虽然接触数界在历史上具有重要意义，并且隐含在早期结合了 Chevallier 和 Romanov 结果的研究中，但新的 $2d+1$ 界在低维情况下更优，并且提供了一个维度的线性增长界，而接触数界则是呈指数级增长。

意义
本文声称解决了关于三维九距离定理的具体猜想，并为平坦环面中不同最近邻距离的数量提供了一个通用的、维度一致的上界。其意义在于引入了一种适用于每种内积范数（而非仅限上确界范数）的最佳逼近分母的新增长定理，并包含了对快速增长不发生时的异常情况的精确描述。这种结构性的洞察力使得能够通过几何格点论证之外的方法，实现对轨道点分布更严密的控制。研究结果对于所述问题是决定性的，且证明了这些界在最初三个维度中是最佳的。