[논문 리뷰] Smooth numbers in short intervals

K. Soundararajan|arXiv (Cornell University)|2010. 09. 08.

Analytic Number Theory Research참고 문헌 13인용 수 6

한 줄 요약

리만 가설을 가정할 경우, 이 논문은 임의의 ε > 0에 대해 충분히 큰 x에 대해 짧은 간격 [x, x + C(ε)√x] 안에 x^ε-부드러운 수가 존재함을 증명한다. 여기서 C(ε)는 ε에 의존하는 상수이다. 결과는 디리클레 급수와 리만 제타 함수의 영점에 대한 복소해석학적 분석을 통해 확립되며, 약수 합의 추정과 짧은 간격 내의 부드러운 수의 분포에 기반한다.

ABSTRACT

Assuming the Riemann hypothesis we demonstrate the existence of smooth numbers in certain short intervals.

연구 동기 및 목표

• 리만 가설 하에 짧은 간격 길이 √x에서 y-부드러운 수의 존재를 확립하기 위해.
• 하르만과 마토마키의 이전 결과를 향상시키기 위해.
• 길이가 O(√x)인 간격이 임의의 ε > 0에 대해 x^ε-부드러운 정수를 포함하는지 조사하기 위해.
• 해석적 수론 기법을 사용하여 이러한 간격 내의 부드러운 수의 수에 대한 조건부 하한을 제공하기 위해.

제안 방법

• 증명은 리만 제타 함수의 로그 도함수와 부드러운 수를 세는 디리클레 다항식 M(s)를 포함하는 복소 적분 표현을 사용한다.
• 경로 적분이 임계선으로 이동되고, 함수 방정식과 스타링크의 공식을 사용하여 ζ(s)의 비자명한 영점 기여를 분석한다.
• 주항목은 s = 1에서의 극점에서 기인하며, 오차 항은 |ζ′/ζ(s)|의 추정과 (e^{δs}−1)^2/s^2의 감쇠성에 기반한 추정을 통해 유계화된다.
• 핵심 단계는 Re(s) = −1/2에서의 적분을 함수 방정식과 디리클레 다항식의 평균값 추정을 사용하여 유계화하는 것이다.
• 메서드는 비자명한 영점의 위치를 제어하고 임계대역 내에서 제타 함수에 대한 효과적인 추정을 도출하기 위해 리만 가설에 의존한다.
• 최종 추정은 주항목을 오차 항들과 비교하여 유도되며, 간격 내의 부드러운 수의 수가 최소한 기대 밀도의 x^{-ε} 배임을 보여준다.

실험 결과

연구 질문

• RQ1 리만 가설을 가정할 경우, 임의의 ε > 0에 대해 [x, x + C(ε)√x] 간격이 항상 x^ε-부드러운 수를 포함하는가?
• RQ2 리만 가설 이전까지 알려진 바를 초월해, 간격 길이를 O(√x)로 줄여도 부드러운 수의 존재를 보장할 수 있는가?
• RQ3 리만 가설 하에, y = x^{1/u}일 때 y-부드러운 수가 존재하는 최소 간격 길이는 얼마인가?
• RQ4 짧은 간격 내의 부드러운 수의 분포는 소수의 분포와 어떻게 비교되며, 크래머 유형의 추측을 부드러운 수로 확장할 수 있는가?
• RQ5 제타 함수 방법 외의 대안적 접근법이 매우 짧은 간격 내의 부드러운 수에 대해 더 강력한 결과를 도출할 수 있는가?

주요 결과

• 임의의 ε > 0에 대해, 리만 가설을 가정할 경우 상수 C(ε)가 존재하여 간격 [x, x + C(ε)√x] 안에 최소한 하나의 x^ε-부드러운 수가 존재한다.
• 간격 [x, x + z] 내의 x^ε-부드러운 수의 수는 z = B u √x / ρ(u/2)일 때 z x^{-ε} 이상으로 하한이 존재한다. 여기서 u = log x / log y 이고, ρ는 딕먼 함수이다.
• 이 방법은 짧은 간격 내의 부드러운 수의 수에 비잔성 하한을 확립하지만, 양의 비율을 도출하지는 못한다.
• y < exp(√(log x log log x))일 경우 추정이 비효율적이므로, 현재 접근법이 매우 부드러운 수에 대해 한계를 보임을 나타낸다.
• 결과는 리만 가설에 조건부이며, 아직 매장된 추측(즉, 길이가 O(log x)인 모든 간격이 x^ε-부드러운 수를 포함한다는 추측)을 해결하지 못한다.
• 증명 기법은 경로 적분과 짧은 간격 내의 약수 합의 추정에 기반하며, 주 기여는 s = 1에서의 극점과 ζ(s)의 영점에서 비롯된다.