On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares

この論文は、任意の連続する 2 つの平方数の間に少なくとも 3 つの素因数（重複を含む）を持つ整数が存在することを証明し、Dudek と Johnston による「4 つの素因数」という以前の最良の結果を改善したものである。

要約

この論文は、数学の難問「ルジャンドルの予想」を少しだけ形を変えて解決したという、とても面白い研究です。専門用語を抜きにして、日常の言葉と面白い例え話を使って解説します。

1. 問題の正体：「素数」を探すというゲーム

まず、この研究の舞台は**「連続する 2 つの平方数の間」**です。
例えば、$10^2 = 100$と$11^2 = 121$の間（101 から 120 まで）や、$100^2$と$101^2$ の間のような区間です。

ルジャンドルの予想という有名な未解決問題があります。

「どんな 2 つの連続する平方数の間にも、必ず**『素数』**（1 と自分自身以外で割れない数）が 1 つ以上入っているはずだ」

これは非常に難しい問題で、まだ証明されていません。素数は「宇宙の原子」のようなもので、数が大きくなるとバラバラに散らばって、どこにあるか予測がつかなくなるからです。

2. 著者の戦略：「完璧な宝石」ではなく「少し傷ついた宝石」を探す

著者のピーター・キャンベルさんは、「完璧な素数（1 つの部品しかない数）」を見つけるのはまだ無理かもしれない、と考えました。そこで、ルールを少し緩めてみました。

• ルール変更: 「素数（部品 1 つ）」ではなく、**「素数が 3 つ以下でできている数（部品が 3 つ以下の数）」**が見つかるかどうか？

これを「ほぼ素数（Almost Prime）」と呼びます。

• 素数：部品 1 つ（例：7）
• 半素数：部品 2 つ（例：14 = 2 × 7）
• 部品 3 つ以下：部品 3 つまで OK（例：30 = 2 × 3 × 5）

論文の結論（定理）:

「どんな 2 つの連続する平方数の間にも、『素数が 3 つ以下』の数が必ず 1 つ以上入っている」

これは、以前の記録（「4 つ以下」）を塗り替える、新しい世界記録です！

3. 解決への 2 つのアプローチ：「手作業」と「自動運転」

著者はこの問題を解くために、2 つの異なる方法を組み合わせて使いました。

① 小さな数には「手作業（計算機）」

数が小さい範囲（$n^2 \le 10^{31}$ まで）では、コンピューターを使って実際に一つ一つチェックしました。

• 例え話: 小さな町を歩くように、家一つ一つ（数字一つ一つ）を覗き込んで、「あ、ここに部品 2 つの数がいる！」「次は部品 3 つ！」と確認しました。
• さらに、素数と素数の間の「隙間（ギャップ）」が最大でも 1724 しかないという既知の事実を使い、隙間に「半素数（部品 2 つ）」を無理やり配置する巧妙なテクニックも使いました。

② 大きな数には「自動運転（篩（ふるい））」

数が巨大になると、一つ一つ調べるのは不可能です。そこで、数学の**「篩（ふるい）」**という道具を使いました。

• 例え話: 砂利（すべての整数）を大きなふるいにかけます。
  • 1 回目のふるい：小さな素数で割れるものを取り除く。
  • 2 回目のふるい：残ったものから、さらに条件を満たすものだけを残す。
  • 著者は**「リヒャルトの重み」**という特別な「重り」をふるいに付けました。これにより、単に「素数かどうか」だけでなく、「素数が何個あるか」までを精密に計算できる仕組みを作りました。
• この「自動運転」のシステムを調整し、「部品が 3 つ以下の数」が必ず残るようにパラメータ（設定値）を微調整しました。

4. なぜこれがすごいのか？

• 前回の記録: 「4 つ以下の素数」なら見つかる（2020 年頃）。
• 今回の記録: 「3 つ以下の素数」なら見つかる（2026 年）。

「4 つ」から「3 つ」への 1 歩は、一見小さく見えますが、数学的には非常に大きな進歩です。
なぜなら、素数が 2 つ以下（半素数）まで落とすには、今の技術ではまだ無理があるからです。著者は「今の方法では限界が 3 つだ」と正直に認めていますが、それでも「4 つ」から「3 つ」へという壁を破ったことは、将来「2 つ」や「1 つ（素数そのもの）」に挑むための重要な足がかりになります。

まとめ

この論文は、「素数という謎の生物が、連続する 2 つの平方数という狭い森の中に必ず隠れているか？」という問いに対し、
「完璧な素数（1 つ）は証明できないけど、『3 つ以下の部品』でできている生物なら、その森のどこにでも必ず潜んでいるよ！」と証明した物語です。

小さな数ではコンピューターで「直接見つけ」、大きな数では数学の「高度なふるい」で「確実に存在する」ことを示しました。数学の探検隊が、未開の地をさらに 1 歩進んだ瞬間と言えます。

技術概要

ペーター・キャンベル（Peter Campbell）による論文「On the Existence of Integers with at Most 3 Prime Factors Between Every Pair of Consecutive Squares（連続する 2 つの平方数の間に存在する、高々 3 つの素因数を持つ整数の存在について）」の技術的概要を日本語で以下にまとめます。

1. 研究の背景と問題設定

レジェンドルの予想（Legendre's Conjecture）
数論における中心的な未解決問題の一つに、任意の整数 $n \ge 1$ に対して、区間 $(n^2, (n+1)^2)$ に必ず素数が存在するかどうかというレジェンドルの予想があります。この予想はリーマン予想の下でも未解決であり、非常に困難な問題として知られています。

