2025-11-15T02:04:11.899280

Experimental investigations on Lehmer's conjecture for elliptic curves

Cats, Clark, Dombrowsky et al.
In this short note, we give a method for computing a non-torsion point of smallest canonical height on a given elliptic curve $E/\mathbb{Q}$ over all number fields of a fixed degree. We then describe data collected using this method, and investigate related conjectures of Lehmer and Lang using these data.
academic

Experimentelle Untersuchungen zur Lehmer-Vermutung für elliptische Kurven

Grundinformationen

  • Papier-ID: 2510.08871
  • Titel: Experimental investigations on Lehmer's conjecture for elliptic curves
  • Autoren: Sven Cats, John Michael Clark, Charlotte Dombrowsky, Mar Curcó Iranzo, Krystal Maughan, Eli Orvis
  • Klassifizierung: math.NT (Zahlentheorie)
  • Veröffentlichungsdatum: 10. Oktober 2025 (arXiv-Preprint)
  • Papierlink: https://arxiv.org/abs/2510.08871

Zusammenfassung

In diesem Artikel wird eine Methode zur Berechnung der minimalen kanonischen Höhe von nicht-Torsions-Punkten auf einer gegebenen elliptischen Kurve E/QE/\mathbb{Q} über allen Zahlkörpern festen Grades vorgestellt. Die Autoren nutzen diese Methode zur Sammlung umfangreicher Daten und untersuchen damit verwandte Vermutungen von Lehmer und Lang.

Forschungshintergrund und Motivation

Kernprobleme

Diese Forschung befasst sich mit der Frage der kanonischen Höhe von nicht-Torsions-Punkten auf elliptischen Kurven, insbesondere mit der Verifikation zweier wichtiger zahlentheoretischer Vermutungen:

  1. Lehmer-Vermutung (elliptische Kurven-Version): Für die Konstante CE:=inf⁡{h^(P)⋅[K(P):K]}C_E := \inf\{\hat{h}(P) \cdot [K(P) : K]\} auf einer elliptischen Kurve EE, wobei das Infimum über alle nicht-Torsions-Punkte P∈E(K‾)−E(K‾)torsP \in E(\overline{K}) - E(\overline{K})_{\text{tors}} läuft, gilt CE>0C_E > 0.
  2. Lang-Vermutung: Für die Konstante CK,d:=inf⁡{h^(P)/ME′}C_{K,d} := \inf\{\hat{h}(P)/M_{E'}\}, wobei das Infimum über alle elliptischen Kurven E′/KE'/K und entsprechende nicht-Torsions-Punkte läuft, gilt CK,d>0C_{K,d} > 0.

Forschungsbedeutung

  • Diese Vermutungen sind Kernprobleme in algebraischer Geometrie und Zahlentheorie, die arithmetische Eigenschaften von Punkten auf elliptischen Kurven betreffen
  • Obwohl theoretische Fortschritte bei abelschen Varietäten erzielt wurden, sind experimentelle Verifikationen selten
  • Das Verständnis der Verteilung von Punkten minimaler Höhe ist wesentlich für das Verständnis der arithmetischen Struktur elliptischer Kurven

Einschränkungen bestehender Arbeiten

  • Frühere Arbeiten von Elkies und Taylor konzentrierten sich hauptsächlich auf Suchen in spezifischen elliptischen Kurvenfamilien
  • Es fehlen großflächige, systematische experimentelle Daten zur Verifikation dieser Vermutungen
  • Es gibt keinen universellen algorithmischen Rahmen zur Berechnung von Punkten minimaler Höhe auf beliebigen elliptischen Kurven

Kernbeiträge

  1. Algorithmischer Beitrag: Entwicklung einer systematischen Methode zur Berechnung von nicht-Torsions-Punkten minimaler kanonischer Höhe auf elliptischen Kurven über Zahlkörpererweiterungen festen Grades
  2. Datensatzkonstruktion: Aufbau einer großflächigen Datenbank mit Daten von 17.834 elliptischen Kurven zweiten Grades, wobei in 728 Fällen die Auffindung von Punkten minimaler Höhe nachgewiesen wurde
  3. Rechnerische Optimierung: Verbesserung der Höhenschranken von Cremona-Prickett-Siksek für effizientere Algorithmen
  4. Experimentelle Verifikation: Erste großflächige experimentelle Verifikation der Lehmer- und Lang-Vermutungen

Methodische Details

Aufgabendefinition

Gegeben eine elliptische Kurve E/KE/K und eine Menge von Zahlkörpererweiterungen F\mathcal{F}, berechne: CE,F:=inf⁡F∈F,P∈E(F)−E(F)tors{h^(P)⋅[F:K]}C_{E,\mathcal{F}} := \inf_{F\in\mathcal{F}, P\in E(F)-E(F)_{\text{tors}}} \{\hat{h}(P) \cdot [F : K]\}

Algorithmischer Kernrahmen

Schritt 1: Finitisierungsreduktion

Reduktion des unendlichen Suchproblems auf ein endliches Problem mittels Diskriminantenschranken:

Lemma 2.3: Für D∈R≥0D \in \mathbb{R}_{\geq 0}, F∈FF \in \mathcal{F}, d=[F:K]d = [F : K], definiere: Δ(D,E,F):=exp⁡(dδKlog⁡d+d(2d−2)BE+(2d−2)D)\Delta(D,E,F) := \exp(d\delta_K \log d + d(2d-2)B_E + (2d-2)D)

Wenn die Diskriminante ∣ΔF∣≥Δ(D,E,F)|\Delta_F| \geq \Delta(D,E,F), dann gilt für alle nicht-Torsions-Punkte P∈E(F)P \in E(F) mit K(P)=FK(P) = F: h^(P)≥D/d\hat{h}(P) \geq D/d.

Satz 2.4: Sei D′∈R≥0D' \in \mathbb{R}_{\geq 0} so dass CE,F≤D′C_{E,\mathcal{F}} \leq D', definiere: F′={F∈F:∣ΔF∣≤Δ(D′,E,F)}\mathcal{F}' = \{F \in \mathcal{F} : |\Delta_F| \leq \Delta(D', E, F)\} Dann ist F′\mathcal{F}' endlich und CE,F′=CE,FC_{E,\mathcal{F}'} = C_{E,\mathcal{F}}.

