Bounds on the exceptional set in the $abc$ conjecture

Resumo Técnico: Limites no Conjunto Excepcional na Conjectura abc

Enunciado do Problema
O artigo investiga a distribuição das soluções da equação $a + b = c$, onde $a, b, c$ são números naturais coprimos. Especificamente, foca-se na contagem do número $N_\lambda(X)$ de tais "triplas abc" com altura no máximo $X$ (isto é, $a, b, c \le X$) que satisfazem a condição $\text{rad}(abc) < c^\lambda$, onde $\text{rad}(n)$ denota o produto dos fatores primos distintos de $n$.

A bem conhecida conjectura abc de Masser e Oesterlé afirma que, para qualquer $\lambda < 1$, o conjunto de tais triplas é finito. Embora o melhor resultado incondicional (Stewart e Yu) estabeleça a finitude para $\text{rad}(abc) < (\log c)^{3-\varepsilon}$, este artigo visa fornecer limites quantitativos sobre o tamanho do conjunto excepcional $N_\lambda(X)$ quando $X \to \infty$. Antes deste trabalho, a única estimativa geral para $\lambda < 1$ era um "limite trivial" derivado do resultado de de Bruijn sobre a densidade de inteiros com radicais pequenos, resultando em $N_\lambda(X) \ll_\varepsilon X^{2\lambda/3 + \varepsilon}$. Os autores buscam melhorar este expoente, particularmente para $\lambda \in (0, 2]$.

Metodologia
Os autores empregam uma combinação de ferramentas da teoria dos números analítica, especificamente análise de Fourier e geometria dos números, para limitar o número de soluções. A metodologia procede através das seguintes etapas:

1. Redução Anatómica: Os autores primeiro decompõem as variáveis $a, b, c$ usando um lema (Lema 2.2) que fatoriza qualquer inteiro $n$ em um "núcleo" pequeno $n_0$ e um produto de potências de inteiros coprimos dois a dois $n_j^j$. Isso reduz o problema de limitar $N_\lambda(X)$ a limitar o número de soluções de equações diofantinas monomiais da forma:
   $$a_0 \prod_{i=1}^d a_i^i + b_0 \prod_{i=1}^d b_i^i = c_0 \prod_{i=1}^d c_i^i$$
   sujeitas a restrições específicas de tamanho nas variáveis. Esta redução transforma o problema original de contagem na estimativa da quantidade $B_d(a_0, b_0, c_0, A, B, C)$, que conta soluções dentro de intervalos diádicos.

2. Análise de Fourier: Para limitar $B_d$, os autores utilizam somas exponenciais e ortogonalidade de caracteres. Ao aplicar a desigualdade de Hölder e estimar momentos de somas exponenciais (especificamente o segundo e o quarto momentos), eles derivam limites que dependem da distribuição das variáveis. Esta abordagem recupera o limite trivial, mas fornece a estrutura necessária para combinar com outros métodos.

3. Geometria dos Números: Os autores tratam a equação reduzida como uma equação linear fixando um subconjunto de variáveis e aplicando um limite clássico para soluções primitivas de formas lineares (citando Heath-Brown). Isso produz um limite inversamente proporcional ao produto das variáveis fixas, oferecendo uma dependência diferente nos parâmetros em comparação com o método de Fourier.

4. Otimização via Programação Linear: Para o caso $\lambda < 1$, os autores combinam os limites derivados da análise de Fourier e da geometria dos números. Eles formulam um problema de programação linear inteira mista (resolvido usando código Python fornecido no Apêndice) para otimizar os expoentes. Esta otimização determina o melhor compromisso possível entre as diferentes técnicas de limitação em vários subconjuntos das variáveis decompostas.

Principais Contribuições e Resultados

• Teorema Principal (Teorema 1.2): Para $\lambda \in (0, 2]$, os autores estabelecem uma melhoria de economia de potência sobre o limite trivial. Eles provam:
  $$N_\lambda(X) \ll_\varepsilon X^{\frac{23\lambda + 3}{40} + \varepsilon}$$
  Este resultado é não trivial (isto é, melhora sobre $X^{2\lambda/3}$) para $\lambda \in (9/11, 2]$. Especificamente, para $\lambda \in (0, 1)$, isso produz um expoente de aproximadamente $0,65$.

• Resultado Refinado para $\lambda < 1$ (Teorema 1.3): Ao utilizar a otimização mais complexa derivada da combinação dos limites, os autores melhoram o expoente para a faixa $\lambda \in (0, 1)$. Eles mostram:
  $$N_\lambda(X) \ll_{\varepsilon, \lambda} X^{0,6 + \varepsilon}$$
  Esta melhoria é não trivial para $\lambda \in (9/10, 1)$.

• Síntese Metodológica: O artigo funde técnicas de um trabalho anterior dos últimos três autores (que usava o método do determinante e equações de Thue) com uma nova abordagem do primeiro autor. Crucialmente, os limites atuais são alcançados sem depender do método do determinante, sugerindo que a geometria dos números e a análise de Fourier sozinhas podem produzir melhorias significativas.

Significado e Afirmações
Os autores afirmam que seu objetivo principal é fornecer a primeira melhoria de economia de potência sobre o limite simples $X^{2\lambda/3}$ para valores de $\lambda \in (0, 2)$. O significado do trabalho reside em:

1. Progresso Quantitativo: Fornecer limites superiores explícitos e melhorados sobre o número de triplas excepcionais, indo além dos resultados qualitativos de finitude da conjectura abc.
2. Demonstração de Técnica: Demonstrar que uma combinação da geometria dos números e da análise de Fourier, otimizada via programação linear, pode limitar efetivamente o conjunto excepcional sem precisar do método do determinante mais complexo ou da teoria de equações de Thue usadas em refinamentos anteriores.
3. Modéstia sobre Melhorias Futuras: Os autores notam que, embora seus limites não usem o método do determinante (implicando potencial para melhoria adicional), eles esperam que "uma melhoria numérica séria provavelmente exigirá novas ideias". Eles reconhecem que, além de seu trabalho, nenhuma estimativa geral para $N_\lambda(X)$ com $\lambda < 1$ era anteriormente conhecida além do limite trivial.

O artigo conclui fornecendo o código Python usado para resolver o programa linear, garantindo a reprodutibilidade da etapa de otimização que produz o expoente $0,6$.