The Minimal Absolute Value of Sums of Fifth Roots of Unity

Resumen Técnico: El Valor Absoluto Mínimo de Sumas de Quintas Raíces de la Unidad

Planteamiento del Problema
Este artículo aborda la determinación del valor absoluto mínimo de una suma no nula de $n$ quintas raíces de la unidad, elegidas con repetición. Formalmente, para un entero $n \ge 1$, los autores definen $\Sigma_5(n)$ como el conjunto de sumas $s = \sum_{i=0}^4 a_i \zeta^i$ donde $a_i \in \mathbb{N}$ y $\sum a_i = n$, con $\zeta = \exp(2\pi i/5)$. El objetivo es calcular:
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
Si bien el problema de determinar $\sigma_\ell(n)$ para un $\ell$ fijo y un $n$ arbitrario es natural, no se había considerado previamente en esta forma específica. La literatura previa se ha centrado en fórmulas asintóticas para un $n$ fijo y un $\ell$ grande, o en la caracterización de los pesos $n$ para los cuales existen sumas nulas (es decir, $0 \in \Sigma_\ell(n)$). El caso $\ell=5$ es significativo porque el polinomio mínimo de $\zeta_5$ es cuártico, representando el caso más pequeño donde el grado del polinomio mínimo excede 2.

Metodología
Los autores reducen el problema geométrico de minimizar el valor absoluto de sumas complejas a una serie de problemas de aproximación diofántica que involucran la razón áurea $\phi = (1+\sqrt{5})/2$ y la constante $\alpha = \phi + 2$.

1. Reducción a Partes Reales e Imaginarias: Al expresar la suma $s$ en términos de sus componentes reales e imaginarios, los autores relacionan $|s|$ con la distancia de múltiplos enteros de $\alpha$ y $\phi$ a los enteros más cercanos. Específicamente, utilizan las identidades $\zeta + \zeta^4 = 1/\phi$ y $\zeta^2 + \zeta^3 = -\phi$.
2. Representaciones de Ostrowski: La herramienta analítica central es la teoría de las fracciones continuas y las representaciones de Ostrowski. Los autores utilizan el hecho de que las expansiones de fracciones continuas de $\phi$ y $\alpha$ consisten enteramente en 1s (después del término inicial para $\alpha$). Esto permite expresar enteros de forma única como sumas de números de Fibonacci no consecutivos (para $\phi$) o números de Lucas (para $\alpha$).
3. Acotación mediante Convergentes: La estrategia de prueba consiste en establecer cotas inferiores para $|s|$ mediante el análisis de los términos de "diferencia" $D_k = B_k t - A_k$ asociados con los convergentes de $\phi$ y $\alpha$. Utilizando las propiedades de estas diferencias y las restricciones impuestas por el peso $n$, los autores derivan desigualdades estrictas que limitan los posibles valores de los coeficientes en la suma.
4. Análisis de Casos: El problema se divide según la congruencia de $n$ módulo 5.
   • Para $n \not\equiv 0 \pmod 5$, el análisis se centra en intervalos definidos por números de Lucas ($L_m$) y el doble de números de Lucas ($2L_m$).
   • Para $n \equiv 0 \pmod 5$, el análisis se centra en intervalos definidos por números de Fibonacci ($F_m$).

Contribuciones Clave y Resultados

El artículo proporciona fórmulas exactas para $\sigma_5(n)$ para todo $n \ge 1$, caracterizadas por las sucesiones de Fibonacci ($F_m$) y Lucas ($L_m$).

1. Caso $n \not\equiv 0 \pmod 5$ (Teorema 1)
Para $n$ no divisible por 5, el valor absoluto mínimo está dado por:
$$\sigma_5(n) = \frac{1}{\phi^{\kappa(n)}}$$
donde $\kappa(n)$ es una función definida por el índice más grande de un número de Lucas ($L_k$) o el doble de un número de Lucas ($2L_k$) que es congruente a $n \pmod 5$ y está acotado superiormente por $n$. Específicamente, $\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$, donde $\kappa_1$ y $\kappa_2$ corresponden a los índices de $L_k$ y $2L_k$ respectivamente.

• Monotonía: La función $\sigma_5(n)$ es monótona no creciente sobre las clases de congruencia de $n$ módulo 5.
• Saltos: El valor de $\sigma_5(n)$ solo cambia (salta) cuando $n$ alcanza umbrales específicos: $n = 5F_m$, $n = L_m$, o $n = 2L_m$.
• Caracterización de los Minimizadores: Las sumas que alcanzan este mínimo están caracterizadas explícitamente. Para $n \in [L_m, 2L_{m+1})$, las sumas mínimas son rotaciones de $F_m \zeta + F_{m-1} \zeta^3 + F_{m-1} \zeta^4$. Para $n \in [2L_m, L_{m+3})$, son rotaciones de $F_{m+1} \zeta + F_{m-1} \zeta^2 + F_{m-1} \zeta^3 + F_{m+1} \zeta^4$.

2. Caso $n \equiv 0 \pmod 5$ (Teorema 2)
Para $n = 5k$, sea $\nu(k) = \max \{ m : F_m \le k \}$. El valor absoluto mínimo satisface:
$$\sigma_5(n)^2 = \frac{\sqrt{5}}{\phi^{2\nu(k)-1}}$$

• Caracterización de los Minimizadores: Las sumas mínimas para $n=5F_m$ son rotaciones de $2F_m \zeta + F_{m-2} \zeta^2 + F_m \zeta^3 + F_{m+1} \zeta^4$.

Significancia
El artículo afirma que calcular $\sigma_5(n)$ es útil para el estudio de matrices de determinante máximo con entradas en el conjunto de las quintas raíces de la unidad, ya que estos valores aparecen en las cotas superiores determinantes. El trabajo extiende la comprensión de los valores absolutos mínimos de sumas de raíces de la unidad más allá de los casos donde el polinomio mínimo es lineal o cuadrático ($\ell \in \{2, 3, 4, 6\}$). Al reducir el problema a las aproximaciones racionales de la razón áurea, los autores proporcionan una caracterización completa de los valores mínimos y las sumas específicas que los alcanzan, llenando un vacío en la literatura respecto a $\ell$ fijo y $n$ arbitrario. Los resultados demuestran que el comportamiento de estos valores mínimos está profundamente conectado con las propiedades aritméticas de los números de Fibonacci y de Lucas.