[논문 리뷰] Short effective intervals containing primes

Habiba Kadiri, Allysa Lumley|arXiv (Cornell University)|2014. 07. 29.

Analytic Number Theory Research참고 문헌 9인용 수 14

한 줄 요약

이 논문은 리만 제타함수의 개선된 명시적 영역 밀도 추정과 스무딩된 체비쇼프 함수 접근법을 사용하여, 모든 $ x \geq x_0 $ 에 대해 적어도 한 개의 소수를 포함하는 효과적인 짧은 간격을 확립한다. 주요 결과는 간격 길이를 크게 줄여, $ x_0 = e^{59} $ 에서 $ \Delta = 1,946,282,821 $ 을 달성하였으며, 이는 이전의 극한 값보다 향상된 것으로, 삼차 골드바흐 추측의 검증 범위를 $ 7.864 \times 10^{27} $ 까지 연장할 수 있게 한다.

ABSTRACT

We prove that if $x$ is large enough, namely $x\ge x_0$, then there exists a prime between $x(1- Δ^{-1})$ and $x$, where $Δ$ is an effective constant computed in terms of $x_0$. This improves some previous results of Ramaré and Saouter and is used to verify the Ternary Goldbach Conjecture for the integers up to $7.86\cdot 10^{27}$.

연구 동기 및 목표

• 모든 $ x \geq x_0 $ 에 대해 적어도 한 개의 소수를 포함하는 효과적이고 명시적인 간격 $ (x(1 - \Delta^{-1}), x) $ 를 확립하고, $ x_0 $ 가 가능한 한 작도록 하는 것.
• 클래식한 밀도 정리에서 유도된 명시적 상수를 갖는 새로운 명시적 영역 밀도 추정을 활용하여, 이전의 효과적 결과—특히 라마레와 사우터의 $ \Delta = 209,257,759 $ —을 초월하는 것.
• 개선된 간격 추정을 적용하여 삼차 골드바흐 추측의 검증 범위를 이전의 한계를 넘어서 확장하는 것.
• 고급 스무딩 및 영역 밀도 기법을 사용하여, $ 4 \cdot 10^{18} $ 이하의 최대 소수 간격에 대해 계산적으로 검증되고 수치적으로 날카로운 경계를 제공하는 것.

제안 방법

• 가중치 함수 $ f(t) $ 를 사용하여 적분하는 스무딩된 체비쇼프 함수 $ \theta(x) $ 를 사용하여, $ y = x(1 - \Delta^{-1}) $ 인 경우의 차이 $ \theta(x) - \theta(y) $ 를 제어한다.
• 구간 끝점 근처의 소수 기여도를 제한하기 위해 브룬-티치마르크 유형 부등식을 적용하여, 스무딩 적분이 소수 개수의 차이에 대한 하한이 되도록 보장한다.
• 비자명한 리만 제타함수의 영점에 대한 새로운 명시적 영역 밀도 추정을 도입하여, $ \psi(x) $ 의 명시적 공식에서 오차 항을 제어한다.
• 지지 집합이 $ [0,1] $ 에서 유한한 매개변수화된 함수의 가족 $ f(t) $ 를 도입하고, 매개변수 $ m $ 과 $ \delta $ 를 최적화하여 소수 차이에 대한 하한을 최대화한다.
• 주어진 $ x_0 $ 에 대해 최적의 $ \Delta $ 를 계산하기 위한 수치 최적화 프레임워크를 사용하며, 스무딩 적분이 0을 초과하는 조건에서 $ \Delta $ 를 유도한다.
• 베셀 함수와 부분합에 대한 명시적 경계를 사용하여 주요 오차 항의 양성을 검증하여, 최종 부등식 $ \theta(x) - \theta(y) > 0 $ 이 성립함을 보장한다.

실험 결과

연구 질문

• RQ1 모든 $ x \geq x_0 $ 에 대해 $ (x(1 - \Delta^{-1}), x) $ 가 적어도 한 개의 소수를 포함하도록 하는 최소 효과적 $ \Delta $ 는 무엇인가, 여기서 $ x_0 \geq 4 \cdot 10^{18} $ 이다?
• RQ2 리만 제타함수에 대한 새로운 명시적 영역 밀도 추정이 이전 연구에 비해 알려진 짧은 소수 간격의 경계를 향상시킬 수 있는가?
• RQ3 소수를 보장하기 위해 간격 길이를 얼마나 줄일 수 있으며, 이는 삼차 골드바흐 추측의 검증 범위에 어떤 개선을 가져오는가?
• RQ4 최대 소수 간격은 $ x \geq x_0 $ 에서 얼마이며, 이는 알려진 수치 기록과 어떻게 비교되는가?
• RQ5 스무딩 기법과 함께 명시적 영역 밀도 추정을 조합하여, 리만 가설에 의존하지 않고도 짧은 간격에 대해 효과적으로 증명 가능한 결과를 도출할 수 있는가?

주요 결과

• 특히 $ x_0 = e^{59} $ 에서는 $ \Delta = 1,946,282,821 $ 을 확립하여 간격 길이를 $ x/\Delta \approx 5.8 \times 10^{16} $ 로 줄였으며, 이는 라마레와 사우터의 $ \Delta = 209,257,759 $ 보다 뚜렷한 향상이다.
• 플랫의 리만 가설 검증을 활용한 헬프고트의 이전 경계 $ \Delta = 307,779,681 $ 보다 개선된 결과로, $ \Delta = 1,946,282,821 $ 을 도출하여 골드바흐 검증 범위를 연장할 수 있게 되었다.
• 특히 $ x_0 = e^{60} $ 에서는 $ \Delta = 1,966,196,911 $ 을 도출하여, 삼차 골드바흐 추측의 검증 범위를 모든 홀수 정수까지 $ 7.864 \times 10^{27} $ 까지 확장할 수 있게 되었다.
• 로그 $ x_0 $ 가 42.83에서 150 사이인 $ \Delta $ 값의 완전한 표를 제공하며, $ x_0 $ 가 증가함에 따라 $ \Delta $ 가 단조적으로 증가함을 보여, 더 큰 $ x_0 $ 에서는 더 날카로운 경계가 성립함을 반영한다.
• 개선된 영역 밀도 추정과 함께 정교화된 스무딩 및 최적화 절차를 통해, 모든 $ x \geq x_0 $ 에 대해 소수 차이 $ \theta(x) - \theta(x(1 - \Delta^{-1})) $ 가 양수임을 보장하며, 명시적 수치 검증이 이루어졌다.
• 결과적으로 $ 4 \cdot 10^{18} $ 이하의 최대 소수 간격은 $ N = 4 \cdot 10^{18} $ 으로 경계지어지며, 이 범위 내에서 가능한 최대 간격의 상한은 $ N\Delta \approx 7.86 \times 10^{27} $ 임을 확인하였다.