[논문 리뷰] Average twin prime conjecture for elliptic curves

Antal Balog, Alina Carmen Cojocaru외 1명|ArXiv.org|2007. 09. 10.

Analytic Number Theory Research참고 문헌 9인용 수 5

한 줄 요약

이 논문은 타원곡선의 두 매개변수 가중족에 대해 평균적으로 Koblitz의 쌍둥이 소수 추측을 증명한다. 선별 방법과 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(a,b): Y^2 = X^3 + aX + b $ 에서 $ |a| \leq A $, $ |b| \leq B $ 를 만족하는 두 매개변수 가중족에 대해, $ |E(\mathbb{F}_p)| $ 가 소수인 소수 $ p \leq x $ 의 수에 대한 Koblitz의 추측의 평균 타당성을 확립하는 것.
• Hardy-Littlewood의 쌍둥이 소수 히ュ리스틱을 $ \mathbb{Q} $ 위의 타원곡선, 특히 그 군 순서가 소수일 경우에 확장하는 것.
• Koblitz의 추측이 예측하는 점 渐진 공식이 두 매개변수 가중족 $ E(a,b): Y^2 = X^3 + aX + b $ 에 대해 평균적으로 성립함을 증명하는 것.
• Barban-Davenport-Halberstam 정신에 따라 쌍둥이 소수와 그 차이에 대한 짧은 평균 분포 결과를 개발하고 적용하여 오차 항을 제어하는 것.
• 점 渐진 공식의 평균 상수를 계산하고, Koblitz의 원래 예측과 Zywina의 수정 사항과의 일致성을 확인하는 것.

제안 방법

• 해석적 수론 기법을 통해 타원곡선에 대한 쌍둥이 소수의 평균 수를 크로네커 클래스 수의 평균으로 환원한다.
• 산술급수의 소수에 대한 일반화된 Bombieri-Vinogradov 유형의 평균을 적용하며, 이를 쌍둥이 소수 유사 분포의 맥락으로 확장한다.
• 필요한 경우 일반화된 리만 가설을 가정하여, 선별 방법, 특히 선형 선별을 사용하여 $ |E(\mathbb{F}_p)| $ 가 소수인 소수 $ p \leq x $ 의 수를 유계한다.
• 중국인의 나머지 정리를 사용하여 $ E(\mathbb{F}_p) $ 의 순서와 관련된 특정 합동 조건을 만족하는 정수 $ r $ 모듈로 $ q $ 의 분포를 분석한다.
• 분포의 평균 결과를 $ r $ 과 $ q $ 에 대해 유도하며, 합 $ \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의 추측의 평균 타당성이 조건 없이 확인됨을 보여준다.