Asymptotic independence of $\Omega(n)$ and $\Omega(n+1)$ along logarithmic averages

技术摘要：$\Omega(n)$ 与 $\Omega(n+1)$ 在对数平均下的渐近独立性

问题陈述
本文研究了连续整数 $n$ 与 $n+1$ 的素因子个数（计入重数）$\Omega(n)$ 的联合分布。具体而言，它调查了 $\Omega(n)$ 与 $\Omega(n+1)$ 在对数平均意义下的渐近独立性。虽然 Chowla 猜想提出了 Liouville 函数 $\lambda(n) = (-1)^{\Omega(n)}$（奇偶性的一个特例）不存在相关性的观点，且 Erdős-Kac 定理描述了 $\Omega(n)$ 个体的高斯分布，但对于一般的有界函数 $a(\Omega(n))$ 和 $b(\Omega(n+1))$ 的联合行为，该问题此前仍是一个开放问题。作者旨在证明，对于任何有界函数 $a, b: \mathbb{N} \to \mathbb{C}$，其乘积的对数平均可以分解为各自平均值的乘积，至多存在一个微小的误差项。

方法论
证明策略遵循了 Tao 为对数平均 Chowla 猜想建立的框架，并将其进行了改编，以处理不一定是积性函数的函数。核心方法包含以下几个关键步骤：

1. 归约为积性函数： 作者首先通过将估计一般函数 $a(\Omega(n))$ 与 $b(\Omega(n+1))$ 相关性的问题，归约为估计特定完全积性函数的相关性。这是通过结合傅里叶分析方法、定量 Erdős-Kac 定理以及 Helfgott 和 Radziwiłł 关于移位素数上 $\Omega(n)$ 分布的结果来实现的。
2. 频率分解： 问题根据所涉及函数的傅里叶系数被分解为“小频率”和“大频率”。
   • 小频率： 对于频率 $\xi$ 接近零的情况，相关的积性函数不一定具有强非周期性。作者通过建立局部 Erdős-Kac 定理的定量界限来控制这些项。他们利用指数函数的泰勒近似以及 Turán-Kubilius 不等式来管理由大素数产生的误差项。
   • 大频率： 对于远离零的频率 $\xi$，相关的积性函数被证明在 Matomäki, Radziwiłł 和 Tao (MRT) 的意义下是“强非周期”的。这使得能够应用来自 MRT 关于短区间内积性函数平均值的深刻结果。证明依赖于建立这些函数与扭转狄利克雷特征（twisted Dirichlet characters）之间在“自负意义”（pretentious sense）下的定量距离下界。
3. 圆法与无零区域： 大频率的分析采用了圆法估计以及黎曼 $\zeta$ 函数和狄利克雷 $L$ 函数的 Vinogradov-Korobov 无零区域，以确保与扭转特征的必要距离界限。

主要贡献与结果
主要结果是 定理 A，它确立了 $\Omega(n)$ 与 $\Omega(n+1)$ 在对数平均下的渐近独立性：
$$\mathbb{E}_{\log n \in [N]} a(\Omega(n))b(\Omega(n+1)) = \left( \mathbb{E}_{n \in [N]} a(\Omega(n)) \right) \left( \mathbb{E}_{n \in [N]} b(\Omega(n)) \right) + O\left( \frac{(\log \log \log N)^2}{\sqrt{\log \log N}} \right).$$
误差项仅取决于 $a$ 和 $b$ 的上确界范数。

• 推广： 该结果通过移除函数必须是特征或积性的限制，推广了定理 1.2（Tao 对对数平均 Chowla 猜想中 $k=2$ 情况的证明）。它验证了关于 $\Omega(n), \Omega(n+1), \dots, \Omega(n+k-1)$ 独立性的更广泛猜想中的“两点相关”情况。
• 定量改进： 本文提供了一个具有“双对数级节省”（double-logarithmic savings）的定量误差项，接近 Erdős-Kac 定理所知的最优界限（即 $O(1/\sqrt{\log \log N})$）。
• 在几乎素数上的应用： 作为直接应用，作者推导出了 定理 C，它描述了当 $n$ 在 $\ell$-几乎素数（恰好有 $\ell$ 个素因子的整数）范围内变化时，$\Omega(n+1)$ 的分布。他们表明，对于“典型”的 $\ell$ 值（在 Erdős-Kac 定理预测的范围内），序列 $\Omega(n+1)$ 的行为在渐近意义上与全整数上的 $\Omega(n)$ 行为一致。
• 等价性： 本文证明了主相关性定理（定理 A）与关于几乎素数的结论（定理 C）之间的等价性。
• 一致分布： 结果意味着序列 $(\alpha \Omega(n), \beta \Omega(n+1))$ 在权重 $1/n$ 下模 1 一致分布，当且仅当 $\alpha$ 和 $\beta$ 均为无理数。

意义与主张
作者声称这项工作统一了两种不同的数论视角：乘性奇偶值分布（Chowla 猜想）与素因子总数分布（Erdős-Kac 定理）。通过证明对于任何有界函数 $\Omega(n)$ 与 $\Omega(n+1)$ 都是渐近独立的，本文表明连续整数的素因子分解具有一种强烈的随机性。

论文承认，虽然获得的误差项略微次优（与预期的最优 $O(1/\sqrt{\log \log N})$ 相比差了一个 $(\log \log \log N)^2$ 因子），但它足以建立独立性。在 附录 A 中，作者展示了由 Harald A. Helfgott 传达的一种替代证明，该证明利用了 Helfgott 和 Radziwiłł 的一个命题，从而达到了最优误差项 $O(1/\sqrt{\log \log N})$。这种替代方法确认了该结果在对数平均的语境下是精确的。

这项工作并未声称解决了对于 $k \ge 3$ 的完整 Chowla 猜想或一般的 Elliott 猜想，但它通过解决一般函数的两点情况，为扩展已知独立性结果的范围迈出了重要一步。