2025-11-24T21:55:17.095288

The number of primes in short intervals and numerical calculations for Harman's sieve

The author gives nontrivial upper and lower bounds for the number of primes in the interval $[x - x^Î¸, x]$ for some $0.52 \leqslant Î¸\leqslant 0.525$, showing that the interval $[x - x^{0.52}, x]$ contains prime numbers for all sufficiently large $x$. This refines a result of Baker, Harman and Pintz (2001) and gives an affirmative answer to Harman and Pintz's argument. New arithmetic information, a delicate sieve decomposition, various techniques in Harman's sieve and accurate estimates for integrals are used to good effect.

academic

짧은 구간의 소수 개수와 Harman 체에 대한 수치 계산

기본 정보

논문 ID: 2308.04458
제목: The number of primes in short intervals and numerical calculations for Harman's sieve
저자: Runbo Li
분류: math.NT (정수론)
발표 시간: 2023년 8월 (최신 버전 2025년 10월)
논문 링크: https://arxiv.org/abs/2308.04458

초록

저자는 구간 $[x - x^θ, x]$ 에서의 소수 개수에 대한 자명하지 않은 상한과 하한을 제시하였으며, 여기서 $0.52 \leqslant θ \leqslant 0.525$ 이다. 모든 충분히 큰 $x$ 에 대해 구간 $[x - x^{0.52}, x]$ 가 소수를 포함함을 증명하였다. 이는 Baker, Harman 및 Pintz (2001)의 결과를 개선하였으며, Harman과 Pintz의 논증에 대한 긍정적인 답변을 제공한다. 논문에서는 새로운 산술 정보, 정밀한 체 분해, Harman 체의 다양한 기법, 그리고 적분의 정확한 추정을 효과적으로 활용하였다.

연구 배경 및 동기

핵심 문제

본 연구가 해결하고자 하는 것은 고전적인 짧은 구간의 소수 분포 문제이다: $[x - x^θ, x]$ 형태의 짧은 구간에서 소수 개수의 점근적 행동을 결정하고, 특히 이러한 구간이 반드시 소수를 포함하게 하는 최소 지수 $θ$ 를 찾는 것이다.

문제의 중요성

이론적 의의: 짧은 구간의 소수 분포는 해석적 정수론의 핵심 문제 중 하나이며, 소수 정리의 정밀화와 직접 연관된다.
역사적 지위: Cramér의 1937년 추측 이래로, 이 문제는 많은 수학자들의 관심을 끌어왔다.
기술적 도전: 체 이론, 지수합 추정, L 함수 영점 분포 등 심오한 이론의 결합이 필요하다.

역사적 발전

1930년 Hoheisel: 점근 공식이 성립하는 $θ < 1$ 이 존재함을 최초로 증명 ( $θ ≥ 1 - 1/33000$ )
1972년 Huxley: 영점 밀도 추정을 통해 $θ$ 를 $7/12$ 로 감소
2024년 Guth-Maynard: 최신 영점 밀도 결과로 $θ$ 를 $17/30$ 으로 감소
체 이론의 발전: 1979년 Iwaniec-Jutila가 체 이론 도입, 이후 BHP (2001)가 $θ = 0.525$ 달성

기존의 한계

Baker-Harman-Pintz (BHP)의 획기적인 업적이 $θ = 0.525$ 에 도달했음에도 불구하고 다음과 같은 문제가 있었다:

계산 세부 사항이 거의 완전히 생략되어 검증 및 개선이 어렵다.
Kumchev는 $θ = 0.52$ 가 당시 기술 범위를 벗어난다고 지적했다.
체계적인 수치 계산 프레임워크가 부족하다.

핵심 기여

0.52 벽 돌파: $θ = 0.52$ 의 가능성을 최초로 엄격히 증명하여 Kumchev가 제기한 기술적 도전을 해결
완전한 계산 세부 사항 제공: BHP 업적에서 생략된 대량의 계산을 채워 결과의 검증 및 재현 가능성 확보
새로운 산술 정보 개발: Lemmas 4.4-4.5 등 새로운 산술 보조정리를 증명하여 체 이론의 적용 범위 확장
체 분해 최적화: 역할 반전, 역방향 Buchstab 항등식 등의 기법을 통해 손실 추정을 현저히 개선
수치 계산 프레임워크 구축: C++과 Mathematica를 교차 검증하여 계산의 정확성 보장

방법론 상세 설명

작업 정의

입력: 양의 정수 $x$ 와 매개변수 $θ \in [0.52, 0.525]$ 출력: 구간 $[x - x^θ, x]$ 에서의 소수 개수 $π(x) - π(x - x^θ)$ 의 상한과 하한 목표: 상수 $LB(θ), UB(θ)$ 가 존재하여 다음을 만족함을 증명 $LB(θ) \frac{x^θ}{\log x} ≤ π(x) - π(x - x^θ) ≤ UB(θ) \frac{x^θ}{\log x}$

핵심 구조: Harman 체

1. 기본 설정

주요 매개변수 정의:

$A = \{a : a ∈ Z, x - y ≤ a < x\}$ , 여기서 $y = x^{θ+ε}$
$B = \{b : b ∈ Z, x - y_1 ≤ b < x\}$ , 여기서 $y_1 = x \exp(-3(\log x)^{1/3})$
$S(C, z) = \sum_{a∈C, (a,P(z))=1} 1$

목표는 $S(A, x^{1/2})$ 추정으로 변환된다.

2. 체 분해 전략

Buchstab 항등식을 통한 재귀적 분해: $S(C, z) = S(C, w) - \sum_{w≤p<z} S(C_p, p)$

핵심 아이디어: 희소 집합 $A$ 와 밀집 집합 $B$ 의 점근 관계 증명: $S(A, z) = \frac{y}{y_1}(1 + o(1))S(B, z)$

3. 영역 분할

적분 영역을 세 개의 부분 영역으로 분할:

영역 A: $\{α_2 : 1/4 ≤ α_1 ≤ 2/5, 1/3(1-α_1) ≤ α_2 ≤ \min(α_1, 1/2(1-α_1))\}$
영역 B: $\{α_2 : 1/3 ≤ α_1 ≤ 1/2, \max(1/2 α_1, 1-2α_1) ≤ α_2 ≤ 1/2(1-α_1)\}$
영역 C: 나머지 영역

기술적 혁신점

1. 새로운 산술 정보 (Lemmas 4.4-4.5)

전통적인 Type-II 정보를 Type-II5 및 Type-II6으로 확장하며, 더욱 정밀한 Hölder 부등식과 평균값 정리를 통해:

Lemma 4.4: 5차원 경우에 대해, 특정 조건을 만족할 때 점근 공식을 획득: $\sum_{l_1l_2l_3l_4l_5∈A} a_{l_1}b_{l_2}c_{l_3}d_{l_4}e_{l_5}$

2. 역할 반전 기법

4차원 및 6차원 합에서 변수의 역할을 교환하여, 더 큰 4D 손실을 더 작은 6D 손실로 대체한다.

3. 역방향 Buchstab 항등식

$\sum_{α_4} S(Ap_1p_2p_3p_4, (x/(p_1p_2p_3p_4))^{1/2}) = \sum_{α_4} S(Ap_1p_2p_3p_4, p_4) - \sum_{α_4} \sum_{α_4<α_5<1/2(1-α_1-α_2-α_3-α_4)} S(Ap_1p_2p_3p_4p_5, p_5)$