🔢 mathematics

Every natural number is a sum of distinct semiprime unit fractions

本論文は、Butler-Erdős-Grahamの帰納法を困難な $\omega=2$ の場合に適応させることで、すべての自然数が半素数の分母を持つ相異なる単位分数（unit fractions）の有限和として表されることを証明し、同時にこれらの結果を有理数へと拡張するとともに、 $\omega=3$ の場合に対する初の完全な証明を提供するものである。

原著者： Shisheng Li

公開日 2026-06-16

📖 1 分で読めます🧠 じっくり読む

CC BY 4.0

原著者： Shisheng Li

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

全体像：「レゴ」の問題

想像してみてください。あなたは無限に供給されるレゴブロックを持っています。しかし、一つだけルールがあります。使うことができるのは、ちょうど2種類の異なる色のプラスチックが融合して作られたブロックだけです。数学の用語では、これらは**セミプライム（半素数）**と呼ばれます（例えば、 $2 \times 3 = 6$ や $3 \times 5 = 15$ のような数です）。

この論文は、エジプト分数に関する問いを投げかけています。エジプト分数とは、 $1/2, 1/3, 1/4$ といった単純な分数の和として、ある数を表す方法のことです。ただし、すべての分母（下の数字）は異なっていなければなりません。

問い： 私たちの「2色の」セミプライム・ブロックだけを使って、あらゆる整数（1, 2, 3, 100など）を組み立てることができるでしょうか？

答え： はい。 著者であるShisheng Liは、そのような方法でいかなる整数も構築できることを証明しました。

背景：未解決のパズル

この問題はLiが発明したものではありません。数学者ポール・エルデシュとロナルド・グラハムによる有名な予想に由来しています。彼らはこう問いかけました。「もし、私たちのブロックをちょうど $\omega$ （オメガ）種類の異なる素数で作られたものに制限した場合、あらゆる数を構築できるだろうか？」

$\omega = 3$ （3色）： 2015年、他の数学者たち（Butler, Erdős, Graham）はこの方法が機能することを証明しました。もしブロックが3色の色（例： $2 \times 3 \times 5 = 30$ ）で作られていれば、あらゆる数を構築できます。
$\omega = 2$ （2色）： 彼らはこれも可能だと予想しましたが、証明はできませんでした。彼らはそこで止まったのです。

なぜ難しかったのか？
建設作業員に例えて考えてみましょう。

3色（ $\omega=3$ ）の場合、ブロックの山は巨大で厚みがあります。隙間を埋めるのに適切な組み合わせを見つけるのは簡単です。
2色（ $\omega=2$ ）に減らすと、ブロックの山は非常に薄くなります。「サプライチェーン」が弱くなってしまうのです。厚い山の時に機能した手法は、薄い山の時には通用しませんでした。なぜなら、2色の山には隙間を簡単に埋めるための多様性が足りなかったからです。

解決策：ギャップを埋める新しい方法

Liの論文は、本質的に、供給されるブロックが非常に薄い状況でもどのように構築を続けるかについてのマニュアルです。

1. 「供給（フィーディング）」の問題
この証明は**帰納法（induction）**という手法を用いています。壁を築いているところを想像してください。壁を永遠に築き続けられることを証明したいとします。まず、高さ $N$ の壁を築けることを示し、そうすれば必ず高さ $N+1$ の壁も築けることを示します。

これを行うには、新しい層を埋めるためのブロックの「供給（フィード）」が必要です。
$\omega=3$ の場合、供給は豊かで満たされています。
$\omega=2$ の場合、供給は非常に薄いです。古い手法は、この薄い供給を無理やり厚い供給のように扱おうとして失敗しました。

2. 「ウィンドウ（窓）」のトリック
Liは、薄い供給を厚いものに見せかけようとするのではなく、問題を別の視点から見ることに気づきました。

窓が壁に沿ってスライドしていく様子を想像してください。
Liは、 $\omega=2$ のケースにおいて、この窓は常に全ブロックの供給量よりも広いことを証明しました。
窓が非常に広いため、それは必ず最初のブロック（0）または最後のブロック（最大和）を捉えることになります。隙間を通り抜けてしまうことはありません。
つまり、複雑で厚いブロックの山は必要ありません。ただ、「開始点」と「終了点」のブロックの山が、必要な数学的な「余り（剰余）」をカバーしていることを確認すればよいのです。

3. 重労働（計算と論理）
あらゆる数に対してこれが機能することを証明するために、Liは2つのことを行う必要がありました。

「チェックリスト」（計算）： 彼はコンピュータを使用して、構築の最初の300ステップを手動でチェックしました。これは、基礎がしっかりしていることを確認するために、拡大鏡を使って超高層ビルの最初の数フロアを精査するようなものです。彼は、この「薄い供給」が初期段階で完璧に機能することを検証しました。
「数学的な安全網」（解析）： 残りの無限のステップ（300ステップ目から無限まで）については、標準的な数学的不等式（チェビシェフの不等式）を用いて、ブロックが十分に分布しており、「窓」が常に有効な組み合わせを捉えることを証明しました。

