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

Resumo Técnico: Densidade Logarítmica de Jacobianos de Gênero 2 com Posto $\ge 1$ e Posto $\ge 2$ e Aplicações à Criptografia de Curvas Hiperelípticas

Enunciado do Problema
O artigo aborda a distribuição quantitativa dos postos de Mordell–Weil para Jacobianos de curvas de gênero 2 definidas sobre $\mathbb{Q}$. Embora o teorema de Mordell–Weil garanta que o grupo de pontos racionais em um Jacobiano se decomponha em um subgrupo de torção finito e um grupo abeliano livre de posto $r$, compreender a frequência de curvas com $r \ge 1$ ou $r \ge 2$ dentro de famílias ordenadas pelo tamanho aritmético permanece um desafio central na geometria aritmética. Especificamente, os autores investigam essas distribuições para curvas hiperelípticas ordenadas pela altura ingênua de seus modelos de Weierstrass integrais. Um objetivo secundário é analisar a distribuição de posto em famílias de torções quadráticas e biquadráticas, particularmente para curvas com Jacobianos decompostos (split), para avaliar sua utilidade no contexto do algoritmo quântico de Regev para o problema do logaritmo discreto (DLP).

Metodologia
Os autores empregam uma combinação de técnicas geométricas, analíticas e computacionais:

1. Estrutura Geométrica e Seções Universais: O estudo utiliza o espaço de parâmetros de modelos de Weierstrass integrais $y^2 + h(x)y = f(x)$. Os autores definem uma seção universal $\alpha_{\text{univ}} = [\infty_+ - \infty_-]$ no Jacobiano universal, correspondente à diferença dos dois pontos no infinito. Eles provam que esta seção não é torção na fibra genérica.
2. Loci de Torção e Limites de Altura: Ao estabelecer que o locus de parâmetros onde $\alpha_{\text{univ}}$ especializa-se em um ponto de torção é um subconjunto de Zariski fechado de dimensão inferior, e ao limitar o tamanho dos subgrupos de torção em termos da altura da curva (usando comparações de altura de Faltings e altura $\theta$), os autores mostram que a proporção de curvas onde esta seção é torção tende a zero conforme o limite de altura $X \to \infty$.
3. Especialização de Néron: Para estabelecer posto $\ge 2$, os autores constroem subfamílias explícitas de dois parâmetros onde duas seções independentes (uma sendo $\alpha_{\text{univ}}$ e outra construída via uma especialização específica) são genericamente independentes. Eles aplicam o teorema de especialização de Néron para mostrar que, para quase todas as especializações, o posto é pelo menos 2.
4. Construções de Jacobianos Decompostos (Split): Para curvas com Jacobianos decompostos (isógenos a produtos de curvas elípticas), os autores utilizam construções de colagem (seguindo Gajović–Park e [33]) para relacionar o posto do Jacobiano de gênero 2 aos postos das curvas elípticas constituintes. Eles analisam famílias de torções quadráticas e biquadráticas dessas curvas decompostas.
5. Verificação Computacional: Os resultados teóricos são apoiados por buscas explícitas em bases de dados (LMFDB) e scripts customizados (disponíveis em um repositório no GitHub) para verificar a independência de seções e computar postos para famílias específicas, incluindo curvas CM e curvas de Jacobiano decomposto usadas em criptografia.

Contribuições Principais e Resultados

• Densidade Logarítmica para Posto $\ge 1$: Os autores provam que o subconjunto de curvas de gênero 2 com dois pontos racionais no infinito (garantindo a existência da seção $\alpha_{\text{univ}}$) possui uma densidade logarítmica de pelo menos $13/14$ em relação à família de modelos integrais ordenados por altura. Como a seção é não-torção para quase todos esses modelos, isso resulta em um limite inferior incondicional de densidade logarítmica de $13/14$ para curvas com posto de Jacobiano $r \ge 1$.
• Densidade Logarítmica para Posto $\ge 2$:
  • Ao construir uma subfamília explícita com duas seções racionais independentes, os autores demonstram uma densidade logarítmica incondicional de pelo menos $5/7$ para curvas com posto $r \ge 2$.
  • Eles também identificam uma subfamília de curvas com Jacobianos decompostos e posto $r \ge 2$, produzindo uma densidade logarítmica de pelo menos $2/21$.
