연속 소수 사이의 간격: 제한된 차이와 완전 거듭제곱 차이의 새로운 탐구

초록

본 논문은 연속된 소수 사이의 여러 차이가 동시에 크게 유지될 수 있는지, 혹은 모두가 제곱수·완전 거듭제곱이 될 수 있는지를 조사한다. 기존의 소수 간격 연구와 최신 메이너드‑타오 기법을 결합해, k개의 연속 차이에 대한 하한을 제시하고, 차이가 제곱수인 소수쌍·완전 거듭제곱 차이를 갖는 연속 소수열의 존재를 증명한다. 또한 차이가 절대 제곱수가 되지 않는 소수 집합의 밀도와 연속성에 관한 결과도 제시한다.

상세 분석

논문은 크게 네 부분으로 나뉜다. 첫 번째는 연속된 k개의 소수 차이 중 최소값을 다루는 함수 (G_k(x)) 에 대한 새로운 하한을 제시한다. 기존의 골드스톤‑핀츠‑얄디림, 장, 메이너드‑타오의 결과가 “무한히 많은 경우에 (p_{n+1}-p_n\le 246)”을 보였던 반면, 저자는 색칠법과 로저‑슈엔펠드의 소수 개수 추정식을 이용해, (G_k(x) > 0.1504,\frac{\log x}{k}) 이라는 명시적 하한을 얻는다. 이때 “빨간 소수”와 “초록 소수”를 구분해 초록 구간이 충분히 길어야 연속된 초록 소수 k개가 존재함을 보이며, 레머 1을 통해 빨간 소수의 개수를 (6.646,r x(\log x)^2) 이하로 제한한다. 여기서 (r=0.1504\log x/k) 이며, 복잡한 오일러 곱과 수치적 검증을 통해 상수를 최적화한다.

두 번째는 차이가 제곱수인 소수쌍의 무한 존재성을 증명한다. 블룸‑메이너드의 “밀도 정리”를 활용해, 충분히 큰 구간에서 원소들의 차이가 제곱수인 두 원소를 반드시 찾을 수 있음을 보인다. 이는 기존의 디크슨 추측과도 연관되며, “제곱수 차이”가 제한된 소수 집합의 존재를 보이는 중요한 단계이다.

세 번째는 차이가 완전 거듭제곱인 경우를 다룬다. 은행‑프라이버그‑터너지‑버터바우의 정리를 이용해, 적절히 선택된 (W)와 (a) 에 대해 ({Wa,2Wa,\dots,K_mWa}) 모두가 각각 다른 거듭제곱 형태가 되도록 구성한다. 여기서 (K_m) 은 메이너드‑타오의 k‑튜플 결과에서 얻은 상수이며, (a) 는 (e^{e^{10.6m}}) 이하로 잡힌다. 이를 통해 임의의 (m)에 대해 (p_{n+m}-p_n) 가 매우 작은 상수 이하이며 동시에 모든 연속 차이가 완전 거듭제곱임을 보인다.

네 번째는 차이가 절대 제곱수가 되지 않는 소수 집합을 연구한다. 루자와 레코의 결과를 활용해, (\gamma=0.7334117\ldots) 에 따라 (x) 이하에서 최소 (x^{\gamma}/\log x) 개의 소수가 서로 차이가 제곱수가 되지 않음을 보이며, 더 강하게 연속된 소수에 대해서도 (k\approx0.24(\log x)^{1/4}) 개의 연속 소수가 같은 성질을 가짐을 증명한다.

전반적으로 저자는 기존의 소수 간격 연구에 색칠 기법, 정밀한 오일러 곱 계산, 그리고 최신 메이너드‑타오 기법을 결합해 “큰 차이”, “제곱 차이”, “완전 거듭제곱 차이”라는 세 가지 관점을 동시에 탐구한다. 각 정리는 기존 문헌에 비해 명시적 상수를 제공하고, 수치적 검증을 통해 실제 범위에서도 적용 가능함을 보여준다. 다만 상수들의 최적화와 (K_m) 에 대한 더 정밀한 추정은 향후 연구 과제로 남는다.