結果：他に何が分かったのか？

この論文は整数で止まりません。その論理を分数（有理数）にも拡張しています。

閾値（しきい値）： 分母が「平方フリー（同じ素因数を繰り返さない数。例えば6や10はOKですが、12はNG）」である分数について、その分数が十分に大きい場合（具体的には約1/5より大きい場合）、それらを構築できることを証明しました。
「核心部」に残された謎： まだ小さな隙間が残されています。非常に小さな分数（例えば1/1000）については、証明がまだそこまで到達していません。著者は、この残された謎を一つの具体的な推測に集約させています。「もしブロックを足し続けていけば、ブロック間の隙間は最終的に消滅する」。もしこの推測が正しければ、証明はすべての数に対して完了することになります。
「3色のボーナス」： 「2色の」問題を解いた副産物として、Liは、元の著者たちが予想に留めていた「3色の」問題（スフェニック数）に対する最初の完全な証明も提供しました。

まとめとなる比喩

あなたはホースを使って、プールの水を満たそうとしていると想像してください。

古い方法： 水圧が非常に高い（ブロックがたくさんある）場合にしか機能しないホースを使おうとしました。これは大きなプール（3色）には機能しましたが、小さく狭いスペースでは失敗しました。
Liの方法： たとえ水圧の弱いホース（2色）であっても、適切な角度で狙い、プールの最初の数フィートを注意深く確認すれば、ホースがプールの底の隙間よりも幅広いため、自然にプール全体を満たすことができるのだと気づきました。

結論： Shisheng Liは、10年前の数学的パズルを解き、巧妙なコンピュータによる検証と数学的論理を組み合わせることで、以前の手法が失敗した箇所を埋め、2つの素因数を持つ分母のみを使用してあらゆる整数を構築できることを証明しました。

技術要約：「すべての自然数は相異なるセミプライム（半素数）単位分数の和として表される」

問題提起
本論文は、制限付き分母を持つエジプト分数に関するエルデシュ＝グラハム問題の特定のケースを扱っている。一般的な問題は、平方フリーな分母 $b$ に対して、すべての有理数 $a/b$ が、各 $n_i$ がちょうど $\omega$ 個の異なる素数の積であるような、相異なる単位分数 $1/n_i$ の和として表せるかどうかを問うものである。

背景: $\omega \ge 3$ の場合、整数ケース（ $b=1$ ）は2015年にButler, Erdős, and Graham (BEG15) によって証明された。彼らは、 $\omega = 2$ （セミプライム分母）の場合もこの結果が成り立つと予想したが、証明には至らなかった。その理由は、 $\omega$ が減少するにつれて、彼らの帰納法を駆動する組合せ論的な「フィード（供給）」が退化することを指摘したためである。
目的: 本論文は、 $\omega = 2$ における整数ケース（ $b=1$ ）を解決し、すべての自然数 $m \ge 1$ が、相異なる単位分数（セミプライム分母）の有限和として表せることを証明する。さらに、明示的な閾値以上の有理数 $a/b$ （ $b$ は平方フリー）への拡張を行い、 $\omega = 3$ の場合の完全な有理数ケースを証明する。

手法
証明は、BEG15によって確立された帰納法の枠組みを適応・修正したものである。核心となるメカニズムは、プリモーリアル（素数階乗）から導出される特定の「アトム（原子）」集合の部分集合和の集合を分析することにある。

部分集合和への還元:
問題は、自然数 $m$ に対して、 $P_N$ （ $N$ 番目のプリモーリアル） $m$ が、集合 $D_2(N) = \{ P_N / (p_i p_j) : 1 \le i < j \le N \}$ の部分集合和の集合 $L_2(N)$ に含まれることを示すことに帰着される。
帰納法のスケルトン:
証明は、 $L_2(N)$ が整数の中央ブロック $[\lceil \sigma_2(N)/6 \rceil, \lfloor 5\sigma_2(N)/6 \rfloor]$ を含むことを確立することに依存している。ここで $\sigma_2(N)$ は $D_2(N)$ の要素の総和である。

基底段階: 45個のアトムに対する部分集合和の到達可能性をチェックするために、パックド・ビットセットを用いて $N_0 = 10$ に対して計算機的に検証された。
帰納ステップ ( $N \to N+1$ ): ステップは、分割再帰式 $L_2(N+1) = L_1(N) + p_{N+1} L_2(N)$ を用いる。ここで $L_1(N)$ は、単一素数の逆数の部分集合和（すなわち「フィード」）である。

