[논문 리뷰] A note on character sums over short moving intervals

Adam J. Harper|arXiv (Cornell University)|2022. 03. 17.

Analytic Number Theory Research인용 수 4

한 줄 요약

이 논문은 짧은 이동 구간에서의 문자 합의 분포를 조사하며, Lamzouri의 추측—$ H = o(q/\log q) $ 조건 하에서 정규화된 합 $ S_{\chi,H}(X)/\sqrt{H} $의 가우시안 극한 법칙—이 일부 딜리클레 문자에 대해 실패함을 보여주지만, $ H = q/\log^A q $ 일 때조차도 성립하지 않는다는 것을 확인한다. 그러나 $ q^{1-o(1)} \leq H = o(q) $ 범위에서 '거의 모든' 문자에 대해 이 추측은 성립하며, 이는 모멘트 방법과 폴리아의 푸리에 전개를 사용하여 입증된다.

ABSTRACT

We investigate the sums $(1/\sqrt{H}) \sum_{X < n \leq X+H} χ(n)$, where $χ$ is a fixed non-principal Dirichlet character modulo a prime $q$, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H ightarrow \infty$ and $(\log H)/\log q ightarrow 0$ as $q ightarrow \infty$, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $χ$, even when $H = q/\log^{A}q$ for any fixed $A > 0$. On the other hand, we show it is true for "almost all" characters on the range $q^{1-o(1)} \leq H = o(q)$. Using Pólya's Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.

연구 동기 및 목표

• Lamzouri의 추측, 즉 짧은 이동 구간에서 정규화된 문자 합의 가우시안 분포의 타당성을 조사하는 것.
• Lamzouri가 추측한 것처럼 $ H = o(q/\log q) $ 조건 하에서 문자 합의 중심극한정리가 성립하는지 확인하는 것.
• 모듈로 소수 $ q $인 비주어진 딜리클레 문자 $ \chi $에 대해, $ X $ 가 $ \{0, \dots, q-1\} $ 에서 균일하게 임의로 선택될 때 $ S_{\chi,H}(X)/\sqrt{H} $ 의 통계적 행동을 분석하는 것.
• 특히 $ H = o(q) $ 범위에서 중심극한정리가 성립하는 문자의 집합을 규명하고, 이러한 문자의 비율을 정량화하는 것.

제안 방법

• Pólya의 푸리에 전개를 사용하여 문자 합을 수론적 계수를 가진 삼각다항식으로 재표현하는 것.
• 모멘트 방법을 적용하여 분포 수렴을 분석하고, 정규화된 합의 $ j $-번째 및 $ k $-번째 모멘트에 집중하는 것.
• 확률적 도구와 문자의 옥시고날리티를 활용하여 랜덤 곱셈 계수를 가진 삼각다항식의 모멘트를 추정하는 것.
• Steinhaus 랜덤 곱셈 함수를 모델로 삼아, 모멘트 적분과 가우시안 모멘트 간의 $ L^2 $-노름 차이에 대한 경계를 설정하는 것.
• $ j,k \leq \min\{ \log^{1/4}(q/H)/50, \log q / (4\log(q/H)) \} $ 인 경우, 모멘트 차이가 지수적으로 감소함을 증명하는 것.
• 저순서 모멘트에 대한 유니언 바운드를 사용하여 '나쁜' 문자의 집합이 지수적으로 작은 조밀도를 가짐을 보여, 따라서 '거의 모든' 문자가 중심극한정리를 만족함을 증명하는 것.

실험 결과

연구 질문

• RQ1 Lamzouri가 제안한 $ H = o(q/\log q) $ 조건 하에서, 짧은 간격에서의 문자 합에 대한 중심극한정리가 성립하는가?
• RQ2 고정된 $ A > 0 $ 에 대해 $ H = q/\log^A q $ 일 때조차도, 특정 딜리클레 문자에 대해 정규화된 합 $ S_{\chi,H}(X)/\sqrt{H} $ 가 가우시안 분포로 수렴하지 않는가?
• RQ3 $ H \in [q^{1-o(1)}, o(q)] $ 범위에서 모듈로 $ q $인 문자 중 중심극한정리를 만족하는 비율은 얼마인가?
• RQ4 모멘트 방법을 $ (\log H)/\log q \to 0 $ 범위를 초월하여 더 큰 $ H $ 에까지 확장할 수 있는가? 만약 가능하면 어떤 조건에서 가능한가?
• RQ5 Pólya 전개의 푸리에 계수는 짧은 문자 합의 분포적 행동에 어떤 영향을 미치는가?

주요 결과

• Lamzouri의 추측은 $ H = q/\log^A q $ 이며 고정된 $ A > 0 $ 일 때조차도 일부 딜리클레 문자에 대해 실패하며, 이는 기대되는 가우시안 행동과 배치된다.
• $ H \in [q^{1-o(1)}, o(q)] $ 범위에서, 중심극한정리는 '거의 모든' 모듈로 $ q $인 문자에 대해 성립하며, '나쁜' 문자의 비율은 $ \exp(-c \log^{3/4}(q/H)) $ 로 감소한다.
• 모멘트 방법은 랜덤 곱셈 함수에 대한 확률적 추정을 통해 $ L^2 $-노름 차이를 제어함으로써 더 큰 $ H $ 에까지 확장 가능하다.
• 핵심 기술적 단계는 $ \chi $ 가 '좋은' 문자 집합에 속할 경우, 정규화된 합의 $ (j,k) $-번째 모멘트가 모든 고정된 $ j,k $ 에 대해 가우시안 모멘트 $ k! \mathbf{1}_{j=k} $ 로 수렴함을 보이는 것이다.
• 이 증명은 $ j,k $ 가 $ \log^{1/4}(q/H)/50 $ 이하일 경우, 관련된 문자 합이 $ \leq q^{0.51} $ 이하의 정수에만 지지됨을 이용하여 옥시고날리티를 적용할 수 있음을 바탕으로 한다.
• 결과는 기대 $ L^2 $-거리가 모멘트 적분과 그 가우시안 근사값 사이에서 $ q $ 의 어떤 거듭제곱보다도 더 빠르게 감소함을 보여, 이는 측도 수렴을 의미하며 따라서 큰 비율의 문자에 대해 거의 확실한 수렴을 이끌어낸다.