Triple convolution sums of the generalised divisor functions and related sums over primes

논문 개요

이 논문은 정수론의 고전적인 문제인 **약수 함수 (divisor function) 의 합성곱 합 (convolution sum)**을 일반화하고, 이를 소수 (primes) 에 대한 합으로 확장하여 연구한 것입니다. 저자 Bikram Misra 와 Bishwajyoti Saha 는 일반화된 약수 함수 $d_k(n)$을 사용하여 삼중 합성곱 합을 분석하고, 예측된 점근적 식의 하한을 증명하며, 소수에 대한 합에 대한 명시적 하한을 유도했습니다.

1. 연구 문제 (Problem Statement)

• 일반화된 약수 함수: $d_k(n)$은 $n$을 $k$개의 양의 정수의 곱으로 나타내는 방법의 수를 의미합니다. ($d_2(n)$은 일반적인 약수 개수 함수 $d(n)$).
• 주요 연구 대상: 고정된 정수 $h$에 대한 삼중 합성곱 합
  $$T(d_k, d_l, d_m; x, h) := \sum_{n \le x} d_k(n+h) d_l(n) d_m(n-h)$$
  여기서 $h \le x^{1-\epsilon}$ ($\epsilon > 0$) 인 경우를 다룹니다.
• 소수 관련 확장: Titchmarsh 의 약수 문제 (Titchmarsh divisor problem) 의 정신을 이어받아, 합을 소수 $p$에 대해서만 수행하는 경우를 연구합니다.
  $$T'(d_k, d_m; x, h) := \sum_{p \le x} d_k(p+h) d_m(p-h)$$
  (여기서 $d_l(p)=l$이므로 $d_l(p)$ 항은 상수화되어 2 개의 함수 합성곱으로 축소됨).

2. 주요 기여 및 결과 (Key Contributions & Results)

논문은 크게 세 가지 목적을 달성합니다.

가. 예측된 점근적 식의 제시 (Conjectural Asymptotic)

• Dirichlet 급수 이론과 확률론적 논증을 바탕으로 위 합에 대한 예측된 점근적 식을 제시했습니다.
• Conjecture 1.2: $x \to \infty$일 때,
  $$T(d_k, d_l, d_m; x, h) \sim \nabla_{k,l,m}(h) \frac{x (\log x)^{k+l+m-3}}{(k-1)!(l-1)!(m-1)!}$$
  여기서 $\nabla_{k,l,m}(h)$는 산술적 상수 (arithmetic constant) 로, 소수 $p$에 대한 오일러 곱 (Euler product) 형태로 표현됩니다. 이 상수는 $h$의 소인수 분해 구조에 따라 결정됩니다.

나. 올바른 차수의 하한 증명 (Lower Bound Proof)

• Theorem 1.1: 예측된 점근적 식의 상수와 일치하는 상수를 가진 올바른 차수의 하한을 증명했습니다.
  $$T(d_k, d_l, d_m; x, h) \ge \nabla_{k,l,m}(h) \frac{1}{3^{k+l+m-3}} \frac{x (\log x)^{k+l+m-3}}{(k-1)!(l-1)!(m-1)!} + O(x(\log x)^{k+l+m-4})$$
  • 의의: Browning 이 제안한 $d(n)$에 대한 삼중 합성곱 합 ($k=l=m=2$) 에 대한 추측의 하한을 일반화하고, 그 상수가 Browning 의 추측과 정확히 일치함을 보였습니다.

다. 소수에 대한 합성곱 합 연구 (Sum over Primes)

• Theorem 1.2: Bombieri-Vinogradov 정리의 변형과 다변수 Tauberian 정리를 결합하여 소수에 대한 합성곱 합의 명시적 하한을 유도했습니다.
  $$T'(d_k, d_m; x, h) \ge \nabla'_{k,m}(h) \frac{1}{4^{k+m-2}} \frac{x (\log x)^{k+m-3}}{(k-1)!(m-1)!} + O(x(\log x)^{k+m-4})$$
  • 이 결과는 Titchmarsh 약수 문제의 고차 일반화로 볼 수 있습니다.

3. 방법론 (Methodology)

이 논문은 다음과 같은 강력한 수학적 도구들을 결합하여 접근했습니다.

1. 다변수 Dirichlet 급수 (Multiple Dirichlet Series):

   • 합성곱 합을 다루기 위해 $F(s_1, s_2, s_3)$와 같은 다변수 Dirichlet 급수를 구성했습니다.
   • 이 급수는 오일러 곱 형태로 분해되며, $p|2h$인 경우와 $p \nmid 2h$인 경우로 나누어 분석합니다.
   • 이를 통해 급수의 극점 (pole) 구조를 파악하고 점근적 행동을 유도합니다.