$\omega=2$ の障害の克服:
$\omega=3$ の場合、フィード $L_1(N)$ は豊かな集合である。しかし $\omega=2$ の場合、フィードは単一素数の部分集合和へと崩壊し、構造的に「希薄」になる。BEG15の手法がここで失敗したのは、「ランズ・コネクト（連なり接続）」の議論において、退化したケースでは存在しない剰余完全な内部集合を必要としたためである。

新しい知見: 著者によれば、 $\omega=2$ の再帰において、カバリング・ウィンドウ（単一のフィード要素によってカバーされるターゲット値の区間）は常にフィードの全範囲と同じかそれより長い。したがって、ウィンドウはフィードの端点（$0 $または$ \sigma_1(N)$）のいずれかを含まなければならない。
戦略: フィードの内部構造を回復させようとする代わりに、フィードを直接、剰余完全な対象物として使用する。帰納法は、フィードが新しい素数 $q = p_{N+1}$ に対して、特定のストリップ長（帯域幅）内にすべての剰余類に到達する場合に成功する。

解析的および計算的検証:
証明は、単一の不等式 $Y_0(N) \le \beta(N)$ への困難の集約へと還元される。ここで $Y_0(N)$ はフィードの剰余完全性の開始半径であり、 $\beta(N)$ は利用可能なストリップ長である。

有限範囲 ( $10 \le N \le 299$ ): 剰余群 $\mathbb{Z}_q$ 上のダイクストラ型の最短経路アルゴリズムを用いた、厳密な整数演算により検証された。
解析的テイル ( $N \ge 300$ ): 素数間隔に関する初等的なチェビシェフの評価と、素数の逆数の和の単調性を用いて証明された。
剰余完全性: Olsonの加法定理が厳密に適用されない小さな $N$ については、計算機的に剰余完全性を検証した。

主要な結果

定理 1.2 (整数ケース): すべての自然数 $m \ge 1$ は、相異なるセミプライム分母の単位分数の有限和として記述できる。この証明は非構成的かつ有効であるが、分母の大きさに関する極めて巨大な境界（およそ $N \sim \exp(\exp(O(\sqrt{m})))$ ）を与える。
有理数への拡張 (定理 7.1 および 7.4): 任意の平方フリーな分母 $b$ に対して、すべての有理数 $a/b \ge \min\{B_{N_b}/6, 1/5\}$ は、相異なるセミプライム単位分数の和として表現可能である。ここで $B_{N_b}$ は $b$ の最大の素因数に依存する。
有理数 $\omega=3$ 定理 (定理 8.1): 平方フリーな $b$ を持つすべての正の有理数 $a/b$ は、スフェニック数（3つの異なる素数の積）の分母を持つ相異なる単位分数の和である。これは「リフト」の議論によって達成される。すなわち、ターゲットに大きな素数 $r$ を掛けて $\omega=2$ の定理の表現可能範囲に移動させ、その後 $r$ で割るという手法である。
一般の $\omega \ge 3$ (系 8.6): 降下法により、この結果はすべての $\omega \ge 3$ に拡張される。

意義および未解決問題

予想の解決: 本論文は、 $\omega=2$ の整数ケースに関する最初の完全な証明を提供しており、これはBEG15によって予想として残されていた問題である。これは、「希薄なフィード」の領域であっても、端点の被覆に依存するように帰納法を適応させることで対処可能であることを示している。
無条件の結果: すべての結果は無条件であり、初等的な数論と、独立したスクリプトによって検証された有限の計算に基づいている。
残された核心的な未解決問題: 論文は、 $\omega=2$ $ω = 2$ の問題における唯一の残された未解決ケースとして、「ディープ・コア（深い核）」を特定している。それは、 $\omega=2$ $ω = 2$ の有理数 $a/b$ $a / b$ で、閾値 $\min\{B_{N_b}/6, 1/5\}$ $min {B_{N_{b}} /6, 1/5}$ を下回るものである。
- 著者はこれを、単一の明示的な予想、すなわち ギャップ・フリー・フロア予想 (Gap-Free Floor Conjecture, GFF) に帰着させている。これは、セミプライムの部分集合和集合のギャップ・フリー・フロアが、 $N \to \infty$ においてゼロに収束するという仮説である。もしこれが真であれば、すべての有理数について問題が解決される。
範囲: 本論文は、平方因子を持つ分母（これらの制約下では表現不可能）や、固定された有限の素数集合を用いた表現については扱わないことを明記している。焦点は、あくまでセミプライムの逆数の普遍的な加法的基底に置かれている。

この研究は、現在の手法が到達できる限りまで証明を推進する「エンジン」として機能しており、特に小さな有理数における $\omega=2$ のケースの完全な解決を阻んでいる具体的な構造的困難（ギャップ・フリー・フロア）を孤立させている。