Schritt 2: Höhenschrankenberechnung

Verwendung der modifizierten CPS-Schranke zur Schätzung der Differenz zwischen Weil-Höhe und kanonischer Höhe: ∣h(P)−h^(P)∣≤BE|h(P) - \hat{h}(P)| \leq B_E

Für die Zahlkörpererweiterungsmenge F\mathcal{F} nehme: BE=max⁡{BE,F:F∈F}B_E = \max\{B_{E,F} : F \in \mathcal{F}\}

wobei BE,F=1[F:K]∑vMvB_{E,F} = \frac{1}{[F:K]} \sum_v M_v, die Summe läuft über archimedische Stellen von FF und Primideale, wo EE schlechte Reduktion hat.

Schritt 3: Endliche Suche

Für jedes F∈F′F \in \mathcal{F}' suche nach Punkten P∈E(F)P \in E(F) mit: h(P)≤D′[F:K]+BEh(P) \leq \frac{D'}{[F:K]} + B_E

Technische Innovationen

  1. Diskriminantenschrankenmethode: Erste systematische Anwendung von Diskriminantenschranken auf Höhenberechnungen elliptischer Kurven
  2. Adaptive Suchstrategie: Dynamische Anpassung des Suchbereichs basierend auf initialen Suchergebnissen
  3. Optimierte Höhenschranken: Verbesserung bestehender Schranken für Anwendbarkeit auf Zahlkörpererweiterungsfamilien

Experimentelle Einrichtung

Datensatz

  • Quelle elliptischer Kurven: Alle elliptischen Kurven aus der Cremona-Datenbank mit Leiter nicht größer als 3.000
  • Zahlkörpererweiterungen: Alle quadratischen Körper {F/Q:[F:Q]≤2}\{F/\mathbb{Q} : [F : \mathbb{Q}] \leq 2\}
  • Gesamtumfang: 17.834 elliptische Kurven

