선우의 x제곱+ny제곱 추측에 대한 거의소수 연구

초록

이 논문은 2015년 선우가 제시한 “모든 n>1에 대해 n=x+y이며 x+ny와 x²+ny²가 동시에 소수”라는 추측을 완전한 소수 대신 거의소수(소인수 개수 제한) 형태로 접근한다. 저자는 리히터·할베르스탐·다이아몬드가 개발한 가중 체법을 이용해, 충분히 큰 n에 대해 x+ny는 최대 3개의 소인수를, x²+ny²는 최대 4개의 소인수를 갖는 y를 존재함을 증명한다. 이는 원 추측에 대한 부분적 진전이며, 체 이론과 Linnik 문제와의 연관성을 논한다.

상세 분석

본 연구는 선우의 추측을 “두 다항식 F₁ₙ(y)=n+(n−1)y, F₂ₙ(y)=(n+1)y²−2ny+n²”가 동시에 소수를 생산한다는 문제로 재구성한다. 두 식은 각각 1차와 2차이며, 고정 소인수를 갖지 않으므로 체 이론 적용이 가능하다. 저자는 리히터가 제시한 가중 체법(Weighted Sieve)을 다차원 형태로 확장한 Diamond‑Halberstam‑Richert sieve를 채택한다. 이 방법은 다음 네 가지 핵심 조건을 필요로 하는데, (1) 로컬 밀도 ρ(A,p)가 p보다 작고, (2) 전역 밀도 함수 G(z)=∏_{p<z}(1−ρ(A,p)/p)⁻¹가 로그에 비례하는 성장, (3) 오차항 η(A,d)가 다항식 차수 g와 ω(d) (소인수 개수)와의 적절한 관계를 만족, (4) 특정 소수에 대한 평균적 분포가 Mertens 정리와 Nagell의 일반화에 의해 제어됨을 보인다. 논문은 이러한 조건을 각각 Lemma A, B, C를 통해 검증한다. 특히, Lemma C는 Selberg 체와 가중 체를 결합해 S_q(A,z)와 S(A,z)의 상·하한을 제공하며, 여기서 f(u), F(u)는 전통적인 체 함수이며 u=log X/log z 구간에서 명시적인 형태를 가진다.

주요 정리(Theorem 1)는 “충분히 큰 n에 대해 n=x+y이며 Ω(x+ny)≤3 또는 Ω(x²+ny²)≤4인 y가 존재한다”는 것이다. 증명은 먼저 A₁ₙ={F₁ₙ(y)}와 A₂ₙ={F₂ₙ(y)}를 정의하고, 각 집합에 대해 가중 체 W(A,u,λ)를 도입한다. λ와 u를 적절히 선택(예: u=1+3−r, λ=r+1−u(Λ_r−δ))함으로써 W(A,u,λ)≥X·G·(e^γ 2 D(u)−b·(log X)^{−1/15}) 형태의 하한을 얻는다. 여기서 D(u)=u log 4u−(u−1) log 3u−1이며, r=3이면 Ω≤3, r=4이면 Ω≤4를 보장한다. 최종적으로 G(X^{1/4})와 상수 C>0을 이용해 하한이 양수임을 확인함으로써 원하는 거의소수 y의 존재를 확정한다.

이와 같은 접근은 Linnik 문제(최소 소수의 등차수열 내 존재)와 직접적인 연관을 갖는다. 선우 추측의 선형 부분은 “n+(n−1)y가 소수”라는 형태로, 이는 모듈러 k에 대한 최소 소수 p(k,l)와 동형이다. 현재 Linnik 상수 L≤5가 알려져 있으나, 일반적인 경우에 대한 강한 상한이 아직 부족하므로, 거의소수 버전을 고려하는 것이 자연스럽다. 논문은 또한 Ω(x+ny)·Ω(x²+ny²)≤11이라는 결합된 거의소수 결과를 제시함으로써 두 식을 동시에 다루는 다차원 체의 효율성을 강조한다.

전체적으로, 저자는 기존의 가중 체 이론을 정교하게 적용해 선우의 추측에 대한 부분적 증명을 제공하고, 향후 완전한 소수 버전을 위한 체의 한계와 개선 가능성을 제시한다.