We present four combinatorial proofs based on the bijection principle and the inclusion-exclusion principle to Morgado's formula on the number of non-congruent regular integers modulo $n$, given by the sequence A055653 in OEIS, where an integer $m$ is regular modulo $n$ if the congruence $m^2 x \equiv m \pmod{n}$ has a solution for $x$ in $\mathbb{Z}$. To emphasize the significance of the subject, we relate this sequence and Morgado's formula to a recent multi-prime multi-power generalization of the RSA cryptosystem.
- ID del Artículo: 2304.02471
- Título: On the Number of Regular Integers Modulo n and Its Significance to Cryptography
- Autores: Klaus Dohmen, Mandy Lange-Geisler (Hochschule Mittweida, Alemania)
- Clasificación: math.CO (Matemática Combinatoria), math.GR (Teoría de Grupos), math.NT (Teoría de Números)
- Fecha de Publicación: 9 de octubre de 2025 (versión arXiv)
- Enlace del Artículo: https://arxiv.org/abs/2304.02471v6
Este artículo proporciona cuatro pruebas combinatorias de la fórmula de Morgado sobre el número de enteros regulares módulo n, basándose en el principio de biyección y el principio de inclusión-exclusión. La fórmula corresponde a la secuencia A055653 en OEIS, donde un entero m se denomina regular módulo n si y solo si la ecuación de congruencia m2x≡m(modn) tiene solución en el anillo de enteros Z. Para enfatizar la importancia de esta investigación, los autores vinculan esta secuencia y la fórmula de Morgado con una generalización recientemente propuesta del sistema criptográfico RSA con múltiples primos y potencias múltiples.
La investigación aborda el problema central de calcular el número de enteros regulares módulo n y explorar su significancia en aplicaciones criptográficas.
- Significancia Teórica: El concepto de enteros regulares fue introducido por primera vez por Morgado en 1972 y constituye un objeto combinatorio importante en la teoría de números. Su fórmula de conteo involucra factores unitarios y la función de Euler, conceptos fundamentales de la teoría de números.
- Aplicación Práctica: En la generalización del sistema criptográfico RSA propuesta por los autores, los enteros regulares constituyen el espacio de mensajes que se descifran correctamente, por lo que su número se relaciona directamente con la probabilidad de corrección del sistema criptográfico.
Las pruebas anteriores de la fórmula de Morgado se basaban principalmente en la propiedad multiplicativa de la función ϱ(n), careciendo de una explicación combinatoria intuitiva. Este artículo proporciona una comprensión más profunda mediante métodos puramente combinatorios.
La motivación de los autores surge de necesidades prácticas encontradas en su generalización de RSA con múltiples primos y potencias múltiples, requiriendo estimar la probabilidad de descifrado correcto para mensajes arbitrarios.
- Cuatro Pruebas Combinatorias: Basándose en el principio de biyección y el principio de inclusión-exclusión, se proporcionan cuatro pruebas combinatorias diferentes de la fórmula de Morgado desde distintos ángulos.
- Esquema de Codificación Establecido: La cuarta prueba proporciona una codificación explícita de enteros regulares, que puede ser valiosa para investigaciones futuras de la secuencia A055653.
- Aplicaciones Criptográficas: Se vincula la teoría de enteros regulares con la generalización del sistema criptográfico RSA, revelando la significancia práctica de este concepto de teoría de números.
- Perspectivas Teóricas: Los métodos combinatorios conducen naturalmente a la propiedad multiplicativa de la función ϱ(n).
Entrada: Entero positivo nSalida: Número de enteros regulares módulo n, ϱ(n)Restricciones: Un entero m es regular módulo n si y solo si existe x∈Z tal que m2x≡m(modn)
Definición: Un entero m se denomina regular módulo n si la ecuación de congruencia m2x≡m(modn) tiene solución entera.
Fórmula de Morgado (Teorema 1):
ϱ(n)=∑d∥nφ(d)
donde d∥n denota que d es un factor unitario de n (es decir, d∣n y gcd(d,n/d)=1).
Propiedades Clave (Proposición 2): Para cualquier n∈N y m∈Z, las siguientes condiciones son equivalentes:
- (a) m es regular módulo n
- (b) gcd(m2,n)=gcd(m,n)
- (c) gcd(m,n)∥n
Se define una relación de equivalencia en Znreg como m1∼m2⇔gcd(m1,n)=gcd(m2,n), estableciendo una biyección entre las clases de equivalencia y Zn/d∗.
Se construye la aplicación fn:Znreg→{(d,d′)∣d∥n,d′∈Zd∗}:
fn(m):=(gcd(m,n)n,mmodgcd(m,n)n)
La aplicación inversa es:
fn−1(d,d′)=dn(((n/dmodd)−1d′)modd)
Se corresponde cada m∈Znreg con la fracción irreducible m/n, probando que los denominadores de estas fracciones irreducibles son precisamente todos los factores unitarios de n.
Sea P(n) el conjunto de factores primos de n. Para cada primo p∈P(n) se define:
Ap={m∈Zn∣0<mp<np}
donde mp denota la multiplicidad de p en la factorización prima de m, aplicándose luego el principio de inclusión-exclusión.
- Perspectiva Combinatoria: A diferencia de las pruebas anteriores basadas en multiplicatividad, este artículo proporciona una explicación combinatoria intuitiva.
- Construcción Biyectiva: La segunda prueba proporciona un algoritmo explícito de codificación y decodificación de enteros regulares.
- Análisis Multiangular: Las cuatro pruebas revelan la estructura esencial de los enteros regulares desde diferentes ángulos.
- Conexión Criptográfica: Se vincula por primera vez la teoría de enteros regulares con aplicaciones criptográficas modernas.
El artículo verifica los resultados teóricos mediante ejemplos concretos:
Ejemplo: Caso n=20
- Factores unitarios: 1,4,5,20
- φ(1)=1,φ(4)=2,φ(5)=4,φ(20)=8
- Valor predicho: ϱ(20)=1+2+4+8=15
- Enteros regulares reales: {0,1,3,4,5,7,8,9,11,12,13,15,16,17,19}
- Verificación: ∣Z20reg∣=15 ✓
El artículo presenta en detalle todas las correspondencias de la aplicación f20, verificando la corrección de la biyección.
Las cuatro pruebas establecen exitosamente la corrección de la fórmula de Morgado, proporcionando cada método perspectivas combinatorias únicas.
En la generalización de RSA con múltiples primos y potencias múltiples:
- Probabilidad de descifrado correcto: nϱ(n)=n1∑d∥nφ(d)
- Estimación de cota inferior: Para n=p1e1⋯prer (donde pi son primos de k bits), se tiene nϱ(n)≥1−2k−1r
- Significancia Práctica: Cuando k=1024, casi todos los mensajes se descifran correctamente.
- Morgado (1972): Introduce por primera vez el concepto de enteros regulares y proporciona la fórmula de conteo.
- Alkam & Osba (2008): Investigan más a fondo las propiedades de los enteros regulares.
- Apostol & Petrescu (2013): Estudian propiedades extremales de funciones relacionadas.
- Tóth (2008): Proporcionan resultados asintóticos y análisis de funciones relacionadas.
En comparación con trabajos existentes, este artículo proporciona por primera vez métodos de prueba puramente combinatorios y establece conexiones importantes con la criptografía.
- La fórmula de Morgado tiene interpretaciones combinatorias ricas; cada prueba revela estructuras en diferentes niveles.
- Los enteros regulares juegan un papel clave en la generalización del sistema criptográfico RSA.
- Para parámetros prácticos, la probabilidad de descifrado correcto se aproxima a 1.
- Las aplicaciones criptográficas se limitan a la generalización específica de RSA propuesta.
- El análisis asintótico requiere investigación adicional.
- El análisis de complejidad computacional no es suficientemente profundo.
- Desarrollar límites de probabilidad más precisos.
- Investigar propiedades asintóticas de la secuencia A055653.
- Explorar otras aplicaciones criptográficas.
- Innovación Teórica: Las cuatro pruebas combinatorias tienen características distintivas, enriqueciendo la comprensión de los enteros regulares.
- Rigor Metodológico: El proceso de prueba es riguroso y la lógica es clara.
- Valor Aplicado: La conexión con la criptografía aumenta la significancia práctica de la investigación teórica.
- Claridad de Expresión: La estructura del artículo es razonable y los ejemplos son abundantes.
- Limitaciones de Aplicación: Las aplicaciones criptográficas se limitan a la generalización de RSA propuesta por los autores.
- Análisis Computacional: Falta análisis profundo de la complejidad algorítmica.
- Verificación Experimental: Solo hay verificación numérica a pequeña escala; faltan experimentos computacionales a gran escala.
- Valor Académico: Proporciona nuevas perspectivas de investigación para la matemática combinatoria de la teoría de números.
- Potencial Práctico: Tiene valor de aplicación potencial en criptografía.
- Reproducibilidad: Las pruebas teóricas son completas y los resultados son fáciles de verificar.
- Investigación teórica en teoría de números y matemática combinatoria.
- Escenarios en criptografía que involucren operaciones modulares.
- Aplicaciones que requieran calcular el tamaño de conjuntos especiales de enteros.
El artículo cita 8 referencias relacionadas, cubriendo el desarrollo principal de la teoría de enteros regulares y los fundamentos matemáticos relacionados, proporcionando a los lectores conocimientos de antecedentes completos.
Evaluación General: Este es un artículo matemático de alta calidad que profundiza la comprensión de un problema clásico de teoría de números mediante múltiples métodos combinatorios, estableciendo exitosamente conexiones con la criptografía moderna. Las contribuciones teóricas del artículo son sólidas y sus perspectivas de aplicación son amplias, constituyendo un trabajo valioso en el campo de la matemática combinatoria de la teoría de números.