On Zeckendorf-Niven numbers and arithmetic progressions

Technische Samenvatting: Over Zeckendorf-Niven getallen en rekenkundige progressies

Probleemstelling
Dit artikel onderzoekt de distributie van Zeckendorf-Niven en Lucas-Niven getallen binnen rekenkundige progressies. Een positief geheel getal $n$ wordt gedefinieerd als Zeckendorf-Niven indien het deelbaar is door $s_Z(n)$, het aantal niet-nul termen in zijn unieke Zeckendorf-ontbinding (een representatie van $n$ als een som van niet-consecutive Fibonacci-getallen $F_i$ met $i \ge 2$). In analogie is $n$ Lucas-Niven indien het deelbaar is door $s_L(n)$, het aantal termen in zijn unieke Lucas-ontbinding (gebruikmakend van Lucas-getallen $L_i$ met $i \ge 0$).

Hoewel de distributie van standaard base-$b$ Niven-getallen in rekenkundige progressies goed bestudeerd is (bijv. de existentie van oneindig veel dergelijke getallen en grenzen aan opeenvolgende termen), was het gedrag van deze op Fibonacci gebaseerde varianten in rekenkundige progressies nog niet volledig gekarakteriseerd. Specifiek onderzoekt het artikel of elke rekenkundige progressie oneindig veel dergelijke getallen bevat en stelt het grenzen vast voor de maximale lengte van opeenvolgende termen die deze eigenschappen delen.

Methodologie
De auteurs maken gebruik van getaltheoretische eigenschappen van Fibonacci- en Lucas-sequenties, in het bijzonder hun periodiciteit modulo $d$ (Pisano-perioden) en deelbaarheidsregels.

1. Periodiciteit en Deelbaarheid: De bewijzen rusten zwaar op het feit dat de Fibonacci-sequentie $(F_i)$ en de Lucas-sequentie $(L_i)$ periodiek zijn modulo elk geheel getal $d$. De auteurs maken gebruik van specifieke eigenschappen van Pisano-perioden, zoals $\pi(F_{2j}) = 4j$ en $\pi(F_{2j+1}) = 8j+4$, om termen met specifieke eigenschappen te construeren.
2. Constructie van Termen: Om de existentie van oneindig veel Niven-getallen in een rekenkundige progressie $(a + kd)$ te bewijzen, construeren de auteurs specifieke termen $N$ binnen de progressie. Zij manipuleren de Zeckendorf- of Lucas-ontbindingen door grote Fibonacci- of Lucas-getallen toe te voegen die veelvouden zijn van de gemeenschappelijke deler (of gerelateerde perioden). Dit stelt hen in staat om het aantal termen $s_Z(N)$ of $s_L(N)$ te controleren, terwijl zij ervoor zorgen dat het resulterende getal binnen de progressie blijft.
3. Modulaire Rekenkunde en Casusanalyse: Voor het Lucas-Niven geval vereist het gebrek aan directe deelbaarheidseigenschappen (zoals $F_i | F_j$ indien $i|j$) in de Lucas-sequentie een meer genuanceerde aanpak. De auteurs gebruiken de stelling van Dirichlet over priemgetallen om een priemgetal $p \equiv -1 \pmod{10\pi_L(d)}$ te selecteren en analyseren gevallen op basis van de pariteit van de indices in de ontbinding om te waarborgen dat het geconstrueerde getal deelbaar is door $p$.
4. Lokale Analyse voor Opeenvolgende Termen: Om het aantal opeenvolgende termen te begrenzen, definiëren de auteurs afgeknotte sommen $z_6(n)$ (sommen van Fibonacci-componenten tot en met $F_6$) en analyseren hoe de Zeckendorf-ontbinding verandert wanneer de gemeenschappelijke deler wordt opgeteld (bijv. $n \to n+2$). Door de veranderingen in het aantal termen $s_Z(n)$ te volgen, leiden zij tegenstrijdigheden af voor sequenties met een lengte groter dan specifieke grenzen.

Belangrijkste Bijdragen en Resultaten

• Oneindigheid in Rekenkundige Progressies:

  • Theorem 2.6: Elke rekenkundige progressie bevat oneindig veel Zeckendorf-Niven getallen. Het bewijs construeert een term $N'$ in de progressie zodanig dat $s_Z(N')$ deelbaar is door $N'$.
  • Theorem 3.4: Elke rekenkundige progressie bevat oneindig veel Lucas-Niven getallen. Dit resultaat wordt bereikt door de constructietechniek aan te passen om de specifieke modulaire restricties van de Lucas-sequentie te behandelen.

• Distributie van Niet-Niven Getallen:

  • Theorem 2.7: Elke rekenkundige progressie bevat willekeurig lange sub-sequenties van opeenvolgende niet-Zeckendorf-Niven termen. Dit demonstreert dat hoewel Niven-getallen dicht zijn, ze niet uniform verdeeld zijn.

• Grenzen aan Opeenvolgende Termen in 2-AP's:

  • Theorem 4.3: Het maximaal aantal opeenvolgende Zeckendorf-Niven termen in een 2-AP (gemeenschappelijke deler 2) is 8. De enige dergelijke sequentie van lengte 8 of meer is de sub-sequentie $2, 4, 6, 8, 10, 12, 14, 16, 18$.
  • Theorem 4.4: Er bestaan sequenties van vijf opeenvolgende Zeckendorf-Niven termen in een 2-AP (bijv. $n, n+2, n+4, n+6, n+8$ waarbij $n = 27 + F_{120j+17}$).

• Opeenvolgende Termen met Constante Aantal Termen:

  • Theorem 5.1: In een rekenkundige progressie met een Fibonacci gemeenschappelijke deler $F_d$, bestaan er oneindig veel startpunten $a$ zodanig dat $s_Z(a) = s_Z(a+F_d) = s_Z(a+2F_d)$. Het is echter onmogelijk om vier opeenvolgende termen te hebben met dezelfde $s_Z$-waarde.
  • Theorem 5.2: Voor $d \ge 3$ bestaan er oneindig veel $a$ zodanig dat $a, a+F_d, a+2F_d$ allemaal Zeckendorf-Niven zijn en dezelfde $s_Z$-waarde delen.

Betekenis en Claims
Het artikel claimt de theorie van Niven-getallen uit te breiden van standaard basissystemen naar Zeckendorf- en Lucas-representaties. De primaire betekenis ligt in het vaststellen dat, vergelijkbaar met standaard Niven-getallen, Zeckendorf-Niven en Lucas-Niven getallen niet zeldzaam zijn; zij komen oneindig vaak voor in elke rekenkundige progressie.

Verder biedt het werk precieze structurele beperkingen op de clustering van deze getallen. Terwijl standaard Niven-getallen lange reeksen opeenvolgende termen kunnen hebben (tot 20 in 1-AP's), zijn de Zeckendorf-Niven getallen in 2-AP's strikt begrensd (maximaal 8). Het artikel benadrukt ook een uniek fenomeen in progressies met een Fibonacci-verschil waarbij het aantal termen exact drie opeenvolgende termen constant kan blijven, een eigenschap die niet uitgebreid kan worden naar vier.

De auteurs merken op dat deze resultaten steunen op de unieke ontbindingseigenschappen van Fibonacci- en Lucas-getallen en de periodiciteit van deze sequenties modulo gehele getallen. Het werk stelt geen experimentele toepassingen voor, maar draagt bij aan het theoretische begrip van de distributie van gehele getallen die gedefinieerd worden door additieve getaltheoretische eigenschappen.