Conjeturas de Mersenne

En matemáticas, las conjeturas de Mersenne son un conjunto de enunciados que se refieren a la caracterización de los números primos de una forma denominada números primos de Mersenne (aquellos que son una potencia de dos menos uno).

Conjetura original de Mersenne

La proposición original, llamada conjetura de Mersenne, fue formulada por Marin Mersenne en su Cogitata Physico-Mathematica de 1644​ de que los números de la forma $2^{n}-1$ eran primos para n = 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 y 257, y eran compuestos para todos los demás números enteros positivos n ≤ 257. Debido al tamaño de estos números, Mersenne no pudo probarlos todos, ni tampoco otros matemáticos del siglo XVII. Finalmente se determinó, después de tres siglos y la disponibilidad de nuevas técnicas como el test de Lucas-Lehmer, que la conjetura de Mersenne incluía cinco errores, a saber, dos de sus números son compuestos (los correspondientes a los primos n = 67, 257) y otros tres primos en contra de la conjetura (los correspondientes a los primos n = 61, 89, 107). La lista correcta es: n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107 y 127.

Si bien la conjetura original de Mersenne es falsa, puede haber dado lugar a la Nueva conjetura de Mersenne.

Nueva conjetura de Mersenne

Estado de la nueva conjetura de Mersenne
para los 100 primeros números primos

2	3	5	7	11	13	17	19	23	29
31	37	41	43	47	53	59	61	67	71
73	79	83	89	97	101	103	107	109	113
127	131	137	139	149	151	157	163	167	173
179	181	191	193	197	199	211	223	227	229
233	239	241	251	257	263	269	271	277	281
283	293	307	311	313	317	331	337	347	349
353	359	367	373	379	383	389	397	401	409
419	421	431	433	439	443	449	457	461	463
467	479	487	491	499	503	509	521	523	541
Clave:
Rojo: p es de la forma 2n±1 o 4n±3					Fondo cian: 2p-1 es primo
Cursiva: (2p+1)/3 es primo					Negrita: p satisface al menos una condición

La nueva conjetura de Mersenne o conjetura de Bateman, Selfridge y Wagstaff (Bateman et al. 1989) establece que para cualquier número natural impar p, si se cumplen dos de las siguientes condiciones , entonces también lo hace el tercero:

1. p = 2^k ± 1 o p = 4^k ± 3 para algún número natural k (sucesión A122834 en OEIS)
2. 2^p − 1 es primo (un número primo de Mersenne) (sucesión A000043 en OEIS)
3. (2^p + 1) / 3 es primo (un número primo de Wagstaff) (sucesión A000978 en OEIS)

Si p es un número compuesto impar, entonces 2^p − 1 y (2^p + 1)/3 son ambos compuestos. Por lo tanto, solo es necesario probar números primos para verificar la verdad de la conjetura.

Actualmente, los números conocidos para los que se cumplen las tres condiciones son: 3, 5, 7, 13, 17, 19, 31, 61, 127 (sucesión A107360 en OEIS). También es una conjetura que ningún número mayor que 127 satisface las tres condiciones. A partir de febrero de 2020, se conocen todos los números primos de Mersenne hasta 2^43112609−1, y para ninguno de ellos se cumple la tercera condición, excepto para los que se acaban de mencionar.​

Los números primos que cumplen al menos una condición son:

2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 43, 61, 67, 79, 89, 101, 107, 127, 167, 191, 199, 257, 313, 347, 521 , 607, 701, 1021, 1279, 1709, 2203, 2281, 2617, 3217, 3539, 4093, 4099, 4253, 4423, 5807, 8191, 9689, 9941, ... (sucesión A120334 en OEIS)

Téngase en cuenta que los dos primos para los que la conjetura de Mersenne original es falsa (67 y 257) satisfacen la primera condición de la nueva conjetura (67=2⁶+3, 257=2⁸+1), pero no las otras dos. 89 y 107, que Mersenne pasó por alto, satisfacen la segunda condición pero no las otras dos. Mersenne pudo haber pensado que 2^p − 1 es primo solo si p = 2^k ± 1 o p = 4^k ± 3 para algún número natural k, pero si hubiera pensado que era "bicondicional" habría incluido el 61.

La nueva conjetura de Mersenne puede considerarse como un intento de salvar la conjetura de Mersenne de siglos de antigüedad, que es falsa. Sin embargo, según Robert D. Silverman,​ John Selfridge estuvo de acuerdo en que la nueva conjetura de Mersenne es "obviamente cierta", ya que fue elegida para ajustarse a los datos conocidos, y contraejemplos más allá de esos casos son extremadamente improbables. Puede considerarse más como una observación curiosa que como una pregunta abierta que necesita ser demostrada.

Renaud Lifchitz ha demostrado que la nueva conjetura de Mersenne es cierta para todos los números enteros menores o iguales a 32582656​ al probar sistemáticamente todos los números primos para los que ya se sabe que se cumple una de las condiciones.La página web Prime Numbers​ documenta la verificación de resultados hasta este número. Otra página de estado actualmente más actualizada es The New Mersenne Prime conjecture.​

Conjetura de Lenstra-Pomerance-Wagstaff

Lenstra, Pomerance y Wagstaff han conjeturado que hay un número infinito de primos de Mersenne y, más precisamente, que el número de primos de Mersenne menores que x se aproxima a asintóticamente a

$e^{\gamma }\cdot \log _{2}\log _{2}(x),$​

donde γ es la constante de Euler-Mascheroni.

En otras palabras, el número de primos de Mersenne con exponente p menor que y es asintóticamente

$e^{\gamma }\cdot \log _{2}(y).$​

Esto significa que, en promedio, debería haber alrededor de $e^{\gamma }\cdot \log _{2}(10)$ ≈ 5.92 primos p de un número dado de dígitos en el sistema decimal de modo que $M_{p}$ sea primo. La conjetura es bastante precisa para los primeros 40 números primos de Mersenne, pero entre 2^20.000.000 y 2^85.000.000 aparecen al menos 12,​ en lugar del número esperado que es de alrededor de 3,7.

Más generalmente, el número de primos p ≤ y tales que ${\frac {a^{p}-b^{p}}{a-b}}$ es primo (donde a, b son números enteros coprimos, a > 1, −' 'a' < b < a, a y b no son ambas potencias r-ésimas perfectas para cualquier número natural r > 1, y −4ab no es un cuarta potencia perfecta) es asintóticamente

$(e^{\gamma }+m\cdot \log _{e}(2))\cdot \log _{a}(y).$

donde m es el entero no negativo más grande tal que a y −b son potencias 2^m-ésimas perfectas. El caso de los primos de Mersenne es un caso de (a, b)= (2, 1).

Véase también

• Conjetura de Gillies sobre la distribución de números de factores primos de los números de Mersenne
• Test de Lucas-Lehmer
• Test de Lucas
• Número doble de Mersenne
• Leyes de Mersenne

Bibliografía

• Bateman, P. T.; Selfridge, J. L.; Wagstaff Jr., Samuel S. (1989). «The new Mersenne conjecture». American Mathematical Monthly (Mathematical Association of America) 96 (2): 125-128. JSTOR 2323195. MR 0992073. doi:10.2307/2323195. 
• Dickson, L. E. (1919). History of the Theory of Numbers. Carnegie Institute of Washington. p. 31. OL 6616242M.  Reprinted by Chelsea Publishing, New York, 1971, ISBN 0-8284-0086-5.

Enlaces externos

• The Prime Glossary. New Mersenne prime conjecture.

• Datos: Q2739186