[논문 리뷰] On the Interval [n,2n]: Primes, Composites and Perfect Powers

Germán Paz|arXiv (Cornell University)|2013. 09. 02.

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

한 줄 요약

이 논문은 모든 양의 정수 $n$에 대해 구간 $[n, 9(n+3)/8]$에 적어도 하나의 소수가 존재함을 증명하며, Dusart의 소수 밀도 경계와 계산적 검증을 활용한다. 이 결과를 바탕으로 $[n, 2n]$ 내 소수, 합성수, 완전거듭제곱수의 분포에 대한 새로운 정량적 보장을 도출한다. 그 결과, 충분히 큰 $n$에 대해 특정 하위구간 내에서 적어도 네 개의 소수와 적어도 하나의 완전거듭제곱수가 존재함을 보여준다.

ABSTRACT

In this paper we show that for every positive integer $n$ there exists a prime number in the interval $[n,9(n+3)/8]$. Based on this result, we prove that if $a$ is an integer greater than 1, then for every integer $n>14.4a$ there are at least four prime numbers $p$, $q$, $r$, and $s$ such that $n14.4/(|\sqrt[m]{1.5}|-1)^m$ there exist a positive integer $a$ and a prime number $s$ such that $n14.4/(|\sqrt[m]{2}|-|\sqrt[m]{1.5}|)^m$ there exist a prime number $r$ and a positive integer $a$ such that $n

연구 동기 및 목표

• 모든 양의 정수 $n$에 대해 구간 $[n, 9(n+3)/8]$에 적어도 하나의 소수가 존재함을 증명함으로써, 베르트랑-체비셰프 정리의 추측된 개선판을 검증하는 것.
• 이 소수 존재성 결과를 활용하여 $[n, 2n]$ 내 소수 및 완전거듭제곱수의 분포에 대한 정량적 경계를 도출하는 것.
• 엘 바크라우이와 루의 고전적 결과를 일반화하여, $[n, 2n]$의 특정 하위구간 내에서 다수의 소수와 완전거듭제곱수의 존재를 증명하는 것.
• 충분히 큰 $n$에 대해, $[n, 2n]$의 정의된 하위구간 내에서 적어도 네 개의 소수와 하나의 완전거듭제곱수의 존재를 보장하는 명시적이고 계산 가능한 임계값($a$와 $m$에 대한 표현)을 제공하는 것.

제안 방법

• 모든 $n \to \text{양의 정수}$에 대해, $n \to 3275$일 때 $[n, (1 + 1/(2(\text{ln } n)^2))n]$ 형태의 Dusart 구간을 포함하며, 나머지 경우는 계산적으로 검증함으로써 $[n, 9(n+3)/8]$에 적어도 하나의 소수가 존재함을 증명한다.
• Dusart의 1998년 및 2010년 결과를 활용하여 $n \to 3275$일 때 $[n, (1 + 1/(2(\text{ln } n)^2))n]$에 적어도 하나의 소수가 존재함을 증명하며, 이는 $[n, 9(n+3)/8]$에 포함됨을 보인다.
• 로그 함수와 근함수의 점근적 비교를 통한 간격 분석을 활용하여, $n$의 증가와 $[n, 2n]$ 내 완전거듭제곱수 $a^m$ 및 소수 간 간격의 변화를 연결한다.
• 부등식을 활용하여 $n > 14.4 / (|\text{root}_m(2)| - |\text{root}_m(1.5)|)^m$ 조건을 도출함으로써, $n < r < 3n/2 < a^m < 2n$를 만족하는 소수 $r$와 완전거듭제곱수 $a^m$의 존재를 보장한다.
• 부등식 $1/(\text{root}_m(2) - \text{root}_m(1.5))^m > 1$을 적용하여 유도된 임계값이 항상 14.4를 초과함을 보이고, 이는 14.4를 안전한 하한으로 사용하는 데 타당성을 부여한다.
• 구간 $[n, 9(n+3)/8]$ 내 소수 존재성과 $[n, 3n/2]$ 및 $[3n/2, 2n]$로의 간격 분할을 결합하여 각 하위구간 내에서 다수의 소수와 완전거듭제곱수의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 모든 양의 정수 $n$에 대해 구간 $[n, 9(n+3)/8]$에 적어도 하나의 소수가 존재하는가?
• RQ2 주어진 정수 $a > 1$에 대해, $[n, 2n]$ 내에서 $n < ap < 3n/2 < aq < 2n$ 및 $n < r < 3n/2 < s < 2n$를 만족하는 적어도 네 개의 소수 $p, q, r, s$가 존재하는 최소 $n$은 얼마인가?
• RQ3 주어진 $m$에 대해, $[n, 2n]$ 내에서 $n < a^m < 3n/2 < s < 2n$를 만족하는 완전거듭제곱수 $a^m$과 소수 $s$가 존재하는 최소 $n$은 얼마인가?
• RQ4 최소 $n$은 얼마여야 $[n, 2n]$ 내에서 $n < r < 3n/2 < a^m < 2n$를 만족하는 소수 $r$와 완전거듭제곱수 $a^m$이 존재하는가?
• RQ5 고전적 베르트랑-체비셰프 정리는, 명시적이고 계산 가능한 임계값을 제시함으로써 $[n, 2n]$의 하위구간 내에서 다수의 소수와 완전거듭제곱수의 존재를 보장하도록 강화될 수 있는가?

주요 결과

• 모든 양의 정수 $n$에 대해, $[n, 9(n+3)/8]$에 적어도 하나의 소수가 존재한다. 이는 $n \to 3275$일 때 Dusart의 구간에 포함되며, $n < 3275$인 경우 계산적으로 검증됨으로써 증명된다.
• 모든 정수 $a > 1$에 대해, $n > 14.4a$이면 $n < ap < 3n/2 < aq < 2n$ 및 $n < r < 3n/2 < s < 2n$를 만족하는 적어도 네 개의 소수 $p, q, r, s$가 존재함을 보여, 베르트랑의 추측에 대한 정량적 개선을 확립한다.
• 모든 양의 정수 $m$에 대해, $n > 14.4 / (|\text{root}_m(1.5)| - 1)^m$이면, 양의 정수 $a$와 소수 $s$가 존재하여 $n < a^m < 3n/2 < s < 2n$를 만족함을 보여, 상부 하위구간 내 완전거듭제곱수와 소수의 존재를 보장한다.
• 모든 양의 정수 $m$에 대해, $n > 14.4 / (|\text{root}_m(2)| - |\text{root}_m(1.5)|)^m$이면, 소수 $r$와 양의 정수 $a$가 존재하여 $n < r < 3n/2 < a^m < 2n$를 만족함을 보여, 중간-상부 하위구간 내 소수와 완전거듭제곱수의 존재를 보장한다.
• 모든 양의 정수 $m$에 대해, 임계값 $14.4 / (|\text{root}_m(2)| - |\text{root}_m(1.5)|)^m$은 항상 14.4를 초과하므로, 도출된 부등식에서 14.4를 안전한 하한으로 사용하는 것이 타당함을 검증한다.
• 논문은 모든 $m$에 대해 $1 / (|\text{root}_m(2)| - |\text{root}_m(1.5)|)^m > 1$임을 확인하였으며, 이는 도출된 경계가 의미 있고 비자명함을 보장한다.