Linear recurrences and rational Lambert series

1. Enunciato del Problema e Contesto

L'articolo indaga i vincoli strutturali sulle successioni e sulle loro funzioni generatrici, concentrandosi specificamente sull'interazione tra successioni a ricorrenza lineare, serie di potenze razionali e serie di Lambert.

• Oggetti Centrali:
  • Serie di Potenze Razionali: Una serie $F(z) = \sum a_n z^n$ è razionale se e solo se i suoi coefficienti $(a_n)$ soddisfano (eventualmente) una relazione di ricorrenza lineare a coefficienti costanti.
  • Serie di Lambert: Data una successione $\gamma = (\gamma_n)_{n \ge 1}$, la serie di Lambert è definita come $L_\gamma(z) = \sum_{n \ge 1} \frac{\gamma_n z^n}{1-z^n}$. I coefficienti di $L_\gamma(z)$ sono le somme dei divisori di $\gamma$: $b_m = \sum_{d|m} \gamma_d$.
• La Domanda Centrale: Se una successione $\gamma$ è "ben comportata" (specificamente, a ricorrenza lineare eventuale) e la sua serie di Lambert associata $L_\gamma(z)$ è anch'essa "ben comportata" (razionale), cosa implica questo per la struttura di $\gamma$?
• Motivazione: Il lavoro nasce da problemi di rigidità nei gruppi liberi e dal comportamento dell'operatore $T_\gamma G(z) = \sum \gamma_n G(z^n)$.

2. Metodologia

L'articolo impiega una combinazione di teoria analitica dei numeri classica, geometria algebrica e analisi $p$-adica. La metodologia è suddivisa in due fasi principali:

A. Analisi delle Serie di Potenze Razionali (Quadro Skolem-Mahler-Lech)

L'autore utilizza il teorema di Skolem-Mahler-Lech (SML), il quale afferma che l'insieme degli zeri di una successione a ricorrenza lineare è un'unione finita di progressioni aritmetiche più un insieme finito.

