Nine-distance theorem and growth of best-approximation denominators

技術的要約：9距離定理と最良近似分母の成長

問題設定
本論文は、古典的な3距離定理（シュタイナス予想）の高次元における類似物を扱うものである。1次元において、この定理は、円周上のクロネッカー数列 $\{n\alpha \pmod 1\}_{n=1}^N$ の最初の $N$ 個の点の間の隙間が、高々3つの異なる値を取ることを示している。著者は、平坦な $d$ 次元トーラス $V/L$ 上のクロネहरू数列の最初の $N$ 個の軌道点によって生成される、異なる最近傍距離の数 $g_N(\alpha, L)$ を調査している。

これまでの研究において、ヘインズとマルコフは、平面の場合（$d=2$）の上界が5であることを確立し、それがシャープ（最適）であることを証明した。$d=3$ の場合、彼らは13という境界を示し、最適な普遍的上界は9であると予想した。デットマンは以前、立方体3次元トーラスにおいて9つの異なる距離が発生する例を示しており、9が $d=3$ におけるシャープな境界であることを示唆していた。中心となる問題は、$g_N(\alpha, L)$ に対する次元に依存しない最適な普遍的上界を決定すること、および $d=3$ における予想を解決することである。

手法
開発された主要なツールは、$d$ 次元内積空間における最良同時近似の分母に関する新しい成長定理である。$q_1 < q_2 < \dots$ を、距離 $\rho(q) = \text{dist}(q\alpha, L)$ が新たな厳密な最小値に達する整数列とする。

著者は、これらの分母の成長に関する構造定理（定理1.4）を証明する。具体的には、$M=2d$ とするとき、$q_{n+M}$ が定義されるたびに、以下の2つの条件のいずれかが成立しなければならない。

1. 急速な成長: $q_{n+2d} \ge 2q_{n+1}$。
2. 加法的構造: 指標の集合 $\{1, \dots, 2d\}$ は、互いに素なペア $\{j, k\}$ （ただし $j < k$）に分割可能であり、$q_{n+k} = q_n + q_{n+j}$ が成立する。

この結果は、以下の組み合わせを用いて導出される：

• 和なし集合論（Sum-free set theory）: 最良近似の座標ベクトルのパリティ類に対して、古典的な $\mathbb{F}_2^{d+1}$ における和なし部分集合の境界（補題3.1）を適用する。
• 幾何学的恒等式: 加法的構造が成立しない場合に矛盾を導くために、一般化されたパラレルグラム則（補題3.2）を利用する。これにより、急速な成長条件が強制される。

また、本論文は、シェヴァリエおよびヘインズ・マルコフの枠組みに従い、最近傍距離と最良近似分母の関係を再検討している。これにより、異なる距離の数は、特定の $N$ に対する区間内に含まれる最良近似分母の数によって抑えられることが確立されている。

主な結果

1. 9距離定理（定理1.2）: 任意の3次元実内積空間、フルランク格子、および回転ベクトルに対して、最初の $N$ 個の軌道点における異なる最近傍距離の数は高々9である。これはヘインズとマルコフの予想を裏付けるものである。
2. 次元一様境界（定理1.1）: 任意の次元 $d \ge 1$ について、異なる距離の数 $g_N(\alpha, L)$ は $2d + 1$ を満たす（$g_N(\alpha, L) \le 2d + 1$）。
3. シャープ性: この境界は、$d=1, 2, 3$ においてシャープであることが示されている。$d=3$ のケースは、デットマンの例がちょうど9つの距離を与えていることからシャープである。
4. 成長率の系（系3.3）: 著者は、最良近似分母の指数的成長率の下限を導出した。$d \ge 2$ のとき、$\liminf_{n \to \infty} q_n^{1/n} \ge 2^{1/(2d-1)}$ である。これは、$d=2$ におけるエルマコフの境界（$\approx 1.228$）を $\approx 1.260$ へと改善する。

既存の境界との比較
本論文は、新しい境界（$2d+1$）を、接数（kissing number または contact number）$\sigma_d$ から導かれる境界と比較している。

• $d=3$ の場合、接数の境界は13であるが、新しい境界は9である。
• $d=8$ の場合、新しい境界は17であるが、接数の境界（厳密な不等式定義 $\sigma^>_d$ を用いた場合）は240である。
  著者は、接数の境界がシェヴァリエとロマノフの結果を組み合わせた初期の研究において暗黙的に用いられてきた歴史的に重要なものである一方で、新しい $2d+1$ の境界は、低次元においてはより優れており、接数の境界が指数関数的に増大するのに対し、次元一様な線形境界を提供することを指摘している。

意義
本論文は、3次元における9距離定理に関する特定の予想を解決したと主張しており、平坦なトーラスにおける異なる最近傍距離の数に対する一般的な、次元一様な上界を提供している。その意義は、あらゆる内積ノルム（単に上限ノルムだけでなく）に適用可能で、急速な成長が発生しない例外的なケースを正確に記述する、最良近似分母の新しい成長定理の導入にある。この構造的な洞察により、幾何学的な格子引数のみを用いる従来の手法よりも、軌道点の分布をより精密に制御することが可能となった。結果は、述べられた問題に対して決定的であり、得られた境界は最初の3つの次元において最適であることが証明されている。