Rechnerische Ressourcen

  • Rechenzeit: Über 800 Stunden CPU-Zeit
  • Rechnerumgebung: Red Hat Enterprise Linux 8.10 Server
  • Softwarewerkzeuge: Magma 21.2-2 und SageMath 10.6

Implementierungsdetails

  • Nachweisbare Fälle: Vollständige Suche wenn Δ<105\Delta < 10^5 und B<50B < 50
  • Approximative Fälle: In anderen Fällen nur Suche über quadratische Körper mit ∣ΔK∣≤1000|\Delta_K| \leq 1000
  • Verifikationskriterium: 728 Fälle mit nachweisbaren Punkten minimaler Höhe

Experimentelle Ergebnisse

Hauptergebnisse

Rekorde minimaler Höhe

Der gefundene Punkt minimaler Höhe ist:

  • Elliptische Kurve: y2+xy+y=x3+x2−2990x+71147y^2 + xy + y = x^3 + x^2 - 2990x + 71147 (Cremona-Etikett 1470l1)
  • Koordinaten: (27,−119,1)(27, -119, 1)
  • Höhe: 0.0099641079999...0.0099641079999...

Statistik der Zahlkörperverteilung

In allen Daten ist die Definitionsbereichsverteilung von Punkten minimaler Höhe:

  • Rationale Zahlkörper Q\mathbb{Q}: 2.199 Kurven
  • Gaußscher Zahlkörper Q(−4)\mathbb{Q}(\sqrt{-4}): 1.191 Kurven
  • Eisenstein-Zahlkörper Q(−3)\mathbb{Q}(\sqrt{-3}): 1.610 Kurven

In den nachweisbaren 728 Fällen:

  • Q(−3)\mathbb{Q}(\sqrt{-3}): 20 Kurven
  • Q(−4)\mathbb{Q}(\sqrt{-4}): 14 Kurven
  • Q\mathbb{Q}: 11 Kurven

Algorithmuseffektivitätsverifikation

  • Konsistenzprüfung: In allen nachweisbaren Fällen stimmen Endergebnisse mit initialen Suchergebnissen überein
  • Abdeckungsbereich: 86 Kurven vollständig verifiziert, 542 Kurven mit initialer Suchfehlgeschlag
  • Rechnerische Grenzen: Kurven mit Leiter 11 (11a1, 11a2) überschreiten rechnerische Grenzen

Vermutungsverifikationsergebnisse

  • Erste Verifikation der Lehmer- und Lang-Vermutungen durchgeführt
  • Keine offensichtliche Beziehung zwischen minimaler Höhe und Leiter oder Diskriminante der elliptischen Kurve gefunden
  • Alle Rechenergebnisse unterstützen die Vorhersagen CE>0C_E > 0 und CK,d>0C_{K,d} > 0

Verwandte Arbeiten

Theoretischer Hintergrund

  • Lehmers ursprüngliche Vermutung (1933): Über Untergrenzen der logarithmischen Höhe algebraischer Zahlen
  • Verallgemeinerung auf elliptische Kurven: Theoretische Arbeiten von Hindry-Silverman u.a.
  • Fall abelscher Varietäten: Untersuchung verwandter Vermutungen in allgemeineren Einstellungen

Rechnerische Methoden

  • Silverman-Schranke: Klassische Schranke für Differenz zwischen Weil-Höhe und kanonischer Höhe
  • CPS-Methode: Verbesserte Schranke von Cremona-Prickett-Siksek
  • Bruin-Optimierung: Weitere Verbesserung für rationale Zahlkörper

Experimentelle Vorläufer

  • Elkies-Arbeiten: Suche nach Punkten kleiner Höhe auf spezifischen elliptischen Kurven
  • Taylor-Berechnungen: Unveröffentlichte Ergebnisse über quadratischen Körpern
  • Beitrag dieses Artikels: Erste großflächige systematische experimentelle Untersuchung

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

  1. Erfolgreiche Entwicklung eines praktischen Algorithmus zur Berechnung von Punkten minimaler Höhe auf elliptischen Kurven
  2. Aufbau der bislang größten Datenbank von Punkten kleiner Höhe auf elliptischen Kurven
  3. Experimentelle Daten unterstützen die Korrektheit der Lehmer- und Lang-Vermutungen
  4. Punkte kleiner Höhe tendieren dazu, über Zahlkörpern mit kleiner Diskriminante definiert zu sein

