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

Resumen Técnico: Una prueba de incremento de densidad sin Fourier del teorema de Roth

Enunciado del Problema
El artículo aborda el teorema de Roth, un resultado fundamental en la teoría de Ramsey de densidad que afirma que cualquier subconjunto de los enteros con densidad superior positiva contiene una progresión aritmética no trivial de tres términos (3AP). Específicamente, el artículo busca proporcionar una prueba elemental de la versión finita del teorema: para todo $\alpha > 0$, si $N$ es suficientemente grande, todo conjunto $A \subset \{0, \dots, N-1\}$ con $|A| \ge \alpha N$ contiene una 3AP. Mientras que la prueba original de Roth en 1953 utilizó análisis de Fourier, y pruebas posteriores han empleado teoría ergódica o teoría de grafos, este trabajo pretende establecer el resultado utilizando una estrategia de incremento de densidad que evita por completo la maquinaria analítica de Fourier.

Metodología
La prueba sigue el marco clásico de incremento de densidad de Roth, pero reemplaza el paso analítico estándar de Fourier (detección de coeficientes grandes de Fourier) con un argumento combinatorio directo que involucra promedios sobre sub-progresiones. La metodología procede a través de las siguientes etapas:

1. Incrustación y Funciones Balanceadas: El conjunto $A$ se incrusta en el grupo cíclico $\mathbb{Z}_m$ (donde $m$ es un primo ligeramente mayor que $2N$) para asegurar que las progresiones modulares dentro del intervalo incrustado correspondan a progresiones enteras genuinas. Se define una función balanceada $f = 1_A - \alpha 1_{[N]}$, que tiene media cero.
2. Energía y Formas Trilineales: La prueba introduce un funcional de "energía" $E(f)$, definido como la suma de los cuadrados de las autocorrelaciones de $f$. El motor lógico central es el Lema 3, que establece que si el número de 3APs en $A$ es pequeño (específicamente, solo existen las triviales), entonces la energía $E(f)$ debe ser grande. Esto se prueba mediante desigualdades de Cauchy-Schwarz y una propiedad específica de no negatividad de las sumas de correlación (Lema 2), la cual se establece combinatoriamente sin invocar la identidad de Parseval.
3. Incremento de Densidad en Progresiones Modulares: Utilizando la gran energía derivada de la falta de 3APs, el autor construye una larga progresión modular donde el promedio de $f$ es positivo (Lema 7). Esto se logra analizando los segundos momentos de las sumas de $f$ sobre progresiones aritméticas.
4. Transición a Progresiones Enteras: Un paso técnico crítico (Lema 8) convierte el incremento de densidad encontrado en una progresión modular en un incremento de densidad en una progresión aritmética de enteros genuina dentro de $[N]$. Esto implica utilizar el principio del palomar para encontrar una sub-progresión con un paso entero pequeño e intersectarla con el intervalo original.
5. Iteración: El proceso se itera. Si un conjunto $A$ no tiene 3APs, se puede encontrar una sub-progresión donde la densidad de $A$ aumenta por un factor dependiente de la densidad actual. Repetir este proceso eventualmente fuerza a que la densidad exceda 1, una contradicción, siempre que el $N$ inicial sea suficientemente grande.

Contribuciones y Resultados Clave

• Prueba sin Fourier: La contribución principal es una prueba completa del teorema de Roth que no depende del análisis de Fourier. Reemplaza la detección de coeficientes grandes de Fourier con estimaciones combinatorias de promedios sobre sub-progresiones.
• Límites Cuantitativos: El argumento produce un límite cuantitativo para $r_3(N)$, el tamaño máximo de un subconjunto libre de 3APs de $\{1, \dots, N\}$. El artículo establece:
  $$r_3(N) \lesssim \frac{N}{(\log \log N)^{1/11}}$$
  Este límite se deriva de la iteración del incremento de densidad, donde la densidad aumenta en aproximadamente $\alpha^{11}$ en cada paso, y la longitud de la progresión disminuye por un factor de aproximadamente $\alpha^{16} N^{1/2}$.
• Comparación con la Prueba Original: El autor señala que, aunque el argumento actual produce un límite con exponente $c = 1/11$ en el denominador, el argumento analítico original de Fourier de Roth logró $c=1$. El artículo reconoce que, aunque el exponente podría potencialmente mejorarse, la forma combinatoria actual no parece capaz de recuperar el exponente óptimo sin una complicación significativa.

Significado y Afirmaciones
El artículo se posiciona como una alternativa elemental a las pruebas analíticas estándar de Fourier del teorema de Roth. Demuestra que la estrategia de incremento de densidad, central en el trabajo original de Roth, puede ejecutarse utilizando herramientas puramente combinatorias (específicamente, estimaciones de momentos y cambio de variables) en lugar del análisis armónico.

El autor afirma explícitamente que la prueba se mantiene cerca del marco original de Roth, pero sustituye la detección de "coeficiente grande de Fourier" con un "argumento combinatorio directo que involucra promedios sobre sub-progresiones". El significado radica en el cambio metodológico: muestra que el mecanismo central del incremento de densidad no requiere estrictamente las herramientas espectrales del análisis de Fourier.

El artículo concluye identificando direcciones futuras de investigación, específicamente el desarrollo de análogos sin Fourier para:

1. Probar límites polilogarítmicos de la forma $r(n) \lesssim n(\log n)^{-c}$.
2. La prueba de incremento de energía del teorema de Roth.
3. El argumento de Gowers para progresiones aritméticas de cuatro términos.

El autor se mantiene modesto respecto a la fuerza cuantitativa del resultado actual, notando que el exponente $1/11$ es más débil que el $1$ original de Roth, y no afirma haber resuelto el problema de obtener límites polilogarítmicos a través de esta ruta elemental específica.