The Minimal Absolute Value of Sums of Fifth Roots of Unity

技术摘要：五次单位根之和的最小绝对值

问题陈述
本文研究了由 $n$ 个五次单位根（允许重复选择）组成的非零和的最小绝对值问题。形式上，对于整数 $n \ge 1$，作者定义 $\Sigma_5(n)$ 为和 $s = \sum_{i=0}^4 a_i \zeta^i$ 的集合，其中 $a_i \in \mathbb{N}$ 且 $\sum a_i = n$，且 $\zeta = \exp(2\pi i/5)$。其目标是计算：
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
虽然针对固定的 $\ell$ 和任意 $n$ 来确定 $\sigma_\ell(n)$ 是一个自然的问题，但此前尚未以这种特定形式被考虑过。以往的文献侧重于在固定 $n$ 和大 $\ell$ 情况下的渐近公式，或者对存在零和的权重 $n$ 进行特征化（即 $0 \in \Sigma_\ell(n)$）。$\ell=5$ 的情况具有重要意义，因为 $\zeta_5$ 的最小多项式是四次的，代表了最小的多项式次数超过 2 的情况。

方法论
作者将最小化复数和绝对值的几何问题简化为一系列涉及黄金比例 $\phi = (1+\sqrt{5})/2$ 和常数 $\alpha = \phi + 2$ 的丢番图逼近问题。

1. 还原为实部与虚部： 通过将和 $s$ 用其实部和虚部表示，作者将 $|s|$ 与 $\alpha$ 和 $\phi$ 的整数倍到最近整数的距离联系起来。具体而言，他们利用了恒等式 $\zeta + \zeta^4 = 1/\phi$ 以及 $\zeta^2 + \zeta^3 = -\phi$。
2. Ostrowski 表示法： 核心分析工具是连分数理论和 Ostrowski 表示法。作者利用了 $\phi$ 和 $\alpha$ 的连分数展开式完全由 1 组成（在 $\alpha$ 的初始项之后）这一事实。这使得他们能够将整数唯一地表示为非连续斐波那契数（针对 $\phi$）或卢卡斯数（针对 $\alpha$）之和。
3. 通过收敛子进行定界： 证明策略是通过分析与 $\phi$ 和 $\alpha$ 的收敛子相关的“差值”项 $D_k = B_k t - A_k$ 来建立 $|s|$ 的下界。利用这些差值的性质以及由权重 $n$ 施加的约束，作者推导出了限制和中系数可能取值的严格不等式。
4. 分类讨论： 根据 $n$ 对 5 取模的同余情况进行讨论。
   • 对于 $n \not\equiv 0 \pmod 5$，分析集中在由卢卡斯数 ($L_m$) 和两倍卢卡斯数 ($2L_m$) 定义的区间。
   • 对于 $n \equiv 0 \pmod 5$，分析集中在由斐波那契数 ($F_m$) 定义的区间。

主要贡献与结果

本文提供了所有 $n \ge 1$ 时 $\sigma_5(n)$ 的精确公式，这些公式由斐波那契 ($F_m$) 和卢卡斯 ($L_m$) 数列刻画。

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$) 或两倍卢卡斯数 ($2L_k$) 的下标定义。具体而言，$\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$，其中 $\kappa_1$ 和 $\kappa_2$ 分别对应 $L_k$ 和 $2L_k$ 的下标。

• 单调性： 函数 $\sigma_5(n)$ 在 $n$ 模 5 的同余类上是单调不增的。
• 跳跃： 当 $n$ 到达特定阈值时，$\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)$ 有助于研究元素取自五次单位根集合的最大行列式矩阵，因为这些值出现在行列式上界中。这项工作扩展了对最小绝对值之和的理解，超越了最小多项式为线性或二次的情况 ($\ell \in \{2, 3, 4, 6\}$)。通过将问题简化为对黄金比例的有理逼近，作者提供了最小值的完整刻画以及实现它们的特定和，填补了关于固定 $\ell$ 和任意 $n$ 的文献空白。结果表明，这些最小值的行为与斐波那契数和卢卡斯数的算术性质有着深刻的联系。