[论文解读] Partial sums of the M{ö}bius function

K. Soundararajan|ArXiv.org|May 5, 2007

Analytic Number Theory Research参考文献 7被引用 8

一句话总结

本文在黎曼猜想假设下改进了Möbius函数部分和 $ M(x) = \sum_{n \leq x} \mu(n) $ 的已知上界。通过分析zeta函数非平凡零点的 ordinates 在短区间内的聚集频率，并应用改进版本的Perron公式，作者建立了 $ M(x) \ll \sqrt{x} \exp\left( (\log x)^{1/2} (\log\log x)^{14} \right) $，显著优于先前结果，推动了对Möbius函数振荡行为的理解。

ABSTRACT

Assuming the Riemann Hypothesis we establish an upper bound for the sum of the M{\" o}bius function up to $x$. Our method is based on estimating the frequency with which intervals of a given length can contain an unusual number of ordinates of zeros of the Riemann zeta-function.

研究动机与目标

• 在黎曼猜想假设下，改进Möbius函数部分和 $ M(x) = \sum_{n \leq x} \mu(n) $ 的已知上界。
• 分析非平凡zeta函数零点的 ordinates 在短区间内聚集的频率，作为控制 $ M(x) $ 的关键技术工具。
• 通过结合零点间距频率结果与Perron公式的改进应用及指数和估计，建立 $ M(x) $ 的新、更紧的估计。

提出的方法

• 引入对 $ S(t+h) - S(t-h) $ 大值频率的创新分析，该量衡量短区间内零点计数偏离预期密度的程度。
• 基于零点分布、素数和行为及对数约束，定义 $ V $-典型点 $ t \in [T, 2T] $，以控制 $ \zeta(\sigma + it) $ 的大小。
• 应用Perron公式的改进版本，采用避开临界线的变形积分路径，路径由基于 $ V $-典型性的垂直与水平线段构成。
• 结合显式公式（连接素数与zeta零点）及大筛法不等式，控制涉及 $ \Lambda(n) $ 和 $ \mu(n) $ 的指数和。
• 利用 $ V $ 的指数衰减性质，结合 $ S(t) $ 的高斯型分布及Littlewood界的新近改进，建立 $ V $-非典型点数量的上界。
• 通过细致的二分法分解与 $ V $ 的优化，结合积分路径上垂直与水平线段的估计，最终导出 $ M(x) $ 的上界。

实验结果

研究问题

• RQ1 在当前对零点分布的认知下，黎曼猜想假设下 $ M(x) = \sum_{n \leq x} \mu(n) $ 的最佳可能上界是什么？
• RQ2 非平凡zeta函数零点的 ordinates 在短区间内聚集的频率如何？这对临界线上 $ \zeta(s) $ 的大小有何影响？
• RQ3 $ V $-典型点方法能否用于统一控制 $ \sigma > 1/2 $ 时 $ \zeta(\sigma + it) $ 的大小，从而控制 $ M(x) $？
• RQ4 在零点计数函数 $ N(t+h) - N(t-h) $ 的误差项中，能多大程度实现控制以改进 $ M(x) $ 的上界？

主要发现

• 在黎曼猜想下，Möbius函数部分和满足 $ M(x) \ll \sqrt{x} \exp\left( (\log x)^{1/2} (\log\log x)^{14} \right) $，优于先前结果。
• 对于 $ V \geq (\log\log T)^2 $，$ V $-非典型点 $ t \in [T, 2T] $ 的数量满足 $ R \ll T \exp\left( -V \log\left( \frac{V}{\log\log T} \right) + 4V \log\log V \right) $，量化了零点聚集的频率。
• 对于 $ V $-典型 $ t \in [T, 2T] $，有 $ \log|\zeta(\sigma + it)| \geq -V \log\log V $，其中 $ \sigma \geq \sigma_0 = \frac{1}{2} + \frac{V}{\log T} $，提供了对 $ |\zeta(s)| $ 的统一控制。
• $ M(x) $ 的上界通过 $ x^s / (s \zeta(s)) $ 的围道积分导出，围道经变形以避开临界线，且线段选择基于 $ V $-典型性以最小化误差。
• 该方法表明，若 $ V $-非典型点数量满足一个猜想的高斯型上界，则可进一步将 $ M(x) \ll \sqrt{x} \exp(C (\log\log x)^3) $ 的上界改进。
• 该结果标志着向理解 $ M(x) $ 真正阶的数量级迈出了重要一步，后者猜想为 $ \sqrt{x} (\log\log\log x)^{5/4} $。