[논문 리뷰] On binary and quadratic divisor problems

Farzad Aryan|arXiv (Cornell University)|2015. 02. 21.

Analytic Number Theory Research참고 문헌 36인용 수 6

한 줄 요약

이 논문은 $\delta$-방법, 보로노이 합성공식, 쿠즈네цов 추적 공식을 조합하여 약수 함수 $d(n)$, 츄프형식의 푸리에 계수, 그리고 제곱수의 합 함수 $r(n)$를 포함하는 이동된 콘볼루션 합을 연구한다. 이는 이중 약수 문제에 대해 $O(X^{1/2+\theta+\epsilon}h^{\theta})$ 형태의 개선된 오차 항을 확립하며, 이는 이전의 결과를 초월하고 $L$-함수의 모멘트에 적용 가능한 이차 약수 문제로의 확장도 가능하다.

ABSTRACT

We study the shifted convolution sum of the divisor function and some other arithmetic functions.

연구 동기 및 목표

• 기존 결과를 초월하여 이동된 콘볼루션 합 $\sum_{n-m=h} d(n)d(m)f(n,m)$ 의 오차 항을 개선하는 것.
• 표준 원 방법 기법에 적합하지 않은, 주로 항 $d(n)$ 및 $\tau_\chi(n)$ 등의 다른 산술 함수에 대해 주항목을 포함하는 방법을 확장하는 것.
• 개선된 방법을 이차 약수 문제에 적용하여 $L$-함수의 모멘트에 관련된 경계를 도출하는 것.
• 쿠즈네цов 추적 공식에 의한 스펙트럴 이론과 클루스타르만 합 추정을 통합한 프레임워크를 수립하는 것.
• Meurman의 $O(X^{1/2+\epsilon}h^{1/8+\theta/2})$ 경계를 초월하여 $h$ 측면에서 균일한 오차 항을 확보하는 것.

제안 방법

• Duke, Friedlander, Iwaniec의 $\delta$-방법을 변형하여 주항목을 포함하는 산술 함수를 가진 이동된 콘볼루션 합을 다룰 수 있도록 하는 것.
• 보로노이 유형의 합성공식을 적용하여 클루스타르만 합을 포함하는 합으로 변환하는 것.
• 쿠즈네цов 추적 공식을 활용하여 웨일의 경계보다 더 효과적으로 클루스타르만 합을 추정하며, 특히 $h$ 측면에서 유리한 결과를 도출하는 것.
• 부드러운 분할 단위와 이진 분해를 사용하여 합의 지지 집합을 국소화하고 오차 항을 제어하는 것.
• 레마 5.2 및 레마 7.3을 적용하여 클루스타르만 합의 평균을 내어 오차 항에서 $X/\mathcal{Q}^{2-\epsilon}$ 요소를 절감함으로써 최종 오차 경계를 향상시키는 것.
• 스펙트럴 방법과 수정형 베셀 함수 및 적분 변환 이론을 결합하여 이차 약수 문제에서 주항목과 오차 항을 분석하는 것.

실험 결과

연구 질문

• RQ1 이중 약수 합 $\sum_{n-m=h} d(n)d(m)f(n,m)$ 의 오차 항이 $h \ll X^{1-\epsilon}$ 인 경우 $O(X^{1/2+\epsilon}h^{1/8+\theta/2})$ 를 초월하여 개선될 수 있는가?
• RQ2 $\delta$-방법이 $d(n)$ 및 $r(n)$ 과 같이 비자명한 주항목을 가지는 산술 함수를 다룰 수 있도록 어떻게 확장될 수 있는가? 이는 Jutila 원 방법의 직접 적용을 방해한다.
• RQ3 원시 딜레르트 캐릭터 $\chi$ 를 가진 이동된 콘볼루션 합 $\sum_{n-m=h} \tau_\chi(n)\tau_{\overline{\chi}}(m)f(n,m)$ 에 대해 달성 가능한 최적의 오차 항은 무엇인가?
• RQ4 이 방법을 약수 함수와 츄프형식의 푸리에 계수를 포함하는 합, 예를 들어 $\sum_{n-m=h} a(n)d(m)f(n,m)$ 에 적용할 수 있는가?
• RQ5 이차 약수 문제에서 오차 항이 $h$ 와 라만두잔-피터슨 매개수 $\theta$ 에 대해 정확히 어떻게 의존하는가?

주요 결과

• 논문은 $h \ll X^{1-\epsilon}$ 인 경우에 대해 $\sum_{n-m=h} d(n)d(m)f(n,m) = \text{주항목} + O(X^{1/2+\theta+\epsilon}h^{\theta})$ 라는 경계를 확립하며, Meurman의 $O(X^{1/2+\epsilon}h^{1/8+\theta/2})$ 를 초월한다.
• 제곱수의 합에 대해, $4 \mid h$ 인 경우 $\sum_{n-m=h} r(n)r(m)f(n,m) = \text{주항목} + O(X^{1/2+\theta+\epsilon})$ 라는 경계가 성립하며, 주항목은 일반 공식의 $q=4$ 경우로부터 유도된다.
• 이 방법은 Heap의 $O(X^{3/4+\epsilon})$ 오차 항을 $p \mid h$ 인 경우 $O(X^{1/2+\theta+\epsilon})$ 로 개선하여 초월한다.
• 이차 약수 문제의 오차 항은 $O(X^{1/2+\theta+\epsilon}d/a)$ 로 경계되며, 주항목은 베셀 함수에 대한 적분과 클루스타르만 합에 대한 합을 포함한다.
• 분석 결과, 쿠즈네цов 추적 공식을 통해 오차 항에서 $X/\mathcal{Q}^{2-\epsilon}$ 의 절감이 가능하며, 이는 개선된 경계를 달성하는 데 핵심적이다.
• 이 프레임워크는 $\sum_{n-m=h} a(n)d(m)f(n,m)$ 와 같은 합으로도 확장 가능하며, 예측된 오차 항은 $O(X^{1/2+\epsilon}h^{\theta})$ 로 예상된다.