[논문 리뷰] Higher correlations of divisor sums related to primes III: k-correlations

D. A. Goldston, C. Y. Yıldırım|arXiv (Cornell University)|2002. 09. 10.

Analytic Number Theory Research참고 문헌 23인용 수 51

한 줄 요약

이 논문은 복소적분과 잔여치 해석을 사용하여 von Mangoldt 함수를 근사하는 짧은 약수합의 k-상관관계에 대한 渐近 공식을 수립한다. 주요 결과는 계산 가능한 유리수 상수 𝒞ₖ(𝐚)와 특이급수 𝔖(𝐣)를 포함하는 정확한 주항목을 제공하며, 이는 최적의 截斷 수준 R에서 소수 정수론에의 응용을 가능하게 한다.

ABSTRACT

We obtain the general k-correlations for a short divisor sum related to primes.

연구 동기 및 목표

• 짧은 약수합이 von Mangoldt 함수 Λ(n)를 근사하는 k-상관관계에 대한 渐近 공식을 유도하는 것.
• 이전의 1-, 2-, 3-상관관계 결과를 임의의 k ≥ 1 으로 일반화하는 것.
• 소수 정수론 응용을 향상시키기 위해 약수합 근사에서 截斷 수준 R을 최적화하는 것.
• 다변수 잔여치 해석을 통해 유리수 상수 𝒞ₖ(𝐚)를 명시적으로 계산하고 그 곱셈적 구조를 확립하는 것.
• Λ_R와 진짜 von Mangoldt 함수 Λ(n)를 모두 포함하는 혼합 상관관계로 결과를 확장하는 것.

제안 방법

• von Mangoldt 함수를 모델링하기 위해 짧은 약수합 근사 Λ_R(n) = ∑_{d|n, d≤R} μ(d) log(R/d) 를 사용한다.
• Perron의 공식과 Dirichlet 급수를 통해 k-상관관계 𝒮ₖ(N,𝐣,𝐚) 를 다중 복소적분으로 표현한다.
• 다변수 잔여치 해석을 적용하여 주항목을 평가하고, 복소평면 상의 극으로부터 기여를 식별한다.
• 변형된 특이급수 𝔖(𝐣) = ∏_p (1−1/p)^{−r}(1−ν_p(𝐣)/p) 를 유도하여 이동량 j_i 의 산술적 구조를 포착한다.
• 주어진 이동량 j_i 에 대해 각각 다른 截斷 수준 R_i = N^{θ_i} 를 도입하여 주항목을 최적화하고 일반화된 상수 𝒞ₖ(𝐚,θ) 를 유도한다.
• 일반화된 공식 𝒞ₖ(𝐚,θ) = ∏_{i=1}^r 𝒞_{a_i}(θ_i) 를 사용하여 상수를 상대적 θ_i 값에 따라 계산한다.

실험 결과

연구 질문

• RQ1 N → ∞ 일 때, k-상관관계 ∑_n Λ_R(n+j₁)^{a₁}⋯Λ_R(n+j_r)^{a_r} 의 渐近 행동은 어떠한가?
• RQ2 주항목에 나타나는 유리수 상수 𝒞ₖ(𝐚) 는 이동량의 다중도 패턴 𝐚 = (a₁,…,a_r) 에 따라 어떻게 달라지는가?
• RQ3 각 이동량 j_i 에 대해 다른 R_i 를 允許함으로써 截斷 수준 R 을 최적화할 수 있으며, 이는 상관관계 상수에 어떤 영향을 미치는가?
• RQ4 상관관계 상수는 θ_i = log R_i / log N 의 상대적 크기에 따라 정확히 어떻게 의존하는가?
• RQ5 결과는 Λ_R 와 Λ(n) 를 모두 포함하는 혼합 상관관계로 어떻게 확장되며, Bombieri–Vinogradov 추측 하에서의 유효 범위는 무엇인가?

주요 결과

• k-상관관계 𝒮ₖ(N,𝐣,𝐚) 는 계산 가능한 유리수 상수 𝒞ₖ(𝐚) 를 포함하는 渐近 주항목 (𝒞ₖ(𝐚)𝔖(𝐣) + o_k(1))N(log R)^{k−r} + O(R^k) 를 갖는다.
• k ≤ 4 일 때, 상수는 명시적으로 계산된다: 𝒞₁(1)=1, 𝒞₂(2)=1, 𝒞₂(1,1)=1, 𝒞₃(3)=3/4, 𝒞₄(4)=3/4, 나머지는 모두 유리수 값이다.
• 상수는 곱셈 공식 𝒞ₖ(𝐚) = ∏_{i=1}^r 𝒞_{a_i} 를 만족하며, 여기서 𝒞_k = 𝒞_k(1,…,1) 는 기본 상수이다.
• 변동하는 截斷 수준 R_i = N^{θ_i} 를 가진 일반화된 상관관계는 𝒞ₖ(𝐚,θ) = ∏_{i=1}^r 𝒞_{a_i}(θ_i) 를 유도하며, 𝒞₃(θ) 와 𝒞₄(θ) 는 θ_i 에 대한 명시적 공식을 갖는다.
• 𝒞₄(θ) 의 공식은 𝒞₄(θ) = θ₂θ₃θ₄ − ½θ₄(θ₂+θ₃−θ₁)²[θ₂+θ₃≥θ₁] − 1/32 A₄(A₄² + 6A₃A₄ + 4A₃²)[A₄≥0] 이며, 여기서 A₃=θ₂+θ₃−θ₁, A₄=θ₁−θ₂−θ₃+θ₄ 이다.
• 혼합 상관관계 𝔗ₖ(N,𝐣,𝐚) 는 Bombieri–Vinogradov 조건 하에서 분포 수준 ϑ 에 대해 𝔗ₖ(N,𝐣,𝐚) = (𝒞ₖ(𝐚)𝔖(𝐣) + o_k(1))N(log R)^{k−r} 를 만족한다.