[论文解读] Average twin prime conjecture for elliptic curves

Antal Balog, Alina Carmen Cojocaru+1 more|ArXiv.org|Sep 10, 2007

Analytic Number Theory Research参考文献 9被引用 5

一句话总结

本文证明了在双参数曲率族上，椭圆曲线的 Koblitz 双素数猜想的平均情形。通过筛法及一种类似于 Barban-Davenport-Halberstam 的短平均分布结果，作者证明：使得 $ |E(\mathbb{F}_p)| $ 为素数的素数 $ p \leq x $ 的平均数量，渐近等价于猜想中的常数乘以 $ x / \log^2 x $，从而证实了该猜想的平均情形。

ABSTRACT

Let E be an elliptic curve over Q. In 1988, Koblitz conjectured a precise asymptotic for the number of primes p up to x such that the order of the group of points of E over the finite field F_p is prime. This is an analogue of the Hardy and Littlewood twin prime conjecture in the case of elliptic curves. Koblitz's conjecture is still widely open. In this paper we prove that Koblitz's conjecture is true on average over a two-parameter family of elliptic curves. One of the key ingredients in the proof is a short average distribution result in the style of Barban-Davenport-Halberstam, where the average is taken over twin primes and their differences.

研究动机与目标

• 建立 Koblitz 关于使得群阶 $ |E(\mathbb{F}_p)| $ 为素数的素数 $ p \leq x $ 的数量的平均有效性。
• 将 Hardy-Littlewood 双素数启发式方法推广至 $ \mathbb{Q} $ 上的椭圆曲线，尤其在群阶为素数的情境下。
• 证明 Koblitz 所预测的渐近公式在双参数族 $ E(a,b): Y^2 = X^3 + aX + b $ 上平均成立，其中 $ |a| \leq A $，$ |b| \leq B $。
• 发展并应用关于双素数及其差值的短平均分布结果，其精神类似于 Barban-Davenport-Halberstam，以控制误差项。
• 计算并验证渐近公式中的平均常数，确认其与 Koblitz 原始预测及 Zywina 的修正一致。

提出的方法

• 通过解析数论技巧，将椭圆曲线的平均双素数计数转化为 Kronecker 类数的平均值。
• 应用广义的 Bombieri-Vinogradov 型平均结果，扩展至双素数类分布的情境。
• 使用筛法，特别是线性筛法，以在必要时假设广义黎曼猜想的前提下，界定使得 $ |E(\mathbb{F}_p)| $ 为素数的素数 $ p \leq x $ 的数量。
• 利用中国剩余定理，分析模 $ q $ 下满足与 $ E(\mathbb{F}_p) $ 阶相关特定同余条件的整数 $ r $ 的分布。
• 推导出关于 $ r $ 和 $ q $ 的平均分布结果，通过乘法函数和 Euler 乘积对和 $ \sum_{|r| \leq R} C_r $ 进行建模。
• 利用乘法函数理论和对 $ \omega(q) $（即 $ q $ 的不同素因子个数）的界，估计平均和中的主项与误差项。

实验结果

研究问题

• RQ1 Koblitz 关于使得 $ |E(\mathbb{F}_p)| $ 为素数的素数 $ p \leq x $ 的数量的猜想，在双参数族椭圆曲线的平均情形下是否成立？
• RQ2 Koblitz 公式中猜想常数 $ C(E) $ 的平均值能否被计算，并证明其与预期的渐近形式 $ C \cdot x / \log^2 x $ 一致？
• RQ3 在系数有界的椭圆曲线族中，使得 $ |E(\mathbb{F}_p)| $ 为素数的素数 $ p $ 的平均分布为何？
• RQ4 如何建立关于双素数及其差值的短平均分布结果，以控制筛法中的误差项？
• RQ5 Hardy-Littlewood 启发式方法在椭圆曲线群阶的平均情形下，能在多大程度上被修正并证明？

主要发现

• 在椭圆曲线族 $ \mathcal{C} $（即 $ Y^2 = X^3 + aX + b $，其中 $ |a| \leq A $，$ |b| \leq B $）上，使得 $ |E(\mathbb{F}_p)| $ 为素数的素数 $ p \leq x $ 的平均数量满足渐近公式 $ \frac{1}{|\mathcal{C}|} \sum_{E \in \mathcal{C}} \pi_E^{\text{twin}}(x) \sim C \cdot \frac{x}{\log^2 x} $，当 $ x \to \infty $ 时成立，条件为 $ A, B > x^{1/2 + \varepsilon} $ 且 $ AB > x^{3/2 + \varepsilon} $。
• 渐近公式中的平均常数 $ C $ 被显式计算，并与 Koblitz 原始预测及 Zywina 的修正一致。
• 平均和中的主项被证明为 $ R \prod_{\ell \neq 2} \frac{\ell^3 - 2\ell^2 - \ell + 3}{\ell(\ell^2 - 2\ell - 2)} $，误差项大小为 $ O((\log R)^2) $，从而证实了平均分布模型的正确性。
• 关于 $ r $ 和 $ q $ 的平均和中的误差项被控制在 $ O((\log R)^2) $ 以内，这对渐近分析而言是可接受的。
• 本文建立了关于双素数及其差值的短平均分布结果，其类似于 Barban-Davenport-Halberstam 定理，这对控制筛法误差项至关重要。
• 证明确认了在双参数族设定下，Koblitz 猜想的平均情形无条件成立，无需依赖广义黎曼猜想。