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

Technische Zusammenfassung: Logarithmische Dichte von Genus-2-Jacobianen mit Rang $\ge 1$ und Rang $\ge 2$ und Anwendungen auf die Hyperelliptische Kurvenkryptographie

Problemstellung
Die Arbeit befasst sich mit der quantitativen Verteilung der Mordell-Weil-Ränge von Jacobians von Genus-2-Kurven über $\mathbb{Q}$. Während der Mordell-Weil-Satz garantiert, dass die Gruppe der rationalen Punkte auf einem Jacobian in eine endliche Torsionsuntergruppe und eine freie abelsche Gruppe des Rangs $r$ zerfällt, bleibt das Verständnis der Häufigkeit von Kurven mit $r \ge 1$ oder $r \ge 2$ innerhalb von Familien, die nach arithmetischer Größe geordnet sind, eine zentrale Herausforderung in der arithmetischen Geometrie. Insbesondere untersuchen die Autoren diese Verteilungen für hyperelliptische Kurven, die nach der naiven Höhe ihrer ganzzahligen Weierstrass-Modelle geordnet sind. Ein sekundäres Ziel ist die Analyse der Rangverteilung innerhalb von Familien von quadratischen und biquadratischen Twist-Familien, insbesondere für Kurven mit gespaltenen Jacobians, um deren Nutzen im Kontext von Regevs Quantenalgorithmus für das Problem des diskreten Logarithmus (DLP) zu bewerten.

Methodik
Die Autoren verwenden eine Kombination aus geometrischen, analytischen und computergestützten Techniken:

1. Geometrischer Rahmen und universelle Schnitte: Die Untersuchung nutzt den Parameterraum ganzzahliger Weierstrass-Modelle $y^2 + h(x)y = f(x)$. Die Autoren definieren einen universellen Schnitt $\alpha_{\text{univ}} = [\infty_+ - \infty_-]$ auf dem universellen Jacobian, der der Differenz der beiden Punkte im Unendlichen entspricht. Sie beweisen, dass dieser Schnitt im generischen Faserelement kein Torsionspunkt ist.
2. Torsionsloci und Höhenschranken: Durch den Nachweis, dass der Locus der Parameter, in denen $\alpha_{\text{univ}}$ zu einem Torsionspunkt spezialisiert, eine Zariski-geschlossene Teilmenge niedrigerer Dimension ist, und durch die Begrenzung der Größe von Torsionsuntergruppen in Abhängigkeit von der Höhe der Kurve (unter Verwendung von Faltings-Höhe und $\theta$-Höhenvergleichen), zeigen die Autoren, dass der Anteil der Kurven, bei denen dieser Schnitt ein Torsionspunkt ist, gegen Null geht, wenn die Höhenschranke $X \to \infty$ geht.
3. Néron-Spezialisierung: Um Rang $\ge 2$ zu etablieren, konstruieren die Autoren explizite Zwei-Parameter-Unterfamilien, in denen zwei unabhängige Schnitte (einer davon $\alpha_{\text{univ}}$ und ein weiterer, der über eine spezifische Spezialisierung konstruiert wurde) generisch unabhängig sind. Sie wenden Nérons Spezialisierungssatz an, um zu zeigen, dass der Rang für fast alle Spezialisierungen mindestens 2 beträgt.
4. Konstruktionen mit gespaltenen Jacobians: Für Kurven mit gespaltenen Jacobians (isogen zu Produkten elliptischer Kurven) nutzen die Autoren Glüh-Konstruktionen (folgend nach Gajović–Park und [33]), um den Rang des Genus-2-Jacobians mit den Rängen der konstituierenden elliptischen Kurven in Beziehung zu setzen. Sie analysieren quadratische und biquadratische Twist-Familien dieser gespaltenen Kurven.
5. Computergestützte Verifizierung: Die theoretischen Ergebnisse werden durch explizite Suchen in Datenbanken (LMFDB) und benutzerdefinierten Skripten (verfügbar in einem GitHub-Repository) gestützt, um die Unabhängigkeit von Schnitten zu verifizieren und Ränge für spezifische Familien zu berechnen, einschließlich CM-Kurven und Split-Jacobian-Kurven, die in der Kryptographie verwendet werden.

Wesentliche Beiträge und Ergebnisse

• Logarithmische Dichte für Rang $\ge 1$: Die Autoren beweisen, dass die Teilmenge der Genus-2-Kurven mit zwei rationalen Punkten im Unendlichen (was die Existenz des Schnitts $\alpha_{\text{univ}}$ sicherstellt) eine logarithmische Dichte von mindestens $13/14$ bezüglich der Familie der ganzzahligen Modelle unter Ordnung nach der Höhe besitzt. Da der Schnitt für fast alle solchen Modelle nicht-torsion ist, ergibt dies eine bedingungslose untere Schranke der logarithmischen Dichte von $13/14$ für Kurven mit Jacobian-Rang $r \ge 1$.
• Logarithmische Dichte für Rang $\ge 2$:
  • Durch Konstruktion einer expliziten Unterfamilie mit zwei unabhängigen rationalen Schnitten demonstrieren die Autoren eine bedingungslose logarithmische Dichte von mindestens $5/7$ für Kurven mit Rang $r \ge 2$.
  • Sie identifizieren zudem eine Unterfamilie von Kurven mit gespaltenen Jacobians und Rang $r \ge 2$, was eine logarithmische Dichte von mindestens $2/21$ ergibt.
