From ABC to Effective Roth and Ridout Constants for Cubic Roots

Resumo Técnico: De ABC para Constantes de Roth e Ridout Eficazes para Raízes Cúbicas

Enunciado do Problema
O teorema de Roth (1955) estabelece que, para qualquer número algébrico $\alpha$ e qualquer $\epsilon > 0$, existe uma constante $C(\alpha, \epsilon)$ tal que $|\alpha - p/q| > C/q^{2+\epsilon}$ para todos os inteiros $p, q$. No entanto, a prova original é ineficaz, o que significa que ela garante a existência de $C$ sem fornecer um método para calcular um valor explícito. Embora Bombieri (1994) e Van Frankenhuysen (1999) tenham demonstrado que a conjectura ABC implica o teorema de Roth, essas implicações não produziram constantes explícitas em uma família natural de casos. Este artigo aborda a lacuna entre a existência condicional de limites do tipo Roth e a derivação de constantes explícitas e eficazes, especificamente para raízes cúbicas ($\sqrt[3]{k}$), aproveitando uma forma eficaz da conjectura ABC.

Metodologia
Os autores empregam uma abordagem construtiva ligando dados de aproximação diofantina às propriedades aritméticas de triplas ABC. A metodologia central envolve três componentes principais:

1. Fórmula de Bombieri–Van der Poorten: Os autores utilizam a fórmula explícita para os coeficientes ($b_n$) da fração contínua regular de números algébricos, especializada para raízes cúbicas ($\alpha = \sqrt[3]{k}$). Para convergentes $p_n/q_n$, a fórmula relaciona o próximo coeficiente $b_{n+1}$ ao termo de resto $d_n = |p_n^3 - k q_n^3|$. Especificamente para raízes cúbicas, o termo principal domina o resto, resultando na desigualdade rigorosa:
   $$b_{n+1} \leq \frac{3p_n^2 q_n}{d_n}$$
   Isso permite a tradução da qualidade de aproximação (codificada em $b_n$) em dados aritméticos ($d_n$).

2. Construção de Triplas ABC: As "equações resultantes" das convergentes, $p_n^3 = k q_n^3 + d_n$, são transformadas em triplas ABC coprimas. Ao definir $g_n = \gcd(k q_n^3, d_n) = \gcd(k, p_n^3)$, os autores constroem a tripla:
   $$\left( \frac{p_n^3}{g_n}, \frac{k q_n^3}{g_n}, \frac{d_n}{g_n} \right)$$
   Isso garante que a tripla consista de inteiros coprimos, satisfazendo os pré-requisitos para a aplicação da conjectura ABC.

3. Derivação de Limites Eficazes: Assumindo uma forma eficaz da conjectura ABC (onde uma constante $K_\epsilon$ existe tal que $c < K_\epsilon \cdot \text{rad}(abc)^{1+\epsilon}$), os autores substituem a tripla construída na desigualdade. Combinando isso com o limite de Bombieri–Van der Poorten para $b_{n+1}$, eles derivam uma relação explícita entre o parâmetro $\epsilon$ no teorema de Roth ($\epsilon_{Roth}$) e o $\epsilon$ na conjectura ABC ($\epsilon_{ABC}$), bem como um limite superior explícito para o inverso da constante de Roth ($1/C$).

Contribuições Principais e Resultados

• Constantes de Roth Explícitas para Raízes Cúbicas: O artigo deriva um limite totalmente explícito para o inverso da constante de Roth para $\sqrt[3]{k}$. A relação entre os parâmetros é dada por $\epsilon_{Roth} = \frac{3\epsilon_{ABC}}{1+\epsilon_{ABC}}$. O limite para $1/C$ é expresso em termos da constante ABC, o inteiro $k$ e as convergentes iniciais.
• Análise Numérica para $\sqrt[3]{2}$: Os autores aplicam seu método a $\sqrt[3]{2}$. Para $\epsilon_{Roth} = 0.5$, a derivação baseada em ABC produz um limite de aproximadamente $13.16$ para $1/C$, comparado ao resultado exato de Korobov de $3.15$. Embora o limite derivado de ABC seja menos preciso neste caso específico (atribuído ao uso de limites superiores grosseiros para as convergentes), ele demonstra a viabilidade do método. Cálculos semelhantes são fornecidos para $\epsilon_{Roth} = 0.4$.
• Extensão ao Teorema de Ridout: A metodologia é estendida para fornecer limites explícitos para o número de soluções no teorema de Ridout (referente a aproximações por $S$-inteiros) tanto para raízes quadradas quanto para raízes cúbicas. Os autores mostram que, para um $\epsilon > 0$ fixo e uma constante ABC eficaz, o conjunto de soluções é finito e explicitamente limitado.
• Ganho de Aproximação e a Conjectura: Um novo conceito, "ganho de aproximação", é introduzido como um refinamento da "qualidade" de um acerto (hit) ABC. É definido com base na razão logarítmica dos termos na equação resultante. Os autores provam que, para raízes cúbicas ($k \geq 3$ e $k=2$), o ganho de aproximação é estritamente limitado por $3/2$.
  • Teoremas 2.7 & 2.8: Para todas as equações resultantes provenientes de convergentes para $\sqrt[3]{k}$, o ganho de aproximação é menor que $3/2$.
  • Verificação Computacional: Este limite foi verificado computacionalmente para $c < 2^{63}$.

Significância e Alegações
O artigo afirma tornar explícita a dependência das constantes do tipo Roth em relação aos parâmetros ABC, movendo-se de uma implicação teórica para um arcabouço calculável para raízes cúbicas. A significância reside em:

1. Unindo Teoria e Computação: Ele fornece um caminho concreto para calcular limites de aproximação diofantina assumindo uma conjectura ABC eficaz.
2. Decomposição Estratégica de ABC: Os autores propõem uma estratégia potencial para atacar a conjectura ABC separando a "qualidade" de um acerto ABC em dois componentes: "ganho de aproximação" e "ganho de potência".
   • Eles conjecturam que o ganho de aproximação é sempre limitado por $3/2$ (provado para raízes cúbicas).
   • Eles sugerem que se o ganho de potência também puder ser limitado (por exemplo, por 3), a conjectura ABC poderia ser provada.
3. Refinamento de Limites: O trabalho introduz o ganho de aproximação como uma métrica que é sempre menor ou igual à qualidade padrão, oferecendo uma restrição potencialmente mais estreita para analisar os acertos ABC.

Os autores permanecem modestos quanto à precisão das constantes de Roth derivadas, observando que, em casos testados (como $\sqrt[3]{2}$), os limites baseados em ABC são atualmente mais largos do que resultados específicos conhecidos (ex: Korobov). No entanto, eles enfatizam que a abordagem consegue tornar as constantes explícitas e oferece uma nova decomposição para pesquisas futuras na conjectura ABC.