[논문 리뷰] Explicit formulae for primes in arithmetic progressions, I

Tomohiro Yamada|arXiv (Cornell University)|2013. 06. 22.

Analytic Number Theory Research참고 문헌 11인용 수 7

한 줄 요약

이 논문은 산술급수에서 체비세프 함수 $\psi(x,q,a)$에 대한 명시적 오차 한계를 제시하며, 모듈러스 $q < \log^{\alpha_1}x$ 조건 하에 $O(1/\log^\alpha x)$ 오차 항을 달성한다. 보민비-비노그라도프 정리의 명시적 형태를 수립하여 비예외적 및 예외적 모듈러스를 모두 다루며, 선별 이론과 명시적 수론 응용을 위한 완전히 계산 가능한 상수를 제공한다.

ABSTRACT

We shall give an explicit formula for $ψ(x, q, a)$ with an error term of the form $C/\log^αx$ under the condition that $q

연구 동기 및 목표

• 모듈러스 $q < \log^{\alpha_1}x$ 조건 하에 $\psi(x,q,a)$에 대한 명시적 상계를 도출하며, 오차 항이 $O(1/\log^{\alpha_2}x)$ 순서가 되도록 한다.
• 에어리얼 모듈러스(시겔 제로 포함)를 포함한 이러한 상계를 유지하면서 오차 성장률을 통제한다.
• 비효율적 상수에 의존하지 않는, 완전히 명시적인 보민비-비노그라도프 정리의 형태를 제공한다.
• 첸의 골드바흐 유형 문제에 대한 정리와 같은 선별 방법의 응용을 지원한다.
• 수치적 검증과 알고리즘 수론에 사용 가능한 명시적 상수를 계산하고 표로 정리한다.

제안 방법

• 모듈러스 $q$에 대한 딜라이클 캐릭터 $\chi$에 대해 $\left| \psi(x,\chi) \right|$에 대한 명시적 상계를 도출하며, 명시적 영역 없는 영역과 캐릭터 합 추정을 사용한다.
• 정리 1.1을 적용하여, 비예외적 $q < \log^{\alpha_1}x$ 조건 하에 $\left| -1 + x^{-1} \sum_{\chi \mod q} |\psi(x,\chi)| \right|$를 오차 $C / \log^{\alpha_2}x$로 유계화하며, 가능성이 있는 시겔 제로를 포함한다.
• 정리 1.2를 사용하여, $x$에 대한 로그 조건 하에 모든 $q$에 대해 상계를 확장하며, 오차는 $C' / \log^A x$로 유계화한다.
• 맥커리와 카디리의 명시적 추정치를 조합하고, 원시 캐릭터에 대한 합을 분해하여 합을 유계화한다.
• 문헌 [1]에서 유도된 상수 $c_0 < 48.833$과 $c_1 = \zeta(2)\zeta(3)/\zeta(6) < 1.9436$을 사용하여 보민비-비노그라도프 합의 오차 항을 통제한다.
• PARI-GP 스크립트를 활용하여 임의의 $\alpha, \alpha_1$에 대해 상수를 계산함으로써 재현 가능성과 확장 가능성을 확보한다.

실험 결과

연구 질문

• RQ1 비예외적 $q < \log^{\alpha_1}x$ 조건 하에 $\psi(x,q,a)$에 대한 최적의 명시적 오차 항 $O(1/\log^{\alpha_2}x)$는 무엇인가?
• RQ2 에어리얼 모듈러스(즉, 시겔 제로를 포함)일 경우에도 명시적 상계를 유지하는 방법은 무엇인가?
• RQ3 모듈러스가 $x^{1/2}/\log^A x$ 이하일 때, 보민비-비노그라도프 정리를 완전히 명시적으로 만들 수 있는가?
• RQ4 예외적 모듈러스를 제외할 경우 보민비-비노그라도프 합의 오차 항에 미치는 정량적 영향은 무엇인가?
• RQ5 명시적 수론에 응용하기 위해 오차 항의 상수를 알고리즘적으로 계산하고 검증할 수 있는 방법은 무엇인가?

주요 결과

• 정리 1.1은 $q < \log^{\alpha_1}x$ 조건 하에 명시적 상계 $\left| \psi(x;q,a) - \frac{x}{\varphi(q)} \right| \leq \frac{C}{\log^{\alpha_2}x} + E_0 \frac{x^{\beta_0 - 1}}{\beta_0}$를 제공하며, $E_0 = 1$이면 시겔 제로 $\beta_0$ 가 존재함을 의미한다.
• 정리 1.2는 조건 $\frac{0.4923A}{\pi} q^{1/2} \log^2 q < \frac{\log x}{\log \log x}$ 하에 모든 $q$에 대해 균일한 상계 $\left| \psi(x;q,a) - \frac{x}{\varphi(q)} \right| \leq \frac{C'}{\log^A x}$를 제공하며, $C' = C + \frac{1}{1 - A Y_0 / e^{Y_0}}$이다.
• 정리 1.4는 예외적 모듈러스를 제외한 상황에서 오차 항이 $\frac{c_1 c_0 (2 + e^{-800}) x}{\log^{A - 9/2} x} + \frac{2 c_0 c_1 x \log^{9/2} x}{Q_1} + \frac{c_1^2 (C_0 + e^{-17}) x (1 + A \log \log x)}{2 \log^{A-4} x}$로 유계화된 명시적 보민비-비노그라도프 정리를 제공한다.
• 상수 $c_0 < 48.833$는 문헌 [1]의 명시적 추정치에서 유도되었으며, $c_1 < 1.9436$는 곱 $\prod_p (1 + \frac{1}{p(p-1)}) = \frac{\zeta(2)\zeta(3)}{\zeta(6)}$로서 캐릭터 합 오차를 통제하는 데 사용된다.
• 모든 $A \in \{6,7,8,9,10\}$에 대해 필요로 하는 $Y_0 = \log \log X_0$는 각각 $10.1, 10.5, 10.9, 11.2, 11.5$로 명시적으로 설정되어 시겔 제로 기여를 통제한다.
• 논문의 PARI-GP 스크립트는 임의의 $\alpha, \alpha_1$에 대해 상수를 계산할 수 있게 하여 새로운 매개변수 영역으로의 확장을 가능하게 한다.