• Twist-Familien:
  • Für Genus-2-Kurven mit gespaltenen Jacobians, isogen zu $E_1 \times E_2$ (wobei $E_1, E_2$ vollen rationalen 2-Torsionsanteil besitzen), zeigen die Autoren unter Annahme der Birch-Swinnerton-Dyer-Vermutung (BSD), dass die Familie der doppelten quadratischen Twists eine positive Proportion ($1/4$) von Kurven mit Rang $\ge 2$ enthält.
  • Für Kurven mit Jacobians, die isogen zu $E^2$ sind, wobei $E$ eine rationale 3-Isogenie zulässt, beweisen sie bedingungslos, dass die Familie der quadratischen Twists eine positive Proportion von Kurven mit Rang $\ge 2$ enthält.
• Kryptographische Implikationen: Die Arbeit analysiert das "High Rank Curve Problem" und das "High Rank Twist Problem" im Kontext von Regevs Quantenalgorithmus. Regevs Algorithmus für das DLP in Jacobians profitiert von einem Parameter $d = r + 2$, wobei $r$ der Rang eines rationalen Lifts oder eines kompatiblen Twists ist. Die Ergebnisse implizieren, dass das Finden von Kurven (oder Twists) mit hohem Rang signifikant effizienter ist als eine naive Brute-Force-Suche, wobei die Komplexität für Rang $\ge 1$ von $O(X^7)$ auf $O(X^{1/2})$ und für Rang $\ge 2$ auf $O(X^2)$ in der relevanten Höhenordnung reduziert wird. Die Autoren liefern explizite Beispiele für High-Rank-Twists für Kurven, die in der hyperelliptischen Kurvenkryptographie (HECC) verwendet werden, wie etwa $y^2 = x^5 + a$ und Split-Jacobian-Familien, und zeigen, dass Rank-6- bis Rank-8-Twists innerhalb computertechnisch machbarer Suchräume existieren.

Bedeutung

Die Arbeit liefert die ersten bedingungslosen unteren Schranken für die logarithmische Dichte von Genus-2-Kurven mit positivem Mordell-Weil-Rang und Rang mindestens 2, geordnet nach naiver Höhe. Sie geht über heuristische Vorhersagen (wie etwa aus Random-Matrix-Modellen) hinaus und liefert rigorose geometrische Beweise.

Die Bedeutung ist zweifach:

1. Arithmetische Geometrie: Sie löst die Existenz und Dichte von Hochrang-Kurven in quantitativer Weise auf, indem sie zeigt, dass "dünne" Mengen von Hochrang-Kurven tatsächlich viel dichter (im logarithmischen Sinne) sind, als bisher quantifiziert wurde. Die Konstruktion expliziter Unterfamilien mit Rang $\ge 2$ bietet eine konkrete Quelle für solche Kurven.
2. Kryptanalyse: Die Ergebnisse haben direkten Einfluss auf die Sicherheitsanalyse der hyperelliptischen Kurvenkryptographie gegenüber Regevs Quantenalgorithmus. Durch die Quantifizierung des Vorkommens von High-Rank-Twists und -Lifts legt die Arbeit nahe, dass der "Preprocessing"-Schritt, der zur Bereitstellung der notwendigen Mordell-Weil-Generatoren für den Regev-Algorithmus erforderlich ist, computertechnisch effizient durchführbar ist. Dies impliziert, dass für Kurven, in denen solche Hochrang-Strukturen existieren, die effektive Sicherheit gegen diesen spezifischen Quantenangriff geringer sein kann, als erwartet, da der Parameter $d$ erhöht werden kann, was die Größe des Quantenschaltkreises reduziert.

Die Autoren wahren einen bescheidenen Ton hinsichtlich der kryptographischen Implikationen und stellen klar, dass ihre Arbeit Kurven identifiziert, die als Inputs für den Regev-artigen Angriff oder das experimentelle Preprocessing geeignet sind, und nicht als Empfehlung für die Auswahl sicherer Kurven dient. Sie betonen, dass diese Strukturen zwar das Hochrang-Preprocessing erleichtern, aber derzeit nicht implizieren, dass ein schnellerer diskreter Logarithmus-Algorithmus für allgemeine Genus-2-Jacobians im Vergleich zu bestehenden Methoden existiert, sondern vielmehr den spezifischen Quantenangriff praktikabler machen.