2. Tauberian 정리 (Tauberian Theorems):

   • de la Bretèche 의 다변수 Tauberian 정리 (Theorem 2.1, 2.2) 를 핵심 도구로 사용했습니다.
   • Dirichlet 급수의 극점에서의 행동 (특히 $s=0$에서의 극점 차수) 을 통해 원래 합성곱 합의 점근적 행동을 도출했습니다.
   • 이 과정을 통해 점근식 앞의 상수 $\nabla_{k,l,m}(h)$가 급수의 특정 값으로 자연스럽게 도출됨을 보였습니다.

3. 확률론적 접근 (Probabilistic Approach):

   • Conjecture 1.1 및 1.2 의 상수 $\nabla_{k,l,m}(h)$가 확률론적 모델 (random variables $X_p, Y_p, Z_p$를 이용한 기대값의 비율) 로도 유도될 수 있음을 보였습니다.
   • 이는 산술적 상수가 단순히 계산의 결과가 아니라, 정수들의 분포에 대한 확률적 독립성 가정에서 비롯된 것임을 시사합니다.

4. 소수 분포 이론 (Prime Distribution Theory):

   • 소수에 대한 합을 다룰 때는 Bombieri-Vinogradov 정리 (및 그 변형인 Theorem 2.4) 를 사용하여, 큰 모듈러스를 가진 산술 수열에서의 소수 분포 오차항을 통제했습니다.
   • 이를 통해 합을 $S_1, S_2, S_3$로 분할하고, 주된 항 ($S_1$) 에는 Dirichlet 급수 기법을, 나머지 항 ($S_3$) 에는 오차항 평가를 적용했습니다.

4. 기술적 세부 사항 및 상수 구조

• 상수 $\nabla_{k,l,m}(h)$의 구성:
  • 이 상수는 $h$의 소인수 $p$에 따라 두 부분으로 나뉩니다.
  • $p \nmid 2h$인 경우: $p$가 $n, n+h, n-h$ 중 하나 이상을 나누지 않으므로, 독립적인 확률적 모델에 기반한 항 $(1-1/p)^{1-k} + (1-1/p)^{1-l} + (1-1/p)^{1-m} - 2$가 나타납니다.
  • $p | 2h$인 경우: $p$가 $h$를 나누므로 $n, n+h, n-h$ 간의 상관관계가 생깁니다. 이때는 $d_k, d_l, d_m$의 값과 $g$ 함수 (연립 합동식의 해 존재 여부) 를 포함한 복잡한 합으로 표현됩니다.
• 하한 계수: Theorem 1.1 에서 $3^{k+l+m-3}$, Theorem 1.2 에서 $4^{k+m-2}$와 같은 계수가 하한에 등장합니다. 이는 Tauberian 정리를 적용할 때 발생하는 기하급수적인 감소나 영역 적분에서의 계수에서 비롯된 것으로, 점근적 상수 자체는 정확히 일치하지만 하한 증명에서는 약간의 손실이 발생합니다.

5. 의의 및 결론 (Significance)

• 이론적 진전: $k \ge 3$인 경우의 이동된 합성곱 합 (shifted convolution sum) 에 대한 점근적 식은 여전히 미해결 문제로 남아있으나, 이 논문은 올바른 차수의 하한을 엄밀하게 증명하고 그 상수가 예측된 값과 일치함을 보였습니다. 이는 Browning 의 추측을 지지하는 강력한 증거입니다.
• 방법론적 통합: 다변수 Dirichlet 급수, Tauberian 정리, 확률론적 모델, 그리고 소수 분포 이론을 하나의 프레임워크로 통합하여 복잡한 합성곱 합을 분석한 사례입니다.
• 확장성: 일반화된 약수 함수 $d_k$에 대한 결과를 제공함으로써, 다양한 $k, l, m$ 값에 대한 연구의 기초를 마련했습니다. 또한 소수에 대한 합성곱 합에 대한 하한을 제시함으로써 Titchmarsh 문제의 고차 일반화에 중요한 기여를 했습니다.

요약하자면, 이 논문은 일반화된 약수 함수의 삼중 합성곱 합에 대한 예측된 점근적 식의 하한을 증명하고, 그 상수의 구조를 Dirichlet 급수 이론과 확률론적 관점에서 명확히 규명하며, 소수 영역으로의 확장을 성공적으로 수행한 중요한 연구입니다.