On pairs of primes with small order reciprocity
Este artículo presenta un algoritmo de cribado para identificar pares de primos con órdenes multiplicativos pequeños módulo el uno del otro —un requisito clave para construir 2-ciclos de curvas amigables de emparejamiento— y proporciona una base de datos que sugiere que, aparte de una familia infinita conocida, tales pares se vuelven cada vez más raros a medida que crecen los tamaños de los primos.
Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo
Imagina que estás intentando construir una bóveda digital súper segura. Para que la cerradura sea inquebrantable, necesitas dos números gigantes y misteriosos (primos) que jueguen un juego de "escondite" muy específico entre sí. En el mundo de la criptografía, estos números son las llaves de un tipo especial de matemáticas llamadas pruebas de conocimiento cero basadas en emparejamientos. Estas pruebas te permiten demostrar que conoces un secreto sin revelarlo realmente, lo cual es perfecto para la votación anónima o las transacciones privadas. Pero para que estas pruebas funcionen con la rapidez suficiente para ser útiles, los dos números primos deben ser "amigables". Necesitan tener una relación específica y pequeña donde uno de los números pueda convertirse en una potencia del otro muy rápidamente, y viceversa. Si son demasiado distantes o complicados, las matemáticas se vuelven demasiado lentas para ser prácticas. Si son demasiado simples, la bóveda podría no ser lo suficientemente segura. La gran pregunta es: ¿existen realmente estos pares de números gigantes, perfectos y amigables en la naturaleza, o son solo un mito matemático?
Este artículo es una enorme búsqueda del tesoro digital para encontrar esos pares específicos de números primos. Los autores, Craig Costello y Gaurish Korpál, se propusieron encontrar pares de primos grandes donde cada uno tenga un "orden pequeño" relativo al otro. En lenguaje sencillo, esto significa que si multiplicas un número primo por sí mismo unas pocas veces, eventualmente obtendrás un número que deja un resto de 1 al ser dividido por el otro primo, y esto sucede con un número de pasos sorprendentemente pequeño. Ellos llaman a esta relación "reciprocidad de orden".
¿Por qué es esto importante? Porque encontrar estos pares es el primer paso para construir un "ciclo de 2" de curvas especiales utilizadas en criptografía. Estos ciclos de 2 podrían revolucionar la forma en que aseguramos los datos digitales. Sin embargo, hay un inconveniente: la única familia conocida de estos pares (llamada la familia MNT) ya es muy conocida pero tiene algunas fallas que la hacen menos que ideal para las necesidades de seguridad modernas. Los autores querían saber si existen otros pares por ahí, especialmente aquellos con "órdenes" ligeramente más grandes (como 12 o 50) que podrían ser más seguros y eficientes.
Para encontrar la respuesta, el equipo construyó un algoritmo informático ingenioso —un tamiz digital— que podía escanear millones de números primos para detectar estas conexiones raras. No solo buscaron números pequeños; buscaron profundamente, revisando hasta el 200 millonesavo número primo. Buscaban pares donde los números de "orden" fueran pequeños (entre 2 y 50), que es el punto ideal para la criptografía práctica.
Los resultados de su búsqueda fueron una mezcla de confirmación emocionante y escasez sorprendente. Encontraron que la famosa familia MNT (con órdenes 4 y 6) es el tipo de par más común que pudieron hallar, incluso entre los números más grandes que revisaron. Sin embargo, para otras combinaciones, los pares son increíblemente raros. De hecho, su base de datos sugiere que a medida que los primos se vuelven más grandes, encontrar estos pares especiales se vuelve cada vez más difícil. Encontraron exactamente un ejemplo de un par con órdenes (12, 12) en toda su masiva búsqueda, y para muchas otras combinaciones, no encontraron absolutamente nada.
El artículo no pretende haber resuelto el misterio de si existen familias infinitas de estos pares. En cambio, sugiere que podrían ser vanishingly rare (extremadamente raros). Los autores plantean varias preguntas abiertas: ¿Es ese único par (12, 12) que encontraron el único existente? ¿Existen otras combinaciones que aparezcan infinitamente a menudo, o todas ellas desaparecen a medida que los números se agrandan? Su trabajo no demuestra que estos pares no existan, pero sugiere fuertemente que, si estás buscándolos, necesitarás un mapa muy bueno y mucha suerte, porque se están escondiendo en los rincones más profundos y concurridos del universo numérico.
¿Ahogado en artículos de tu campo?
Recibe resúmenes diarios de los artículos más novedosos que coincidan con tus palabras clave de investigación — con resúmenes técnicos, en tu idioma.