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

Sintesi Tecnica: Densità Logaritmica di Jacobiani di Genere 2 con Rango $\ge 1$ e Rango $\ge 2$ e Applicazioni alla Crittografia su Curve Iperellittiche

Enunciato del Problema
Il documento affronta la distribuzione quantitativa dei ranghi di Mordell–Weil per i Jacobiani di curve di genere 2 definite su $\mathbb{Q}$. Sebbene il teorema di Mordell–Weil garantisca che il gruppo dei punti razionali su un Jacobiano si decomponga in un sottogruppo di torsione finito e un gruppo abeliano libero di rango $r$, comprendere la frequenza delle curve con $r \ge 1$ o $r \ge 2$ all'interno di famiglie ordinate per dimensione aritmetica rimane una sfida centrale nella geometria aritmetica. Nello specifico, gli autori investigano queste distribuzioni per curve iperellittiche ordinate secondo l'altezza ingenua dei loro modelli integrali di Weierstrass. Un obiettivo secondario è analizzare la distribuzione del rango all'interno di famiglie di twist quadratici e biquadratici, in particolare per curve con Jacobiani scissi, per valutare la loro utilità nel contesto dell'algoritmo quantistico di Regev per il problema del logaritmo discreto (DLP).

Metodologia
Gli autori impiegano una combinazione di tecniche geometriche, analitiche e computazionali:

1. Framework Geometrico e Sezioni Universali: Lo studio utilizza lo spazio dei parametri dei modelli di Weierstrass integrali $y^2 + h(x)y = f(x)$. Gli autori definiscono una sezione universale $\alpha_{\text{univ}} = [\infty_+ - \infty_-]$ sul Jacobiano universale, corrispondente alla differenza tra i due punti all'infinito. Dimostrano che questa sezione non è di torsione nella fibra generica.
2. Loci di Torsione e Limiti di Altezza: Stabilendo che il locus di parametri in cui $\alpha_{\text{univ}}$ specializza in un punto di torsione è un sottoinsieme chiuso di Zariski di dimensione inferiore, e limitando la dimensione dei sottogruppi di torsione in funzione dell'altezza della curva (utilizzando l'altezza di Faltings e i confronti di altezza $\theta$), gli autori dimostrano che la proporzione di curve in cui questa sezione è di torsione tende a zero al tendere di $X \to \infty$ per l'altezza.
3. Specializzazione di Néron: Per stabilire il rango $\ge 2$, gli autori costruiscono esplicite sottofamiglie a due parametri dove due sezioni indipendenti (una essendo $\alpha_{\text{univ}}$ e un'altra costruita tramite una specifica specializzazione) sono genericamente indipendenti. Applicano il teorema di specializzazione di Néron per dimostrare che per quasi tutte le specializzazioni, il rango è almeno 2.
4. Costruzioni di Jacobiani Scissi: Per le curve con Jacobiani scissi (isogeni a prodotti di curve ellittiche), gli autori utilizzano costruzioni di incollamento (seguendo Gajović–Park e [33]) per relazionare il rango del Jacobiano di genere 2 con i ranghi delle curve ellittiche costituenti. Analizzano famiglie di twist quadratici e biquadratici di queste curve scisse.
5. Verifica Computazionale: I risultati teorici sono supportati da ricerche esplicite in database (LMFDF) e script personalizzati (disponibili in un repository GitHub) per verificare l'indipendenza delle sezioni e calcolare i ranghi per specifiche famiglie, incluse le curve CM e le curve con Jacobiano scisso utilizzate nella crittografia.

Contributi Chiave e Risultati

• Densità Logaritmica per Rango $\ge 1$: Gli autori dimostrano che il sottoinsieme di curve di genere 2 con due punti razionali all'infinito (che garantisce l'esistenza della sezione $\alpha_{\text{univ}}$) ha una densità logaritmica di almeno $13/14$ rispetto alla famiglia di modelli integrali ordinati per altezza. Poiché la sezione è non-torsione per quasi tutti tali modelli, ciò fornisce un limite inferiore incondizionato di densità logaritmica $13/14$ per le curve con rango del Jacobiano $r \ge 1$.
• Densità Logaritmica per Rango $\ge 2$:
  • Costruendo una sottofamiglia esplicita con due sezioni razionali indipendenti, gli autori dimostrano una densità logaritmica incondizionata di almeno $5/7$ per le curve con rango $r \ge 2$.
  • Identificano anche una sottofamiglia di curve con Jacobiani scissi e rango $r \ge 2$, ottenendo una densità logaritmica di almeno $2/21$.
