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

Experimental investigations on Lehmer's conjecture for elliptic curves

基本信息

论文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 (Number Theory)
发表时间: 2025年10月10日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.08871

摘要

本文提出了一种计算给定椭圆曲线 $E/\mathbb{Q}$ 在固定度数的所有数域上最小正则高度的非扭转点的方法。作者使用该方法收集了大量数据，并利用这些数据研究了Lehmer和Lang的相关猜想。

研究背景与动机

核心问题

本研究关注椭圆曲线上非扭转点的正则高度问题，特别是验证两个重要的数论猜想：

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]\}$

核心算法框架

第一步：有限化约简

利用判别式界限将无限搜索问题约简为有限问题：

引理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}}$ 。