연속 소수 쌍에 대한 여섯 가지 일반화와 연관 추측

초록

본 논문은 안드리카 추측을 확장하거나 연관된 여섯 개의 새로운 연속 소수 쌍에 관한 추측을 제시하고, 각 추측에 대한 구체적인 사례와 광범위한 수치 검증을 통해 그 타당성을 탐색한다.

상세 요약

안드리카 추측은 “√pₙ₊₁ − √pₙ < 1”이라는 형태로 연속 소수 사이의 차이를 제곱근 기준으로 제한한다는 내용이다. 이 논문은 그 기본 아이디어를 다양한 함수 형태와 불등식으로 일반화한다. 첫 번째 추측은 √pₙ₊₁ − √pₙ < c (c < 1) 로, 상수 c를 0.9, 0.8 등으로 낮추어도 모든 n에 대해 성립한다는 가정을 검증한다. 두 번째는 로그함수와 결합한 형태, 즉 √pₙ₊₁ − √pₙ < 1 / log pₙ 로, 큰 소수일수록 차이가 더욱 작아진다는 직관을 수치적으로 확인한다. 세 번째는 차이를 제곱근이 아닌 pₙ의 거듭제곱근으로 일반화해 pₙ₊₁^{1/k} − pₙ^{1/k} < 1/k (k≥2) 라는 불등식을 제시하고, k가 커질수록 조건이 완화되는 경향을 분석한다. 네 번째는 연속 소수의 곱에 대한 부등식으로, (pₙ·pₙ₊₁)^{1/2} − pₙ < 1 을 도입해 곱의 평균값이 개별 소수보다 크게 차이나지 않음을 주장한다. 다섯 번째는 소수 사이의 차이 dₙ = pₙ₊₁ − pₙ 를 제곱근 형태로 제한, 즉 dₙ < 2√pₙ 로, 기존 베르트란드·체비쉐프 경계와 비교해 더 강력한 제한을 제시한다. 마지막 여섯 번째는 소수 쌍을 대칭적으로 다루어 pₙ₊₁ + pₙ < 2pₙ + 1 혹은 pₙ₊₁ − pₙ < log pₙ 와 같은 형태를 제안한다. 각 추측마다 10⁶ 이하의 소수까지 전산 검증을 수행했으며, 위배 사례가 발견되지 않았다. 논문은 이러한 실험적 결과가 기존 소수 분포 이론과 어떻게 일치하거나 새로운 방향을 제시하는지를 논의한다. 특히, 로그 기반 불등식은 소수 정리와의 연계성을 강조하며, 제곱근 기반 일반화는 안드리카 추측의 근본적인 구조가 더 넓은 함수 공간에서도 유지될 가능성을 시사한다. 또한, 차이의 제곱근 제한은 소수 사이의 “밀도”를 정량화하는 새로운 척도로 활용될 수 있다. 전체적으로 이 논문은 경험적 데이터와 이론적 직관을 결합해 안드리카 추측의 확장 가능성을 체계적으로 탐구한다.