Product of powers of distinct primes as sums of Fibonacci numbers

Titolo: Prodotti di potenze di primi distinti come somme di numeri di Fibonacci

Autori: Herbert Batte, Florian Luca e Volker Ziegler.

---

1. Il Problema

Il lavoro si concentra sullo studio di un'equazione diofantea che lega la somma di due numeri di Fibonacci a un prodotto di potenze di due numeri primi distinti. L'equazione in esame è:
$$F_n + F_m = p^x q^y$$
dove:

• $F_n$ è l'$n$-esimo numero di Fibonacci (definito da $F_0=0, F_1=1, F_{n+2}=F_{n+1}+F_n$).
• $n \ge m \ge 0$ sono interi non negativi.
• $p$ e $q$ sono numeri primi distinti fissi.
• $x$ e $y$ sono interi positivi ($xy \neq 0$).

L'obiettivo principale è determinare tutte le coppie di primi $(q, p)$ con $q \le \min\{1000, p\}$ per le quali l'equazione ammette almeno due soluzioni distinte $(x, y)$ (e i corrispondenti indici $n, m$). Il caso $n=2$ o $m=2$ viene escluso poiché $F_1=F_2=1$, il che porterebbe a soluzioni banali o ridondanti.

2. Metodologia

Gli autori impiegano un approccio ibrido che combina strumenti avanzati della teoria dei numeri analitica con calcoli computazionali intensivi. La metodologia si articola nelle seguenti fasi:

A. Limiti Superiori Assoluti (Metodo di Baker)

Per gestire l'infinità potenziale delle soluzioni, gli autori utilizzano la teoria delle forme lineari in logaritmi di numeri algebrici (metodo di Baker).

• Viene applicato il Teorema di Matveev per ottenere limiti inferiori per forme lineari in logaritmi non nulle.
• L'equazione viene riscritta utilizzando la formula di Binet ($F_n = \frac{\alpha^n - \beta^n}{\sqrt{5}}$) per isolare termini esponenziali.
• Si derivano disuguaglianze del tipo $|n \log \alpha - x \log p - y \log q - \log \sqrt{5}| < \epsilon$, dove $\epsilon$ è un termine di errore decrescente esponenzialmente.
• Questo permette di stabilire un limite superiore iniziale estremamente grande per $n$ (dell'ordine di $10^{40}$ o superiore), dipendente dai logaritmi di $p$ e $q$.

B. Riduzione dei Limiti (LLL e Frazioni Continue)

I limiti ottenuti con il metodo di Baker sono troppo grandi per una ricerca esaustiva. Per ridurli a valori gestibili, vengono utilizzati:

• Algoritmo LLL (Lenstra–Lenstra–Lovász): Per ridurre i reticoli di approssimazione e trovare limiti inferiori più stretti per le forme lineari in logaritmi.
• Frazioni Continue (Lemma di Legendre): Utilizzate per ridurre i limiti quando si tratta di forme lineari in due variabili.
• Queste tecniche riducono progressivamente il limite superiore di $n$ da $10^{40}$ a valori nell'ordine di $10^3$ o $10^4$, rendendo possibile la verifica computazionale.

C. Analisi Casistica e Computazionale

Il problema viene diviso in casi basati sul valore dei primi $p$ e $q$:

1. Caso $2 \le q < p \le 1000$: Dopo la riduzione dei limiti, viene eseguita una ricerca esaustiva tramite script in SageMath per verificare tutte le somme $F_n + F_m$ fino al limite ridotto.
2. Caso $q \le 1000$ e $p > 1000$:
   • Viene analizzato separatamente il caso $q=5$ e $q \neq 5$.
   • Per $q \neq 5$, si utilizzano proprietà di indipendenza moltiplicativa e il teorema del divisore primitivo di Carmichael per escludere molte configurazioni.
   • Per $q = 5$, si sfrutta la periodicità della successione di Fibonacci modulo potenze di 5 (periodo di Pisano) e algoritmi di "lifting" per stimare la valutazione $p$-adica, riducendo ulteriormente lo spazio di ricerca.
   • Vengono sviluppati algoritmi ottimizzati per testare se il quoziente $(F_n + F_m)/q^y$ sia una potenza di un singolo primo $p$, evitando la fattorizzazione completa di numeri enormi.

3. Risultati Chiave (Teorema 1.1)

Il risultato principale del lavoro è la classificazione completa delle coppie di primi $(p, q)$ con $q \le 1000$ che ammettono almeno due soluzioni distinte.

Il Teorema afferma che l'equazione $F_n + F_m = p^x q^y$ ha almeno due soluzioni distinte $(x, y)$ se e solo se la coppia $(p, q)$ appartiene all'insieme:
$$S = \{(3, 2), (5, 2), (7, 2), (7, 3), (17, 2), (19, 2)\}$$

Le soluzioni specifiche per ciascuna coppia sono:

• $(3, 2)$: $3^x 2^y = F_4+F_4, F_5+F_1, F_7+F_5, \dots$ (11 soluzioni totali).
• $(5, 2)$: $5^x 2^y = F_5+F_5, F_6+F_3, F_{16}+F_7, F_{17}+F_4$ (4 soluzioni).
• $(7, 2)$: $7^x 2^y = F_7+F_1, F_{10}+F_1$ (2 soluzioni).
• $(7, 3)$: $7^x 3^y = F_7+F_6, F_8+F_0, F_{10}+F_6, F_{12}+F_4$ (4 soluzioni).
• $(17, 2)$: $17^x 2^y = F_8+F_7, F_9+F_0, F_9+F_9, F_{10}+F_7$ (4 soluzioni).
• $(19, 2)$: $19^x 2^y = F_{10}+F_8, F_{12}+F_6$ (2 soluzioni).

Per tutte le altre coppie di primi con $q \le 1000$, l'equazione ammette al massimo una soluzione.

4. Contributi e Significato

• Estensione di lavori precedenti: Il paper estende i risultati di Bravo e Luca (che trattavano il caso $F_n + F_m = 2^a$) e di Ziegler (che studiava $F_n + F_m = y^a$) al caso generale di prodotti di due potenze di primi distinti.
• Rigidità delle equazioni diofantee: Il risultato conferma l'ipotesi che le equazioni che coinvolgono somme di numeri di Fibonacci e potenze di primi siano estremamente rigide, ammettendo soluzioni multiple solo per un numero molto limitato di basi.
• Metodologia Computazionale Avanzata: Il lavoro dimostra l'efficacia della combinazione di limiti teorici (Baker, Matveev) e tecniche di riduzione computazionale (LLL, algoritmi di lifting) per risolvere problemi diofantei con parametri molto grandi.
• Classificazione Completa: Fornisce una lista definitiva per un vasto intervallo di primi ($q \le 1000$), chiudendo un capitolo significativo nella teoria dei numeri additiva e moltiplicativa.

In sintesi, il documento risolve un problema aperto generalizzando precedenti studi, fornendo una prova rigorosa che le soluzioni multiple per somme di Fibonacci che sono prodotti di due potenze di primi sono un fenomeno eccezionale, limitato a sei specifiche coppie di basi.