素数定理の「包除的解釈」でルジャンドル予想は証明できるのか？決定論的アプローチの限界と本質

素数定理（PNT）を「包除原理の構造」や「決定論的な占有限界」として捉え直すことで、ルジャンドル予想のような局所的な素数分布の問題まで説明できるのではないか、という発想は直感的には非常に魅力的です。本記事では、その視点がなぜ数学的に主流にならないのか、そして既存理論との整合性の観点から整理します。

ルジャンドル予想と素数定理の役割の違い

ルジャンドル予想は「区間 (n², (n+1)²) に必ず素数が存在するか」という局所的な命題です。

一方で素数定理（PNT）は「x以下の素数の個数が x / log x に漸近する」という大域的な平均分布を扱います。

つまり、両者は対象とするスケールが本質的に異なっています。

包除原理は整数の「合成数の重なり」を形式的に表す強力な手法です。

これにより素数の密度を近似する発想は確かに素数定理の直感的背景の一部です。

しかしPNTは解析的整数論における極限的な平均挙動の結果であり、単純な包除構造とは異なる解析的道具（ゼータ関数など）に依存します。

篩法におけるパリティ問題とは「素因数の個数の偶奇を制御できない」ことに起因する本質的障害です。

この問題は単なる技術的欠陥ではなく、現在の篩理論の構造的限界として知られています。

そのため、決定論的にすべての局所的ギャップを制御するのは非常に困難です。

素数分布は局所的には非常に不規則であり、単純な決定論モデルでは記述が困難です。

そのため、平均的性質を扱える解析的手法（ゼータ関数、確率モデル）が主流となっています。

これは「不確実性を仮定している」のではなく、「平均構造しか安定して扱えない」という数学的事情によるものです。

素数定理をそのまま局所的保証（区間ごとの存在）に変換するには大きな論理的飛躍が必要です。

平均密度情報から「すべての区間に少なくとも1つ存在」を導くには、極めて強い誤差評価が要求されます。

現時点の解析的手法ではこのギャップを埋めることはできていません。

素数定理の包除的解釈は直感的には興味深いものですが、ルジャンドル予想のような局所命題を直接導くには理論的な隔たりがあります。

現在の数学では、平均構造と局所構造は異なる道具で扱う必要があり、その間を埋める完全な理論はまだ存在していません。

そのため、提示されたアプローチは現代数学の枠組みでは重要な直感を含みつつも、証明としては未完成な段階にあると評価されます。