The Minimal Absolute Value of Sums of Fifth Roots of Unity

Résumé technique : La valeur absolue minimale des sommes de racines cinquièmes de l'unité

Énoncé du problème
Cet article traite de la détermination de la valeur absolue minimale d'une somme non nulle de $n$ racines cinquièmes de l'unité, choisies avec répétition. Formellement, pour un entier $n \ge 1$, les auteurs définissent $\Sigma_5(n)$ comme l'ensemble des sommes $s = \sum_{i=0}^4 a_i \zeta^i$ où $a_i \in \mathbb{N}$ et $\sum a_i = n$, avec $\zeta = \exp(2\pi i/5)$. L'objectif est de calculer :
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
Bien que le problème de déterminer $\sigma_\ell(n)$ pour un $\ell$ fixé et un $n$ arbitraire soit naturel, il n'avait pas été considéré sous cette forme spécifique auparavant. La littérature existante s'est concentrée sur les formules asymptotiques pour un $n$ fixé et un $\ell$ grand, ou sur la caractérisation des poids $n$ pour lesquels des sommes nulles existent (c'est-à-dire $0 \in \Sigma_\ell(n)$). Le cas $\ell=5$ est significatif car le polynôme minimal de $\zeta_5$ est quartique, représentant le plus petit cas où le degré du polynôme minimal dépasse 2.

Méthodologie
Les auteurs réduisent le problème géométrique de la minimisation de la valeur absolue de sommes complexes à une série de problèmes d'approximation diophantienne impliquant le nombre d'or $\phi = (1+\sqrt{5})/2$ et la constante $\alpha = \phi + 2$.

1. Réduction aux parties réelle et imaginaire : En exprimant la somme $s$ en termes de ses composantes réelles et imaginaires, les auteurs relient $|s|$ à la distance entre les multiples entiers de $\alpha$ et $\phi$ et les entiers les plus proches. Plus précisément, ils utilisent les identités $\zeta + \zeta^4 = 1/\phi$ et $\zeta^2 + \zeta^3 = -\phi$.
2. Représentations d'Ostrowski : L'outil analytique central est la théorie des fractions continues et des représentations d'Ostrowski. Les auteurs utilisent le fait que les développements en fractions continues de $\phi$ et $\alpha$ consistent entièrement en des 1 (après le terme initial pour $\alpha$). Cela permet d'exprimer les entiers de manière unique comme des sommes de nombres de Fibonacci non consécutifs (pour $\phi$) ou de nombres de Lucas (pour $\alpha$).
3. Bornage via les convergents : La stratégie de preuve consiste à établir des bornes inférieures pour $|s|$ en analysant les termes de « différence » $D_k = B_k t - A_k$ associés aux convergents de $\phi$ et $\alpha$. En utilisant les propriétés de ces différences et les contraintes imposées par le poids $n$, les auteurs dérivent des inégalités strictes qui limitent les valeurs possibles des coefficients de la somme.
4. Analyse de cas : Le problème est divisé selon la congruence de $n$ modulo 5.
   • Pour $n \not\equiv 0 \pmod 5$, l'analyse se concentre sur les intervalles définis par les nombres de Lucas ($L_m$) et deux fois les nombres de Lucas ($2L_m$).
   • Pour $n \equiv 0 \pmod 5$, l'analyse se concentre sur les intervalles définis par les nombres de Fibonacci ($F_m$).

Contributions clés et résultats

L'article fournit des formules exactes pour $\sigma_5(n)$ pour tout $n \ge 1$, caractérisées par les suites de Fibonacci ($F_m$) et de Lucas ($L_m$).

1. Cas $n \not\equiv 0 \pmod 5$ (Théorème 1)
Pour $n$ non divisible par 5, la valeur absolue minimale est donnée par :
$$\sigma_5(n) = \frac{1}{\phi^{\kappa(n)}}$$
où $\kappa(n)$ est une fonction définie par l'indice maximal d'un nombre de Lucas ($L_k$) ou de deux fois un nombre de Lucas ($2L_k$) qui est congru à $n \pmod 5$ et borné supérieurement par $n$. Plus précisément, $\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$, où $\kappa_1$ et $\kappa_2$ correspondent respectivement aux indices de $L_k$ et $2L_k$.

• Monotonie : La fonction $\sigma_5(n)$ est monotone décroissante sur les classes de congruence de $n$ modulo 5.
• Sauts : La valeur de $\sigma_5(n)$ ne change (saute) que lorsque $n$ atteint des seuils spécifiques : $n = 5F_m$, $n = L_m$, ou $n = 2L_m$.
• Caractérisation des minimiseurs : Les sommes atteignant ce minimum sont explicitement caractérisées. Pour $n \in [L_m, 2L_{m+1})$, les sommes minimales sont des rotations de $F_m \zeta + F_{m-1} \zeta^3 + F_{m-1} \zeta^4$. Pour $n \in [2L_m, L_{m+3})$, elles sont des rotations de $F_{m+1} \zeta + F_{m-1} \zeta^2 + F_{m-1} \zeta^3 + F_{m+1} \zeta^4$.

2. Cas $n \equiv 0 \pmod 5$ (Théorème 2)
Pour $n = 5k$, soit $\nu(k) = \max \{ m : F_m \le k \}$. La valeur absolue minimale satisfait :
$$\sigma_5(n)^2 = \frac{\sqrt{5}}{\phi^{2\nu(k)-1}}$$

• Caractérisation des minimiseurs : Les sommes minimales pour $n=5F_m$ sont des rotations de $2F_m \zeta + F_{m-2} \zeta^2 + F_m \zeta^3 + F_{m+1} \zeta^4$.

Signification
L'article affirme que le calcul de $\sigma_5(n)$ est utile pour l'étude des matrices à déterminant maximal dont les entrées appartiennent à l'ensemble des racines cinquièmes de l'unité, car ces valeurs apparaissent dans les bornes supérieures de déterminants. Ce travail étend la compréhension des valeurs absolues minimales des sommes de racines de l'unité au-delà des cas où le polynôme minimal est linéaire ou quadratique ($\ell \in \{2, 3, 4, 6\}$). En réduisant le problème à l'approximation rationnelle du nombre d'or, les auteurs fournissent une caractérisation complète des valeurs minimales et des sommes spécifiques qui les atteignent, comblant ainsi une lacune dans la littérature concernant un $\ell$ fixé et un $n$ arbitraire. Les résultats démontrent que le comportement de ces valeurs minimales est profondément lié aux propriétés arithmétiques des nombres de Fibonacci et de Lucas.