모듈러 제곱근을 이용한 이중합과 대수적 에너지의 새로운 경계

초록

본 논문은 모듈러 제곱근의 가산 에너지에 대한 기존 결과를 강화하고, 이를 바탕으로 모듈러 제곱근이 포함된 이중 지수합에 대한 비자명한 상한을 제시한다. 또한 이러한 결과를 활용해 제곱 모듈러에 대한 대형 체(large sieve) 추정의 임계점에서 조건부 개선을 얻는다.

상세 분석

논문은 먼저 Dunn·Kerr·Shparlinski·Shkredov·Zaharescu가 제시한 모듈러 제곱근의 가산 에너지(E₂, E₄) 추정에 대한 한계를 검토한다. 저자는 이들 에너지에 “거리 제한”(|m_i−m_{i+1}|≤H)이라는 추가 조건을 도입하고, 격자 이론(Minkowski의 제2정리와 Betke–Henk–Wills의 격자점 개수 추정)을 활용해 새로운 상한
E₂(r,j,M,H)≪ H³M²/r + HM·r^ε,
E₄(r,j,M,H)≪ H²M²·(H³M²/r + HM)·r^ε
을 얻는다. 여기서 r은 임의의 자연수, (r,j)=1이며 H≤M≤r이다. 이러한 “제한된 에너지” 추정은 기존의 전역 에너지 추정보다 더 정밀하게 변수 간 상관관계를 반영한다.

다음으로 저자는 이러한 에너지 추정을 이중 지수합
Σ(r,j,L,M,α,β,f)=∑{|ℓ|≤L}∑{1≤m≤M} α_ℓ β_m e_r(ℓ√{jm})·e(l f(m))
에 적용한다. 여기서 f는 |f′(x)|≤F≤L−1을 만족하는 연속 미분 가능 함수이며, H는 1≤H≤min{LF,M}의 정수이다. Theorem 2에서는
Σ ≪ (H^{-1/2}L^{1/2}M + H^{1/4}L^{1/4}M + H^{-1/4}L^{1/4}M^{3/4}r^{1/4})·‖α‖₂‖β‖_∞·r^ε
라는 비자명한 상한을 얻는다. 특히 H를 r^{1/2}M^{-1/2} 정도로 잡으면 Corollary 1이 도출되며, L·M이 r^{1/3} 이상일 때 기존의 자명한 L^{1/2}M 상한보다 강력함을 보인다.

그러나 L·M이 r^{1/3} 이하인 경우에는 여전히 비자명한 추정이 어려운데, 이를 극복하기 위해 저자는 가설 1을 제시한다. 가설 1은 E₄에 대해
E₄(r,j,M,H)≪ H^{2−ν}M²·(H³M²/r + HM)·r^ε
(ν>0)이라는 추가적인 절감 효과를 가정한다. 이 가정을 바탕으로 Theorem 5에서는 H와 ν를 조절해
Σ ≪ (H^{-1/2}L^{1/2}M + H^{1/8−ν/8}L^{3/8}M + H^{-1/8−ν/8}L^{3/8}M^{7/8}r^{1/8})·‖α‖₂‖β‖_∞·r^ε
라는 더 강력한 상한을 얻는다. 특히 H=M=r^{1/3}인 경우, ν>0이면 비자명한 추정이 가능해져 제곱 모듈러에 대한 대형 체 추정의 임계점 N=Q³에서 η>0을 얻는 Theorem 6을 도출한다. 이는 기존 연구에서 20년간 개선되지 않았던 “Q^{1/2+ε}” 수준을 “Q^{1/2−η}”로 낮추는 조건부 결과이다.

기술적인 핵심은 (i) 격자 최소값을 이용한 변수 변환을 통해 제곱근 congruence를 다항식 형태로 바꾸는 대수적 변환, (ii) 제한된 차이 H를 도입해 첫 번째 모멘트와 두 번째 모멘트를 각각 H·M·r^ε와 H³M²/r·r^ε 수준으로 제어하는 방법, (iii) 에너지와 이중합 사이의 Cauchy–Schwarz 적용을 정교히 조합한 점이다. 저자는 또한 기존의 “모든 소수에 대해”라는 가정 대신 (r,j)=1인 일반 자연수 r에 대해 동일한 추정을 얻음으로써 적용 범위를 크게 확대하였다. 마지막으로 향후 연구 방향으로는 가설 1을 무조건적으로 증명하거나, ν를 최적화해 η와 ν 사이의 정확한 관계식을 도출하는 것이 제시된다.