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

Resumo Técnico de "On the Diophantine Inequality $|x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$"

Enunciado do Problema
O artigo investiga a desigualdade diofantina:
$$1 \le |x^2 - 2^a \cdot 3^b| < 3 \max\{a, b\}$$
em inteiros não negativos $x, a, b$. Os autores buscam determinar o conjunto de todas as soluções $(a, b, x)$. O problema situa-se na interseção da teoria aditiva e multiplicativa dos números, examinando especificamente o quão próximo um quadrado perfeito pode aproximar um número 3-suave (um número da forma $2^a 3^b$) quando o termo de erro é restrito a crescer linearmente com os expoentes, enquanto o próprio termo $2^a 3^b$ cresce exponencialmente. Isso contrasta com a equação clássica $x^2 = 2^a 3^b$, que possui uma família infinita de soluções triviais onde $a$ e $b$ são pares. A desigualdade restringe a busca para "quase-acertos" (near-misses) onde a diferença é não nula, mas relativamente pequena.

Metodologia
A estratégia de prova é bifurcada com base na magnitude de $A := \max\{a, b\}$, empregando uma combinação de verificação computacional, teoria analítica dos números e métodos de transcendência.

1. Casos Pequenos ($A \le 2200$):
   Os autores realizam uma busca computacional exaustiva utilizando SageMath. Para pares $(a, b)$ dentro do intervalo $[0, 2200]$, eles identificam inteiros candidatos $x$ mais próximos de $\sqrt{2^a 3^b}$ (especificamente $\lfloor \sqrt{2^a 3^b} \rfloor$ e $\lfloor \sqrt{2^a 3^b} \rfloor + 1$) e verificam a desigualdade diretamente. Isso resulta em uma lista finita de soluções.

2. Casos Grandes ($A > 2200$):
   Para expoentes maiores, os autores reduzem o problema a um problema de aproximação racional envolvendo números irracionais $\sqrt{d}$ onde $d \in \{2, 3, 6\}$.

   • Redução para Frações Contínuas: Ao analisar a paridade de $a$ e $b$, o termo $2^a 3^b$ é reescrito como $2^{2\alpha} 3^{2\beta} d$. A desigualdade implica que um número racional $x_0/y_0$ aproxima $\sqrt{d}$ com um erro limitado por $K/y_0^2$, onde $K$ depende de $A$.
   • Teorema de Worley: Os autores aplicam o teorema de Worley para caracterizar tais aproximações racionais. Isso estabelece que $x_0/y_0$ deve ser um dos convergentes da fração contínua de $\sqrt{d}$ ou uma combinação linear específica de convergentes consecutivos. Isso leva a uma equação diofantina exponencial unificada da forma:
     $$2\sqrt{d} y_0 = C\gamma^n + D\delta^n$$
     onde $\gamma$ é a unidade fundamental do corpo quadrático $\mathbb{Q}(\sqrt{d})$, e $C, D$ são inteiros algébricos parametrizados por famílias específicas.
   • Formas Lineares de Logaritmos $p$-ádicos: Para limitar o expoente $n$ (e, consequentemente, $A$), os autores aplicam valuações $p$-ádicas ($p \in \{2, 3\}$) da equação unificada. Eles aplicam um teorema de limite inferior para formas lineares de dois logaritmos $p$-ádicos devido a Bugeaud e Laurent. Este passo produz um limite superior inicial, embora muito grande, para $A$ (aproximadamente $3.57 \times 10^7$).
   • Redução pelo Algoritmo LLL: O limite inicial é muito grande para computação direta. Os autores empregam o algoritmo de redução de rede Lenstra–Lenstra–Lovász (LLL) para estreitar significativamente o limite. Ao construir uma rede baseada na forma linear derivada da equação logarítmica, eles reduzem o limite superior para $A$ para $2200$.

3. Tratamento de Casos Especiais:
   Os autores abordam potenciais casos de borda onde os números algébricos envolvidos nas formas lineares são multiplicativamente dependentes. Eles demonstram que, nesses cenários, o limite para $A$ torna-se ainda menor ($A < 180$), garantindo que esses casos já estejam cobertos pela busca computacional inicial.

Principais Contribuições e Resultados

• Classificação Completa: O artigo estabelece que existem exatamente 57 soluções de inteiros não negativos $(a, b, x)$ para a desigualdade.
• Lista Explícita: Todas as 57 soluções são listadas explicitamente na Tabela 1.1 do artigo. Os autores observam que, se restringirmos a busca a inteiros positivos $x, a, b$, existem exatamente 28 soluções.
• Síntese Metodológica: O trabalho demonstra a eficidade de combinar ferramentas clássicas de aproximação diofantina (teorema de Worley, frações contínuas) com métodos modernos de transcendência (limites de Bugeaud–Laurent) e redução de rede computacional (LLL) para resolver desigualdades diofantinas específicas.

Significância
O artigo contribui para o programa mais amplo de compreensão de desigualdades diofantinas onde expressões polinomiais aproximam conjuntos de estrutura multiplicativa (números suaves). Ele estende o estudo de equações de "quase-acerto" além do domínio das equações diofantinas exatas (como as equações do tipo Pillai) para casos com termos de erro controlados. Os autores destacam que a presença de um termo de erro que cresce linearmente nos expoentes, em vez de ser constante, cria um regime altamente restrito que admite apenas finitas soluções. A resolução bem-sucedida desta desigualdade específica serve como uma demonstração do poder dos atuais métodos de transcendência para resolver completamente tais problemas.