[논문 리뷰] A note on the Liouville function in short intervals

Kaisa Matomäki, Maksym Radziwiłł|arXiv (Cornell University)|2015. 02. 09.

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

한 줄 요약

이 논문은 임의의 $\delta > 0$ 에 대해 길이 $X^\delta$ 의 짧은 간격에서 리우빌 함수가 상쇄됨을 간결하고 자가 포함된 증명을 제공한다. 거의 모든 $x \in [X, 2X]$ 에 대해 합 $\sum_{x \leq n \leq x + X^\delta} \lambda(n) = o(X^\delta)$ 이 성립함을 보이며, 이는 이전 연구에서 사용된 복잡한 분해를 피하기 위해 라마레 유형 항등식과 딜리클 다항식의 평균 제곱 추정치에 기반한다.

ABSTRACT

In this note we give a short and self-contained proof that, for any $δ> 0$, $\sum_{x \leq n \leq x+x^δ} λ(n) = o(x^δ)$ for almost all $x \in [X, 2X]$. We also sketch a proof of a generalization of such a result to general real-valued multiplicative functions. Both results are special cases of results in our more involved and lengthy recent pre-print.

연구 동기 및 목표

• 길이 $X^\delta$ 의 짧은 간격에서 리우빌 함수의 상쇄를 간결하고 자가 포함된 증명으로 제공하는 것.
• 복잡한 해석적 수론 기법에 의존하지 않고, 거의 모든 $x \in [X, 2X]$ 에 대해 $\sum_{x \leq n \leq x + X^\delta} \lambda(n) = o(X^\delta)$ 가 성립함을 보이는 것.
• 일반적인 실수 계수 곱셈 함수로의 확장을 위한 기초 결과를 확립하는 것.
• 이전 사전인용에서 더 복잡한 결과의 특수 케이스인 리우빌 함수에 국한된 단순화된 버전을 제공하는 것.

제안 방법

• 짧은 간격에서 리우빌 함수 합을 분해하기 위해 라마레 유형 항등식의 사용.
• 형태 $\sum_{n \sim X} \lambda(n)/n^{1+it}$ 의 딜리클 다항식의 평균 제곱 추정치를 통해 짧은 합의 $L^2$-노름 추정.
• 소수 정리와 부분 적분을 적용하여 $|t| \leq (\log X)^A$ 인 경우 딜리클 다항식을 유계로 제한.
• 페르론 공식과 비노그라도프의 영역 비존재 영역을 활용해 이등분 간격 내 소수 합을 제어.
• 소수 합 $\sum_{P \leq p \leq Q} \lambda(p) p^{-1-it}$ 의 크기에 따라 $t$ 에 대한 적분을 주요 및 소수 영역으로 분할.
• 체비셰프 부등식을 적용하여, 상쇄가 실패하는 $x$ 의 예외적 집합의 밀도가 $o(1)$ 임을 도출.

실험 결과

연구 질문

• RQ1 이전 접근 방식보다 더 단순한 방법으로 길이 $X^\delta$ 의 짧은 간격에서 리우빌 함수의 상쇄를 증명할 수 있는가?
• RQ2 幾乎 모든 $x \in [X, 2X]$ 에 대해 $\sum_{x \leq n \leq x + X^\delta} \lambda(n) = o(X^\delta)$ 를 확립하기 위해 필요한 최소한의 해석적 수론은 무엇인가?
• RQ3 리우빌 함수에 사용된 방법이 임의의 실수 계수 곱셈 함수로 얼마나 넓게 일반화될 수 있는가?
• RQ4 라마레 항등식의 사용이 곱셈 함수의 짧은 합 분석을 어떻게 단순화하는가?

주요 결과

• 정규화된 짧은 합의 $L^2$-노름은 $\int_X^{2X} \left| \frac{1}{X^\delta} \sum_{x \leq n \leq x + X^\delta} \lambda(n) \right|^2 dx \ll_{\varepsilon} \frac{X}{(\log X)^{1/3 - \varepsilon}}$ 를 만족한다.
• 체비셰프 부등식에 의해, $\left| \sum_{x \leq n \leq x + X^\delta} \lambda(n) \right| \geq X^\delta / (\log X)^{1/9}$ 를 만족하는 $x \in [X, 2X]$ 의 예외적 집합의 측도는 $o(X)$ 이며, 이는 결과가 거의 모든 $x$ 에 대해 성립함을 의미한다.
• 딜리클 다항식 $\sum_{n \sim X} \lambda(n)/n^{1+it}$ 의 소수 기여에 따른 이등분 간격에 따른 분해가 필요 없음을 보여, 증명이 단순화된다.
• 결과는 일반적인 곱셈 함수 $f: \mathbb{N} \to [-1,1]$ 으로 확장되며, 국소 평균과 전역 평균 $\frac{1}{X} \sum_{X \leq n \leq 2X} f(n)$ 의 차이에 대한 $L^2$-노름에서 오차 $o(1)$ 으로 수렴한다.
• 일반적인 경우 오차 항은 국소 평균과 전역 평균의 차이에 대한 $L^2$-노름에서 $O\left( \frac{1}{(\log X)^{1/48}} \right)$ 으로 유계로 제한된다.
• 이 증명 기법은 저자들의 이전 연구에서 사용된 도구들(예: 딜리클 다항식의 큰 값 추정)과 결합될 경우, $[-1,1]$ 에 값을 갖는 임의의 곱셈 함수를 다룰 수 있을 정도로 강력하다.