From ABC to Effective Roth and Ridout Constants for Cubic Roots

Sintesi Tecnica: Dai costanti ABC alle costanti efficaci di Roth e Ridout per le radici cubiche

Enunciato del Problema
Il teorema di Roth (1955) stabilisce che per ogni numero algebrico $\alpha$ e per ogni $\epsilon > 0$, esiste una costante $C(\alpha, \epsilon)$ tale che $|\alpha - p/q| > C/q^{2+\epsilon}$ per tutti gli interi $p, q$. Tuttavia, la prova originale è inefficace, il che significa che garantisce l'esistenza di $C$ senza fornire un metodo per calcolare un valore esplicito. Sebbene Bombieri (1994) e Van Frankenhuysen (1999) abbiano dimostrato che la congettura ABC implica il teorema di Roth, queste implicazioni non hanno prodotto costanti esplicite in una famiglia naturale di casi. Questo articolo affronta il divario tra l'esistenza condizionale di limiti di tipo Roth e la derivazione di costanti esplicite ed efficaci, specificamente per le radici cubiche ($\sqrt[3]{k}$), sfruttando una forma efficace della congettura ABC.

Metodologia
Gli autori impiegano un approccio costruttivo che collega i dati di approssimazione di Diophante con le proprietà aritmetiche delle triple ABC. La metodologia principale si articola in tre componenti fondamentali:

1. Formula di Bombieri–Van der Poorten: Gli autori utilizzano la formula esplicita per i coefficienti ($b_n$) della frazione continua regolare dei numeri algebrici, specializzata per le radici cubiche ($\alpha = \sqrt[3]{k}$). Per i convergenti $p_n/q_n$, la formula mette in relazione il coefficiente successivo $b_{n+1}$ con il termine di resto $d_n = |p_n^3 - k q_n^3|$. Nello specifico, per le radici cubiche, il termine principale domina il resto, producendo la rigorosa disuguaglianza:
   $$b_{n+1} \leq \frac{3p_n^2 q_n}{d_n}$$
   Ciò consente di tradurre la qualità dell'approssimazione (codificata in $b_n$) in dati aritmetici ($d_n$).

2. Costruzione di Triple ABC: Le "equazioni risultanti" dai convergenti, $p_n^3 = k q_n^3 + d_n$, vengono trasformate in triple ABC coprime. Definendo $g_n = \gcd(k q_n^3, d_n) = \gcd(k, p_n^3)$, gli autori costruiscono la tripla:
   $$\left( \frac{p_n^3}{g_n}, \frac{k q_n^3}{g_n}, \frac{d_n}{g_n} \right)$$
   Questo assicura che la tripla consista di interi coprimi, soddisfacendo i prerequisiti per l'applicazione della congettura ABC.

3. Derivazione di Limiti Efficaci: Assumendo una forma efficace della congettura ABC (dove esiste una costante $K_\epsilon$ tale che $c < K_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$), gli autori sostituiscono la tripla costruita nella disuguaglianza. Combinando ciò con il limite di Bombieri–Van der Poorten per $b_{n+1}$, derivano una relazione esplicita tra il parametro $\epsilon$ del teorema di Roth ($\epsilon_{Roth}$) e l' $\epsilon$ della congettura ABC ($\epsilon_{ABC}$), nonché un limite esplicito superiore per l'inverso della costante di Roth ($1/C$).

Contributi Chiave e Risultati

• Costanti di Roth Esplicite per le Radici Cubiche: L'articolo deriva un limite completamente esplicito per l'inverso della costante di Roth per $\sqrt[3]{k}$. La relazione tra i parametri è data da $\epsilon_{Roth} = \frac{3\epsilon_{ABC}}{1+\epsilon_{ABC}}$. Il limite per $1/C$ è espresso in termini della costante ABC, dell'intero $k$ e dei convergenti iniziali.
• Analisi Numerica per $\sqrt[3]{2}$: Gli autori applicano il loro metodo a $\sqrt[3]{2}$. Per $\epsilon_{Roth} = 0.5$, la derivazione basata su ABC produce un limite di circa $13.16$ per $1/C$, rispetto al risultato esatto di Korobov di $3.15$. Sebbene il limite derivato da ABC sia meno preciso in questo caso specifico (attribuito all'uso di limiti superiori grossolani per i convergenti), esso dimostra la fattibilità del metodo. Calcoli simili sono forniti per $\epsilon_{Roth} = 0.4$.
• Estensione al Teorema di Ridout: La metodologia è estesa per fornire limiti espliciti per il numero di soluzioni nel teorema di Ridout (relativo alle approssimazioni da parte di $S$-interi) sia per le radici quadrate che per le radici cubiche. Gli autori dimostrano che, per un fissato $\epsilon > 0$ e una costante ABC efficace, l'insieme delle soluzioni è finito e limitato esplicitamente.
• Guadagno di Approssimazione e la Congettura: Un nuovo concetto, "guadagno di approssimazione" (approximation gain), viene introdotto come un raffinamento della "qualità" di un "hit" ABC. È definito sulla base del rapporto logaritmico tra i termini dell'equazione risultante. Gli autori dimostrano che, per le radici cubiche ($k \geq 3$ e $k=2$), il guadagno di approssimazione è strettamente limitato da $3/2$.
  • Teoremi 2.7 & 2.8: Per tutte le equazioni risultanti derivanti dai convergenti di $\sqrt[3]{k}$, il guadagno di approssimazione è minore di $3/2$.
  • Verifica Computazionale: Questo limite è stato verificato computazionalmente per $c < 2^{63}$.

Significato e Rivendicazioni
L'articolo sostiene di rendere esplicita la dipendenza delle costanti di tipo Roth dai parametri ABC, passando da un'implicazione teorica a un quadro calcolabile per le radici cubiche. La significatività risiede nel:

1. Unire Teoria e Computazione: Fornisce un percorso concreto per calcolare i limiti di approssimazione di Diophante assumendo una congettura ABC efficace.
2. Decomposizione Strategica di ABC: Gli autori propongono una potenziale strategia per attaccare la congettura ABC separando la "qualità" di un hit ABC in due componenti: "guadagno di approssimazione" e "guadagno di potenza".
   • Essi congetturano che il guadagno di approssimazione sia sempre limitato da $3/2$ (dimostrato per le radici cubiche).
   • Suggeriscono che se il guadagno di potenza potesse anche essere limitato (ad esempio, da 3), la congettura ABC potrebbe essere dimostrata.
3. Raffinamento dei Limiti: Il lavoro introduce il guadagno di approssimazione come una metrica che è sempre inferiore o uguale alla qualità standard, offrendo un vincolo potenzialmente più stretto per l'analisi degli hit ABC.

Gli autori rimangono modesti riguardo alla precisione dei limiti di Roth derivati, notando che, nei casi testati (come $\sqrt[3]{2}$), i limiti basati su ABC sono attualmente meno precisi dei risultati specifici noti (ad esempio, quelli di Korobov). Tuttavia, sottolineano che l'approccio riesce con successo a rendere le costanti esplicite e offre una nuova decomposizione per la ricerca futura sulla congettura ABC.