Número primo gemelo

No se sabe si existen infinitos números primos gemelos, aunque se cree ampliamente que sí. Este es el contenido de la conjetura de los números primos gemelos. Una forma fuerte de la conjetura de los números primos gemelos, la conjetura de Hardy-Littlewood, postula una ley de distribución de los números primos gemelos similar al teorema de los números primos:

${\displaystyle \pi _{2}(x)\sim 2C_{2}\int _{2}^{x}{dt \over (\ln t)^{2}}}$

donde C₂ es la constante de los números primos gemelos, definida mediante el siguiente producto de Euler:

${\displaystyle \prod _{\textstyle {p\;{\rm {primo}} \atop p\geq 3}}\left(1-{\frac {1}{(p-1)^{2}}}\right)=0,66016118\ldots }$

Los números primos gemelos más grandes conocidos son el par 2996863034895 · 2^1290000 - 1 y 2996863034895 · 2^1290000 + 1, que tienen 388342 dígitos y fueron descubiertos en septiembre de 2016[8]

Hay 808.675.888.577.436 pares de primos gemelos menores que 10¹⁸.[9]

En 1915, Viggo Brun demostró que la suma de los recíprocos de los primos gemelos era convergente.[10] Este famoso resultado, conocido como el teorema de Brun, fue el primer uso de la criba de Brun y ayudó a iniciar el desarrollo de la teoría de cribas moderna. La versión revisada del argumento de Brun se puede usar para demostrar que el número de primos gemelos menores que N no excede

${\displaystyle {\frac {CN}{(\log N)^{2}}}}$

para alguna constante absoluta C > 0.[11] De hecho, está acotada superiormente por

