The Minimal Absolute Value of Sums of Fifth Roots of Unity

Technische Samenvatting: De Minimale Absolute Waarde van Sommen van Vijfde Eenheidswortels

Probleemstelling
Dit artikel behandelt de bepaling van de minimale absolute waarde van een niet-verdwijnende som van $n$ vijfde eenheidswortels, gekozen met herhaling. Formeel definiëren de auteurs voor een geheel getal $n \ge 1$ de verzameling $\Sigma_5(n)$ als de verzameling sommen $s = \sum_{i=0}^4 a_i \zeta^i$ waarbij $a_i \in \mathbb{N}$ en $\sum a_i = n$, met $\zeta = \exp(2\pi i/5)$. Het doel is om te berekenen:
$$\sigma_5(n) = \min \{ |s| : s \in \Sigma_5(n) \setminus \{0\} \}$$
Hoewel het probleem van het bepalen van $\sigma_\ell(n)$ voor een vaste $\ell$ en een willekeurige $n$ natuurlijk is, is het in deze specifieke vorm niet eerder overwogen. Eerdere literatuur richtte zich op asymptotische formules voor een vaste $n$ en grote $\ell$, of op de karakterisering van gewichten $n$ waarvoor verdwijnende sommen bestaan (d.w.z. $0 \in \Sigma_\ell(n)$). De casus $\ell=5$ is significant omdat de minimale polynoom van $\zeta_5$ kwartisch is, wat de kleinste casus vertegenwoordigt waarbij de graad van de minimale polynoom groter is dan 2.

Methodologie
De auteurs reduceren het geometrische probleem van het minimaliseren van de absolute waarde van complexe sommen tot een reeks Diophantische benaderingsproblemen betrokken bij de gouden ratio $\phi = (1+\sqrt{5})/2$ en de constante $\alpha = \phi + 2$.

1. Reductie naar Reële en Imaginaire Delen: Door de som $s$ uit te drukken in termen van zijn reële en imaginaire componenten, relateren de auteurs $|s|$ aan de afstand van gehele veelvouden van $\alpha$ en $\phi$ tot de dichtstbijzijnde gehele getallen. Specifiek maken zij gebruik van de identiteiten $\zeta + \zeta^4 = 1/\phi$ en $\zeta^2 + \zeta^3 = -\phi$.
2. Ostrowski-representaties: Het kernanalytische instrument is de theorie van continued breuken en Ostrowski-representaties. De auteurs maken gebruik van het feit dat de continued breuk expansies van $\phi$ en $\alpha$ volledig uit enen bestaan (na de initiële term voor $\alpha$). Dit maakt het mogelijk om gehele getallen uniek uit te drukken als sommen van niet-consecutieve Fibonacci-getallen (voor $\phi$) of Lucas-getallen (voor $\alpha$).
3. Afbakening via Convergenten: De bewijsstrategie behelst het vaststellen van ondergrenzen voor $|s|$ door de "verschil"-termen $D_k = B_k t - A_k$ te analyseren die geassocieerd zijn met de convergenten van $\phi$ en $\alpha$. Door gebruik te maken van eigenschappen van deze verschillen en de beperkingen opgelegd door het gewicht $n$, leiden de auteurs strikte ongelijkheden af die de mogelijke waarden van de coëfficiënten in de som beperken.
4. Casusanalyse: Het probleem wordt gesplitst op basis van de congruentie van $n$ modulo 5.
   • Voor $n \not\equiv 0 \pmod 5$ richt de analyse zich op intervallen gedefinieerd door Lucas-getallen ($L_m$) en dubbele Lucas-getallen ($2L_m$).
   • Voor $n \equiv 0 \pmod 5$ richt de analyse zich op intervallen gedefinieerd door Fibonacci-getallen ($F_m$).

Belangrijkste Bijdragen en Resultaten

Het artikel biedt exacte formules voor $\sigma_5(n)$ voor alle $n \ge 1$, gekarakteriseerd door de Fibonacci- ($F_m$) en Lucas-sequenties ($L_m$).

1. Casus $n \not\equiv 0 \pmod 5$ (Stelling 1)
Wanneer $n$ niet deelbaar is door 5, wordt de minimale absolute waarde gegeven door:
$$\sigma_5(n) = \frac{1}{\phi^{\kappa(n)}}$$
waarbij $\kappa(n)$ een functie is gedefinieerd door de grootste index van een Lucas-getal ($L_k$) of een dubbel Lucas-getal ($2L_k$) die congruent is aan $n \pmod 5$ en begrensd wordt door $n$. Specifiek is $\kappa(n) = \max\{\kappa_1(n)-1, \kappa_2(n)\}$, waarbij $\kappa_1$ en $\kappa_2$ respectievelijk de indices van $L_k$ en $2L_k$ zijn.

• Monotonie: De functie $\sigma_5(n)$ is monotoon niet-toenemend over de congruentieklassen van $n$ modulo 5.
• Sprongen: De waarde van $\sigma_5(n)$ verandert (springt) alleen wanneer $n$ specifieke drempelwaarden bereikt: $n = 5F_m$, $n = L_m$, of $n = 2L_m$.
• Karakterisering van de Minimalisatoren: De sommen die dit minimum bereiken, worden expliciet gekarakteriseerd. Voor $n \in [L_m, 2L_{m+1})$ zijn de minimale sommen rotaties van $F_m \zeta + F_{m-1} \zeta^3 + F_{m-1} \zeta^4$. Voor $n \in [2L_m, L_{m+3})$, zijn ze rotaties van $F_{m+1} \zeta + F_{m-1} \zeta^2 + F_{m-1} \zeta^3 + F_{m+1} \zeta^4$.

2. Casus $n \equiv 0 \pmod 5$ (Stelling 2)
Voor $n = 5k$, laat $\nu(k) = \max \{ m : F_m \le k \}$. De minimale absolute waarde voldoet aan:
$$\sigma_5(n)^2 = \frac{\sqrt{5}}{\phi^{2\nu(k)-1}}$$

• Karakterisering van de Minimalisatoren: De minimale sommen voor $n=5F_m$ zijn rotaties van $2F_m \zeta + F_{m-2} \zeta^2 + F_m \zeta^3 + F_{m+1} \zeta^4$.

Significantie
Het artikel stelt dat het berekenen van $\sigma_5(n)$ nuttig is voor het onderzoek naar matrices met een maximaal determinant met elementen uit de verzameling van vijfde eenheidswortels, aangezien deze waarden verschijnen in determinantiaals upper bounds. Het werk breidt het begrip van minimale absolute waarden van eenheidswortelsommen uit voorbij de gevallen waar de minimale polynoom lineair of kwartisch is ($\ell \in \{2, 3, 4, 6\}$). Door het probleem te reduceren tot rationale benaderingen van de gouden ratio, bieden de auteurs een volledige karakterisering van de minimale waarden en de specifieke sommen die deze bereiken, waarmee zij een gat in de literatuur vullen met betrekking tot vaste $\ell$ en willekeurige $n$. De resultaten laten zien dat het gedrag van deze minimale waarden diep verbonden is met de rekenkundige eigenschappen van Fibonacci- en Lucas-getallen.