Improved Averaged Distribution of $d_3(n)$ in Prime Arithmetic Progressions

1. 연구 배경 및 문제 제기 (Problem Statement)

• 연구 대상: 정수 $n$을 $k$개의 양의 정수 곱으로 나타내는 방법의 수를 세는 $k$-중 약수 함수 (k-fold divisor function), 특히 3-중 약수 함수 $d_3(n)$의 산술 수열 내 분포를 연구합니다.
• 핵심 개념:
  • 분포 지수 (Exponent of Distribution): 모듈로 $q$에 대해 $d_3(n)$의 분포가 균등하게 분포하는지 여부를 나타내는 지수 $\theta$입니다. $q \le x^{\theta-\varepsilon}$ 범위에서 오차항이 기대되는 점근적 값과 일치할 때, $d_3(n)$은 분포 지수 $\theta$를 가진다고 합니다.
  • 기존 결과:
    • 고전적인 결과 (Selberg, Linnik, Hooley) 에 따르면 2-중 약수 함수 $d(n)$의 분포 지수는 $2/3$입니다.
    • $d_3(n)$의 경우, 개별 산술 수열에서의 분포 지수를 $1/2$를 넘어서는 것은 매우 어려웠습니다 (Friedlander-Iwaniec, Heath-Brown 등).
    • 평균 분포 (Averaged Distribution): 2005 년 Banks, Heath-Brown, Shparlinski 와 이후 Nguyen (2010) 은 모든 서로소 잉여류 $a \pmod q$에 대해 평균을 취하면 $d_3(n)$의 분포 지수가 $2/3$까지 개선됨을 증명했습니다. 이는 $q \ll x^{2/3-\varepsilon}$ 범위에서 성립합니다.
• 연구 목표: Parry 가 $k=4$인 경우 ($d_4(n)$) 에 Petrow-Young 의 부등식 (subconvexity bound) 을 사용하여 분포 지수를 $4/7$로 개선한 것처럼, $d_3(n)$의 경우에도 소수 모듈로 $q$에 대해 평균 분포 지수를 $2/3$보다 더 크게 개선하는 것입니다.

2. 주요 방법론 (Methodology)

이 논문은 Parry 의 접근법을 확장하여 다음과 같은 수학적 도구를 결합합니다.

1. Petrow-Young 부등식 (Subconvexity Bound):

   • Dirichlet $L$-함수의 3 차 모멘트 (third moment) 에 대한 강력한 부등식을 활용합니다.
   • Petrow 와 Young 이 증명한 소수 모듈로에 대한 부등식 $L(1/2+it, \chi) \ll_\varepsilon (q(1+|t|))^{1/6+\varepsilon}$을 핵심적으로 사용합니다. 이는 기존 방법론보다 훨씬 강력한 오차항 제어를 가능하게 합니다.

2. Voronoi 합 공식 (Voronoi Summation Formula):

   • $d_3(n)$이 포함된 합을 변환하기 위해 Ivić 가 증명한 3 차 Voronoi 합 공식을 적용합니다. 이를 통해 급수의 수렴성을 개선하고 오차항을 분석 가능한 형태로 바꿉니다.
   • 합을 $A_{h/q}(n)$과 $B_{h/q}(n)$이라는 새로운 계수로 분해하여 처리합니다.

3. Ramanujan 합 및 Kloosterman 합:

   • 산술 수열에서의 합을 Ramanujan 합 $c_q(n)$과 연결하고, 이를 Kloosterman 합 $K(n, m; q)$를 통해 추정합니다.
   • 소수 $q$에 대해 $A_{h/q}(n)$과 $A_{h/q}(m)$의 곱의 합을 $c_q(m-n)$과 $c_q(m+n)$으로 표현하는 보조 정리 (Lemma 3) 를 유도합니다.

