[論文レビュー] 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

ひとこと要約

この論文は、2パラメータ族の楕円曲線の平均的条件下で、Koblitzの双子素数予想を証明する。スieve法とBarban-Davenport-Halberstamに類似した短い平均的分布結果を用いて、$ p \leq x $ で $ |E(\mathbb{F}_p)| $ が素数であるような素数の平均個数が、予想される定数倍の $ 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.

研究の動機と目的

• 楕円曲線 $ E $ に対して、$ |E(\mathbb{F}_p)| $ が素数であるような素数 $ p \leq x $ の個数に関するKoblitz予想の平均的妥当性を確立すること。
• 双子素数のハーディー＝リトルウッドのヒューリスティックを、特に群の位数が素数であるという文脈において、$ \mathbb{Q} $ 上の楕円曲線へと拡張すること。
• 楕円曲線 $ E(a,b): Y^2 = X^3 + aX + b $ で $ |a| \leq A $、$ |b| \leq B $ を満たす2パラメータ族の平均的条件下で、Koblitzが予想した漸近公式が成立することを証明すること。
• Barban-Davenport-Halberstamの精神に則った、双子素数およびその差の短い平均的分布結果を確立し、誤差項を制御すること。
• 漸近公式における平均定数を計算・検証し、Koblitzの元々の予想とZywinaの修正と的一致を確認すること。

提案手法

• 解析的数論的手法を用いて、楕円曲線の平均的双子素数個数をKronecker類数の平均に還元する。
• 算術的進数列における素数の平均的分布に関する一般化されたBombieri-Vinogradov型平均を、双子素数に類似した分布の文脈に拡張する。
• 特に線形スieveを用いて、必要に応じて一般化されたリーマン仮説を仮定して、$ |E(\mathbb{F}_p)| $ が素数であるような $ p \leq x $ の個数を上界で抑え込む。
• 中国剰余定理を用いて、$ E(\mathbb{F}_p) $ の位数に関連する特定の合同条件を満たす整数 $ r $ の $ q $ を法とする分布を分析する。
• $ r $ と $ q $ に関する平均的分布結果を導出し、和 $ \sum_{|r| \leq R} C_r $ を乗法的関数とEuler積でモデル化する。
• 乗法的関数論と $ \omega(q) $（$ q $ の相異なる素因数の個数）の上界を用いて、平均和の主要項と誤差項を推定する。

実験結果

リサーチクエスチョン

• RQ1 Koblitzの予想、すなわち、$ |E(\mathbb{F}_p)| $ が素数であるような $ p \leq x $ の素数個数に関する予想が、2パラメータ族の楕円曲線の平均的条件下で成立するか。
• RQ2 Koblitzの公式における予想される定数 $ C(E) $ の平均が計算可能であり、期待される漸近的形 $ C \cdot x / \log^2 x $ と一致するか。
• RQ3 係数が有界な楕円曲線族において、$ |E(\mathbb{F}_p)| $ が素数であるような素数 $ p $ の平均的分布はいかなるものか。
• RQ4 スieve法における誤差項を制御するために、双子素数およびその差の短い平均的分布結果をどのように確立できるか。
• RQ5 ハーディー＝リトルウッドのヒューリスティックは、楕円曲線の群の位数に関して、平均的条件下でどの程度適応可能かつ証明可能か。

主な発見

• 係数が $ |a| \leq A $、$ |b| \leq B $ を満たす楕円曲線 $ Y^2 = X^3 + aX + b $ の族 $ \mathcal{C} $ に対して、$ |E(\mathbb{F}_p)| $ が素数であるような素数 $ p \leq x $ の平均個数は、$ x \to \infty $ のとき、$ \frac{1}{|\mathcal{C}|} \sum_{E \in \mathcal{C}} \pi_E^{\text{twin}}(x) \sim C \cdot \frac{x}{\log^2 x} $ に漸近的に一致する。条件は $ 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定理に類似した双子素数およびその差の短い平均的分布結果を確立し、これはスieve法における誤差項の制御に不可欠である。
• 証明により、2パラメータ族の設定において、一般化されたリーマン仮説を仮定せず、Koblitzの予想の平均的成立が無条件に確認された。