Einschränkungen

  1. Rechnerische Komplexität: Vollständige Verifikation für elliptische Kurven mit großem Leiter bleibt schwierig
  2. Zahlkörperbeschränkung: Derzeit nur quadratische Körpererweiterungen berücksichtigt
  3. Theoretische Analyse: Mangel an tiefgehender theoretischer Erklärung experimenteller Phänomene
  4. Statistische Muster: Keine klare Beziehung zwischen Höhe und Kurveninvarianten gefunden

Zukünftige Richtungen

  1. Erweiterung auf höhere Grade: Berücksichtigung kubischer, quartischer und höhergradiger Zahlkörpererweiterungen
  2. Algorithmusoptimierung: Nutzung vorberechneter LMFDB-Daten zur Verbesserung der initialen Suche
  3. Theoretische Analyse: Suche nach theoretischen Erklärungen für beobachtete statistische Muster
  4. Parallelrechnung: Entwicklung effizienterer paralleler Algorithmen für großflächige Datenverarbeitung

Tiefgehende Bewertung

Stärken

  1. Methodische Innovation: Erstmals systematischer Rahmen für Berechnung von Punkten minimaler Höhe auf elliptischen Kurven
  2. Experimenteller Umfang: Datensatz von 17.834 Kurven ist in diesem Bereich beispiellos
  3. Theoretische Grundlagen: Algorithmus basiert auf strenger zahlentheoretischer Theorie
  4. Offenheit: Code und Daten vollständig quelloffen, fördern nachfolgende Forschung

Mängel

  1. Begrenzte theoretische Einsichten: Hauptbeiträge auf rechnerischer Ebene, relativ wenige theoretische Neuerungen
  2. Unzureichende statistische Analyse: Statistische Analyse experimenteller Daten könnte tiefgehender sein
  3. Verallgemeinerungsprobleme: Methode derzeit nur auf quadratische Körper anwendbar
  4. Rechnerische Engpässe: Weiterhin Machbarkeitsprobleme bei komplexen Fällen

Auswirkungen

  1. Feldbeitrag: Wichtiges experimentelles Werkzeug und Datenressource für arithmetische Geometrie elliptischer Kurven
  2. Praktischer Wert: Algorithmus direkt anwendbar auf verwandte zahlentheoretische Probleme
  3. Reproduzierbarkeit: Vollständige quelloffene Implementierung garantiert Verifikation von Ergebnissen
  4. Inspirationswert: Methodologische Referenz für ähnliche rechnerische zahlentheoretische Probleme

Anwendungsszenarien

  1. Zahlentheoretische Forschung: Experimentelle Verifikation von Höhentheorie elliptischer Kurven
  2. Algorithmusentwicklung: Algorithmische Designreferenz für verwandte Rechnerprobleme
  3. Lehrapplikation: Beispielstudien für Theorie elliptischer Kurven und rechnerische Zahlentheorie
  4. Nachfolgeforschung: Datenbasis für tiefgehendere theoretische Untersuchungen

Literaturverzeichnis

Der Artikel zitiert 12 wichtige Werke, darunter:

  • Lehmer (1933): Formulierung der ursprünglichen Vermutung
  • Silverman (1984, 1990): Grundlagenarbeiten zur Höhentheorie
  • Cremona-Prickett-Siksek (2006): Verbesserung von Höhenschranken
  • Hindry-Silverman (2000): Systematische Darstellung diophantischer Geometrie
  • LMFDB: Moderne zahlentheoretische Datenbankressourcen

Zusammenfassung: Dieser Artikel leistet wichtige Beiträge zur rechnerischen Verifikation der Höhentheorie elliptischer Kurven. Obwohl theoretische Innovationen begrenzt sind, bieten die systematische Methode und umfangreiche experimentelle Daten wertvolle Ressourcen für die Entwicklung des Feldes. Die quelloffene Implementierung des Algorithmus und detaillierte experimentelle Berichte verleihen den Ergebnissen hohe Glaubwürdigkeit und praktischen Wert.