Folkman's theorem and the primes

A continuación presento un resumen técnico detallado del artículo "Folkman's Theorem and the Primes" (El Teorema de Folkman y los Números Primos) de David J. Fernández-Bretón, estructurado según los puntos solicitados.

1. El Problema

El objetivo central del artículo es proporcionar nuevas demostraciones de la infinitud de los números primos. Este problema, resuelto clásicamente por Euclides, ha sido objeto de una línea de investigación reciente que busca derivar este resultado fundamental utilizando teoremas de la teoría de Ramsey (teoría de la partición).

El autor se sitúa en la tradición de trabajos previos que han utilizado resultados como:

• El teorema de van der Waerden (Alpoge).
• El teorema de Schur (Gasarch, Elsholtz).
• El teorema de Roth y el teorema de Hindman (Elsholtz).

El problema específico abordado aquí es confirmar una conjetura de Elsholtz: ¿Es posible utilizar el Teorema de Folkman (una generalización del teorema de Schur y una versión finita del teorema de Hindman) para probar la infinitud de los primos, evitando el uso de resultados de teoría de números profundos (como el Último Teorema de Fermat o propiedades complejas de potencias)?

2. Metodología

El autor emplea una metodología puramente combinatoria basada en la coloración de conjuntos y la aplicación del Teorema de Folkman.

• Herramienta Principal: El Teorema de Folkman. Este establece que para cualquier coloración $c$ del conjunto de números naturales $\mathbb{N}$ con un número finito de colores, y para cualquier entero $M$, existe un subconjunto $X \subseteq \mathbb{N}$ con $|X|=M$ tal que el conjunto de todas las sumas finitas de elementos distintos de $X$, denotado como $FS(X)$, es monocromático (todos sus elementos tienen el mismo color).
• Estrategia General:
  1. Se asume por contradicción que el conjunto de números primos $P$ es finito, con cardinalidad $|P| = N$.
  2. Se define una función de coloración $c(n)$ basada en propiedades aritméticas de $n$ (específicamente, el orden $p$-ádico $\nu_p(n)$ y la parte libre de cuadrados $\xi_p(n)$).
  3. Se aplica el Teorema de Folkman para obtener un conjunto $X$ grande cuyo conjunto de sumas parciales $FS(X)$ es monocromático.
  4. Se demuestra que la monocromaticidad impone restricciones estrictas sobre los valores de $\nu_p$ para los elementos de $X$.
  5. Mediante un argumento de conteo y selección (pigeonhole principle y construcción de subconjuntos), se extrae un subconjunto de $X$ donde los elementos tienen valores de orden $p$-ádico únicos y ordenados.
  6. Se construye una suma que, bajo las propiedades de los primos finitos, conduce a una contradicción (generalmente $a=0$ para un entero no nulo $a$).

3. Contribuciones Clave

El artículo presenta dos pruebas distintas que confirman la conjetura de Elsholtz:

Primera Prueba

• Definición de Coloración: Utiliza una coloración que combina la paridad del orden 2-ádico ($\nu_2(n) \pmod 2$), la parte libre de 2 módulo 4 ($\xi_2(n) \pmod 4$) y las partes libres de otros primos módulo $p$.
• Mecanismo de Contradicción:
  • Demuestra que en un conjunto monocromático $X$, dos elementos distintos no pueden compartir el mismo valor de $\nu_p$ para ningún primo $p$.
  • Si dos elementos tuvieran el mismo $\nu_p$, su suma tendría un orden $p$-ádico diferente (incrementado), rompiendo la monocromaticidad.
  • Al tener $N+1$ elementos en $X$ pero solo $N$ primos, se puede seleccionar un elemento "sobrante" cuya suma con otros elementos seleccionados estratégicamente genera una contradicción aritmética.
• Ventaja: Es conceptualmente directa y evita el uso de herramientas de teoría de números complejas, basándose solo en propiedades elementales de la aritmética $p$-ádica.

Segunda Prueba

• Inspiración: Sigue más de cerca el espíritu de la prueba de Alpoge (usando van der Waerden).
• Definición de Coloración: Más simple, basada únicamente en la paridad del orden $p$-ádico para todos los primos: $c(n) = (\nu_p(n) \pmod 2)_{p \in P}$.
• Mecanismo de Contradicción:
  • Utiliza un conjunto $X$ mucho más grande ($M = (N+1)\prod p^4$).
  • Aplica el Principio del Palomar para demostrar que, si hay demasiados elementos con el mismo $\nu_p$, se pueden encontrar sumas que alteran el orden $p$-ádico de manera predecible, rompiendo la monocromaticidad.
  • Se "adelgaza" el conjunto $X$ para obtener un subconjunto $Z$ donde cada elemento tiene un valor único de $\nu_p$ para cada primo.
  • Se llega a la misma contradicción final que en la primera prueba.
• Ventaja: Utiliza menos colores ($2^N$ en lugar de un producto complejo), pero requiere un conjunto inicial mucho mayor.

4. Resultados

• Confirmación de la Conjetura: Se demuestra exitosamente que el Teorema de Folkman es suficiente para probar la infinitud de los primos.
• Independencia de Resultados Profundos: A diferencia de otras pruebas recientes (como las de Gasarch o Granville que usan el Último Teorema de Fermat o teoremas de sumas de cuadrados), estas pruebas no requieren resultados de teoría de números avanzados.
• Simplicidad Combinatoria: La herramienta más avanzada utilizada es el Principio del Palomar (en la segunda prueba) y propiedades básicas de la factorización única.
• Comparación de Complejidad: El autor señala que, aunque Folkman es un teorema más fuerte que Schur, la prueba de Folkman (o de Hindman) puede ser más simple en términos de complejidad lógica que la prueba de van der Waerden si se utiliza el enfoque de filtros ultra (ultrafilters), haciendo que estas nuevas pruebas sean, en cierto sentido, más simples que las de Alpoge y Granville, aunque más complejas que la de Euclides.

5. Significancia

• Avance en la Intersección de Disciplinas: Este trabajo refuerza la conexión entre la teoría de Ramsey y la teoría de números, mostrando que resultados puramente combinatorios sobre la estructura de sumas pueden derivar teoremas fundamentales de la aritmética.
• Economía de Herramientas: Muestra que se puede sacrificar la simplicidad del teorema de Schur (usando Folkman) para ganar la capacidad de evitar la teoría de números profunda. Esto ofrece una nueva perspectiva sobre la "fuerza" necesaria de los teoremas de Ramsey para resolver problemas aritméticos.
• Nuevas Perspectivas Educativas y Teóricas: Proporciona un conjunto de demostraciones alternativas que podrían ser útiles para entender la estructura de los números primos desde una óptica de partición y coloración, enriqueciendo el corpus de demostraciones del teorema de Euclides.

En resumen, el artículo es una contribución elegante que demuestra que la infinitud de los primos es una consecuencia necesaria de la estructura combinatoria de las sumas de conjuntos de números naturales, tal como lo dicta el Teorema de Folkman.