[논문 리뷰] Divisor problem in arithmetic progressions modulo a prime power

Kui Liu, Igor E. Shparlinski외 1명|arXiv (Cornell University)|2016. 02. 11.

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

한 줄 요약

이 논문은 소수 거듭제곱 $ q = p^k $ 모듈로 산술급수에서의 약수 함수 평균에 대한 渐近 공식을 수립하여 고전적 $ q \leq x^{2/3} $ 장벽을 돌파한다. 소수 거듭제곱 모듈로에서 짧은 간격에 대한 클루스트만 합의 평균 추정치를 향상시킴으로써, $ q \leq X^{2/3+\sigma} $ 에서 일관되게 $ E(X;q,a) \ll X / q^{1+\sigma} $ 를 증명하며, 이는 충분히 큰 $ k $ 와 홀수 소수 $ p $ 에 대해 성립한다. 이는 이전 결과들을 $ k $ 에 대해 균일하게 일반화한다.

ABSTRACT

We obtain an asymptotic formula for the average value of the divisor function over the integers $n \le x$ in an arithmetic progression $n \equiv a \pmod q$, where $q=p^k$ for a prime $p\ge 3$ and a sufficiently large integer $k$. In particular, we break the classical barrier $q \le x^{2/3}$ for such formulas, and generalise a recent result of R.~Khan (2015), making it uniform in $k$.

연구 동기 및 목표

• 산술급수 모듈로 소수 거듭제곱에서의 약수 함수 평균에 대한 渐近 공식의 유효 범위를 고전적 $ q \leq x^{2/3} $ 기준을 초월하여 확장하는 것.
• 2015년 칸의 결과를 고정된 $ k $ 가 아닌, 모든 충분히 큰 $ k $ 에 대해 유효한 균일한 상한으로 일반화하는 것.
• 소수 거듭제곱 모듈로에서 짧은 간격에 대한 클루스트만 합의 평균 순서를 향상시켜, 위르 범위를 초월한 비자명한 절감을 달성하는 것.
• 소수 거듭제곱 $ q = p^k $ 에서 오차 항 $ E(X;q,a) $ 에 대한 균일한 추정치를 수립하고, $ k $ 와 $ p $ 에 명시적인 의존성을 포함하는 것.

제안 방법

• 소수 거듭제곱 $ q = p^k $ 에 대해, $ N \geq q^\lambda $, $ \lambda > 0 $ 인 짧은 간격 $ 1 \leq n \leq N $ 에서 클루스트만 합 $ S(n,a;q) = \sum_{b^* \mod q} e\left(\frac{nb + a\bar{b}}{q}\right) $ 의 새로운 평균 추정치를 유도한다.
• 생성 다항식의 도함수의 $ p $-진 값매김을 제어하기 위해 $ p $-진 해석과 이항계수 $ \binom{1/2}{i} $ 의 성질을 활용한 지능적인 지수합 분해를 적용한다.
• 함수방정식 $ S(mn,a;q) = S(a,mn;q) = S(n,am;q) $ 를 활용하여 합을 곱셈 이동 평균에 적합한 형태로 재구성한다.
• 다항식 $ f(t) $ 의 계수에 대한 재귀적 $ p $-진 상승 추론을 사용하여 $ p $-진 값매김을 유계화함으로써, 합 추정치에서 비자명한 절감을 달성한다.
• 향상된 클루스트만 합 추정치(정리 1.2) 와 고전적 약수 합 항등식을 조합하여 주 오차 항 추정치를 도출한다.
• 위르 범위를 기준으로 삼고, $ q = p^k $ 이고 $ k $ 가 크면 짧은 간격에서의 평균이 고전적 추정치를 초월해 더 강력한 절감을 얻을 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 소수 거듭제곱 모듈로에서 산술급수에 대한 약수 문제에서 고전적 $ q \leq x^{2/3} $ 장벽을 돌파할 수 있는가?
• RQ2 큰 $ k $ 에 대해 $ q = p^k $ 이고 $ n \leq X $, $ n \equiv a \pmod{q} $ 인 약수 합에서 오차 항 $ E(X;q,a) $ 는 이전 결과의 범위를 초월해 균일하게 유계화될 수 있는가?
• RQ3 소수 거듭제곱 모듈로에서 짧은 간격에 대한 클루스트만 합의 평균은 위르 범위를 초월해 비자명한 절감을 보일 수 있는가?
• RQ4 칸(2015)의 고정된 $ k $ 에 대한 결과를 모든 충분히 큰 $ k $ 에 대해 유효한 균일한 상한으로 일반화할 수 있는가?
• RQ5 오차 항 $ E(X;q,a) \ll X / q^{1+\sigma} $ 가 소수 $ p \geq 3 $, $ k \geq k_0 $ 인 $ q = p^k $ 에 대해 균일하게 성립하는 최적의 지수 $ \sigma > 0 $ 은 무엇인가?

주요 결과

• 논문은 $ p \geq 3 $, $ k \geq k_0 $, $ q \leq X^{2/3+\sigma} $ 인 소수 거듭제곱 $ q = p^k $ 에 대해 $ E(X;q,a) \ll X / q^{1+\sigma} $ 를 균일하게 확립한다. 여기서 $ \sigma > 0 $ 은 절대 상수이다.
• 이 추정치는 고전적 $ q \leq x^{2/3} $ 장벽을 돌파하여 산술급수에서의 약수 문제에 대한 渐近 공식의 유효 범위를 확장한다.
• 이 개선은 새로운 클루스트만 합 평균 추정치에 기반한다: $ \sum_{1 \leq n \leq N} S(n,a;q) \ll_{\lambda} N q^{1/2 - \tau} $, $ N \geq q^\lambda $, $ \lambda > 0 $, $ \tau > 0 $ 는 오직 $ \lambda $ 에만 의존한다.
• 결과는 $ k $ 에 대해 균일하며, 이전에 $ k $ 가 고정되어 있고 $ p $ 가 크다는 조건이 필요한 칸(2015)의 결과를 모든 충분히 큰 $ k $ 에 대해 일반화한다.
• 핵심 혁신은 생성 다항식의 도함수의 $ p $-진 값매김을 $ p $-진 이항계수 분석을 통해 제어함으로써, 합 추정치에서 비자명한 절감을 달성하는 데 있다.
• $ \mathfrak{F}_3 \ll N q^{1/2 - \lambda k / (80B)} $ 라는 추정치는 $ k $ 가 $ \lambda $ 에 비례하여 충분히 크면 오차가 $ q $ 에 대해 다항식적으로 감소함을 보여주며, 이는 $ k $ 에 대한 균일성의 확인이다.