Logarithmic Density of Rank $\geq 1$ and Rank $\geq 2$ Genus-2 Jacobians and Applications to Hyperelliptic Curve Cryptography

Resumen Técnico: Densidad Logarítmica de Jacobianos de Género 2 con Rango $\ge 1$ y Rango $\ge 2$ y Aplicaciones a la Criptografía de Curvas Hiperelípticas

Planteamiento del Problema
El artículo aborda la distribución cuantitativa de los rangos de Mordell–Weil para jacobianos de curvas de género 2 definidas sobre $\mathbb{Q}$. Si bien el teorema de Mordell–Weil garantiza que el grupo de puntos racionales en un jacobiano se descompone en un subgrupo de torsión finito y un grupo abeliano libre de rango $r$, comprender la frecuencia de curvas con $r \ge 1$ o $r \ge 2$ dentro de familias ordenadas por tamaño aritmético sigue siendo un desafío central en la geometría aritmética. Específicamente, los autores investigan estas distribuciones para curvas hiperelípticas ordenadas por la altura ingenua de sus modelos integrales de Weierstrass. Un objetivo secundario es analizar la distribución del rango dentro de familias de giros (twists) cuadráticos y bicuadráticos, particularmente para curvas con jacobianos divididos (split Jacobians), para evaluar su utilidad en el contexto del algoritmo cuántico de Regev para el problema del logaritmo discreto (DLP).

Metodología
Los autores emplean una combinación de técnicas geométricas, analíticas y computacionales:

1. Marco Geométrico y Secciones Universales: El estudio utiliza el espacio de parámetros de los modelos integrales de Weierstrass $y^2 + h(x)y = f(x)$. Los autores definen una sección universal $\alpha_{\text{univ}} = [\infty_+ - \infty_-]$ en el jacobiano universal, que corresponde a la diferencia de los dos puntos en el infinito. Demuestran que esta sección no es de torsión en la fibra genérica.
2. Loci de Torsión y Límites de Altura: Al establecer que el locus de parámetros donde $\alpha_{\text{univ}}$ se especializa en un punto de torsión es un subconjunto cerrado de Zariski de dimensión inferior, y al acotar el tamaño de los subgrupos de torsión en términos de la altura de la curva (utilizando la altura de Faltings y comparaciones de altura $\theta$), los autores muestran que la proporción de curvas donde esta sección es de torsión tiende a cero cuando el límite de altura $X \to \infty$.
3. Especialización de Néron: Para establecer el rango $\ge 2$, los autores construyen subfamilias explícitas de dos parámetros donde dos secciones independientes (una siendo $\alpha_{\text{univ}}$ y otra construida mediante una especialización específica) son genéricamente independientes. Aplican el teorema de especialización de Néron para mostrar que para casi todas las especializaciones, el rango es al menos 2.
4. Construcciones de Jacobianos Divididos: Para curvas con jacobianos divididos (isógenos a productos de curvas elípticas), los autores utilizan construcciones de pegado (siguiendo a Gajović–Park y [33]) para relacionar el rango del jacobiano de género 2 con los rangos de las curvas elípticas constituyentes. Analizan familias de giros cuadráticos y bicuadráticos de estas curvas divididas.
5. Verificación Computacional: Los resultados teóricos están respaldados por búsquedas explícitas en bases de datos (LMFDB) y scripts personalizados (disponibles en un repositorio de GitHub) para verificar la independencia de las secciones y calcular los rangos para familias específicas, incluyendo curvas CM y curvas de jacobiano dividido utilizadas en criptografía.

Contribuciones Clave y Resultados

• Densidad Logarítmica para Rango $\ge 1$: Los autores demuestran que el subconjunto de curvas de género 2 con dos puntos racionales en el infinito (asegurando la existencia de la sección $\alpha_{\text{univ}}$) tiene una densidad logarítmica de al menos $13/14$ con respecto a la familia de modelos integrales ordenados por altura. Dado que la sección no es de torsión para casi todos los modelos tales, esto arroja un límite inferior incondicional de densidad logarítmica de $13/14$ para curvas con rango de jacobiano $r \ge 1$.
• Densidad Logarítmica para Rango $\ge 2$:
  • Al construir una subfamilia explícita con dos secciones racionales independientes, los autores demuestran una densidad logarítmica incondicional de al menos $5/7$ para curvas con rango $r \ge 2$.
  • También identifican una subfamilia de curvas con jacobianos divididos y rango $r \ge 2$, obteniendo una densidad logarítmica de al menos $2/21$.
