Linear recurrences and rational Lambert series

1. Probleemstelling en Context

Het artikel onderzoekt structurele beperkingen op rijen en hun genererende functies, met name gericht op de wisselwerking tussen lineaire recurrente rijen, rationele machtreeksen en Lambert-reeksen.

• Kernobjecten:
  • Rationele Machtreeksen: Een reeks $F(z) = \sum a_n z^n$ is rationeel dan en slechts dan als zijn coëfficiënten $(a_n)$ (uiteindelijk) voldoen aan een lineaire recurrente relatie met constante coëfficiënten.
  • Lambert-reeks: Gegeven een rij $\gamma = (\gamma_n)_{n \ge 1}$, wordt de Lambert-reeks gedefinieerd als $L_\gamma(z) = \sum_{n \ge 1} \frac{\gamma_n z^n}{1-z^n}$. De coëfficiënten van $L_\gamma(z)$ zijn de deler-sommen van $\gamma$: $b_m = \sum_{d|m} \gamma_d$.
• De Centrale Vraag: Als een rij $\gamma$ "goed gedrag" vertoont (specifiek, uiteindelijk lineair recurrent) en de bijbehorende Lambert-reeks $L_\gamma(z)$ ook "goed gedrag" vertoont (rationeel), wat impliceert dit dan voor de structuur van $\gamma$?
• Motivatie: Het werk vloeit voort uit rigiditeitsproblemen in vrije groepen en het gedrag van de operator $T_\gamma G(z) = \sum \gamma_n G(z^n)$.

2. Methodologie

Het artikel hanteert een combinatie van klassieke analytische getaltheorie, algebraïsche meetkunde en $p$-adische analyse. De methodologie is verdeeld in twee hoofdfasen:

A. Analyse van Rationele Machtreeksen (Skolem-Mahler-Lech Kader)

De auteur maakt gebruik van de Skolem-Mahler-Lech (SML) stelling, die stelt dat de nulpuntenverzameling van een lineaire recurrente rij een eindige unie van rekenkundige progressies plus een eindige verzameling is.

• Vernietiging bij priemindexen: Het artikel analyseert het geval waarin coëfficiënten op priemindexen verdwijnen ($a_p = 0$ voor grote $p$). Met behulp van de stelling van Dirichlet over priemgetallen in rekenkundige progressies wordt afgeleid dat de drager van de rij beperkt moet zijn tot restklassen die niet coprimaal zijn met de periode. Dit leidt tot een decompositie van de rationale functie in sommen van functies van echte machten ($z^d$).
• Relaties van eenheidswortels: Het stelt vast dat als een rationale machtreeks oneindig veel nul-coëfficiënten heeft, de polen met minimale modulus moeten voldoen aan een relatie van eenheidswortels (d.w.z. de verhouding van twee dominante polen is een eenheidswortel).

B. Reductie naar eindige plaatsen (Het Bewijs van de Lambert-rigiditeit)

Het bewijs van de hoofdstelling met betrekking tot Lambert-reeksen vermijdt de zware machinerie van $p$-adische interpolatie die wordt gebruikt in de volledige SML-stelling. In plaats daarvan maakt het gebruik van een reductiestrategie naar eindige velden:

1. Algebraïsche Opzet: De recurrente coëfficiënten en rijwaarden zijn opgesloten in een eindig gegenereerd domein $A$ over $\mathbb{Z}$.
2. Eindige Specialisatie: Met behulp van een lemma over eindig gegenereerde algebra's construeert de auteur een homomorfisme $\phi$ van dit domein naar een eindig veld $\mathbb{F}_q$. Dit behoudt niet-nul elementen (specifiek een belangrijke deler-som $S$) terwijl het de recurrente relaties afbeeldt naar het eindige veld.
3. Periodiciteit in Eindige Velden: Over een eindig veld is elke lineaire recurrente rij uiteindelijk periodiek.
4. Het Contradictie: Het bewijs vergelijkt de waarden van de deler-somrij $b_n$ op indexen $mq$ en $mq^2$ (waarbij $q$ een groot priemgetal is).
   • Vanwege periodiciteit geldt: $b_{mq^2} \equiv b_{mq} \pmod{\mathbb{F}_q}$.
   • Echter, algebraïsche manipulatie van de definitie van de deler-som toont aan dat $b_{mq^2} - b_{mq} = \sum_{e|m} \gamma_{eq^2}$.
   • Omdat $\gamma$ periodiek is modulo $\mathbb{F}_q$, geldt $\gamma_{eq^2} \equiv \gamma_e$.
   • Dit impliceert dat het verschil gelijk is aan de oorspronkelijke deler-som $S = \sum_{e|m} \gamma_e$.
   • Aangezien $S$ gekozen was om niet-nul en inverteerbaar te zijn in het eindige veld, levert dit een contradictie op ($S \equiv 0$ versus $S \neq 0$).

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Stelling 1.1)

