혼합 문자 합의 평균 크기와 디오판틴 조건에 관한 새로운 통찰

초록

본 논문은 큰 소수 r 에 대한 디리클레 문자 χ 와 비유리각 θ (∥qθ∥ ≥ C exp(−q¹ᐟ⁴) 을 만족) 를 이용한 혼합 문자 합
(\displaystyle S_{χ}(x)=\sum_{1\le n\le x}\chi(n)e(nθ)w!\left(\frac{n}{x}\right))
의 평균 절댓값이 (\asymp\sqrt{x}) 임을 보인다. 반면, θ가 유리일 때는 평균이 o(√x) 임이 Harper에 의해 알려져 있다. 증명은 2차 디오판틴 방정식의 해 개수를 세는 방법과 포아송 합산, 네 번째 모멘트 분석을 결합한다.

상세 분석

논문은 먼저 x≤r인 구간에서 평균값
(\displaystyle \frac1{r-1}\sum_{\chi\bmod r}\Bigl|S_{χ}(x)\Bigr|)
을 조사한다. 위 평균의 상한은 Cauchy–Schwarz와 두 번째 모멘트 계산을 통해 바로 (\ll\sqrt{x}) 를 얻는다. 핵심은 하한을 어떻게 확보하느냐인데, 이를 위해 네 번째 모멘트
(\displaystyle \frac1{r-1}\sum_{\chi}\bigl|S_{χ}(x)\bigr|^{4})
를 전개한다. x≤√r인 경우에는 모듈러 동치식 (m_{1}m_{2}\equiv n_{1}n_{2}\pmod r) 가 실제 등식과 동일해지므로, 합을 완전하게 정리할 수 있다. 저자들은 변수들을 (m_{1}=ga,;m_{2}=hb,;n_{1}=gb,;n_{2}=ha) 로 치환하고, (a,b)=1, a≠b, g≠h인 경우를 구분한다. 여기서 중요한 역할을 하는 것이 Lemma 2.2에서 정의한 집합 L이다. L은 |ℓ|≤√x 이면서 어느 작은 k(≤(log x)^{1+ε})에 대해 ∥kℓθ∥≤x^{-1/3} 를 만족하는 정수 ℓ의 모음이며, 디오판틴 조건 (1.4) 덕분에 서로 다른 ℓ 사이의 간격이 (\gg(\log x)^{3/2}) 로 크게 유지된다. 이 간격 추정은 합을 ℓ에 대해 구분할 때 오차를 충분히 작게 만든다. 결과적으로 (2.1)식이 o(x²) 임을 보이고, Hölder 부등식과 (1.6)식으로부터 평균값이 (\gg\sqrt{x}) 임을 얻는다.

x≥√r인 경우에는 직접적인 네 번째 모멘트 계산이 복잡해지므로, 저자들은 포아송 합산을 이용해 원래 합을 “듀얼” 문제로 변환한다. θ를 유리근사 (k/r) 로 쓰고, (θ’=θ-k/r) 로 정의한 뒤,
(\displaystyle S_{χ}(x)=\sum_{n\in\mathbb Z}χ(n)e(k n/r)w(n/x)e(nθ’))
를 Z/rZ와 실수축에 대해 푸아송 변환한다. 이 과정에서 Gauss 합 (\widehat f_{r,χ}(mr)) 와 실수 Fourier 변환 (\widehat f_{\infty}(mr)) 가 등장한다. Lemma 3.1은 후자를 (\ll A x(1+x\max(|m|-1,0)/r)^{-A}) 로 추정한다. 주요 항은 m≡−k (mod r) 인 경우이며, 이때 (\widehat f_{r,χ}(mr)=χ(k+m)^{-1}C(χ)r^{-1/2}) 로 Gauss 합의 표준 형태가 나온다.

네 번째 모멘트를 다시 전개하면, 주요 기여는 m이 위와 같은 동치류에 속하는 경우와, 그 외의 “고주파” 항으로 나뉜다. 고주파 항은 Lemma 3.1의 급격한 감소 덕분에 충분히 작다. 남은 주요 항은
(\displaystyle \sum_{m\equiv -k\ (r)} r^{-2}\bigl|\widehat f_{\infty}(mr)\bigr|^{4})
와 같은 형태가 되며, 여기서 (\widehat f_{\infty}(mr)) 은 θ’와 r에 대한 근사 관계에 의해 거의 0이 되지 않는다. 결국 이 합은 (\asymp x^{2}/r^{2}) 정도가 되며, 전체 네 번째 모멘트는 (\asymp x^{2}) 로 평가된다.

마지막으로, (1.4) 조건을 이용해 (|qθ|) 가 너무 작아지는 경우를 배제하고, “quadratic Diophantine equation”
(\displaystyle k^{2} - rℓ^{2} = O(x^{1/2}))
의 해 개수가 매우 제한적임을 보인다. 이는 피터보우 원리와 기본적인 디오판틴 근사론을 결합해 증명한다. 따라서 평균값이 (\asymp\sqrt{x}) 임을 전 범위 (1\le x\le r) 에 대해 확립한다.

핵심적인 기여는

1. 약한 디오판틴 조건 (∥qθ∥≥C exp(−q¹ᐟ⁴)) 하에서 네 번째 모멘트를 정밀히 제어,
2. 포아송 합산을 통한 “듀얼” 전환으로 x≥√r 구간을 처리,
3. L 집합의 간격 추정으로 복잡한 합을 효과적으로 억제,
4. 기존 결과인 Harper의 유리각 경우와 대비해 비유리각에서 √x 규모가 보존됨을 명확히 함
   이다.