# Teorema de Green-Tao

En teoría de números, el teorema de Green-Tao, demostrado por Ben Green y Terence Tao en 2004, establece que la sucesión de los números primos contiene secuencias de términos en progresión aritmética arbitrariamente largas. En otras palabras, para cada número natural k, existen progresiones aritméticas de primos con k términos. La demostración es una extensión del teorema de Szemerédi. El problema se remonta a las investigaciones de Joseph-Louis Lagrange y de Edward Waring realizadas alrededor de 1770.

## Enunciado

Sea $\pi (N)$ el número de números primos menores o iguales que $N$. Si $A$ es un subconjunto de los números primos tal que
    $\limsup _{N\rightarrow \infty }{\dfrac {|A\cap [1,N]|}{\pi (N)}}>0$,
entonces, para todos los números enteros positivos $k$, el conjunto $A$ contiene infinitas progresiones aritméticas de longitud $k$. En particular, todo el conjunto de números primos contiene progresiones aritméticas arbitrariamente largas.
En su trabajo posterior sobre los números primos gemelos generalizados, Green y Tao establecieron y probaron condicionalmente la fórmula asintótica
    $({\mathfrak {S}}_{k}+o(1)){\frac {N^{2}}{(\log N)^{k}}}$
para el número de k-tuplas de números primos $p_{1}<p_{2}<\dotsb <p_{k}\leq N$ en progresión aritmética. Aquí, ${\mathfrak {S}}_{k}$ es la constante
    ${\mathfrak {S}}_{k}:={\frac {1}{2(k-1)}}\left(\prod _{p\leq k}{\frac {1}{p}}\left({\frac {p}{p-1}}\right)^{\!k-1}\right)\!\left(\prod _{p>k}\left(1-{\frac {k-1}{p}}\right)\!\left({\frac {p}{p-1}}\right)^{\!k-1}\right)\!.$
El resultado pasó a ser incondicional mediante las aportaciones de Green–Tao y de Green-Tao-Ziegler.

## Resumen de la demostración

La prueba de Green y Tao tiene tres componentes principales:
* El teorema de Szemerédi, que afirma que los subconjuntos de los enteros con densidad superior positiva tienen progresiones aritméticas arbitrariamente largas. No se aplica a priori a los números primos porque los números primos tienen densidad cero en los números enteros.
* Un principio de transferencia que extiende el teorema de Szemerédi a subconjuntos de los números enteros que son pseudoaleatorios en un sentido propio. Tal resultado ahora se llama teorema relativo de Szemerédi.
* Un subconjunto pseudoaleatorio de los enteros que contienen los números primos como un subconjunto denso. Para construir este conjunto, Green y Tao utilizaron ideas del trabajo de Goldston, Pintz y Yıldırım sobre la diferencia entre dos números primos consecutivos. Una vez establecida la pseudoaleatoriedad del conjunto, se puede aplicar el principio de transferencia, completando la demostración.
Se han encontrado numerosas simplificaciones al argumento del artículo original.Conlon, Fox y Zhao (2014) proporciona una exposición moderna de la prueba.

## Trabajo numérico

La demostración del teorema de Green-Tao no muestra cómo encontrar las progresiones aritméticas de números primos; simplemente prueba su existencia, independientemente de que por separado se haya realizado un trabajo computacional para encontrar grandes progresiones aritméticas en los números primos.
El artículo de Green-Tao afirma: "En el momento de escribir este artículo, la progresión aritmética de números primos más larga conocida tiene una longitud de 23 y fue encontrada en 2004 por Markus Frind, Paul Underwood y Paul Jobling: 56211383760397 + 44546738095860 · k; k= 0, 1, . . ., 22.
El 18 de enero de 2007, Jarosław Wróblewski encontró el primer caso conocido de 24 números primos en progresión aritmética:
    468.395.662.504.823 + 205.619 · 223.092.870 · n, para n= 0 a 23.
La constante 223.092.870 aquí es el producto de los números primos hasta 23, escrito de forma más compacta como 23# en notación primorial.
El 17 de mayo de 2008, Wróblewski y Raanan Chermoni encontraron el primer caso conocido de 25 números primos en progresión aritmética:
    6.171.054.912.832.631 + 366.384 · 23# · n, para n= 0 a 24.
El 12 de abril de 2010, Benoît Perichon con software de Wróblewski y Geoff Reynolds en un proyecto de PrimeGrid distribuido encontró el primer caso conocido de 26 números primos en progresión aritmética (sucesión A204189 en OEIS):
    43.142.746.595.714.191 + 23.681.770 · 23# · n, para n= 0 a 25.
En septiembre de 2019, Rob Gahan y PrimeGrid encontraron el primer caso conocido de 27 números primos en progresión aritmética (sucesión A327760 en OEIS):
    224.584.605.939.537.911 + 81.292.139 · 23# · n, para n= 0 a 26.

## Extensiones y generalizaciones

Muchas de las extensiones del teorema de Szemerédi también son válidas para los números primos.
Independientemente, Tao y Ziegler y Cook, Magyar y Titichetrakun dedujeron una generalización multidimensional del teorema de Green-Tao. Fox y Zhao también simplificaron la prueba Tao-Ziegler.
En 2006, Tao y Ziegler ampliaron el teorema de Green-Tao para cubrir progresiones polinómicas. Más precisamente, dado cualquier polinomio de valores enteros P$_1$, ..., P$_k$ para una m desconocida, todos con término constante 0, hay infinitos números enteros x, m tal que x + P$_1$(m), ..., x + P$_k$ (m) que son simultáneamente primos. El caso especial cuando los polinomios son m, 2m, ..., km implica el resultado anterior de que existen progresiones aritméticas de números primos de longitud k.
Tao demostró un análogo del teorema de Green-Tao para enteros gaussianos.