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

楕円曲線に対するLehmer予想の実験的研究

基本情報

論文ID: 2510.08871
タイトル: Experimental investigations on Lehmer's conjecture for elliptic curves
著者: Sven Cats, John Michael Clark, Charlotte Dombrowsky, Mar Curcó Iranzo, Krystal Maughan, Eli Orvis
分類: math.NT（数論）
発表日時: 2025年10月10日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.08871

要旨

本論文は、与えられた楕円曲線 $E/\mathbb{Q}$ に対して、固定次数のすべての数体上における最小正則高さを持つ非ねじれ点を計算する方法を提案している。著者らはこの方法を用いて大量のデータを収集し、これらのデータを利用してLehmerおよびLangの関連予想を研究した。

研究背景と動機

中心的問題

本研究は楕円曲線上の非ねじれ点の正則高さの問題に焦点を当てており、特に以下の2つの重要な数論予想の検証に関心を持つ：

Lehmer予想（楕円曲線版）：楕円曲線 $E$ 上の定数 $C_E := \inf\{\hat{h}(P) \cdot [K(P) : K]\}$ について、ここで下限はすべての非ねじれ点 $P \in E(\overline{K}) - E(\overline{K})_{\text{tors}}$ を走り、この定数は $C_E > 0$ を満たす。
Lang予想：定数 $C_{K,d} := \inf\{\hat{h}(P)/M_{E'}\}$ について、ここで下限はすべての楕円曲線 $E'/K$ と対応する非ねじれ点を走り、この定数は $C_{K,d} > 0$ を満たす。

研究の意義

これらの予想は代数幾何学と数論における中心的問題であり、楕円曲線上の点の算術的性質に関わる
アーベル多様体上では理論的進展があるが、実験的検証作業は極めて少ない
最小高さ点の分布を理解することは、楕円曲線の算術構造を理解する上で重要な意義を持つ

既存研究の限界

ElkiesおよびTaylorなどによる先行研究は主に特定の楕円曲線族に対する探索に限定されている
これらの予想を検証するための大規模で体系的な実験データが不足している
任意の楕円曲線上の最小高さ点を計算するための汎用的なアルゴリズムフレームワークが存在しない

中心的貢献

アルゴリズム的貢献：固定次数の数体拡張上における楕円曲線の最小正則高さを持つ非ねじれ点を計算するための体系的方法を提案
データセット構築：17,834条の楕円曲線の二次点データを含む大規模データベースを構築し、そのうち728個のケースで最小高さ点の発見を証明
計算最適化：Cremona-Prickett-Siksekの高さ界限を改善し、アルゴリズムをより効率的に
実験的検証：Lehmer予想およびLang予想に対する初の大規模実験的検証を実施

方法の詳細

タスク定義

楕円曲線 $E/K$ と数体拡張の集合 $\mathcal{F}$ が与えられたとき、以下を計算する： $C_{E,\mathcal{F}} := \inf_{F\in\mathcal{F}, P\in E(F)-E(F)_{\text{tors}}} \{\hat{h}(P) \cdot [F : K]\}$

中心的アルゴリズムフレームワーク

ステップ1：有限化還元

判別式界限を利用して無限探索問題を有限問題に還元する：

補題2.3： $D \in \mathbb{R}_{\geq 0}$ 、 $F \in \mathcal{F}$ 、 $d = [F : K]$ に対して、以下を定義する： $\Delta(D,E,F) := \exp(d\delta_K \log d + d(2d-2)B_E + (2d-2)D)$

判別式 $|\Delta_F| \geq \Delta(D,E,F)$ ならば、 $K(P) = F$ を満たすすべての非ねじれ点 $P \in E(F)$ に対して $\hat{h}(P) \geq D/d$ が成立する。

定理2.4： $D' \in \mathbb{R}_{\geq 0}$ を $C_{E,\mathcal{F}} \leq D'$ となるように選び、以下を定義する： $\mathcal{F}' = \{F \in \mathcal{F} : |\Delta_F| \leq \Delta(D', E, F)\}$ すると $\mathcal{F}'$ は有限集合であり、 $C_{E,\mathcal{F}'} = C_{E,\mathcal{F}}$ が成立する。