[논문 리뷰] Primes and almost primes between cubes

Daniel R. Johnston, Simon N. Thomas외 2명|arXiv (Cornell University)|2026. 01. 22.

Analytic Number Theory Research인용 수 0

한 줄 요약

이 논문은 강한 계산과 체(Method)적 방법을 사용하여 모든 n^3까지의 n에 대해 n^3과 (n+1)^3 사이에 소수가 존재하고, 같은 구간에서 소인수가 최대 2개인 수가 존재함을 보이며; 또한 Mill의 함수의 코리올리도에 대해 논한다.

ABSTRACT

In this paper we study the problem of detecting prime numbers between all consecutive cubes. Firstly, we use a large computation to show that there is always a prime between $n^3$ and $(n+1)^3$ for $n^3\leq 1.649\cdot 10^{40}$. In addition, we use this computation and a sieve-theoretic argument to show that there exists a number with at most 2 prime factors (counting multiplicity) between $n^3$ and $(n+1)^3$ for all $n\geq 1$. Our sieving argument uses a logarithmic weighting procedure attributed to Richert, which yields significant numerical improvements over previous approaches.

연구 동기 및 목표

• 연속 큐빅 사이에 소수가 무조건적으로 존재함을 큰 계산 범위에서 확인한다.
• 동일 구간에서 거의소수(Ω(a) ≤ 2)를 검출하기 위해 체 방법을 확장한다.
• Richert의 대수적 가중치를 활용해 체질화를 최적화하고 명시적 수치를 얻는다.
• 짧은 구간에서 소수 판별의 계산 한계와 자원을 제시한다.

제안 방법

• 소수와 거의소수를 찾기 위해 n^3<(n+1)^3 구간의 정수를 체 이론적 프레임워크로 선별한다.
• 곱적 함수 g(d)=1/d를 사용한 명시적 선형 체 한계(Bordignon–Starichova–Danzer)를 적용해 추려진 집합을 상한/하한으로 bound한다.
• Richert의 로그 가중치를 적용해 선별 함수와 Ω(a) ≤ k(여기서는 k=2) 간의 관계를 연결한다.
• 대규모 계산을 활용해 이전 큐브 구간 알고리즘을 (n^3,(n+1)^3) 구간에 맞게 수정하고 선별 후보군의 소수 여부 검사에 BLS 소수성 검사 사용.
• 엄격한 하한/상한을 보장하기 위해 z, y, p 경계 등 매개변수 범위와 오차항을 명시적으로 제시한다.

실험 결과

연구 질문

• RQ1 n^3 ≤ 1.649×10^40인 계산된 한계까지 모든 n에 대해 n^3과 (n+1)^3 사이에 소수가 존재하는가?
• RQ2 n ≥ 1에 대해 모든 구간(n^3,(n+1)^3)에서 Ω(a) ≤ 2인 정수가 존재하는가?
• RQ3 향상된 수치 경계 달성을 위해 Richert의 로그 가중치가 이 큐빗 구간 설정에서 이전 방식보다 얼마나 효과적인가?
• RQ4 큐브 사이의 짧은 구간에서 무조건적 결과를 더 확장하기 위한 실제 계산 한계와 자원은 무엇인가?
• RQ5 동일 구간 프레임에서 Mill의 소수 생성 함수와 계산 결과가 어떻게 연결되는가?

주요 결과

• n^3과 (n+1)^3 사이에 모든 n^3 ≤ 1.649×10^40에 대해 소수가 존재한다는 점은 대규모 계산으로 확립되었다.
• n ≥ 1에 대해 모든 구간(n^3,(n+1)^3)에서 Ω(a) ≤ 2인 수가 존재한다는 점은 Richert의 로그 가중치를 이용해 입증되었다.
• Richert의 가중치는 이 맥락에서 Kuhn의 단순 가중치보다 유의하게 더 나은 수치 결과를 제공하여 Ω(a) ≤ 2를 가능하게 했고 Kuhn의 방법으로는 충분하지 않았다.
• 2-거의소수 결과의 응용으로 Mill의 소수 생성 함수의 거의-버전이 도출되며 모든 n ≥ 1에 대해 바닥이 A^{3^n}의 몫으로 표현될 때 소수 2개 이하를 가진다는 결과(A Mill의 상수)로 이어진다.
• 이 방법은 한계도 명확히 해준다: 이러한 체 방법으로 소수(Ω(a)=1)로의 향상은 현재 확립되지 않은 더 강한 명시적 체 도구가 필요하다.