• Annullamento agli Indici Primi: L'articolo analizza il caso in cui i coefficienti agli indici primi si annullano ($a_p = 0$ per $p$ grandi). Utilizzando il teorema di Dirichlet sui numeri primi nelle progressioni aritmetiche, si deduce che il supporto della successione deve essere limitato alle classi di resto non coprimi con il periodo. Ciò porta a una decomposizione della funzione razionale in somme di funzioni di potenze proprie ($z^d$).
• Relazioni di Radice dell'Unità: Si stabilisce che se una serie di potenze razionale ha infiniti coefficienti nulli, i poli di modulo minimo devono soddisfare una relazione di radice dell'unità (cioè, il rapporto tra due poli dominanti è una radice dell'unità).

B. Riduzione ai Luoghi Finiti (La Prova della Rigidità delle Serie di Lambert)

La dimostrazione del teorema principale riguardante le serie di Lambert evita la complessa macchina dell'interpolazione $p$-adica utilizzata nel teorema SML completo. Invece, utilizza una strategia di riduzione a campo finito:

1. Impostazione Algebrica: I coefficienti della ricorrenza e i valori della successione sono contenuti in un dominio finitamente generato $A$ su $\mathbb{Z}$.
2. Specializzazione Finita: Utilizzando un lemma sulle algebre finitamente generate, l'autore costruisce un omomorfismo $\phi$ da questo dominio a un campo finito $\mathbb{F}_q$. Questo preserva gli elementi non nulli (specificamente una somma di divisori chiave $S$) mentre mappa le relazioni di ricorrenza nel campo finito.
3. Periodicità nei Campi Finiti: Su un campo finito, qualsiasi successione a ricorrenza lineare è eventualmente periodica.
4. La Contraddizione: La dimostrazione confronta i valori della successione delle somme di divisori $b_n$ agli indici $mq$e$mq^2$ (dove $q$ è un primo grande).
   • A causa della periodicità, $b_{mq^2} \equiv b_{mq} \pmod{\mathbb{F}_q}$.
   • Tuttavia, la manipolazione algebrica della definizione della somma dei divisori mostra che $b_{mq^2} - b_{mq} = \sum_{e|m} \gamma_{eq^2}$.
   • Poiché $\gamma$ è periodica modulo $\mathbb{F}_q$, $\gamma_{eq^2} \equiv \gamma_e$.
   • Ciò implica che la differenza è uguale alla somma dei divisori originale $S = \sum_{e|m} \gamma_e$.
   • Poiché $S$ è stata scelta per essere non nulla e invertibile nel campo finito, ciò genera una contraddizione ($S \equiv 0$ contro $S \neq 0$).

3. Contributi Chiave e Risultati

Teorema Principale (Teorema 1.1)

Enunciato: Sia $\gamma = (\gamma_n)$ una successione di numeri complessi. Se sia $\gamma$ che la sua successione di somme di divisori $b_n = \sum_{d|n} \gamma_d$ sono a ricorrenza lineare eventuale, allora $\gamma$ ha supporto finito (cioè, $\gamma_n = 0$ per tutti gli $n$ sufficientemente grandi).

Corollario 1.2 (Forma della Funzione Generatrice):
Se la funzione generatrice ordinaria $\Gamma_\gamma(z)$ è razionale e la serie di Lambert $L_\gamma(z)$ è razionale, allora $\Gamma_\gamma(z)$ deve essere un polinomio.

• Significato: Ciò stabilisce una "rigidità" per le serie di Lambert. Tra le successioni con funzioni generatrici razionali, solo quelle banali (a supporto finito) producono serie di Lambert razionali.

Conseguenze Strutturali per le Funzioni Razionali

• Proposizione 3.1: Se una funzione razionale $F(z)$ ha coefficienti nulli per tutti gli indici primi sufficientemente grandi, allora $F(z)$ può essere decomposta in un polinomio più una somma finita di funzioni razionali in potenze proprie $z^d$ (dove $d > 1$).
• Proposizione 3.3: Se una serie di potenze razionale ha infiniti coefficienti nulli, i poli di modulo minimo devono includere almeno due il cui rapporto è una radice dell'unità.

Esempi Specifici e Applicazioni

• Successione di Fibonacci: La serie di Lambert dei numeri di Fibonacci non è razionale (Corollario 6.5).
• Coefficienti Periodici: Se $\gamma$ è periodica e $L_\gamma(z)$ è razionale, allora $\gamma$ deve essere identicamente zero (Corollario 6.4).
• Primo contro Quadrato di Primo: La Proposizione 6.1 mostra che per tali successioni, $\gamma_p = 0$ e $b_p = \gamma_1$ per tutti i primi $p$ sufficientemente grandi.

4. Significato e Novità

1. Rigidità delle Serie di Lambert: L'articolo risolve una domanda fondamentale sull'operatore $T_\gamma$. Dimostra che la "trasformata di Lambert" distrugge la razionalità a meno che la successione di input non sia banale. Ciò contrasta con la funzione generatrice ordinaria, dove la razionalità è preservata sotto molte operazioni.
2. Semplificazione delle Tecniche SML: Mentre il teorema di Skolem-Mahler-Lech richiede tipicamente l'interpolazione analitica $p$-adica (teorema di Strassmann) per dimostrare che una sottosuccessione si annulla identicamente, questo articolo dimostra che per la struttura specifica delle serie di Lambert, una riduzione a campo finito è sufficiente a generare una contraddizione. L'"identità della somma dei divisori" $b_{mq^2} - b_{mq} = S$ fornisce immediatamente la quantità non nulla necessaria, bypassando la necessità di analisi $p$-adica.
3. Interazione tra Teoria dei Numeri e Algebra: Il lavoro collega elegantemente la distribuzione dei numeri primi (teorema di Dirichlet), la struttura delle relazioni di ricorrenza e l'aritmetica delle somme dei divisori. Evidenzia come la struttura moltiplicativa degli interi (tramite la somma dei divisori) imponga vincoli severi sulle strutture additive (ricorrenze lineari).

Conclusione

L'articolo di Igor Rivin stabilisce un forte teorema di rigidità: le uniche successioni che sono sia a ricorrenza lineare sia dotate di una serie di Lambert razionale sono quelle a supporto finito. La dimostrazione innova adattando la tecnica di riduzione ai luoghi finiti del teorema di Skolem-Mahler-Lech, ma sfruttando le proprietà algebriche specifiche delle somme dei divisori per ottenere una contraddizione senza ricorrere a complessi macchinari $p$-adici. Questo risultato ha implicazioni immediate per lo studio delle funzioni generatrici in combinatoria e teoria dei numeri, escludendo la razionalità delle serie di Lambert per molte successioni classiche (come Fibonacci o successioni periodiche).