2025-11-18T21:25:13.112993

On prime-producing sieves and distribution of $Î±p-Î²$ mod $1$

The author proves that there are infinitely many primes $p$ such that $\| Î±p - Î²\| < p^{-\frac{28}{87}}$, where $Î±$ is an irrational number and $Î²$ is a real number. This sharpens a result of Jia (2000) and provides a new triple $(Î³, Î¸, Î½)=(\frac{59}{87}, \frac{28}{87}, \frac{1}{29})$ that can produce special primes in Ford and Maynard's work on prime-producing sieves. Our minimum amount of Type-II information required ($Î½= \frac{1}{29}$) is less than any previous work on this topic using only traditional Type-I and Type-II information.

academic

소수 생성 체와 $\alpha p-\beta$ mod $1$ 의 분포에 관하여

기본 정보

논문 ID: 2504.13195
제목: On prime-producing sieves and distribution of $\alpha p-\beta$ mod $1$
저자: Runbo Li (International Curriculum Center, The High School Affiliated to Renmin University of China)
분류: math.NT (정수론)
발표 시간: 2025년 10월 16일 (arXiv 버전)
논문 링크: https://arxiv.org/abs/2504.13195

초록

저자는 $\alpha$ 가 무리수이고 $\beta$ 가 실수일 때, $\|\alpha p - \beta\| < p^{-\frac{28}{87}}$ 를 만족하는 무한히 많은 소수 $p$ 가 존재함을 증명했다. 이 결과는 Jia (2000)의 연구를 개선하였으며, Ford와 Maynard의 소수 생성 체에 관한 연구에 새로운 삼중쌍 $(\gamma, \theta, \nu)=(\frac{59}{87}, \frac{28}{87}, \frac{1}{29})$ 을 제공한다. 본 연구에 필요한 Type-II 정보의 최솟값 $\nu = \frac{1}{29}$ 는 전통적인 Type-I과 Type-II 정보만을 사용하는 모든 선행 연구보다 작다.

연구 배경 및 동기

문제의 핵심

본 연구가 다루는 것은 소수 분포의 고전적 문제이다: 주어진 무리수 $\alpha$ 와 실수 $\beta$ 에 대해, $\alpha p - \beta$ 와 가장 가까운 정수 사이의 거리가 $p$ 의 어떤 음의 거듭제곱보다 작은 무한히 많은 소수 $p$ 가 존재하는가?

역사적 발전

이 문제의 연구 역사는 오래되었다:

1954년: Vinogradov가 처음으로 $\tau = \frac{1}{5} - \varepsilon$ 의 경우를 증명
1977년: Vaughan이 그의 항등식을 사용하여 $\tau = \frac{1}{4} - \varepsilon$ 획득
1983년: Harman이 새로운 체 기법을 도입하여 $\tau = \frac{3}{10}$ 으로 개선
1993년: Jia가 $\tau = \frac{4}{13}$ 으로 개선
1996년: Harman이 변수 역할 반전 기법으로 $\tau = \frac{7}{22}$ 획득
2000년: Jia가 $\tau = \frac{9}{28}$ 획득

연구의 의의

이론적 가치: 소수 분포 이론과 디오판토스 근사를 연결
기술 발전: 체 이론의 진전을 촉진
응용 전망: Ford-Maynard의 소수 생성 체 프레임워크와 관련

핵심 기여

주요 정리 개선: 지수를 Jia의 $\frac{9}{28}$ 에서 $\frac{28}{87} \approx 0.3218$ 로 개선
기술 매개변수 최적화: Ford-Maynard 프레임워크용 새로운 삼중쌍 $(\frac{59}{87}, \frac{28}{87}, \frac{1}{29})$ 제공
Type-II 정보 최소화: 필요한 Type-II 정보량 $\nu = \frac{1}{29}$ 가 역사적 최저치 달성
확장 응용: 가우스 소수의 디오판토스 근사로 결과 일반화

방법론 상세 설명

