En teoría de números , la conjetura de Polignac fue realizada por Alphonse de Polignac en 1849 y afirma: [1]
Aunque la conjetura aún no ha sido probada ni refutada para ningún valor dado de n , en 2013 Yitang Zhang logró un avance importante al demostrar que existen infinitas brechas entre primos de tamaño n para algún valor de n <70.000.000. [3] [4] Más tarde ese año, James Maynard anunció un avance relacionado que demostró que hay infinitas brechas entre primos de algún tamaño menor o igual a 600. [5] Al 14 de abril de 2014, un año después del anuncio de Zhang , según la wiki del proyecto Polymath , n se ha reducido a 246. [6] Además, asumiendo la conjetura de Elliott-Halberstam y su forma generalizada, la wiki del proyecto Polymath afirma que n se ha reducido a 12 y 6, respectivamente. [7]
Para n = 2, es la conjetura de los primos gemelos . Para n = 4, dice que hay infinitos primos primos ( p , p + 4). Para n = 6, dice que hay infinitos números primos sexys ( p , p + 6) sin ningún primo entre p y p + 6.
La conjetura de Dickson generaliza la conjetura de Polignac para cubrir todas las constelaciones primarias.
Sea n par el número de espacios primos de tamaño n debajo de x .
La primera conjetura de Hardy-Littlewood dice que la densidad asintótica es de la forma
donde C n es una función de n y significa que el cociente de dos expresiones tiende a 1 cuando x tiende a infinito. [8]
C 2 es la constante prima gemela
donde el producto se extiende a todos los números primos p ≥ 3.
C n es C 2 multiplicado por un número que depende de los factores primos impares q de n :
Por ejemplo, C 4 = C 2 y C 6 = 2 C 2 . Los primos gemelos tienen la misma densidad supuesta que los primos primos, y la mitad que los primos sexys.
Tenga en cuenta que cada factor primo impar q de n aumenta la densidad conjeturada en comparación con los primos gemelos en un factor de . Sigue un argumento heurístico . Se basa en algunas suposiciones no comprobadas, por lo que la conclusión sigue siendo una conjetura. La probabilidad de que un primo impar aleatorio q divida a a o a + 2 en un par de primos gemelos "potenciales" aleatorios es , ya que q divide uno de los q números de a a a + q − 1. Ahora supongamos que q divide a n y considere un par de primos potenciales ( a , a + n ). q divide a + n si y sólo si q divide a , y la probabilidad de que eso ocurra es . La probabilidad de que ( a , a + n ) esté libre del factor q , dividida por la probabilidad de que ( a , a + 2 ) esté libre de q , luego se divide por . Esto es igual a lo que se transfiere a la densidad prima conjeturada. En el caso de n = 6, el argumento se simplifica a: Si a es un número aleatorio, entonces 3 tiene una probabilidad de 2/3 de dividir a o a + 2, pero sólo una probabilidad de 1/3 de dividir a y a + 6, por lo que Se conjetura que el último par tiene el doble de probabilidades de ser primos.