問題の緩和と「ほぼ素数」への着目
素数の存在を直接証明する代わりに、区間内に「素数が少ない整数（almost prime）」が存在するかというアプローチが取られています。ここで、整数 $m$ の素因数の個数（重複を含む）を $\Omega(m)$ と定義します（例：$\Omega(m)=1$ なら素数、$\Omega(m) \le 2$ なら素数または 2 つの素数の積）。
本研究の目的は、任意の $n \ge 1$ に対して、区間 $(n^2, (n+1)^2)$ 内に $\Omega(a) \le k$ を満たす整数 $a$ が存在するような、最小の $k$ を決定することです。

先行研究

• ブルン（1920 年）：十分大きな $n$ に対して $k=11$ を示した。
• チェン（1973 年）：十分大きな $n$ に対して $k=2$ を示した（チェンの定理）。
• デュデクとジョンストン（2024 年）：明示的な線形篩法を用い、すべての $n \ge 1$ に対して $\Omega(a) \le 4$ が成り立つことを証明した。

2. 本研究の主要な成果（定理 1.1）

この論文は、デュデクとジョンストンの結果を改善し、以下の定理を証明しました。

定理 1.1: 任意の整数 $n \ge 1$ に対して、区間 $(n^2, (n+1)^2)$ 内に、素因数の個数（重複を含む）が 3 以下（$\Omega(a) \le 3$）である整数 $a$ が存在する。

これは、区間内の「ほぼ素数」の質的改善（$k=4 \to k=3$）を達成したものです。

3. 手法と証明の構成

証明は、小規模な $n$ に対する計算検証と、大規模な $n$ に対する**明示的な解析的議論（篩法）**の組み合わせによって行われています。

A. 小規模な $n$ に対する計算検証（$n^2 \le 10^{31}$）

• 既存の成果の活用: ソレンソンとウェブスターは、$n \le 7.05 \times 10^{13}$ の範囲で区間に素数（$\Omega(a)=1$）が存在することを検証済みでした。
• 半素数の構成: $n > 7.05 \times 10^{13}$ かつ $n^2 \le 10^{31}$ の範囲では、素数ではなく「半素数（2 つの素数の積、$\Omega(a)=2$）」が存在することを示しました。
• 手法: 区間 $(n^2, (n+1)^2)$ をある素数 $p$ で割った区間を考え、その区間の長さが既知の「最大素数ギャップ（1724）」を超え、かつ上限が $6.8 \times 10^{19}$以下になるように$p$を選択します。これにより、区間内に素数$q$が存在し、$pq$ が求める半素数となります。
• 結果: この計算により、$n^2 \le 10^{31}$ の範囲では $\Omega(a) \le 2$ であることが保証され、解析的議論の対象範囲を $n^2 \ge 10^{31}$ に絞り込むことができました。

B. 大規模な $n$ に対する解析的証明（$n^2 \ge 10^{31}$）

大規模な $n$ に対しては、リヒャート（Richert）の対数重み付き篩法を平方数区間に適用し、線形篩法の明示的な結果と組み合わせます。

1. 重み付き篩法の適用:

   • 対象集合 $A(N) = \mathbb{Z} \cap (N, N + 2\sqrt{N})$ （ここで $N=n^2$）を設定。
   • リヒャートの対数重み $w(a)$ を導入し、$\Omega(a) \le 3$ となる要素の個数の下限を評価します。
   • 立方数区間 $(n^3, (n+1)^3)$ での先行研究（ジョンストンら）の枠組みを、平方数区間の幾何学的特性に合わせて適応させました。

2. パラメータの最適化と改良点:

   • 区間の長さ: 平方数区間の長さは $O(\sqrt{N})$ であり、立方数区間（$O(N^{2/3})$）よりも短いため、篩法の誤差項制御がより困難です。
   • パラメータ設定: $k=3$（目標とする素因数の最大数）、$k_1=8$、$k_2=3.17$ などのパラメータを慎重に選択しました。
   • 明示的な定数: ボルディニョン、ジョンストン、スターチコヴァの明示的な線形篩法（Bordignon, Johnston, Starichkova）を用い、誤差項を厳密に評価しました。
   • 主要な評価式:
     • 篩関数 $S(A, P, z)$ の下限評価。
     • 重み付き篩和の上限評価（Proposition 3.5）。
     • 平方因子を持つ要素の除去による損失の制御（Lemma 4.3）。

3. 最終的な評価:

   • 選択されたパラメータ（$s=3.33$, $\alpha=0.06$ など）を用いて数値計算を行い、$\Omega(a) \le 3$ となる整数の個数が正（$>0$）であることを示しました。
   • 具体的には、$r_3(A) > 0.0249 \frac{\sqrt{N}}{\log X}$ となり、区間内に少なくとも 1 つの条件を満たす整数が存在することが証明されました。

4. 技術的な貢献と意義

• 境界の改善: 明示的な結果として $k=4$ から $k=3$ への改善を達成しました。これは、平方数区間という「狭い」区間における素数分布の深い理解を示唆しています。
• リヒャート重みの適応: 立方数区間での成功例であったリヒャートの対数重みを、より短い平方数区間に初めて適用し、その有効性を示しました。
• 計算と解析の融合: 現代の計算機科学（最大素数ギャップの記録計算）と古典的な解析数論（篩法）を高度に統合した手法を確立しました。
• 今後の課題: 著者は、さらに $k=2$（素数または半素数）への改善を目指していますが、現在の枠組み（Type I 情報のみを用いた重み付き線形篩法）では限界があるとし、より高度な篩法理論や小 $n$ 範囲でのさらなる計算検証が必要であると指摘しています。

結論

この論文は、レジェンドルの予想に対する重要な一歩として、すべての連続する平方数の間に「高々 3 つの素因数を持つ整数」が必ず存在することを証明しました。これは、数論における「短い区間内の素数・ほぼ素数の分布」に関する研究において、計算検証と明示的解析を結びつけた画期的な成果です。