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予想は、リウヴィル関数 $\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$ がゼロに近い場合、関連する乗法的関数は必ずしも強非周期（strongly aperiodic）ではない。著者らは、これらの項を制御するために、局所的なErdős-Kacの定理の量的な境界を確立する。彼らは、大きな素数から生じる誤差項を管理するために、指数関数のテイラー近似とTurán-Kubiliusの不等式を利用する。
   • 大きい周波数: 周波数 $\xi$ がゼロから離れている場合、関連する乗法的関数は、Matomäki, Radziwiłł, およびTao (MRT) の意味において「強非周期」であることが示される。これにより、短区間における乗法的関数の平均値に関するMRTの深い結果を適用することが可能になる。証明は、これらの関数とねじれたディリクレ指標との間の距離（プレテンシャスな意味での距離）に関する量的な下界を確立することに依拠している。
3. 円法と零領域: 大きな周波数の解析には、ディリクレL関数およびリーマンゼータ関数のVinogradov-Korobov零領域を用いた円法の推定が用いられ、これによってねじれた指標からの必要な距離の境界を確保する。

主要な貢献と結果
主要な結果は、対数平均の下での $\Omega(n)$ と $\Omega(n+1)$ の漸近的独立性を確立する定理Aである：
$$\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)$ の独立性に関するより広範な予想の「2点相関」のケースを検証するものである。
• 量的な改善: 本論文は、「二重対数的な節約（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）の間の等価性を証明している。
• 一様分布: これらの結果は、重み $1/n$ を持つ数列 $(\alpha \Omega(n), \beta \Omega(n+1))$ が、$\alpha$ と $\beta$ の両方が無理数である場合に限り、モジュロ1で一様に分布することを意味する。

意義と主張
著者らは、この研究が、乗法的なパリティ値の分布（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予想を解決することを主張するものではないが、一般的な関数に対する2点ケースを解決することで、既知の独立性の結果の範囲を広げ、重要な一歩を踏み出している。