• Famílias de Torção (Twists):
  • Para curvas de gênero 2 com Jacobianos decompostos isógenos a $E_1 \times E_2$ (onde $E_1, E_2$ possuem torção de 2 racional completa), assumindo a conjectura de Birch–Swinnerton-Dyer (BSD), os autores mostram que a família de torções quadráticas duplas contém uma proporção positiva ($1/4$) de curvas com posto $\ge 2$.
  • Para curvas com Jacobianos isógenos a $E^2$ onde $E$ admite uma 3-isogenia racional, eles provam incondicionalmente que a família de torções quadráticas contém uma proporção positiva de curvas com posto $\ge 2$.
• Implicações Criptográficas: O artigo analisa o "Problema da Curva de Alto Posto" e o "Problema da Torção de Alto Posto" no contexto do algoritmo quântico de Regev. O algoritmo de Regev para DLP em Jacobianos beneficia-se de um parâmetro $d = r + 2$, onde $r$ é o posto de um levantamento racional ou de uma torção compatível. Os resultados implicam que encontrar curvas (ou torções) de alto posto é significativamente mais eficiente do que uma busca bruta (brute-force) ingênua, com a complexidade reduzida de $O(X^7)$ para $O(X^{1/2})$ para posto $\ge 1$ e $O(X^2)$ para posto $\ge 2$ na ordem de altura relevante. Os autores fornecem exemplos explícitos de torções de alto posto para curvas usadas em criptografia de curvas hiperelípticas (HECC), como $y^2 = x^5 + a$ e famílias de Jacobianos decompostos, demonstrando que torções de posto 6 a 8 existem dentro de espaços de busca computacionalmente viáveis.

Significância
O artigo fornece os primeiros limites inferiores incondicionais para a densidade logarítmica de curvas de gênero 2 com posto de Mordell–Weil positivo e posto de pelo menos 2, ordenadas por altura ingênua. Ele vai além das previsões heurísticas (como as de modelos de matrizes aleatórias) para provas geométricas rigorosas.

A significância é dupla:

1. Geometria Aritmética: Ele resolve a existência e a densidade de curvas de alto posto de maneira quantitativa, mostrando que conjuntos "finos" de curvas de alto posto são, na verdade, muito mais densos (em um sentido logarítmico) do que quantificado anteriormente. A construção de subfamílias explícitas com posto $\ge 2$ oferece uma fonte concreta de tais curvas.
2. Criptoanálise: Os resultados impactam diretamente a análise de segurança da criptografia de curvas hiperelípticas contra o algoritmo quântico de Regev. Ao quantificar a abundância de torções e levantamentos de alto posto, o artigo sugere que a etapa de "pré-processamento" necessária para fornecer os geradores de Mordell–Weil para o algoritmo de Regev é computacionalmente viável para uma ampla gama de famílias de curvas, incluindo aquelas com Jacobianos decompostos. Isso implica que, para curvas onde tais estruturas de alto posto existem, a segurança efetiva contra este ataque quântico específico pode ser menor do que o antecipado, pois o parâmetro $d$ pode ser aumentado, reduzindo o tamanho do circuito quântico.

Os autores mantêm um tom modesto quanto às implicações criptográficas, esclarecendo que seu trabalho identifica curvas adequadas como entradas para o ataque do tipo Regev ou para pré-processamento experimental, em vez de recomendar a seleção de curvas seguras. Eles enfatizam que, embora essas estruturas facilitem o pré-processamento de alto posto, elas não implicam atualmente um algoritmo de logaritmo discreto mais rápido para Jacobianos de gênero 2 em geral comparado aos métodos existentes, mas sim tornam o ataque quântico específico mais viável.