[论文解读] A note on the Liouville function in short intervals

Kaisa Matomäki, Maksym Radziwiłł|arXiv (Cornell University)|Feb 9, 2015

Analytic Number Theory Research参考文献 2被引用 17

一句话总结

本文提供了关于刘维尔函数在长度为 $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$ 的短区间内刘维尔函数的取消效应提供一种简化且自包含的证明。
• 在不依赖复杂解析数论工具的前提下，证明 $\sum_{x \leq n \leq x + X^\delta} \lambda(n) = o(X^\delta)$ 对几乎所有 $x \in [X, 2X]$ 成立。
• 建立一个基础性结果，可推广至一般的实值乘法函数。
• 为先前预印本中更复杂结果的特殊情形（即刘维尔函数情形）提供一个简化的版本。

提出的方法

• 使用拉马雷型恒等式，将刘维尔函数在短区间上的和进行分解。
• 通过形式为 $\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 为证明 $\sum_{x \leq n \leq x + X^\delta} \lambda(n) = o(X^\delta)$ 对几乎所有 $x \in [X, 2X]$ 成立，所需的最少解析数论工具是什么？
• 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)$，即局部平均与全局平均之差的 $L^2$-范数。
• 该证明方法足够稳健，当结合作者先前工作中的工具（如狄利克雷多项式的大值估计）时，可处理任意取值于 $[-1,1]$ 的乘法函数。