On the Diophantine Inequality $\lvert x^{2} - 2^{a}\cdot 3^{b}\rvert < 3\max\{a,b\}$

Sintesi Tecnica di "On the Diophantine Inequality $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$"

Enunciato del Problema
Il saggio investiga la disuguaglianza diofantica:
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
in interi non negativi $x, a, b$. Gli autori cercano di determinare l'insieme di tutte le soluzioni $(a, b, x)$. Il problema si colloca all'intersezione tra la teoria additiva e quella moltiplicativa dei numeri, esaminando quanto un quadrato perfetto possa approssimare un numero 3-smooth (un numero della forma $2^a 3^b$) quando il termine di errore è vincolato a crescere linearmente con gli esponenti, mentre il termine $2^a 3^b$ stesso cresce esponenzialmente. Ciò contrasta con l'equazione classica $x^2 = 2^a 3^b$, che possiede una famiglia infinita di soluzioni banali dove $a$ e $b$ sono pari. La disuguaglianza restringe la ricerca ai "quasi-colpi" (near-misses) dove la differenza è non nulla ma relativamente piccola.

Metodologia
La strategia di prova è biforcata in base all'entità di $A := \max\{a, b\}$, impiegando una combinazione di verifica computazionale, teoria analitica dei numeri e metodi di trascendenza.

1. Casi Piccoli ($A \le 2200$):
   Gli autori eseguono una ricerca computazionale esaustiva utilizzando SageMath. Per coppie $(a, b)$ nell'intervallo $[0, 2200]$, identificano i candidati interi $x$ più vicini a $\sqrt{2^a 3^b}$ (specificamente $\lfloor \sqrt{2^a 3^b} \rfloor$ e $\lfloor \sqrt{2^a 3^b} \rfloor + 1$) e verificano direttamente la disuguaglianza. Ciò produce una lista finita di soluzioni.

2. Casi Grandi ($A > 2200$):
   Per esponenti più grandi, gli autori riducono il problema a un problema di approssimazione razionale riguardante numeri irrazionali $\sqrt{d}$ dove $d \in \{2, 3, 6\}$.

   • Riduzione alle Frazioni Continue: Analizzando la parità di $a$ e $b$, il termine $2^a 3^b$ viene riscritto come $2^{2\alpha} 3^{2\beta} d$. La disuguaglianza implica che un numero razionale $x_0/y_0$ approssima $\sqrt{d}$ con un errore limitato da $K/y_0^2$, dove $K$ dipende da $A$.
   • Teorema di Worley: Gli autori applicano il teorema di Worley per caratterizzare tali approssimazioni razionali. Questo stabilisce che $x_0/y_0$ deve essere o un convergente della frazione continua di $\sqrt{d}$ o una specifica combinazione lineare di convergenti consecutivi. Ciò conduce a un'equazione diofantica esponenziale unificata della forma:
     $$2\sqrt{d} y_0 = C\gamma^n + D\delta^n$$
     dove $\gamma$ è l'unità fondamentale del campo quadratico $\mathbb{Q}(\sqrt{d})$, e $C, D$ sono interi algebrici parametrizzati da specifiche famiglie.
   • Forme Lineari in Logaritmi $p$-adici: Per limitare l'esponente $n$ (e di conseguenza $A$), gli autori prendono le valutazioni $p$-adiche ($p \in \{2, 3\}$) dell'equazione unificata. Applicano un teorema di limite inferiore per le forme lineari $p$-adiche in due logaritmi dovuto a Bugeaud e Laurent. Questo passaggio fornisce un limite superiore iniziale, sebbene molto grande, per $A$ (circa $3.57 \times 10^7$).
   • Riduzione tramite Algoritmo LLL: Il limite iniziale è troppo grande per una computazione diretta. Gli autori impiegano l'algoritmo di riduzione di reticolo Lenstra–Lenstra–Lovász (LLL) per restringere significativamente il limite. Costruendo un reticolo basato sulla forma lineare derivata dall'equazione logaritmica, riducono il limite superiore per $A$ a $2200$.

3. Gestione dei Casi Speciali:
   Gli autori affrontano potenziali casi limite in cui i numeri algebrici coinvolti nelle forme lineari sono multiplamente dipendenti. Dimostrano che in tali scenari, il limite su $A$ diventa ancora più piccolo ($A < 180$), garantendo che tali casi siano già coperti dalla ricerca computazionale iniziale.

Contributi Chiave e Risultati

• Classificazione Completa: Il saggio stabilisce che esistono esattamente 57 soluzioni intere non negative $(a, b, x)$ alla disuguaglianza.
• Lista Esplicita: Tutte le 57 soluzioni sono elencate esplicitamente nella Tabella 1.1 del saggio. Gli autori osservano che se si restringe la ricerca agli interi positivi $x, a, b$, esistono esattamente 28 soluzioni.
• Sintesi Metodologica: Il lavoro dimostra l'efficacia del combinare strumenti classici di approssimazione diofantica (teorema di Worley, frazioni continue) con metodi moderni di trascendenza (limiti di Bugeaud–Laurent) e riduzione di reticoli computazionali (LLL) per risolvere specifiche disuguaglianze diofantiche.

Significato
Il saggio contribuisce al programma più ampio di comprensione delle disuguaglianze diofantiche in cui espressioni polinomiali approssimano insiemi a struttura moltiplicativa (numeri smooth). Estende lo studio delle equazioni di tipo "quasi-colpo" oltre l'ambito delle equazioni diofantiche esatte (come le equazioni di tipo Pillai) verso casi con termini di errore controllati. Gli autori sottolineano che la presenza di un termine di errore che cresce linearmente con gli esponenti, piuttosto che essere costante, crea un regime altamente vincolato che ammette solo un numero finito di soluzioni. La risoluzione riuscita di questa specifica disuguaglianza serve come dimostrazione della potenza degli attuali metodi di trascendenza nel risolvere completamente tali problemi.