Sums of three Fibonacci numbers as concatenations of three repdigits in base $b$

Titolo: Somme di tre numeri di Fibonacci come concatenazioni di tre repdigit in base $b$

1. Il Problema

Il lavoro indaga l'interazione tra le successioni di ricorrenza (in particolare la successione di Fibonacci) e le rappresentazioni digitali degli interi. Nello specifico, gli autori studiano l'equazione diofantea che descrive la somma di tre numeri di Fibonacci ($F_{n_1} + F_{n_2} + F_{n_3}$) che può essere espressa come la concatenazione di tre repdigit in una base $b$ intera ($b \ge 2$).

Un repdigit è un intero i cui cifre sono tutte identiche in una data base (es. $111$, $2222$). La concatenazione di tre repdigit con cifre $d_1, d_2, d_3$ e lunghezze $\ell_1, \ell_2, \ell_3$ in base $b$ è rappresentata come:
$$d_1 \dots d_1 \, d_2 \dots d_2 \, d_3 \dots d_3$$
L'equazione da risolvere è:
$$F_{n_1} + F_{n_2} + F_{n_3} = \text{concatenazione}(d_1, \ell_1, d_2, \ell_2, d_3, \ell_3)_b$$
con vincoli su $n_i$ (indici di Fibonacci), $\ell_i$ (lunghezze) e $d_i$ (cifre, con $d_1 > 0$).

2. Metodologia

La dimostrazione si articola in due fasi principali, combinando teoria analitica dei numeri e calcolo ad alte prestazioni:

• Fase 1: Limiti Superiori Teorici (Metodo di Baker)

  • Gli autori utilizzano la teoria delle forme lineari in logaritmi di numeri algebrici, basandosi sul teorema fondamentale di Baker e Wüstholz.
  • Trasformano l'equazione diofantea in una disuguaglianza che coinvolge forme lineari $\Lambda = b_1 \log \eta_1 + b_2 \log \eta_2 + b_3 \log \eta_3$.
  • Applicando stime inferiori per $|\Lambda|$, derivano un limite superiore esplicito ma enorme per l'indice più grande $n_1$:
    $$n_1 < 3.09 \times 10^{82} \log^{11} b$$
  • Questo limite, sebbene finito, è troppo grande per una verifica computazionale diretta.

• Fase 2: Riduzione dei Limiti e Verifica Computazionale

  • Per ridurre il limite da $10^{82}$ a un intervallo gestibile, viene applicato il metodo di riduzione (basato su Lemma di Dujella e Pethő, e Bravo-Gómez-Luca), che utilizza le approssimazioni razionali (convergenti) dello sviluppo in frazione continua di numeri irrazionali legati alla base $b$ e al rapporto aureo $\alpha$.
  • Attraverso un processo iterativo di riduzione, i limiti vengono drasticamente abbassati fino a $n_1 \le 74$.
  • Sfida Computazionale: La verifica finale richiede di controllare un numero enorme di combinazioni (sette cicli annidati per le variabili $d_i, \ell_i, n_i$). Per $b=10$, un'esecuzione sequenziale richiederebbe secoli.
  • Soluzione Hardware: Gli autori hanno implementato l'algoritmo su un'architettura di calcolo parallelo utilizzando una GPU NVIDIA RTX A2000 tramite il framework CUDA. Questo ha permesso di distribuire le iterazioni su migliaia di core, ottenendo un'accelerazione di oltre 20.000 volte rispetto all'esecuzione sequenziale (riducendo tempi di calcolo da anni a minuti/ore).

3. Risultati Chiave

• Teorema 1 (Finitudine): Per ogni base $b \ge 2$, esistono solo un numero finito di somme di tre numeri di Fibonacci che soddisfano la condizione di essere concatenazioni di tre repdigit. Viene fornito un limite superiore esplicito per gli indici.
• Teorema 2 (Classificazione Completa): Per le basi $2 \le b \le 10$, sono state determinate esattamente 2665 soluzioni distinte.
  • Il caso più grande si verifica per $b=4$:
    $$F_{42} + F_{29} + F_{20} = 268.435.290$$
    Che in base 4 è rappresentato come: $33333333331122_4$ (una concatenazione di tre repdigit).
• Corollari:
  • Analizzando il caso in cui $n_3=0$, si ottengono tutte le somme di due numeri di Fibonacci che sono concatenazioni di tre repdigit.
  • Analizzando il caso in cui $n_2=n_3=0$, si ottengono tutti i singoli numeri di Fibonacci che sono concatenazioni di tre repdigit.
  • Vengono forniti tabelle dettagliate per ogni base da 2 a 10, elencando il numero di soluzioni, la somma massima trovata e la sua rappresentazione nella base corrispondente.

4. Contributi e Significato

• Estensione della Ricerca: Questo lavoro estende studi precedenti (es. Alahmadi et al., 2019) che si concentravano su un singolo numero di Fibonacci o su due repdigit. Introduce la complessità aggiuntiva della somma di tre termini e della concatenazione di tre blocchi di cifre.
• Rigore Matematico: Fornisce una prova completa di finitudine e un elenco esaustivo delle soluzioni per un intervallo di basi significativo, utilizzando tecniche avanzate di teoria dei numeri trascendente.
• Innovazione Computazionale: Il documento è un esempio notevole di come la teoria dei numeri moderna richieda sempre più spesso l'uso di High-Performance Computing (HPC). La capacità di risolvere un problema combinatorio esponenziale tramite l'uso di GPU dimostra l'importanza dell'infrastruttura hardware parallela nella ricerca matematica contemporanea.
• Impatto Scientifico: I risultati arricchiscono la comprensione delle proprietà digitali delle successioni di Fibonacci e offrono nuovi dati per lo studio delle equazioni diofantee miste (ricorrenza + rappresentazione posizionale).

In sintesi, il paper risolve un problema aperto di natura combinatoria e numerica, combinando dimostrazioni teoriche profonde con una potenza di calcolo massiccia per enumerare tutte le soluzioni possibili in un ampio intervallo di basi.