[논문 리뷰] The distribution of integers with a divisor in a given interval

Kevin Ford|ArXiv.org|2004. 01. 18.

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

한 줄 요약

이 논문은 모든 $ x,y,z $ 에 대해 $ H(x,y,z) $, 즉 $ (y,z] $ 내에 약수를 가진 $ x $ 이하의 정수의 수의 주요 크기(order of magnitude)를 결정한다. $ H_1(x,y,z) $ 와 $ H_r(x,y,z) $ 에 대한 날카운 경계를 수립하여, 에르되시와 테너바움이 제기한 오랜 동안 미해결이었던 추측을 해결한다. 이는 균일 순서 통계와 체 방법의 새로운 결과를 사용하여 달성된다.

ABSTRACT

We determine the order of magnitude of H(x,y,z), the number of integers n\le x having a divisor in (y,z], for all x,y and z. We also study H_r(x,y,z), the number of integers n\le x having exactly r divisors in (y,z]. When r=1 we establish the order of magnitude of H_1(x,y,z) for all x,y,z satisfying z\le x^{0.49}. For every r\ge 2, $C>1$ and $ε>0$, we determine the the order of magnitude of H_r(x,y,z) when y is large and y+y/(\log y)^{\log 4 -1 - ε} \le z \le \min(y^{C},x^{1/2-ε}). As a consequence of these bounds, we settle a 1960 conjecture of Erdos and several related conjectures. One key element of the proofs is a new result on the distribution of uniform order statistics.

연구 동기 및 목표

• 모든 $ x,y,z $ 에 대해 $ (y,z] $ 내에 적어도 하나의 약수를 가진 $ \leq x $ 정수의 수인 $ H(x,y,z) $ 의 주요 크기(order of magnitude)를 결정하는 것.
• $ r $ 개의 약수를 $ (y,z] $ 내에 가진 $ \leq x $ 정수의 수인 $ H_r(x,y,z) $ 를 분석하는 것. 특히 $ r=1 $ 과 $ r \geq 2 $ 의 경우에 중점을 두는 것.
• $ (y,2y] $ 내에 약수를 가진 정수의 밀도에 관한 1960년 에르되시의 추측과, 이러한 정수의 분포에 관한 테너바움의 여러 추측을 해결하는 것.
• $ z $ 가 $ x $ 에 비해 너무 크지 않은 범위에서 $ H_r(x,y,z) $ 의 균일한 경계를 수립하는 것. 이를 위해 정밀한 해석적 수론 기법을 사용하는 것.
• 균일 순서 통계의 분포에 관한 새로운 결과를 개발하고, 이를 분석의 핵심 도구로 적용하는 것.

제안 방법

• 약수들이 $ (y,z] $ 에 속할 때의 최소공배수 합을 분석하여, $ H(x,y,z) $ 를 추정하기 위해 포함배제의 원리와 체 방법을 사용하는 것.
• $ z-y $ 의 상대적 크기와 관련된 매개변수 $ \beta $ 를 바탕으로, $ H(x,y,z) $ 의 로그 감쇠의 지수를 묘사하는 함수 $ G(\beta) $ 를 도입하는 것.
• 정수 $ n \leq x $ 중에서 $ n - \lambda $ 가 소수이고 $ n $ 이 $ (y,z] $ 내에 약수를 가지는 경우를 세기 위해 산술적 형태의 큰 체 부등식을 적용하는 것. 특히 짧은 간격에서의 경우에 중점을 두는 것.
• 상한과 하한의 오차 항을 제어하기 위해 $ S^*(t;\sigma) $ 와 관련 합 $ L(a;\sigma) $ 를 정의하고 분석하는 것.
• 균일 순서 통계 결과를 사용하여 $ (y,z] $ 내의 약수 분포를 모델링함으로써, 정확히 $ r $ 개의 그러한 약수를 가진 정수의 수를 정밀하게 추정하는 것.
• 주요 경계를 $ S^*(t;\sigma) $ 를 포함하는 적분 추정으로 환원하고, 지수 합과 이진 분할 기법을 사용하여 이를 경계하는 것.

실험 결과

연구 질문

• RQ1 모든 $ x,y,z $ 에 대해 $ (y,z] $ 내에 약수를 가진 $ \leq x $ 정수의 수인 $ H(x,y,z) $ 의 주요 크기(order of magnitude)는 무엇인가?
• RQ2 $ (y,z] $ 내에 정확히 하나의 약수를 가진 $ \leq x $ 정수의 수인 $ H_1(x,y,z) $ 는 $ z \leq x^{1/2-\varepsilon} $ 일 때 점점 커지는 방식으로 어떻게 행동하는가?
• RQ3 $ r \geq 2 $ 인 경우, $ y $ 가 크고 $ y + y/(\log y)^{\log 4 - 1 - \varepsilon} \leq z \leq \min(y^C, x^{1/2-\varepsilon}) $ 일 때 $ H_r(x,y,z) $ 의 주요 크기(order of magnitude)는 무엇인가? 이는 $ \log y $ 와 $ \xi $ 에 대한 명시적 의존성을 포함한다.
• RQ4 에르되시의 추측, 즉 $ \varepsilon(y,2y) = (\log y)^{-\delta + o(1)} $ 이며 $ \delta = 1 - (1 + \log \log 2)/\log 2 $ 이다 는 것이 참인가?
• RQ5 테너바움이 수립한 $ H(x,y,z) $ 의 경계가, 특히 $ z \approx y + y/(\log y)^{\log 4 - 1} $ 근처의 임계 범위에서 진정한 주요 크기(order of magnitude)와 일치하는가?

주요 결과

• $ z \leq x^{1/2 - \varepsilon} $ 일 때, $ H_1(x,y,z) $ 의 주요 크기는 균일하게 결정되었으며, 이 범위에서 $ (y,z] $ 내에 약수를 가진 대부분의 정수는 정확히 하나의 그러한 약수를 가진다는 것이 드러났다.
• $ r \geq 2 $ 인 경우, $ y + y/(\log y)^{\log 4 - 1 - \varepsilon} \leq z \leq \min(y^C, x^{1/2 - \varepsilon}) $ 의 범위에서 $ H_r(x,y,z) $ 의 주요 크기는 균일하게 확립되었으며, 이는 $ \log y $ 와 $ \xi $ 에 대한 명시적 의존성을 포함한다.
• 에르되시의 추측, 즉 $ \varepsilon(y,2y) = (\log y)^{-\delta + o(1)} $ 이며 $ \delta = 0.086071\ldots $ 이다 는 것이 확인되었으며, 이는 1960년 문제를 해결한 것이다.
• 테너바움이 수립한 $ H(x,y,z) $ 의 경계가, $ z = y + y^{(\log y)^{\log 4 - 1}} $ 근처의 임계 범위에서 날카로운 것으로 밝혀졌으며, 그가 제기한 진정한 주요 크기(order of magnitude)에 대한 추측이 확인되었다.
• 일 때 $ y \to \infty $, $ z \leq \sqrt{x} $, $ \xi \to \infty $ 이면 $ H(x,y,z) \asymp x / (\log y)^{G(\beta)} \max(1, -\xi) $ 라는 결과를 도출하였으며, $ G(\beta) $ 는 조각별로 정의된다.
• 균일 순서 통계의 분포에 관한 새로운 결과를 개발하고, 이를 핵심 기술 도구로 사용하여, 정확히 $ r $ 개의 약수를 $ (y,z] $ 내에 가진 정수의 수를 정밀하게 제어할 수 있게 되었다.