[논문 리뷰] Averages of character sums

Jonathan Bober|arXiv (Cornell University)|2014. 09. 05.

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

한 줄 요약

이 논문은 Dirichlet 문자합의 푸리에 전개의 짧은 절단이 작은 간격에서 평균값을 정확히 근사함을 입증하며, 문자합 크기의 새로운 경계를 가능하게 한다. 핵심 결과는 무한히 많은 문자에 대해 길이 $ o(q) $의 문자합이 $ \gg q^{1/2}\log\log q $에 이를 수 있음을 보여주며, 평균적인 경우에서 Pólya–Vinogradov 경계를 향상시키고, 큰 최소 비제곱근에 대한 기대를 확인한다.

ABSTRACT

We show that a short truncation of the Fourier expansion for a character sum gives a good approximation for the average value of that character sum over an interval. We give a few applications of this result. One is that for any $b$ there are infinitely many characters for which the sum up to $\approx aq/b$ is $\gg q^{1/2} \log \log q$ for all $a$ relatively prime to $b$; another is that if the least quadratic nonresidue modulo $q \equiv 3 \pmod 4$ is large, then the character sum gets as large as $(\sqrt{q}/π) (L(1, χ) + \log 2 - ε)$, and if $B$ is this nonresidue, then there is a sum of length $q/B$ which has size $(\sqrt{q}/π) (\log 2 - ε)$.

연구 동기 및 목표

• 짧은 간격에서 문자합의 평균 행동을 이해하기 위해, 특히 Pólya–Vinogradov와 같은 점별 경계가 부족한 경우에 대비한다.
• 점별 근사에 장기적인 푸리에 전개가 필요하다는 장애를 극복하기 위해, 평균값에 대해서는 짧은 절단으로도 충분함을 보인다.
• 길이 $ o(q) $에서 크기가 $ \gg q^{1/2}\log\log q $인 문자합을 갖는 문자의 존재를 입증한다. 특히 짝수 문자와 큰 최소 비제곱근을 갖는 문자에 중점을 둔다.
• 큰 최소 제곱비제곱근을 갖는 홀수 제곱 문자의 행동을 분석하여, 그 합이 중심값을 $ \gg q^{1/2} $ 초과할 수 있음을 보인다.

제안 방법

• 문자합 $ S_\chi(x) $의 절단된 푸리에 전개를 사용하여, 폭 $ \sim 1/B $인 간격에서 평균을 취할 경우 주항목이 $ O(q^{1/2}) $ 오차로 포착됨을 보인다.
• 적분 공식 $ \frac{B}{2}\int_{\alpha-1/B}^{\alpha+1/B} S_\chi(tq) dt = A(\chi) + \frac{\tau(\chi)}{i\pi} \sum_{n<B} \frac{\overline{\chi}(n)}{n} f(2\pi n\alpha) + O(q^{1/2}) $ 을 적용하며, 여기서 $ f(x) $ 는 $ \chi $ 의 짝홀성에 따라 달라진다.
• $ n \geq B $ 인 진동항들이 짧은 간격에서 평균화되어 기여도가 $ O(1) $ 수준으로 감소함을 활용하며, $ B $ 이하의 합이 지배적임을 보인다.
• 부드러운 추정과 문자합 경계를 사용하여, $ B $ 가 크면 $ n \leq AB $ 에서 $ \chi(n) $ 를 1로 대체해도 오차가 무시할 만큼 작다는 것을 보인다.
• 홀수 문자의 경우 리만 가설을 가정하여 $ L(1,\chi) $ 를 제어함으로써 $ A(\chi) $ 가 작아지고 합이 여전히 크다는 것을 보장한다.
• pretentious 문자 프레임워크를 사용하여, 작은 도전자 차수를 갖는 문자를 모방하는 문자를 해석함으로써, 큰 합을 구성하는 것의 타당성을 뒷받 under.

실험 결과

연구 질문

• RQ1 점별 근사가 열 劣한데도 불구하고, 문자합의 푸리에 전개의 짧은 절단이 짧은 간격에서 평균값을 정확히 근사할 수 있는가?
• RQ2 무한히 많은 원시 짝수 문자가 존재하여, 길이 $ o(q) $의 문자합이 $ \gg q^{1/2}\log\log q $ 에 도달하는가? 특히 임의로 큰 차수를 갖는다.
• RQ3 최소 제곱비제곱근 $ B $ 가 클 경우 문자합은 어떻게 되며, 이는 길이 $ \ll q $ 에서 큰 합을 초래할 수 있는가?
• RQ4 Paley 유형의 구성법을 사용하여, 길이가 $ q/4 $ 근처(정확히 $ q/4 $ 가 아니더라도)에서 크기가 $ \gg q^{1/2}\log\log q $ 인 문자합을 생성할 수 있는가?
• RQ5 만약 $ \chi(n) = 1 $ 이 모든 $ n < B $ 에 대해 성립한다면, $ t = 1/2 $ 근처의 짧은 간격에서 문자합의 평균은 어떻게 행동하는가? 이는 합 크기에 어떤 함의를 갖는가?

주요 결과

• 모든 $ b > 0 $ 에 대해, 임의로 큰 차수를 갖는 원시 짝수 문자가 무한히 많으며, $ |\alpha - a/b| \ll 1/\log q $ 를 만족하는 어떤 $ \alpha $ 에 대해 $ |S_\chi(\alpha q) - A(\chi)| \gg \frac{\sqrt{q}}{\pi\sqrt{b}} \log\log q $ 를 만족한다.
• $ A < \frac{e^\gamma}{\sqrt{3}} $ 인 경우, 길이 $ \leq q/\log^A q $ 인 어떤 합에 대해 $ \left| \sum_{q/3 \leq n \leq q/3 + N} \chi(n) \right| \geq \left( \frac{e^\gamma}{\pi\sqrt{3}} - \frac{A}{\pi} \right) q^{1/2} \log\log q $ 를 만족하는 원시 짝수 문자가 무한히 존재한다.
• 최소 제곱비제곱근 $ B \to \infty $ 일 때, $ t_\chi \in [1/2 - 1/B, 1/2] $ 가 존재하여 $ S_\chi(q t_\chi) - S_\chi(q/2) \gg \frac{\log 2}{\pi} q^{1/2} $ 를 만족하며, 이는 합이 중심값을 상수 배수로 초과함을 보여준다.
• 홀수 문자에서 $ B $ 가 클 경우, $ t \in [1/2 - 1/B, 1/2 + 1/B] $ 에서 $ S_\chi(tq) $ 의 평균은 $ \frac{\sqrt{q}}{\pi} \left( L(1,\chi) + \log 2 \right) $ 로 잘 근사되며, $ L(1,\chi) $ 가 크면 중심값을 $ \gg q^{1/2} $ 초과한다.
• 이 방법은 길이 $ o(q) $ 에서 Pólya–Vinogradov 경계를 향상시키면, 모든 길이 $ O(q) $ 에서도 향상됨을 의미하며, 특히 짝수 문자에 대해 그렇다.
• 반대 성질을 갖는 작은 도전자 차수의 문자를 모방하는 문자의 구성은 길이 $ \ll q $ 에서 크기가 $ \gg q^{1/2}\log\log q $ 인 문자합을 유도하며, 히ュ리스틱 기대를 확인한다.