On the Hardy-Ramanujan Theorem

技術要約：ハーディ・ラマヌジャン定理の有効なバージョン

問題提起
本論文は、整数 $n \le x$ における相異なる素因数の数 $\omega(n)$、および総素因数の数 $\Omega(n)$ の分布を扱う。古典的なハーディ・ラマヌジャンの定理は、両関数が $\log \log n$ の正規次数を持つことを確立しているが、元の証明はレベル集合 $A_k(x) = \#\{n \le x : \omega(n) = k\}$ に関する計数不等式に依存しており、これは指数的な上界を与えるものの、明示的な定数は欠いている。その後の証明（例えばトゥラーンの二次のモーメント法）はより簡潔ではあるが、チェビシェフの不等式を通じて多項式的な裾（テイル）の境界しか提供しない。確率論的なエルデシュ・カチャツキーの定理は極限的なガウス分布を特定しているが、有限の $x$ に対する有効で非漸近的な境界は提供していない。本稿の目的は、明示的な定数を伴うポアソン分布に対する支配不等式として結果をパッケージ化することにより、これらのギャップを埋め、有効かつ明示的なバージョンのハーディ・ラマヌジャンの計数不等量を提供することにある。

手法
著者は、ハーディとラマヌジャンが用いたオリジナルの「削除議論（deletion argument）」を採用しているが、これをすべての定数が明示的になるように洗練させている。核心となる手法は以下の通りである：

1. 削除再帰（Deletion Recurrence）： 整数を複数回カウントすることによって、$A_k(x)$ に関する再帰関係を確立する。具体的には、$\omega(n) = k+1$ である整数 $n$ について、正確な素数冪の因子を削除することで、$A_{k+1}(x)$ を $A_k(x/p^a)$ の和に関連付ける再帰関係を導く。
2. 帰納原理： 基底ケース $A_1(x)$ の明示的な境界と、特定の素数冪に関する和が与えられれば、$A_k(x)$ に対して $C \frac{x}{\log x} \frac{(\log \log x + B)^{k-1}}{(k-1)!}$ という形の明示的な上界が得られるという、一般的な帰納原理（命題 3.2）を定式化する。
3. 明示的な素数評価： 素数理論（ロッサーとシェンフェルド）からの明示的な境界を利用して、帰納原理の仮定を検証する。これには、$\sum_{p \le x} 1/p$、$\pi(x)$、および素数冪に関する和の精密な推定が含まれる。
4. ポアソン支配（Poisson Domination）： 計数不等式を確率的な言明へと翻訳する。境界の階乗構造を認識することにより、著者は、パラメータ $\xi = \log \log x + 4.096$ を持つポアソン確率変数 $Z_\xi$ によって、シフトされた経験分布が点ごとに支配されることを示す。
5. $\Omega(n)$ および $\omega_1(n)$ への拡張： 「平方フル剰余（squarefull excess）」$R(n) = \Omega(n) - \omega(n)$ の分析と $R(n)$ に対する指数的な裾の境界の証明を通じて、結果を $\Omega(n)$ および一度だけ現れる素因数の数 $\omega_1(n)$ へと拡張する。

主要な貢献と結果

• 明示的な計数不等式 (Theorem 1.2): すべての $x \ge 2$ および整数 $k \ge 1$ に対して以下を証明する：
  $$A_k(x) \le 1.95 \frac{x}{\log x} \frac{(\log \log x + 4.096)^{k-1}}{(k-1)!}$$
  これは、具体的な定数 $1.95$とシフト量$4.096$を提供することで、古典的な$O(\cdot)$ 表記を改善している。

• ポアソン支配 (Theorem 1.1): 任意の非負関数 $F$ に対して、シフトされた経験平均はポアソン期待値によって抑えられる：
  $$\frac{1}{x} \sum_{2 \le n \le x} F(\omega(n) - 1) \le Q \mathbb{E}[F(Z_\xi)]$$
  ここで $Q = 1.95 e^{4.096} < 117.20$ であり、$\xi = \log \log x + 4.096$ である。これは、$\omega(n)$ の分布が固定された倍数のポアソン則によって支配されていることを意味する。

• 明示的な裾の境界 (Explicit Tail Bounds):

  • 大偏差 (Corollary 1.3): 標準的なポアソン率関数 $I(\alpha) = \alpha \log \alpha - \alpha + 1$ を用いた大偏差推定を導出し、$\omega(n) \ge \alpha \log \log x$ となる整数の個数が $x (\log x)^{-I(\alpha)}$ で抑えられることを示す。
  • ガウススケールの境界 (Theorem 1.4): $A \sqrt{\log \log x}$ 型の偏差に対して、ガウス型の裾に似た明示的な上界を提供する。例えば、$1 \le A \le \sqrt{\log \log x}/4$ のとき：
    $$\frac{1}{x} \#\{n \le x : |\omega(n) - \log \log x| > A \sqrt{\log \log x}\} \le \frac{305}{A} \exp\left(-\frac{A^2}{2} + \frac{7.31 A^3}{\sqrt{\log \log x}}\right)$$
  • 中偏差 (Theorem 1.5): $A \to \infty$ かつ $A = o(\sqrt{\log \log x})$ の場合、確率は $\exp(-(1/2 + o(1))A^2)$ として減衰することが示される。

• 一様モーメント推定 (Theorem 1.6): 次のオーダー $r$ のモーメントに関する一様境界を確立する：
  $$\left( \frac{1}{x} \sum_{2 \le n \le x} |f(n) - \log \log x|^r \right)^{1/r} \le C(\sqrt{r(\log \log x + 1)} + r)$$
  ここで $f \in \{\omega, \Omega, \omega_1\}$ である。これは、固定された $r$ に対するガウス次数の中心モーメント推定を回収するものである。

• 平方フリーの類似例: 平方フリーの整数に対して、より小さな定数（$1.25506$）と、ポアソンパラメータのより小さなシフト（$1.174$）を用いた、より鋭い推定が導かれる。

意義と主張
本論文は、サテ・セルバーグの定理や確率論的な扱い（エルデシュ・カチャツキー、クビリウス）のような現代的な洗練とは「異なる目的」を持つと主張している。増大する $k$ や極限分布を求めるのではなく、著者は初等的な、明示的な、そして非漸近的な境界に焦点を当てている。

その意義は以下の点にある：

1. 明示的な定数: ハーディ・ラマヌジャンの議論を、古典的な扱いではしばしば省略される具体的な数値定数（$1.95, 4.096, Q < 117.20$）を用いて定量化している。
2. ポアソン支配: 結果をポアソン分布に対する支配不等式として枠付けることで、適切なテスト関数 $F$ を選択することにより、チェルノフ境界、モーメント推定、および裾の境界を即座に導出することを可能にしている。
3. 初等的な性質: 証明は、元の削除議論と明示的な素数推定に依拠しており、複雑な解析的手法や確率論的な極限定理を回避しているが、それでいてトゥラーンの多項式的な境界よりも鋭く、エルデシュ・カチャツキーの定理のガウス型の裾に近い形状（ただし厳密には上界として）を実現している。
4. 汎用性: このアプローチは、平方フル部分の分析を通じて $\Omega(n)$ および $\omega_1(n)$ へと自然に拡張され、これらの算術関数に対する統一された有効な理論を提供する。

著者は、シフト量 $4.096$は最適であると主張しているわけではなく、有限の$x$ における議論を透明に保つためのものであると述べている。主要な貢献は、ドミネーションの形式そのものであり、これにより様々な推定（点別、裾、母関数、モーメント）を単一の明示的な不等式の下に統合している。