Certificado de primalidad , la enciclopedia libre
En matemáticas y ciencias de la computación, un certificado de primalidad, prueba de primalidad o certeza de primalidad es una prueba formal y sucinta de que un número es primo. Los certificados de primalidad permiten verificar rápidamente la primalidad de un número sin tener que ejecutar un test de primalidad costoso o poco fiable. "Sucinta" generalmente significa que la prueba debe ser como máximo polinómica, con una cantidad de dígitos no desmesuradamente mayor que número en sí (por ejemplo, si el número tiene b bits, la prueba puede contener aproximadamente b2 bits).
Los certificados de primalidad conducen directamente a demostraciones de que problemas como los tests de primalidad y los complementos de factorización de enteros se encuentran en la categoría NP, la clase de problemas verificables en tiempo polinomial dada una solución. Estos problemas ya se encuentran trivialmente en la categoría co-NP. Esta fue la primera evidencia sólida de que estos problemas no son NP-completos, ya que si lo fueran, implicaría que NP es un subconjunto de co-NP, un resultado que se cree que es falso; de hecho, fue la primera demostración de un problema en NP intersección con co-NP que, en ese momento, no se sabía que estaba en P.
Producir certificados para el problema del complemento, para establecer que un número es compuesto, es sencillo: basta con dar un divisor no trivial. Las pruebas estándar de primalidad probabilística como el test de primalidad Baillie-PSW, el test de primalidad de Fermat y el test de primalidad de Miller-Rabin también producen certificados de composición en el caso de que la entrada sea compuesta, pero no producen certificados para entradas primas.
Certificados Pratt
[editar]El concepto de certificados de primalidad fue introducido históricamente por el certificado Pratt, concebido en 1975 por Vaughan Pratt,[1] quien describió su estructura y demostró que tenía tamaño polinomial y que era verificable en tiempo polinomial. Se basa en el test de Lucas, que es esencialmente la conversión del pequeño teorema de Fermat con una condición adicional para que sea cierto:
- Teorema de Lucas': Supóngase que se tiene un entero a tal que:
- an − 1 ≡ 1 (modificación n),
- para todo factor primo q de n − 1, no se da el caso de que a(n−1)/q ≡ 1 (mod n).
- Entonces n es primo.
Dado tal a (llamado testigo) y la descomposición en factores primos de n−1, es simple verificar rápidamente las condiciones anteriores: solo se necesita hacer un número lineal de exponenciaciones modulares, ya que cada número entero tiene menos factores primos que bits, y cada uno de estos puede hacerse mediante exponenciación binaria en O(log n) multiplicaciones (véase cota superior asintótica). Incluso con la multiplicación de enteros de la escuela primaria, esto solo supone un tiempo proporcional a O((log n)4); usando el algoritmo de multiplicación con el tiempo de ejecución asintótico más conocido, el algoritmo de Schönhage-Strassen, puede reducirse a O((log n)3(log log n)(log log log n)), o usando la notación soft-O Õ((log n)3).
Sin embargo, es posible engañar a un criterio verificador para que acepte un número compuesto dándole una "factorización prima" de n−1 que incluya números compuestos. Por ejemplo, supóngase que se afirma que n=85 es primo, proporcionando a=4 y n−1=6×14 como su factorización prima. Entonces (usando q=6 y q=14):
- 4 es coprimo de 85,
- 485−1 ≡ 1 (módulo 85),
- 4(85−1)/6 ≡ 16 (módulo 85), 4(85−1)/14 ≡ 16 (módulo 85).
Se concluiría falsamente que 85 es primo. No se desea simplemente obligar al verificador a factorizar el número, por lo que una mejor manera de evitar este problema es otorgar certificados de primalidad para cada uno de los factores primos de n−1 también, que son solo instancias más pequeñas del problema original. Entonces, se continúa recursivamente de esta manera hasta llegar a un número primo, como 2. Finalmente, se obtiene un árbol de números primos, cada uno asociado con un testigo a. Por ejemplo, a continuación se incluye un certificado completo de Pratt para el número 229:
- 229 (a=6, 229−1 = 22×3×19),
- 2 (primo conocido),
- 3 (a=2, 3−1 = 2),
- 2 (primo conocido),
- 19 (a=2, 19−1 = 2×32),
- 2 (primo conocido),
- 3 (a=2, 3−1 = 2),
- 2 (primo conocido).
Se puede demostrar que este árbol de prueba contiene como máximo valores distintos de 2 mediante una prueba inductiva simple (basada en el teorema 2 de Pratt). El resultado es válido para 3; en general, tómese p > 3 y que sus hijos en el árbol sean p1, ..., pk. Por la hipótesis inductiva, el árbol con raíz en pi contiene como máximo valores, por lo que todo el árbol contiene como máximo
ya que k ≥ 2, y p1...pk = p− 1. Dado que cada valor tiene como máximo (log n) bits, esto también demuestra que el certificado tiene un tamaño de O((log n)2) bits.
Dado que hay O(log n) valores distintos de 2, y cada uno requiere como máximo una exponenciación para verificar (y las exponenciaciones dominan el tiempo de ejecución), el tiempo total es O((log n)3 (log log n)(log log log n)), o Õ((log n)3), que es bastante factible para números en el rango en el que los teóricos de números computacionales suelen trabajar.
Sin embargo, aunque en teoría es útil y fácil de verificar, generar un certificado de Pratt para n requiere factorizar n−1 y otros números potencialmente grandes. Esto es simple para algunos números especiales como los números de Fermat, pero actualmente es mucho más difícil que una simple prueba de primalidad para números primos grandes de forma general.
Certificados de Atkin-Goldwasser-Kilian-Morain
[editar]Para abordar el problema de la generación eficiente de certificados para números más grandes, en 1986 Shafrira Goldwasser y Joe Kilian describieron un nuevo tipo de certificado basado en la teoría de las curvas elípticas.[2] A su vez, fue utilizado por A. O. L. Atkin y François Morain como base para los certificados Atkin-Goldwasser-Kilian-Morain, que son el tipo de certificados generados y verificados por los sistemas prueba de primalidad de curva elíptica.[3] Así como los certificados de Pratt se basan en el teorema de Lucas, los certificados de Atkin-Goldwasser-Kilian-Morain se basan en el siguiente teorema de Goldwasser y Kilian (lema 2 de "Casi todos los números primos se pueden certificar rápidamente"):
- Teorema: Supóngase que se reciben:
- Un entero positivo n no divisible por 2 o 3;
- Mx, My, A, B en (los enteros mod n) que satisfacen My2 = Mx3 + AMx + B y con 4A3 + 27B2 coprimos a n;
- Un primo .
- Entonces M= (Mx, My) es un punto de no identidad en la curva elíptica y2= x3 + Ax + B. Sea kM M sumado a sí mismo k veces usando la suma de curvas elípticas estándar. Entonces, si qM es el elemento de identidad I, se verifica que n es primo.
Técnicamente, una curva elíptica solo se puede construir sobre un cuerpo, y solo es un cuerpo si n es primo, por lo que parece que se asume el resultado que se está tratando de probar. La dificultad surge en el algoritmo de suma de curvas elípticas, que toma inversas en el campo que pueden no existir en . Sin embargo, se puede demostrar (lema 1 de "Casi todos los números primos se pueden certificar rápidamente") que si simplemente se realizan cálculos como si la curva estuviera bien definida y en ningún momento se intenta invertir un elemento sin inverso, el resultado sigue siendo válido; si aparece un elemento sin inverso, entonces esto significa que n es compuesto.
Para deducir un certificado de este teorema, primero se codifican Mx, My, A, B y q, luego se codifica recursivamente la prueba de primalidad para q < n, continuando hasta llegar a un primo conocido. Este certificado tiene tamaño O((log n)2) y se puede verificar en tiempo O((log n)4). Además, se puede demostrar que el algoritmo que genera estos certificados es el tiempo polinomial esperado para todos menos una pequeña fracción de números primos, y esta fracción disminuye exponencialmente con el tamaño de los números primos. En consecuencia, es adecuado para generar grandes números primos aleatorios certificados, un uso que es importante en las aplicaciones de criptografía, como la generación de claves RSA comprobablemente válidas.
Certificados basados en el teorema de Pocklington
[editar]La generación de primos demostrables basada en variantes del teorema de Pocklington (véase test de Pocklington-Lehmer)[4] permite obtener técnicas eficientes para generar primos (el costo es generalmente menor que la generación probabilística) con el beneficio adicional de certificados de primalidad integrados. Si bien estos pueden parecer primos especiales, debe tenerse en cuenta que cada número primo podría generarse con un algoritmo de generación demostrable basado en el teorema de Pocklington.
Pruebas de primalidad de Pocklington
[editar]Sea donde y son primos distintos, con un entero mayor que cero y un testigo tal que:
|
Entonces P es primo si se cumple una de las siguientes condiciones:
|
Certificado de primalidad de Pocklington
[editar]Un certificado de primalidad de Pocklington consta del primo P, un conjunto de primos que dividen a , cada uno con su propio certificado de primalidad de Pocklington o lo suficientemente pequeño como para ser un primo conocido, y un testigo .
Los bits necesarios para este certificado (y el orden del costo computacional) deben variar desde aproximadamente para la versión (b) hasta para la versión (a).
Ejemplo sencillo
[editar]Sea . Téngase en cuenta que y que , .
- Usando el 'testigo' 2, se cumple la ecuación 1 y la ecuación 2 usando y .
- Para la versión a, el certificado necesita solo .
- Para la versión b, el certificado solo necesita , pero hay un poco más de trabajo por hacer:
- y
- El uso de falla:
- El uso de tiene éxito: y es primo.
Impacto de "PRIMES is in P"
[editar]"PRIMES is in P"[7] fue un gran avance en la informática teórica. Este artículo, publicado por Manindra Agrawal, Nitin Saxena y Neeraj Kayal en agosto de 2002, demuestra que el famoso problema de comprobar la primalidad de un número se puede resolver de forma determinista en tiempo polinomial. Los autores recibieron el Premio Gödel de 2006 y el Premio Fulkerson de 2006 por este trabajo.
Debido a que la prueba de primalidad ahora se puede realizar de manera determinista en tiempo polinomial utilizando el test de primalidad AKS, un número primo en sí mismo podría considerarse un certificado de su propia primalidad. Esta prueba se ejecuta en tiempo Õ((log n)6). En la práctica, este método de verificación es más costoso que la verificación de los certificados Pratt, pero no requiere ningún cálculo para determinar el certificado en sí mismo.
Referencias
[editar]- ↑ Vaughan Pratt. "Every prime has a succinct certificate". SIAM Journal on Computing, vol.4, pp.214–220. 1975. Citations, Full-text.
- ↑ Goldwasser, S. and Kilian, J. "Almost All Primes Can Be Quickly Certified". Proc. 18th STOC. pp. 316–329, 1986. Full text.
- ↑ Atkin, A O.L.; Morain, F. (1993). «Elliptic curves and primality proving». Mathematics of Computation 61 (203): 29-68. JSTOR 2152935. MR 1199989. doi:10.1090/s0025-5718-1993-1199989-x.
- ↑ Pocklington, Henry C. (1914–1916). «The determination of the prime or composite nature of large numbers by Fermat's theorem». Proceedings of the Cambridge Philosophical Society 18: 29-30.
- ↑ Crandall, Richard; Pomerance, Carl. "Prime Numbers: A computational perspective" (2 edición). "Springer-Verlag, 175 Fifth Ave, New York, New York 10010, U.S.A., 2005".
- ↑ Brillhart, John; Lehmer, D. H.; Selfridge, J. L. (April 1975). «New Primality Criteria and Factorizations of 2m ± 1». Mathematics of Computation 29 (130): 620-647. JSTOR 2005583. doi:10.1090/S0025-5718-1975-0384673-1.
- ↑ Agrawal, Manindra; Kayal, Neeraj; Saxena, Nitin (September 2004). «PRIMES is in P». Annals of Mathematics 160 (2): 781-793. JSTOR 3597229. MR 2123939. doi:10.4007/annals.2004.160.781.
Enlaces externos
[editar]- Mathworld: Primality Certificate
- Mathworld: Pratt Certificate
- Mathworld: Atkin-Goldwasser-Kilian-Morain Certificate
- The Prime Glossary: Certificate of Primality
- Václav Chvátal. Lecture notes on Pratt's Primality Proofs. Department of Computer Science. Rutgers University. PDF version at Concordia University.
- Wim van Dam. Proof of Pratt's Theorem (enlace roto disponible en Internet Archive; véase el historial, la primera versión y la última). (Enlace roto: marzo de 2018). (Lecture notes, PDF)