The Minimal Absolute Value of Sums of Fifth Roots of Unity

技術要約：5の冪根の和の最小絶対値

問題提起
本論文は、重複を許して選ばれた$n$個の5の冪根の非零な和の最小絶対値の決定について扱う。形式的には、整数$n \ge 1$に対して、著者らは$\Sigma_5(n)$を、$\zeta = \exp(2\pi i/5)$とし、$a_i \in \mathbb{N}$かつ$\sum a_i = n$を満たす和 $s = \sum_{i=0}^4 a_i \zeta^i$ の集合として定義する。目的は以下を計算することである：
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
固定された$\ell$と任意の$n$に対する$\sigma_\ell(n)$の決定は自然な問題であるが、本件のような特定の形式ではこれまで検討されていなかった。先行文献では、固定された$n$と大きな$\ell$に対する漸近公式、あるいは零となる和が存在する重み$n$の特性化に焦点が当てられてきた。$\ell=5$の場合が重要である理由は、$\zeta_5$の最小多項式が4次であり、最小多項式の次数が2を超える最小のケースを表しているためである。

手法
著者らは、複素数の和の絶対値を最小化するという幾何学的な問題を、黄金比 $\phi = (1+\sqrt{1/5})/2$ と定数 $\alpha = \phi + 2$ に関する数論的近似問題の一連のステップへと還元する。

1. 実部と虚部への還元： 和 $s$ を実成分と虚成分を用いて表現することにより、著者らは $|s|$ を、$\alpha$ の整数倍と $\phi$ の整数倍が最も近い整数にどれだけ近いかという距離に関連付ける。具体的には、恒等式 $\zeta + \zeta^4 = 1/\phi$ および $\zeta^2 + \zeta^3 = -\phi$ を利用する。
2. オストロフスキー表現： 中心的な解析ツールは、連分数展開およびオストロフスキー表現の理論である。著者らは、$\phi$ および $\alpha$ の連分数展開が（$\alpha$ の最初の項を除いて）すべて1で構成されているという事実を利用する。これにより、整数を（$\phi$ に関しては）非隣接なフィボナッチ数、または（$\alpha$ に関しては）リュカ数の和として一意に表現することが可能になる。
3. 近似分数による境界設定： 証明戦略は、$\phi$ および $\alpha$ の近似分数に関連する差分項 $D_k = B_k t - A_k$ を分析することで、$|s|$ の下界を確立することを含む。これらの差分の性質と重み $n$ による制約を用いることで、著者らは和における係数を制限する厳密な不等式を導出する。
4. ケース分析： 問題は $n \pmod 5$ の合同類に基づいて分割される。
   • $n \not\equiv 0 \pmod 5$ の場合、分析はリュカ数 ($L_m$) および2倍のリュカ数 ($2L_m$) によって定義される区間に焦点を当てる。
   • $n \equiv 0 \pmod 5$ の場合、分析はフィボナッチ数 ($F_m$) によって定義される区間に焦点を当てる。

主要な貢献と結果

本論文は、すべての $n \ge 1$ に対して、フィボナッチ数列 ($F_m$) およびリュカ数列 ($L_m$) によって特徴付けられる $\sigma_5(n)$ の厳密な公式を提供する。

1. ケース $n \not\equiv 0 \pmod 5$ (定理1)
5で割り切れない $n$ について、最小絶対値は以下で与えられる：
$$\sigma_5(n) = \frac{1}{\phi^{\kappa(n)}}$$
ここで $\kappa(n)$ は、$n \pmod 5$ に合同であり、かつ $n$ を上界とするリュカ数 ($L_k$) または2倍のリュカ数 ($2L_k$) の最大のインデックスによって定義される関数である。具体的には、$\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$ であり、$\kappa_1$ と $\kappa_2$ はそれぞれ $L_k$ と $2L_k$ のインデックスに対応する。

• 単調性： 関数 $\sigma_5(n)$ は、$n \pmod 5$ の合同類において単調非増加である。
• ジャンプ： $\sigma_5(n)$ の値が変化（ジャンプ）するのは、$n = 5F_m$, $n = L_m$, または $n = 2L_m$ の閾値に達したときのみである。
• 最小化子の特性付け： この最小値を達成する和は明示的に特徴付けられている。$n \in [L_m, 2L_{m+1})$ において、最小の和は $F_m \zeta + F_{m-1} \zeta^3 + F_{m-1} \zeta^4$ の回転である。$n \in [2L_m, L_{m+3})$ において、それらは $F_{m+1} \zeta + F_{m-1} \zeta^2 + F_{m-1} \zeta^3 + F_{m+1} \zeta^4$ の回転である。

2. ケース $n \equiv 0 \pmod 5$ (定理2)
$n = 5k$ とするとき、$\nu(k) = \max \{ m : F_m \le k \}$ とする。最小絶対値は以下を満たす：
$$\sigma_5(n)^2 = \frac{\sqrt{5}}{\phi^{2\nu(k)-1}}$$

• 最小化子の特性付け： $n=5F_m$ における最小の和は、$2F_m \zeta + F_{m-2} \zeta^2 + F_m \zeta^3 + F_{m+1} \zeta^4$ の回転である。

意義
本論文は、$\sigma_5(n)$ の計算が、5の冪根の集合を成分とする最大行列式の研究において有用であることを主張している。なぜなら、これらの値は行列式の上界に現れるからである。本研究は、最小多項式が線形または2次（$\ell \in \{2, 3, 4, 6\}$）である場合を超えて、冪根の和の最小絶対値に関する理解を拡張するものである。問題を黄金比の有理近似へと還元することにより、著者らは最小値とそれを達成する特定の和の完全な特性付けを提供し、固定された $\ell$ と任意の $n$ に関する文献の空白を埋めている。これらの結果は、これらの最小値の振る舞いが、フィボナッチ数およびリュカ数の算術的性質と深く結びついていることを示している。