작업 정의

입력: 무리수 $\alpha$ , 실수 $\beta$ 출력: $\|\alpha p - \beta\| < p^{-\frac{28}{87}}$ 를 만족하는 무한히 많은 소수 $p$ 의 존재 증명 제약: 전통적인 Type-I과 Type-II 체 정보만 사용

핵심 기술 프레임워크

1. 체 설정

$\frac{a}{q}$ 를 $\alpha$ 의 연분수 수렴값이라 하고, 다음을 정의:

$\tau = \frac{28}{87}$
$x = q^{2/(1+\tau)}$
$\delta = (2x)^{-\tau}$

집합 구성:

$B = \{n : x < n \leq 2x\}$
$A = \{n : x < n \leq 2x, \|\alpha n - \beta\| < \delta\}$

2. 핵심 보조정리

논문은 두 개의 핵심 보조정리에 의존한다:

보조정리 2.1 (Type-I 정보): $M \ll x^{\frac{59}{87}}$ 이고 $a(m) = O(1)$ 일 때: $\sum_{m \sim M} a(m)S(A_m, x^{\frac{1}{29}}) = 2\delta(1 + o(1))\sum_{m \sim M} a(m)S(B_m, x^{\frac{1}{29}})$

보조정리 2.2 (Type-II 정보): $x^{\frac{28}{87}} \ll M \ll x^{\frac{31}{87}}$ 또는 $x^{\frac{56}{87}} \ll M \ll x^{\frac{59}{87}}$ 일 때, 해당하는 점근 공식이 성립한다.

3. Buchstab 항등식 분해

Buchstab 항등식을 사용하여 $S(A, (2x)^{\frac{1}{2}})$ 를 다음과 같이 분해: $S(A, (2x)^{\frac{1}{2}}) = S_1 - S_2 + S_3$

여기서 $S_3$ 는 추가로 여섯 부분 $S_{31}$ 부터 $S_{36}$ 으로 분해된다.

기술적 혁신점

1. 점근 영역 최적화

점근 영역 $I(m,n)$ 을 다음과 같이 정의: $I(m,n) := \left\{\frac{28}{87} \leq m \leq \frac{31}{87} \text{ 또는 } \frac{56}{87} \leq m \leq \frac{59}{87} \text{ 또는 유사한 n 조건}\right\}$

2. 다차원 적분 추정

점근 공식을 제시할 수 없는 영역에 대해 Buchstab 함수의 상한과 하한을 사용한 정확한 수치 추정 활용. 예를 들어: $\omega(u) \geq \omega_0(u), \quad \omega(u) \leq \omega_1(u)$

3. 변수 역할 반전

특정 조건에서 역할 반전 기법을 사용하여 특정 항을 처리 가능한 형태로 변환.

실험 설정

수치 계산 방법

논문은 주로 정확한 수치 적분 계산에 의존한다:

Buchstab 함수 경계: 정확한 상한과 하한을 사용하여 다차원 적분 추정
영역 분할: 적분 영역을 처리 가능한 부분 영역으로 세분화
손실 추정: 처리 불가능한 각 영역에 대해 손실 상한 계산

매개변수 선택

핵심 매개변수 설정:

$\tau = \frac{28}{87}$
체 선택 매개변수 $z = x^{\frac{1}{29}}$
Type-II 정보 범위의 정확한 경계 설정

실험 결과

주요 결과

정리 1.1: 무리수 $\alpha$ 와 임의의 실수 $\beta$ 에 대해, 다음을 만족하는 무한히 많은 소수 $p$ 가 존재한다: $\|\alpha p - \beta\| < p^{-\frac{28}{87}}$

추론 결과

정리 1.2: $\frac{31}{87} \leq \theta < 1$ 과 임의의 실수 $\beta$ 에 대해, 다음을 만족하는 무한히 많은 소수 $p$ 가 존재한다: $\|p^\theta - \beta\| < p^{-\frac{1-\theta}{2}+\varepsilon}$