[논문 리뷰] On the singular series in the prime k-tuple conjecture

J. Pintz|arXiv (Cornell University)|2010. 04. 07.

Analytic Number Theory Research참고 문헌 3인용 수 3

한 줄 요약

이 논문은 소수 k-튜플 추측에서의 특이 급수의 평균 행동에 대한 날카운 수량적 경계를 확립한다. 임의의 적합한 k-튜플 H ⊂ [1, H]에 대해, H → ∞ 일 때, 이동 h ∈ [1, H]에 대한 특이 급수의 평균 비율 Sₕ(H)는 1로 수렴하며, 이는 k와 ε에 의존하는 명시적인 오차 비율을 따른다. 핵심 결과는 H ≥ exp(k¹ᐟᵝ)일 때 Sₕ(H) = 1 + O(ε)임을 보여주며, 이는 이전의 평균값 추정을 크게 향상시키고, 소수 간격이 작은 경우와 거의 소수 문제에 응용하기 위한 더 단순하고 효과적인 도구를 제공한다.

ABSTRACT

In the present work a new simple proof of the theorem of Gallagher about the average of the singular series in the Hardy-Littlewood prime k-tuple conjecture is proved (in an even stronger form) which is uniform with respect to k (if the length of the interval $H$ is sufficiently large as a function of $k$). This result of Gallagher played a key role in our original joint work with D. A. Goldston and C. Y. Yildirim, where we showed the existence of infinitely many small gaps between consecutive primes. In the present work some weaker variants of Gallagher`s result are also proved (in an even easier way) which are still sufficient for the above mentioned applications.

연구 동기 및 목표

• 소수 간격 유한성 증명에 사용된 특이 급수의 평균값 추정을 보다 정밀하고 강력하게 개선하기 위해.
• 소수 간격이 작은 경우와 거의 소수 문제에 응용하기에 충분한 더 단순하고 효과적인 특이 급수 비율 하한을 제공하기 위해.
• 고정된 k에 대해 H → ∞ 일 때 평균 특이 급수 비율 Sₕ(H) = (1/H)∑ₕ₌₁ᴴ ℱ(ℋ∪{h})/ℱ(ℋ) 의 수렴 속도를 분석하기 위해.
• k와 ε에 따라 의존하는 명시적인 수량적 경계를 특이 급수의 수렴에 대해 확립하기 위해. 이는 소수 곱에 대한 원시적 추정을 사용한다.

제안 방법

• 특이 급수 ℱ(ℋ) = ∏ₚ (1 − νₚ/p) / (1 − 1/p)^k 를 정의하며, 여기서 νₚ는 ℋ를 소수 p로 나눈 나머지의 서로 다른 수이다.
• p ≤ y, p > y 이면서 p | Δ, 그리고 p > y 이면서 p ∤ Δ 로 소수에 대한 곱을 세 부분으로 나누어 ℱ(ℋ ∪ {h}) / ℱ(ℋ) 의 비율을 분석한다. 여기서 y = (5/6) log H 이고 Δ = ∏(h − hᵢ) 이다.
• 소수 정리와 ∑_{p|Δ} 1/p 에 대한 추정을 사용하여, ∑_{p|Δ} log p ≤ 2ky 이면 ∏₂ (p > y 이면서 Δ를 나누는 소수에 대한 곱) 가 exp(O(ε)) 로 유계임을 보인다.
• ∏₃ (p > y 이면서 Δ를 나누지 않는 소수에 대한 곱) 는 1 + O(k/(y log y)) = 1 + O(ε) 로 유계이며, y = (5/6) log H 일 때 성립한다.
• P = ∏_{p≤y} p 에 대한 모듈로에서의 주기성을 이용하여 h ∈ [1, P] 에 대해 ∏₁(h) 를 평균화한다. 이때 잔여류의 조합적 세기로 인해 평균이 정확히 1임을 보인다.
• ∏₁, ∏₂, ∏₃ 의 추정을 종합하여 H ≥ exp(k¹ᐟᵝ) 조건 하에 Sₕ(H) = 1 + O(ε) 를 증명하고, ∏₂ 에 대한 단순 추정을 통해 더 약한 그러나 절대적 경계도 유도한다.

실험 결과

연구 질문

• RQ1 고정된 k-튜플 ℋ 에 대해 H → ∞ 일 때 평균 특이 급수 비율 Sₕ(H) 가 1로 수렴하는 속도는 어떠한가?
• RQ2 소수 간격이 작은 경우에 응용하기에 충분한 더 단순하고 효과적인 특이 급수 비율 하한을 유도할 수 있는가?
• RQ3 수렴 속도의 최적의 k와 H 의 의존성, 특히 지수적 임계값 측면에서 어떻게 되는가?
• RQ4 특이 급수 곱에서 작은 소수와 큰 소수의 기여가 평균에서 어떻게 상호작용하는가?
• RQ5 Gallagher 의 전반적 평균값 결과는 개별 이동에 대한 점별 추정을 통해 복원되고 강화될 수 있는가?

주요 결과

• 임의의 적합한 k-튜플 ℋ ⊂ [1, H] 에 대해, 평균 특이 급수 비율 Sₕ(H) = (1/H)∑ₕ₌₁ᴴ ℱ(ℋ ∪ {h}) / ℱ(ℋ) 는 H ≥ exp(k¹ᐟᵝ) 일 때 Sₕ(H) = 1 + O(ε) 를 만족하며, ε > 0 은 임의의 수이다.
• 수렴 속도가 정량화되어 있다: H ≥ exp(k¹ᐟᵝ) 이면 Sₕ(H) = 1 + O(ε) 이며, 이는 큰 H 에서 평균 비율이 균일하게 1로 수렴함을 보여준다.
• 더 약한 그러나 절대적 하한이 확립되었다: H ≥ exp(c₂ k / log k) 이면 Sₕ(H) ≥ c₁ 이며, 절대 상수 c₁, c₂ > 0 이다.
• P = ∏_{p≤y} p 일 때 h ∈ [1, P] 에 대한 비율 ℱ(ℋ ∪ {h}) / ℱ(ℋ) 의 평균은 잔여류의 대칭 분포로 인해 정확히 1이다. 이는 증명의 핵심 항등식을 증명한다.
• 곱 분해에서의 오차 항은 ∑_{p|Δ} 1/p 와 소수 정리에 대한 추정을 사용하여 제어되며, 제시된 H 임계값 조건 하에 O(ε) 오차로 이어진다.
• 이 결과는 특이 급수 비율의 점별 제어를 제공함으로써 Gallagher 의 평균값 추정을 강화하였으며, 이는 소수 간격이 작은 경우와 거의 소수 문제에 응용하기에 충분하다.