4. Cauchy-Schwarz 부등식 및 모멘트 추정:

   • 평균 오차항의 제곱합을 추정하기 위해 Cauchy-Schwarz 부등식을 적용하고, Dirichlet $L$-함수의 2 차 및 3 차 모멘트에 대한 평균값 정리를 활용합니다.

3. 주요 결과 (Key Results)

논문은 다음과 같은 주요 정리를 증명합니다.

• 주요 정리 1 (Theorem 1.1):

  • $q$가 소수이고 $q \le x^{8/11}$일 때, $d_3(n)$의 산술 수열 분포에 대한 평균 오차항의 제곱합은 다음과 같이 제한됩니다.
    $$\sum_{a=1}^q |\Delta(a/q)|^2 \ll_\varepsilon x^{3/2+\varepsilon} q^{11/16}$$
  • 여기서 $\Delta(a/q)$는 $d_3(n)$의 합과 주된 항 (main term) 사이의 오차입니다.
  • 이 결과는 평균 분포 지수가 $2/3$에서 $8/11$로 개선되었음을 의미합니다. ($8/11 \approx 0.727 > 0.666$)

• 주요 정리 2 (Theorem 1.2):

  • 위 결과를 Cauchy-Schwarz 부등식을 통해 적용하면, 소수 $q \le x^{8/11}$ 범위에서 $d_3(n)$이 산술 수열에서 평균적으로 균등 분포함을 보입니다.
    $$\sum_{a=1}^q |E_x(q, a)| \ll_\varepsilon x^{3/4+\varepsilon} q^{11/32}$$

4. 기술적 기여 및 증명 과정의 핵심 (Technical Contributions)

1. Lemma 7 (L-함수 모멘트 추정):
   • Petrow-Young 부등식을 사용하여 Dirichlet $L$-함수의 3 차 모멘트 평균값을 $q^{11/8}$ 수준으로 추정했습니다. 이는 기존 $2/3$ 지수 한계를 깨뜨리는 결정적인 단계입니다.
2. Lemma 10 및 11 (Ramanujan 합을 통한 오차항 제어):
   • $d_3(n)d_3(m)c_q(n-m)$ 형태의 이중 합을 정밀하게 추정했습니다.
   • 소수 $q$에 대한 Ramanujan 합의 성질과 $L$-함수 부등식을 결합하여, $q$의 지수를 $11/8$까지 낮추는 최적의 오차항을 도출했습니다.
3. 매개변수 최적화:
   • 증명의 오차항을 최소화하기 위해 매개변수 $Y$ (구간 분할 길이) 를 $Y = x^{3/4}q^{11/32}$로 선택하여, 최종적으로 $q \le x^{8/11}$이라는 최적의 범위를 확보했습니다.

5. 의의 및 중요성 (Significance)

• 이론적 한계 돌파: $d_3(n)$의 평균 분포 지수 $2/3$이라는 오랜 한계를 깨고 $8/11$로 개선했습니다. 이는 소수 모듈로에 대한 산술 수열 분포 이론에서 중요한 진전입니다.
• 방법론의 확장: Parry 가 $k=4$에 대해 성공적으로 적용했던 Petrow-Young 부등식 기법을 $k=3$ (ternary divisor function) 에 성공적으로 적용하여, 고차 약수 함수에 대한 분포 연구의 새로운 표준을 제시했습니다.
• 수론적 함의: $L$-함수의 부등식 (subconvexity) 이 어떻게 구체적인 산술 함수의 분포 문제 해결에 직접적으로 기여할 수 있는지를 보여주는 사례로, 향후 $d_k(n)$ ($k \ge 3$) 에 대한 연구나 다른 산술 함수의 분포 연구에 중요한 발판이 될 것입니다.

결론적으로, 이 논문은 현대 해석적 수론의 최전선 도구 (Petrow-Young 부등식, Voronoi 합 공식) 를 정교하게 결합하여, 3-중 약수 함수의 분포 지수를 기존 $2/3$에서 $8/11$로 획기적으로 개선한 중요한 연구 결과입니다.