Stelling: Laat $\gamma = (\gamma_n)$ een rij complexe getallen zijn. Als zowel $\gamma$ als zijn deler-somrij $b_n = \sum_{d|n} \gamma_d$ uiteindelijk lineair recurrent zijn, dan is $\gamma**eindig gedragen** (d.w.z.$\gamma_n = 0$ voor alle voldoende grote $n$).

Corollarium 1.2 (Vorm van de Genererende Functie):
Als de gewone genererende functie $\Gamma_\gamma(z)$ rationeel is en de Lambert-reeks $L_\gamma(z)$ rationeel is, dan moet $\Gamma_\gamma(z)$ een polynoom zijn.

• Betekenis: Dit vestigt een "rigiditeit" voor Lambert-reeksen. Onder rijen met rationale genererende functies produceren alleen de triviale (eindig gedragen) rijen rationale Lambert-reeksen.

Structurele Gevolgen voor Rationale Functies

• Propositie 3.1: Als een rationale functie $F(z)$ nul-coëfficiënten heeft op alle voldoende grote priemindexen, dan kan $F(z)$ worden ontbonden in een polynoom plus een eindige som van rationale functies in echte machten $z^d$ (waarbij $d > 1$).
• Propositie 3.3: Als een rationale machtreeks oneindig veel nul-coëfficiënten heeft, moeten de polen met minimale modulus ten minste twee bevatten waarvan de verhouding een eenheidswortel is.

Specifieke Voorbeelden en Toepassingen

• Fibonacci-rij: De Lambert-reeks van de Fibonacci-getallen is niet rationeel (Corollarium 6.5).
• Periodieke Coëfficiënten: Als $\gamma$ periodiek is en $L_\gamma(z)$ rationeel is, dan moet $\gamma$ identiek nul zijn (Corollarium 6.4).
• Priem versus Priem-Kwadraat: Propositie 6.1 toont aan dat voor dergelijke rijen, $\gamma_p = 0$ en $b_p = \gamma_1$ voor alle voldoende grote priemgetallen $p$.

4. Betekenis en Nieuwheid

1. Rigiditeit van Lambert-reeksen: Het artikel lost een fundamentele vraag op over de operator $T_\gamma$. Het bewijst dat de "Lambert-transformatie" rationaliteit vernietigt tenzij de invoerrij triviaal is. Dit staat in contrast met de gewone genererende functie, waarbij rationaliteit onder vele operaties behouden blijft.
2. Vereenvoudiging van SML-technieken: Hoewel de Skolem-Mahler-Lech-stelling doorgaans $p$-adische analytische interpolatie (stelling van Strassmann) vereist om te bewijzen dat een deelrij identiek verdwijnt, demonstreert dit artikel dat voor de specifieke structuur van Lambert-reeksen een reductie naar eindige velden voldoende is om een contradictie te genereren. De "deler-som-identiteit" $b_{mq^2} - b_{mq} = S$ levert direct de nodige niet-verdwijnende grootheid op, waardoor de behoefte aan $p$-adische analyse wordt omzeild.
3. Wisselwerking tussen Getaltheorie en Algebra: Het werk verbindt op elegante wijze de verdeling van priemgetallen (stelling van Dirichlet), de structuur van recurrente relaties en de rekenkunde van deler-sommen. Het benadrukt hoe de multiplicatieve structuur van de gehele getallen (via de deler-som) zware beperkingen oplegt aan additieve structuren (lineaire recurrenties).

Conclusie

Het artikel van Igor Rivin vestigt een sterk rigiditeitsbewijs: de enige rijen die zowel lineair recurrent zijn als een rationale Lambert-reeks bezitten, zijn die met eindige drager. Het bewijs innoveert door de reductietechniek naar eindige plaatsen van de Skolem-Mahler-Lech-stelling aan te passen, maar maakt gebruik van de specifieke algebraïsche eigenschappen van deler-sommen om een contradictie te bereiken zonder diepe $p$-adische machinerie. Dit resultaat heeft directe implicaties voor het bestuderen van genererende functies in combinatoriek en getaltheorie, en sluit de rationaliteit van Lambert-reeksen uit voor vele klassieke rijen (zoals Fibonacci of periodieke rijen).