동시 소수 발생 빈도와 실수 거듭제곱

초록

저자들은 0 < α₁ < α₂ < … < α_k < 1인 실수들을 조건하에, ⌊n^{α₁}⌋, ⌊n^{α₂}⌋, …, ⌊n^{α_k}⌋가 모두 소수가 되는 n이 무한히 존재함을 증명한다. 핵심은 k개의 서로 다른 거듭제곱에 대해 동시에 등분포성을 확보하는 새로운 정리이며, 이를 통해 소수와 다른 산술함수에 대한 평균값도 얻는다.

상세 분석

본 논문은 실수 거듭제곱 ⌊n^{α}⌋ 형태의 수열에서 소수가 동시에 나타나는 빈도를 탐구한다. 기존 연구는 Piatetski‑Shapiro 형태(α>1)에서 단일 거듭제곱이 소수가 되는 무한성을 보여왔으며, 최근에는 α<1 구간에서도 ⌊n^{α}⌋ 자체가 소수인 경우가 무수히 존재한다는 사실이 알려졌다. 그러나 두 개 이상의 서로 다른 α_i에 대해 동시에 소수가 되는 경우는 거의 다루어지지 않았다. 저자들은 이를 일반화하기 위해 다음 두 가지 핵심 아이디어를 도입한다.

첫째, “동시 등분포 정리”를 증명한다. 구체적으로, 임의의 정수 모듈러 d_i와 잔여 c_i에 대해
S(N;d,c,α)=#{n≤N : ⌊n^{α_i}⌋≡c_i (mod d_i) ∀i}
가 N/(d₁…d_k)+오차항 형태로 근사됨을 보인다. 여기서 오차는 N^{3+2γ−δ\over5}·(log N)^{k+1}·(min d_i)^{-1/4} 수준이며, γ는 최대 α_i, δ는 최소 α_i이다. 이 결과는 다변량 디스크리퍼시 이론과 Murty‑Srinivas의 일변량 지수합 추정법을 고차원으로 확장한 것이 핵심이다.

둘째, 위 등분포 결과를 von Mangoldt 함수 Λ와 결합해 소수 카운팅을 수행한다. Λ(⌊n^{α_i}⌋+c_i)를 곱한 합을 Möbius 전개와 교환하여 d_i에 대한 중첩 합으로 바꾸고, 각 내부 합이 바로 S(N;d,c,α)임을 이용한다. 등분포 정리의 주된 항이 N·∏(1/d_i)와 일치하므로, 최종적으로
∑_{n≤N} Λ(⌊n^{α₁}⌋+c₁)…Λ(⌊n^{α_k}⌋+c_k)=N+o(N)
를 얻는다. 이는 “대부분의 n에 대해 ⌊n^{α_i}⌋+c_i가 소수”라는 의미이며, 특히 c_i=0이면 ⌊n^{α_i}⌋ 자체가 소수인 경우가 무한히 존재함을 보인다.

조건 ∑_{i=1}^k α_i ≤ 9δ^{20}−2γ^{5}+2^{5}는 현재 증명 기법이 요구하는 기술적 제한이며, 저자들은 이를 완화할 가능성을 언급한다. 또한, 동일한 방법을 이용해 ⌊n^{α_i}⌋가 제곱 자유인지, 혹은 약수 함수 d(·), σ(·)와 같은 산술함수의 평균값을 구하는 응용도 제시한다.

전체적으로 논문은 실수 거듭제곱 수열의 소수 분포에 대한 새로운 다변량 프레임워크를 제공하며, 기존의 단일 거듭제곱 결과를 크게 확장한다는 점에서 의미가 크다.