A Fourier-Free Density-Increment Proof of Roth's Theorem

Resumo Técnico: Uma Prova de Aumento de Densidade sem Fourier do Teorema de Roth

Enunciado do Problema
O artigo aborda o teorema de Roth, um resultado fundamental na teoria de Ramsey de densidade, que afirma que qualquer subconjunto dos inteiros com densidade superior positiva contém uma progressão aritmética não trivial de três termos (3AP). Especificamente, o artigo busca fornecer uma prova elementar da versão finita do teorema: para todo $\alpha > 0$, se $N$ for suficientemente grande, todo conjunto $A \subset \{0, \dots, N-1\}$ com $|A| \ge \alpha N$ contém uma 3AP. Embora a prova original de Roth de 1953 tenha utilizado análise de Fourier, e provas subsequentes tenham empregado teoria ergódica ou teoria dos grafos, este trabalho visa estabelecer o resultado usando uma estratégia de aumento de densidade que evita completamente a maquinaria analítica de Fourier.

Metodologia
A prova segue o quadro clássico de aumento de densidade de Roth, mas substitui o passo analítico de Fourier padrão (detecção de grandes coeficientes de Fourier) por um argumento combinatório direto envolvendo médias sobre sub-progressões. A metodologia prossegue através das seguintes etapas:

1. Embutimento e Funções Balanceadas: O conjunto $A$ é embutido no grupo cíclico $\mathbb{Z}_m$ (onde $m$ é um primo ligeiramente maior que $2N$) para garantir que as progressões modulares dentro do intervalo embutido correspondam a progressões inteiras genuínas. Define-se uma função balanceada $f = 1_A - \alpha 1_{[N]}$, que tem média zero.
2. Energia e Formas Trilineares: A prova introduz um funcional "energia" $E(f)$, definido como a soma dos quadrados das autocorrelações de $f$. O motor lógico central é o Lema 3, que estabelece que, se o número de 3APs em $A$ for pequeno (especificamente, se existirem apenas as triviais), então a energia $E(f)$ deve ser grande. Isso é provado por meio de desigualdades de Cauchy-Schwarz e uma propriedade específica de não negatividade de somas de correlação (Lema 2), que é estabelecida combinatória sem invocar a identidade de Parseval.
3. Aumento de Densidade em Progressões Modulares: Usando a grande energia derivada da falta de 3APs, o autor constrói uma longa progressão modular onde a média de $f$ é positiva (Lema 7). Isso é alcançado analisando os momentos de segunda ordem de somas de $f$ sobre progressões aritméticas.
4. Transição para Progressões Inteiras: Um passo técnico crítico (Lema 8) converte o aumento de densidade encontrado em uma progressão modular em um aumento de densidade em uma progressão aritmética inteira genuína dentro de $[N]$. Isso envolve usar o princípio da casa dos pombos para encontrar uma sub-progressão com um passo inteiro pequeno e intersectá-la com o intervalo original.
5. Iteração: O processo é iterado. Se um conjunto $A$ não tem 3APs, pode-se encontrar uma sub-progressão onde a densidade de $A$ aumenta por um fator dependente da densidade atual. Repetir esse processo eventualmente força a densidade a exceder 1, uma contradição, desde que o $N$ inicial seja suficientemente grande.

Contribuições e Resultados Chave

• Prova sem Fourier: A contribuição principal é uma prova completa do teorema de Roth que não depende da análise de Fourier. Ela substitui a detecção de grandes coeficientes de Fourier por estimativas combinatórias de médias sobre sub-progressões.
• Limites Quantitativos: O argumento produz um limite quantitativo para $r_3(N)$, o tamanho máximo de um subconjunto livre de 3APs de $\{1, \dots, N\}$. O artigo estabelece:
  $$r_3(N) \lesssim \frac{N}{(\log \log N)^{1/11}}$$
  Este limite é derivado da iteração do aumento de densidade, onde a densidade aumenta em aproximadamente $\alpha^{11}$ a cada passo, e o comprimento da progressão diminui por um fator de aproximadamente $\alpha^{16} N^{1/2}$.
• Comparação com a Prova Original: O autor observa que, embora o argumento atual produza um limite com expoente $c = 1/11$ no denominador, o argumento analítico de Fourier original de Roth alcançou $c=1$. O artigo reconhece que, embora o expoente possa potencialmente ser melhorado, a forma combinatória atual não parece capaz de recuperar o expoente ótimo sem complicações significativas.

Significado e Alegações
O artigo posiciona-se como uma alternativa elementar às provas analíticas de Fourier padrão do teorema de Roth. Ele demonstra que a estratégia de aumento de densidade, central ao trabalho original de Roth, pode ser executada usando ferramentas puramente combinatórias (especificamente, estimativas de momentos e mudança de variáveis) em vez de análise harmônica.

O autor afirma explicitamente que a prova permanece próxima ao quadro original de Roth, mas substitui a detecção de "grande coeficiente de Fourier" por um "argumento combinatório direto envolvendo médias sobre sub-progressões". O significado reside na mudança metodológica: mostra que o mecanismo central do aumento de densidade não requer estritamente as ferramentas espectrais da análise de Fourier.

O artigo conclui identificando direções futuras de pesquisa, especificamente o desenvolvimento de análogos sem Fourier para:

1. Provar limites polilogarítmicos da forma $r(n) \lesssim n(\log n)^{-c}$.
2. A prova de aumento de energia do teorema de Roth.
3. O argumento de Gowers para progressões aritméticas de quatro termos.

O autor permanece modesto quanto à força quantitativa do resultado atual, observando que o expoente $1/11$ é mais fraco que o $1$ original de Roth, e não alega ter resolvido o problema de obter limites polilogarítmicos por meio desta rota elementar específica.