Unbounded logarithmic limsup in Erd\H{o}s problem 684

論文要約：Erdős問題684における非有界な対数的なlimsup

1. 背景と問題設定 (The Problem)

Erdős問題684は、二項係数 $\binom{n}{k}$ の「$k$-smooth部分」（$k$以下の素因数のみを持つ部分）を $u_k(n)$ と定義したとき、$u_k(n) > n^2$ を満たす最小の $k$ を $f(n)$ と置く問題です。
これまで、多くの研究者は $f(n) \ll \log n$ というオーダーの範囲に収まるのではないかと予想してきましたが、本論文は、$f(n)$ の対数的な上限（limsup）が無限大であること、すなわち
$$\limsup_{n \to \infty} \frac{f(n)}{\log n} = \infty$$
であることを証明し、従来の予想を覆しました。

2. 主要な手法 (Methodology)

本論文の核心は、特定の性質を持つ整数 $n$ を構成するために、**「ショート・マルチプライヤー（短倍数）構成法」**を導入した点にあります。構成の手順は以下の多層的な還元プロセスに基づいています。

• Kummerの定理の利用: $n = t L_M - 1$ （ここで $L_M = \text{lcm}(1, \dots, M)$）という形をとることで、Kummerの定理における「繰り上がり（carry）」の発生を制御します。これにより、$k \le CM$ の範囲では $u_k(n)$ が $n^2$ を超えないように設計します。
• フーリエ解析による還元: 倍数 $t$ の存在証明を、局所的な剰余条件を満たす「マルチプライヤー・シーブ（篩）」の問題へと変換します。ここでは、正確な分母を持つフーリエ級数（Exact Denominator Lemma）を用いて、低次モードの寄与を排除します。
• QM-box パラメトリゼーション: $M$ と $K$ の間の素数領域において、剰余条件を「QM-box」と呼ばれる構造的な枠組みに落とし込み、局所的な調和的な高さ（harmonic height）の制約として扱います。
• Timofeevの解析的手法: 最終的な証明には、Timofeevによる「算術級数における大きな $\Omega(n)$（素因数の総数）の平均値」に関する手法を用います。これを、特定の素数帯域（dyadic shell）に限定した形式（Localized dyadic form）に改良して適用しています。

3. 主な貢献 (Key Contributions)

本論文の技術的な貢献は、以下の3つの高度な数学的道具の構築にあります。

1. Exact-a 抽出（Lemma 7）: 算術級数における平均的な分布の推定から、素因数の個数が「ちょうど $a$ 個」であり、かつその積が特定の範囲（dyadic window）にあるような、非常に薄い集合（thin shell）に対する分布推定を導出する手法。
2. 局所的な高さのキャップ（Proposition 10 & Lemma 11）: QM-box構成において、各素数成分が持つ「高さ」の寄与を、テンソル積的な手法を用いて制御し、調和的なエンベロープ（harmonic envelope）からの減少分を厳密に計算する手法。
3. 局所化されたTimofeev法: 従来のグローバルな分布推定を、特定の素数帯域および特定の素因数個数に限定した「局所的な（localized）」形式へと精密化し、マルチプライヤーの存在を保証した点。

4. 結果 (Results)

論文は以下の主要な結果を導いています。

• 定理3: 任意の固定された $C > 1$ に対して、$f(n_M) > (C - o(1)) \log n_M$ を満たす整数列 $n_M$ が存在することを示しました。
• 結論: これにより、$\frac{f(n)}{\log n}$ の極限上限（limsup）が無限大であることが確定しました。

5. 数学的意義 (Significance)

本研究は、二項係数の素因数構造に関するErdősの古典的な問題に対し、**「$f(n)$ は $\log n$ の定数倍では抑えられない」**という決定的な反証を与えました。
技術的には、数論的篩法、フーリエ解析、および解析的数論における平均値定理（Timofeev法）を、極めて精密な「局所化（localization）」の技術を用いて融合させたものであり、素因数の分布に関する非常に強力な構成手法を提示しています。