• Familias de Giros (Twists):
  • Para curvas de género 2 con jacobianos divididos isógenos a $E_1 \times E_2$ (donde $E_1, E_2$ tienen torsión 2 racional completa), asumiendo la conjetura de Birch–Swinnerton-Dyer (BSD), los autores muestran que la familia de giros cuadráticos dobles contiene una proporción positiva ($1/4$) de curvas con rango $\ge 2$.
  • Para curvas con jacobianos isógenos a $E^2$ donde $E$ admite una 3-isogenia racional, prueban incondicionalmente que la familia de giros cuadráticos contiene una proporción positiva de curvas con rango $r \ge 2$.
• Implicaciones Criptográficas: El artículo analiza el "Problema de la Curva de Alto Rango" y el "Problema del Giro de Alto Rango" en el contexto del algoritmo cuántico de Regev. El algoritmo de Regev para el DLP en jacobianos se beneficia de un parámetro $d = r + 2$, donde $r$ es el rango de un levantamiento racional o un giro compatible. Los resultados implican que encontrar curvas (o giros) con alto rango es significativamente más eficiente que una búsqueda de fuerza bruta ingenua, con una complejidad reducida de $O(X^7)$ a $O(X^{1/2})$ para rango $\ge 1$ y $O(X^2)$ para rango $\ge 2$ en el ordenamiento de altura relevante. Los autores proporcionan ejemplos explícitos de giros de alto rango para curvas utilizadas en la criptografía de curvas hiperelípticas (HECC), como $y^2 = x^5 + a$ y familias de jacobianos divididos, demostrando que existen giros de rango 6 a rango 8 dentro de espacios de búsqueda computacionalmente factibles.

Significado

El artículo proporciona los primeros límites inferiores incondicionales sobre la densidad logarítmica de curvas de género 2 con rango de Mordell–Weil positivo y rango al menos 2, ordenadas por la altura ingenua. Va más allá de las predicciones heurísticas (como las de los modelos de matrices aleatorias) hacia pruebas geométricas rigurosas.

La significancia es doble:

1. Geometría Aritmética: Resuelve la existencia y densidad de curvas de alto rango de manera cuantitativa, mostrando que los conjuntos "delgados" de curvas de alto rango son en realidad mucho más densos (en un sentido logarítmico) de lo que se había cuantificado previamente. La construcción de subfamilias explícitas con rango $\ge 2$ ofrece una fuente concreta de tales curvas.
2. Criptoanálisis: Los resultados impactan directamente en el análisis de seguridad de la criptografía de curvas hiperelípticas frente al algoritmo cuántico de Regev. Al cuantificar la abundancia de giros y levantamientos de alto rango, el artículo sugiere que el paso de "preprocesamiento" requerido para suministrar los generadores de Mordell–Weil necesarios para el algoritmo de Regev es computacionalmente factible para una amplia gama de familias de curvas, incluyendo aquellas con jacobianos divididos. Esto implica que para curvas donde existen tales estructuras de alto rango, la seguridad efectiva contra este ataque cuántico específico puede ser menor de lo anticipado, ya que el parámetro $d$ puede aumentarse, reduciendo el tamaño del circuito cuántico.

Los autores mantienen un tono modesto respecto a las implicaciones criptográficas, aclarando que su trabajo identifica curvas adecuadas como entradas para el ataque de tipo Regev o para el preprocesamiento experimental, en lugar de recomendarlas para la selección de curvas seguras. Enfatizan que, si bien estas estructuras facilitan el preprocesamiento de alto rango, no implican actualmente un algoritmo de logaritmo discreto más rápido para jacobianos de género 2 en general comparado con los métodos existentes, sino que hacen que el ataque cuántico específico sea más viable.