[논문 리뷰] Shifted convolution of divisor function $d_3$ and Ramanujan $ au$ function

Ritabrata Munshi|arXiv (Cornell University)|2013. 04. 01.

Analytic Number Theory Research참고 문헌 2인용 수 4

한 줄 요약

이 논문은 바르노이 합성과 Jutila의 접근 방식을 활용한 정교화된 원주율 방법을 사용하여, 삼중 약수 함수 $d_3(n)$와 정규화된 라만두잔 $\tau$-함수를 포함하는 이동된 컨볼루션 합에 대해 새로운 하이브리드 경계를 수립한다. 주요 결과로 피트의 경계를 $\Psi(\Delta, x) \ll_r x^{34/35 + \varepsilon}$로 향상시켜, $r \ll x^{1/10}$ 범위에서 성립하며, 스펙트럴 이론과 델리뉴의 경계를 활용한 특성 합 추정을 통해 달성된다.

ABSTRACT

We study the shifted convolution sum of the divisor function $d_3$ and the Ramanujan $ au$ function.

연구 동기 및 목표

• 이동된 컨볼루션 합 $\Psi(f, x) = \sum_{n \leq x} d_3(n) \tau(rn - 1)$에 대한 현재까지 알려진 최고의 경계를 향상시키는 것. 여기서 $d_3(n)$은 삼중 약수 함수이고, $\tau(n)$은 라만두잔 $\tau$-함수이다.
• 피트의 결과를 $x^{71/72 + \varepsilon}$에서 더 강력한 경계인 $x^{34/35 + \varepsilon}$로 확장하여, $r \ll x^{1/10}$의 더 넓은 범위에서 성립시키는 것. 이를 위해 고급 해석적 수론 기법을 활용한다.
• 바르노이 합성과 줄리타의 근사법을 사용한 정교화된 원주율 방법을 통해 부드럽게 처리된 합 $D = \sum_n d_3(n) \tau_0(rn - 1) W(n/X)$에 대한 날카운 추정을 수립하는 것.

제안 방법

• 특성 함수 $\tau_0(n)$에 대해 바르노이 합성 공식을 적용하여, 베셀 함수와 클루스타르만 합을 사용해 이동된 컨볼루션의 $m$에 대한 합을 변환한다.
• 삼중 약수의 구조를 반영한 특성 합을 포함한 베셀 적분을 통해 $d_3(n)$에 대해 비틀린 바르노이 공식을 적용한다.
• 부드러운 근사 $\tilde{I}_{Q,\delta}(x)$를 사용한 줄리타의 원주율 방법을 적용하여 $[0,1]$의 지시 함수를 대체함으로써 $L^2$-추정을 통한 오차 통제를 가능하게 한다.
• 주요 항 $\tilde{D}$는 영주파수 및 비영주파수 부분으로 분해하여 추정하며, 비영주파수 부분은 특성 합 $S^\dagger(m,n;q)$에 의해 지배된다.
• 합의 $n$에 대해 코시-슈바르츠 부등식과 포아송 합성 공식을 적용하여, $T(m,n;q_1,\tilde{q}_1,q_2)$를 포함하는 하이브리드 지수 합으로 변환하고, 델리뉴의 경계와 와일 추정을 통해 이를 추정한다.
• 오차 항을 균형 잡기 위해 이중 분할을 최적화하며, $Q_1 = rX^{1/10 + \delta}$, $Q_2 = X^{2/5}$로 선택하고, $\delta = \frac{1}{35} - \frac{2}{7} \frac{\log r}{\log X}$를 설정하여 오차 항을 일치시킨다.

실험 결과

연구 질문

• RQ1 이동된 컨볼루션 합 $\sum_{n \leq x} d_3(n) \tau(rn - 1)$은 피트의 $x^{71/72 + \varepsilon}$보다 더 날카롭게 $r \ll x^{1/24}$ 범위에서 경계를 향상시킬 수 있는가?
• RQ2 비자명한 경계 $x^{\kappa + \varepsilon}$ (여기서 $\kappa < 1$)를 달성할 수 있는 $r$의 최적 범위는 무엇인가?
• RQ3 바르노이 합성과 특성 합의 상쇄 효과를 활용하여 원주율 방법을 어떻게 정교화하여 $d_3$와 $\tau$의 하이브리드 컨볼루션을 다룰 수 있는가?
• RQ4 원주율 방법의 근사와 스무딩으로 인한 오차 항을 어떻게 균형 잡아 최종 경계에서 최적의 지수를 달성할 수 있는가?

주요 결과

• 논문은 $r \ll x^{1/10}$ 범위에서 $\Psi(\Delta, x) \ll_r x^{34/35 + \varepsilon}$라는 경계를 수립한다. 이는 피트의 $x^{71/72 + \varepsilon}$보다 향상된 결과이다.
• 주요 항 $\tilde{D}$는 $Q_1 = rX^{1/10 + \delta}$, $Q_2 = X^{2/5}$로 설정한 하이브리드 원주율 방법을 통해 추정되며, 오차 항 간의 최적 균형을 달성한다.
• 원주율 방법의 근사 오차는 $O(x^{1 - \delta + \varepsilon})$로 나타나며, $H = x^\delta$일 때 스무딩 오차 $O(x^{1+\varepsilon}/H)$와 일치한다. 이로 인해 $\delta = \frac{1}{35} - \frac{2}{7} \frac{\log r}{\log X}$로 설정된다.
• 특성 합 $T(m,n;q_1,\tilde{q}_1,q_2)$는 델리뉴의 경계와 와일 추정을 통해 추정되며, $q_1 \neq \tilde{q}_1$일 경우 $\ll q_1^{3/2} \tilde{q}_1^{3/2} q_2^{5/2} (n,q_2)^{1/2}$, $q_1 = \tilde{q}_1$일 경우 $\ll q_1^{5/2} q_2^{5/2} \sqrt{(n',q_1q_2)}$로 유도된다.
• 최종 경계 $\tilde{D}_1(\alpha) \ll \sqrt{N} Q_2 M / Q^5 \cdot (\sqrt{H} Q_1^{5/4} Q_2^{5/4} + \sqrt{N} Q_2) \sqrt{H} X^{1+\varepsilon}$는 $Q_2 = X^{2/5}$, $Q_1 = rX^{1/10 + \delta}$일 때 최소화되며, 이로 인해 제시된 지수를 달성한다.
• 결과는 $r \ll x^{4/5}$ 범위에서 일관되게 성립하며, 선택된 매개수 조건 하에서 비가역 $n$-항의 오차는 수용 가능한 수준임을 보였다.