Small sums of roots of unity

技術要約：1のべき乗の和の極小値

問題設定
本論文は、$N$次の1のべき乗（$N$-th roots of unity）$k$個の項からなる、最小の非零な和の大きさに関する問題を扱う。形式的には、$f(k, N)$を最小の非零な和の絶対値とする：
$$f(k, N) = \min \left\{ |S| : 0 \neq S = \sum_{i=1}^k \zeta_i, \text{ ただし } \zeta_i^N = 1 \right\}.$$
主な目的は、$N \to \infty$ における $f(k, N)$ の上界を確立することである。Myersonによる先行研究では、$k$および$N$が偶数の場合に $O(N^{-k/4})$ という形の境界が示されており、Barberは $k=5$ に対して $O(N^{-4/3})$ と改善したが、すべての $k$ および $N$ に対して $O(N^{-\alpha})$ （ただし $\alpha > 1$）という形の境界が存在するかどうかという一般的な問いは、依然として未解決のままである。

手法
本論文は、Barberによって導入されたアプローチに基づき、摂動戦略を採用している。核心となるアイデアは、和がゼロとなる（消滅する）1のべき乗の構成から出発し、その引数をわずかに摂動させることで、小さな絶対値を持つ非零な和を生成することである。

主要な技術的要素は以下の通りである：

1. 非斉次ディオファントス近似： 証明は、線形形式の一様境界を与えるLemma 1（BugeaudおよびLaurentによる）に大きく依存している。これにより、1のべき乗の線形結合が特定の誤差範囲内でゼロに近似されるような整数ベクトル $\vec{x}$ を見つけることが可能となる。
2. 微積分および陰関数定理： 特定のケース（特に $k=7$）を扱うため、著者らは、正弦関数および余弦関数を含む写像が局所微分同相写像であることを示すために、陰関数定理を利用している。これにより、写像の像が近傍を含むことが保証され、1のべき乗間の特定の代数的関係の構築が可能となる。
3. 組合せ論的構成（フロベニウスの硬貨問題）： 一般的なケースにおいて、著者らは $(1+\zeta)$ と $(1+\omega+\omega^2)$ の冪乗を組み合わせることで和を構成する。ここで $\zeta$ と $\omega$ はそれぞれ $-1$および$e(1/3)$に近い1のべき乗である。これは、$k$ を 2 と 3 の線形結合として表現するために、フロベニウスの硬貨問題を利用している。
4. ケース解析： $k=7$ の証明では、消滅する和が整数解（有理角）を持つ場合と持たない場合を区別し、テイラー展開を用いて摂動によって導入される誤差項を推定している。

主要な貢献および結果

• 定理 1 ($k=7$)： 本論文は $f(7, N) = O(N^{-3/2})$ であることを証明している。これは、方程式 $1 + \sum_{i=1}^3 [e(\alpha_i) + e(-\alpha_i)] = 0$ から導かれる特定の消滅する和の構成を摂動させることで達成される。証明には、摂動が $N^{-3/2}$ のオーダーの和となるように制御しつつ、その和が非零であり続けることを示すプロセスが含まれる。

• 定理 2 (一般の $k$)： 著者らは、以下に示す一般的な上界を確立している：
  $$f(k, N) = O(N^{-\lfloor \log_6 k \rfloor}).$$
  この結果は、$k \ge 4$ において、境界 $O(N^{-\alpha_k})$ の指数 $\alpha_k$ が $\alpha_k > 1$ を満たし、さらに決定的なことに $k \to \infty$ となるにつれて $\alpha_k \to \infty$ となることを意味している。

  • 論文内では、同様の手法により $11 \le k \le 36$ （ただし $k \neq 11$）において $f(k, N) = O(N^{-2})$ となることが記されている。
  • $k=11$ の場合、定理1と同様の証明により $f(11, N) = O(N^{-5/3})$ となる。

• 特定の $N$ に対する改善： 最終節では、密度が高い集合（具体的には特定の整数の倍数）に含まれる $N$ について、指数を改善できることを示している：

  • $6 \mid N$ ならば、$f(5, N) \ll N^{-2}$。
  • $10 \mid N$ ならば、$f(7, N) \ll N^{-2}$。
  • $2 \mid N$ ならば、$f(10, N) \ll N^{-4}$。この $k=10$ に対する結果は、Myersonによる偶数 $N$ に対する最良の結果と一致するが、これはProuhet-Tarry-Escott問題ではなく、線形方程式を用いた構成によって導かれている。

意義および主張
本論文は、二重の目標達成を主張している：

1. 一般的な $N$ に対して、最小の非零な和の減衰率は $k$ の増加とともに著しく改善され、指数 $\alpha_k$ が無制限に増大することを示した。
2. 正の割合の $N$（特定の数の倍数）に対しては、より鋭い境界が達成可能であることを示した。

本研究は、Barberによって導入された手法の継続および一般化として提示されており、特に、より高い $k$ や特定の代数的構造を扱うために摂動技法を適応させている。著者らは、証明が、消滅する和における角度の分離に関する定理（ConwayおよびJones）によって正当化される、1のべき乗の構成を摂動させることに依拠していると述べている。本論文は、単一の普遍的な指数ですべての $k$ と $N$ の問題を解決すると主張しているのではなく、むしろ $k$ とともに改善される一連の境界を提供している。