${\displaystyle {\frac {C'N}{(\log N)^{2}}}\left(1+O\left({\frac {\log \log N}{\log N}}\right)\right),}$

donde ${\displaystyle C'=8C_{2}}$, donde C₂ es la constante prima gemela, dada en la primera conjetura de Hardy-Littlewood.[12]

En 1940, Paul Erdős demostró que existe una constante c < 1 e infinitamente numerosos primos p tales que (p′ − p) < (c ln p) donde p′ denota el siguiente primo después de p. Lo que esto significa es que se pueden encontrar infinitos intervalos que contengan dos números primos (p,p′) siempre y cuando se permita que estos intervalos crezcan lentamente en tamaño a medida que se avanza hacia números primos cada vez más grandes. Aquí, "crecer lentamente" significa que la longitud de estos intervalos puede crecer logarítmicamente. Este resultado fue mejorando sucesivamente, y en 1986 Helmut Maier demostró que existe una constante c < 0.25. En 2004 Daniel Goldston y Cem Yıldırım demostraron que la constante podría mejorarse aún más a c = 0.085786… En 2005, Goldston, János Pintz y Yıldırım establecieron que c se puede elegir para que sea arbitrariamente pequeño,[13][14], es decir,

${\displaystyle \liminf _{n\to \infty }{\frac {p_{n+1}-p_{n}}{\log p_{n}}}=0.}$

Por otro lado, este resultado no descarta que no haya infinitos intervalos que contengan dos números primos si solo se permite que los intervalos crezcan en tamaño como, por ejemplo, c ln ln p.

Al asumir la conjetura de Elliott–Halberstam o una versión un poco más débil, pudieron demostrar que hay infinitos n tales que al menos dos de n, n + 2, n + 6, n + 8, n + 12, n + 18, o n + 20 ​​son primos. Bajo una hipótesis más fuerte demostraron que para un número infinito de n, al menos dos de los n, n + 2, n + 4 , y n + 6 son primos.

El resultado de Yitang Zhang,

${\displaystyle \liminf _{n\to \infty }(p_{n+1}-p_{n})<N\;{\text{ con }}\;N=7\times 10^{7},}$

es una mejora importante en el resultado de Goldston-Graham-Pintz-Yıldırım. La optimización del Polymath Project del límite de Zhang y el trabajo de Maynard han reducido el límite: el límite inferior es como máximo 246.[15][16]

La cuestión de si existen infinitos números primos gemelos ha sido una de las grandes preguntas abiertas en teoría de números durante muchos años. Este es el contenido de la conjetura de los primos gemelos, que establece que hay infinitos primos p tales que p + 2 también es primo. En 1849, de Polignac hizo la conjetura más general de que para cada número natural k, hay infinitos números primos p tales que p + 2k también es primo.[17] El caso k = 1 de la conjetura de Polignac es la conjetura de los primos gemelos.

Una forma más fuerte de la conjetura de los primos gemelos, la conjetura de Hardy-Littlewood (véase más abajo), postula una ley de distribución para los primos gemelos similar a la del teorema de los números primos.

El 17 de abril de 2013, Yitang Zhang anunció una prueba de que para algún número entero N menor que 70 millones, hay infinitos pares de números primos que difieren en N.[18] El artículo de Zhang fue aceptado por Annals of Mathematics a principios de mayo de 2013.[19] Terence Tao posteriormente propuso un esfuerzo colaborativo en el Polymath Project para optimizar el límite de Zhang.[20] A partir del 14 de abril de 2014, un año después del anuncio de Zhang, el límite se redujo a 246.[21] Estos límites mejorados se descubrieron utilizando un enfoque diferente que era más simple que el de Zhang y que James Maynard y Terence Tao descubrieron de forma independiente. Este segundo enfoque también proporcionó límites para la f(m) más pequeña necesaria para garantizar que una cantidad infinita de intervalos de ancho f(m) contengan al menos m primos. Además (consúltese también la siguiente sección), asumiendo la conjetura de Elliott–Halberstam y su forma generalizada, el wiki del proyecto Polymath establece que el límite es 12 y 6, respectivamente.[21]

Un fortalecimiento de la conjetura de Goldbach, si se prueba, también probaría que hay un número infinito de primos gemelos, al igual que la existencia del cero de Siegel.

La conjetura de Hardy-Littlewood (llamada así por Godfrey Harold Hardy y John Littlewood) es una generalización de la conjetura de los primos gemelos. Se ocupa de la distribución de k-tuplas de números primos, incluidos los primos gemelos, en analogía con el teorema de los números primos. Sea π₂(x), que denota el número de primos p ≤ x tales que p + 2 también es primo. Defínase la constante prima gemela C₂ como[22]

${\displaystyle C_{2}=\prod _{\textstyle {p\;{\rm {primo}} \atop p\geq 3}}\left(1-{\frac {1}{(p-1)^{2}}}\right)\approx 0.660161815846869573927812110014\dots }$

(aquí el producto se extiende sobre todos los números primos p ≥ 3). Entonces, un caso especial de la primera conjetura de Hardy-Littlewood es que

${\displaystyle \pi _{2}(x)\sim 2C_{2}{\frac {x}{(\ln x)^{2}}}\sim 2C_{2}\int _{2}^{x}{dt \over (\ln t)^{2}}}$

en el sentido de que el cociente de las dos expresiones tiende a 1 cuando x tiende a infinito.[23] (El segundo ~ no es parte de la conjetura y está probado por métodos de integración.)

La conjetura puede justificarse (pero no probarse) suponiendo que (1 / ln t) describe la función de densidad de probabilidad de la distribución prima. Esta suposición, sugerida por el teorema de los números primos, implica la conjetura de los primos gemelos, como se muestra en la fórmula para π₂(x) anterior.

La primera conjetura completamente general de Hardy-Littlewood sobre K-tuplas primas (que no se proporciona aquí) implica que la segunda conjetura de Hardy-Littlewood es falsa.

Esta conjetura ha sido extendida por la conjetura de Dickson.

La conjetura de Polignac de 1849 establece que por cada entero par positivo k, hay infinitos pares primos consecutivos p y p′ tales que p′ − p = k (es decir, hay infinitas diferencias entre primos consecutivos de tamaño k). El caso k = 2 es la conjetura de los primos gemelos. La conjetura aún no se ha probado ni refutado para ningún valor específico de k, pero el resultado de Zhang prueba que es cierta para al menos un valor (actualmente desconocido) de k. De hecho, si tal k no existiera, entonces para cualquier número natural par positivo N hay como máximo un número finito de n tales que p_n+1 − p_n = m para todo m < N y así para n suficientemente grande se tiene que p_n+1 − p_n > N, lo que contradiría el resultado de Zhang.[17]