Conjetura de Polignac

En teoría de números, Alphonse de Polignac formuló la denominada conjetura de Polignac en 1849, que se expresa de la forma siguiente:^[1]​

Para cualquier número par n positivo, hay infinitas diferencias entre números primos consecutivos de tamaño n. En otras palabras:^[2]​ hay infinitos casos de dos números primos consecutivos cuya diferencia es n.

Avances posteriores

Aunque la conjetura aún no se ha probado ni refutado para ningún valor dado de n, en 2013 Yitang Zhang hizo un avance importante al demostrar que hay infinitas diferencias entre dos números primos consecutivos 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, mediante el que demostró que hay una cantidad infinita de espacios entre números primos de algún tamaño inferior o igual a 600.^[5]​ A partir del 14 de abril de 2014, un año después del anuncio de Zhang, según el Polymath project wiki, n se ha reducido a 246.^[6]​ Además, asumiendo la conjetura de Elliott–Halberstam y su forma generalizada, el proyecto Polymath establece que n se ha reducido a 12 y 6, respectivamente.^[7]​

Para n = 2, la conjetura hace referencia a los números primos gemelos. Para n = 4, dice que hay infinitos números primos primos (p, p + 4). Para n = 6, dice que hay infinitos números primos sexis (p, p + 6) sin números primos entre p y p + 6.

La conjetura de Dickson generaliza la conjetura de Polignac para cubrir todas las constelaciones principales.

Densidad conjeturada

Sea ${\displaystyle \pi _{n}(x)}$ para n par el número de huecos primos de tamaño n por debajo de x.

Para n=2, los números primos gemelos, se tiene que su densidad asintótica es de la forma

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

donde C_n es una función de n, y ${\displaystyle \sim }$ significa que el cociente de dos expresiones que tiende a 1 cuando x tiende a infinito.^[8]​

C₂ es la constante prima gemela

${\displaystyle C_{2}=\prod _{p\geq 3}{\frac {p(p-2)}{(p-1)^{2}}}\approx 0.660161815846869573927812110014\dots }$

donde el producto se extiende sobre todos los números primos p ≥ 3.

C_n es C₂ multiplicado por un número que depende de los factores primos impares q de n:

${\displaystyle C_{n}=C_{2}\prod _{q|n}{\frac {q-1}{q-2}}.}$

Por ejemplo, C₄ = C₂ y C₆ = 2C₂. Los primos gemelos tienen la misma densidad conjeturada que los primos primos y la mitad que los primos sexis.

Téngase en cuenta que cada factor primo impar q de n aumenta la densidad conjeturada en comparación con los primos gemelos por un factor de ${\displaystyle {\tfrac {q-1}{q-2}}}$.

A continuación se introduce un argumento heurístico. Se basa en algunas suposiciones no probadas, 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 aleatorios "potenciales" es ${\displaystyle {\tfrac {2}{q}}}$, ya que q divide a uno de los q números de a a a + q − 1. Ahora supóngase que q divide a n y considere un par primo potencial (a, a + n). q divide a a + n si y solo si q divide a a, y la probabilidad de que eso ocurra es ${\displaystyle {\tfrac {1}{q}}}$. 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 convierte en ${\displaystyle {\tfrac {q-1}{q}}}$ dividido por ${\displaystyle {\tfrac {q-2}{q}}}$. Esto es igual a ${\displaystyle {\tfrac {q-1}{q-2}}}$ 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 2/3 de probabilidad de dividir a o a + 2, pero solo 1/3 de probabilidad de dividir a y a + 6, por lo que se conjetura que el último par tiene el doble de probabilidades de ser primos.

Referencias

1. de Polignac, A. (1849). «Recherches nouvelles sur les nombres premiers» [New research on prime numbers]. Comptes rendus (en francés) 29: 397-401.  From p. 400: "1^er Théorème. Tout nombre pair est égal à la différence de deux nombres premiers consécutifs d'une infinité de manières … " (1st Theorem. Every even number is equal to the difference of two consecutive prime numbers in an infinite number of ways … )
2. Tattersall, J.J. (2005), Elementary number theory in nine chapters, Cambridge University Press, ISBN 978-0-521-85014-8 ., p. 112
3. Zhang, Yitang (2014). «Bounded gaps between primes». Annals of Mathematics 179 (3): 1121-1174. MR 3171761. Zbl 1290.11128. doi:10.4007/annals.2014.179.3.7. 
4. Klarreich, Erica (19 de mayo de 2013). «Unheralded Mathematician Bridges the Prime Gap». Simons Science News. Consultado el 21 de mayo de 2013. 
5. Augereau, Benjamin (15 de enero de 2014). «An old mathematical puzzle soon to be unraveled?». Phys.org. Consultado el 10 de febrero de 2014. 
6. «Bounded gaps between primes». Polymath. Consultado el 27 de marzo de 2014. 
7. «Bounded gaps between primes». Polymath. Consultado el 21 de febrero de 2014. 
8. Bateman, Paul T.; Diamond, Harold G. (2004), Analytic Number Theory, World Scientific, p. 313, ISBN 981-256-080-7, Zbl 1074.11001 ..

Bibliografía

• Alphonse de Polignac, Recherches nouvelles sur les nombres premiers. Comptes Rendus des Séances de l'Académie des Sciences (1849)

Enlaces externos

• Weisstein, Eric W. «de Polignac's Conjecture». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 
• Weisstein, Eric W. «k-Tuple Conjecture». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. 

• Datos: Q1402534