여섯 개 이하 소인수를 가진 모듈러스에서 클루스톤 합의 부호 무한 변화

초록

저자들은 ω(q)≤6인 제곱 자유 정수 q에 대해 Kloosterman 합 Kl(1,q)의 부호가 무한히 자주 바뀐다는 것을 증명한다. 새로운 절단 약수 함수와 Selberg 체, 스펙트럼 이론을 결합해 기존 결과(ω(q)≤7)를 개선하였다.

상세 분석

본 논문은 Kloosterman 합 Kl(1,q)=q^{-1/2}\sum_{b\bmod q}^{(b,q)=1}e!\left(\frac{b+b^{-1}}{q}\right) 의 부호 변화를 연구한다. 기존 연구에서는 ω(q)≤23,18,15,10,7 등 점차적인 개선이 있었으며, 특히 Xi(2022)는 ω(q)≤7까지 끌어올렸다. 저자들은 이를 한 단계 더 낮춰 ω(q)≤6인 경우에도 부호가 무한히 바뀐다는 결론을 얻는다. 핵심 아이디어는 “절단 약수 함수” τ(n;α,β) 를 도입하는데, 이는 n의 약수 d를 ω(d)=3, ω(l)≥3인 조건 하에 선택하고, d와 l의 소인수 개수에 따라 가중치를 α^{ω(d)}β^{ω(l)} 로 부여한다. 이 선택은 기존의 단순 크기 제한이 아니라 n의 소인수 구조에 의존하므로, ω(q)≤6인 경우에도 충분히 작은 평균값을 확보할 수 있다.

다음으로 Selberg 체 λ_d 를 사용해 가중합 R^{±}(X) 를 정의한다. R^{+}(X)와 R^{-}(X)는 각각 |Kl(1,n)|±Kl(1,n) 를 포함하며, 여기서 λ_d 는 μ(d)·F\bigl(\frac{\log(\sqrt D/d)}{\log\sqrt D}\bigr) 형태로, D≈X^{1/2-ε} 로 잡는다. 이 체는 “양성”과 “음성” 부분을 동시에 제어하도록 설계돼, R^{+}(X)−R^{-}(X) 를 양의 하한으로 만들 수 있다.

하한 부분 R₁(X) 은 두 단계로 나뉜다. 첫 번째는 기존 문헌(Fouvry‑Michel, Matomäki, Xi 등)에서 사용된 bilinear 형태의 평균값 추정으로, Kuznetsov 공식과 스펙트럼 이론을 이용해 O(X log X) 규모의 양의 상수를 얻는다. 두 번째는 논문 17에서 다룬 “고차원 Selberg 체” 분석을 그대로 적용해 추가적인 양의 기여를 확보한다.

반면 상한 부분 R₂(X) 은 새로 정의한 τ(n;α,β) 와 λ_d 의 곱을 포함한다. 여기서는 τ의 정의에 따라 d가 비교적 큰 약수(≈√n)만을 포함하게 하여, Weil‑Deligne 추정 |Kl(1,n)|≤τ(n)·2^{ω(n)} 를 적용한다. 결과적으로 R₂(X) 은 O(X log X) 이하이며, 적절히 작은 상수(≈6.27·α³) 로 억제된다. α는 τ의 가중치 파라미터이며, 논문에서는 α≈0.1 정도를 선택해 최적화한다.

주요 보조 정리로는 (1) 절단 약수 함수의 평균값에 대한 정밀 추정, (2) “Siegel‑Walfisz” 조건을 만족하는 계수열에 대한 bilinear 형태의 평균값 경계, (3) Kloosterman 합의 평균 제곱에 대한 정확한 상수 계산(Γ‑함수와 다중 적분을 이용) 등을 제시한다. 특히 Lemma 3.7 은 복소수 적분과 잔류 정리를 활용해 다중 지수 적분의 주된 항을 정확히 계산하고, 이는 최종 상수 c(k,F) 를 구하는 데 결정적이다.

전체 흐름은 R^{±}(X)≥ρR₁(X)−2R₂(X)>0 를 보이는 것이 목표이며, 이를 통해 X≤q≤2X 구간에서 ω(q)≤6인 정수 q 중 Kl(1,q) > 0 과 < 0 인 경우가 각각 c₀X log X 개 이상 존재함을 얻는다. 따라서 “부호 변화가 무한히 일어난다”는 명제가 증명된다.

이러한 방법론은 기존의 “크기 기반 절단” 대신 “소인수 개수 기반 절단”을 도입함으로써, ω(q) 제한을 더 강하게 할 수 있었던 점이 혁신적이다. 또한 Selberg 체와 스펙트럼 이론을 결합한 복합적 접근은 향후 다른 자동형 함수의 부호 변화 문제에도 적용 가능성을 시사한다.