• Famiglie di Twist:
  • Per curve di genere 2 con Jacobiani scissi isogeni a $E_1 \times E_2$ (dove $E_1, E_2$ hanno il pieno 2-torsione razionale), assumendo la congettura di Birch–Swinnerton-Dyer (BSD), gli autori mostrano che la famiglia dei doppi twist quadratici contiene una proporzione positiva ($1/4$) di curve con rango $\ge 2$.
  • Per curve con Jacobiani isogeni a $E^2$ dove $E$ ammette una 3-isogenia razionale, dimostrano incondizionatamente che la famiglia di twist quadratici contiene una proporzione positiva di curve con rango $\ge 2$.
• Implicazioni Crittografiche: Il documento analizza il "Problema della Curva ad Alto Rango" e il "Problema del Twist ad Alto Rango" nel contesto dell'algoritmo quantistico di Regev. L'algoritmo di Regev per il DLP nei Jacobiani beneficia di un parametro $d = r + 2$, dove $r$ è il rango di un lift razionale o di un twist compatibile. I risultati implicano che trovare curve (o twist) con alto rango è significativamente più efficiente di una ricerca brute-force ingenua, con la complessità ridotta da $O(X^7)$ a $O(X^{1/2})$ per rango $\ge 1$ e $O(X^2)$ per rango $\ge 2$ nell'ordine di altezza rilevante. Gli autori forniscono esempi espliciti di twist ad alto rango per curve utilizzate nella crittografia su curve iperellittiche (HECC), come $y^2 = x^5 + a$ e le famiglie con Jacobiano scisso, dimostrando che esistono twist con rango da 6 a 8 all'interno di spazi di ricerca computazionalmente fattibili.

Significatività
Il documento fornisce i primi limiti inferiori incondizionati sulla densità logaritmica di curve di genere 2 con rango di Mordell–Weil positivo e rango almeno 2, ordinate per altezza ingenua. Esso va oltre le previsioni euristiche (come quelle derivanti dai modelli di matrici casuali) verso prove geometriche rigorose.

La significatività è duplice:

1. Geometria Aritmetica: Risolve l'esistenza e la densità di curve ad alto rango in modo quantitativo, mostrando che gli insiemi "sottili" di curve ad alto rango sono in realtà molto più densi (in senso logaritmico) di quanto precedentemente quantificato. La costruzione di esplicite sottofamiglie con rango $\ge 2$ offre una fonte concreta di tali curve.
2. Crittanalisi: I risultati impattano direttamente sull'analisi di sicurezza della crittografia su curve iperellittiche contro l'algoritmo quantistico di Regev. Quantificando l'abbondanza di twist e lift ad alto rango, il documento suggerisce che il passaggio di "pre-processing" richiesto per fornire i generatori di Mordell–Weil necessari per l'algoritmo di Regev è computazionalmente fattibile per una vasta gamma di famiglie di curve, incluse quelle con Jacobiani scissi. Ciò implica che per le curve in cui tali strutture ad alto rango esistono, la sicurezza effettiva contro questo specifico attacco quantistico può essere inferiore al previsto, poiché il parametro $d$ può essere aumentato, riducendo la dimensione del circuito quantistico.

Gli autori mantengono un tono modesto riguardo alle implicazioni crittografiche, chiarendo che il loro lavoro identifica le curve adatte come input per l'attacco di tipo Regev o per il pre-processing sperimentale, piuttosto che raccomandare la selezione di curve sicure. Essi sottolineano che, sebbene queste strutture facilitino il pre-processing ad alto rango, esse non implicano attualmente un algoritmo di logaritmo discreto più veloce per i Jacobiani di genere 2 in generale rispetto ai metodi esistenti, ma rendono più fattibile il particolare attacco quantistico specifico.