素数の分布と素数定理

素数定理は、素数が対数的に希薄になるという直感を正確に表現します。ある上限までの素数の個数は、その上限をその自然対数で割ったものに漸近します。

Definition

素数定理は、xを超えない素数の数（π(x)と表記される）が、xをxの自然対数で割ったものに漸近的に等しい、あるいはxの対数積分に漸近的に等しいと述べています。

Scope

このトピックでは、素数計数関数とその漸近性、チェビシェフの初等的な限界とプサイ関数およびシータ総和関数、メルテンスの定理、素数定理の記述と実部が1の線上でのゼータ関数の非消滅による解析的証明、対数積分近似、誤差項とリーマン予想との関連、素数ギャップと双子素数に関するヒューリスティクスについて扱います。

Core questions

• チェビシェフの限界とメルテンスの推定は、完全な定理の前に素数密度をどのように制約しますか？
• 素数定理が、実部が1に等しい線上にゼータ関数が零点を持たないことと同等であるのはなぜですか？
• 対数積分近似はどの程度良好であり、誤差項はリーマン予想にどのように依存しますか？
• 双子素数を含む連続する素数間のギャップについて、何が知られており、何が予想されていますか？

Key theories

素数定理

1896年にアダマールとド・ラ・ヴァレ・プーサンによって独立に証明され、素数計数の主要な漸近形を与えます。チェビシェフのプサイ関数に対する同等の記述は、解析的に自然な形です。

零点のない領域と誤差項

実部が1の線の左側にあるゼータ関数の零点のない領域の大きさは、素数定理の誤差を制御します。リーマン予想が正しければ、最適な平方根型の誤差が得られるでしょう。

素数ギャップとクレーマーのヒューリスティクス

x付近の平均ギャップは約xの対数です。確率的ヒューリスティクスは、大小のギャップの分布を予測し、篩法の進歩により、無限に多くの有界ギャップの存在が証明されています。

Clinical relevance

この定理によって与えられる素数の密度は、暗号学者が与えられたサイズの素数を見つけるためにいくつのランダムな候補をテストする必要があるかを伝え、RSAおよびDiffie-Hellman鍵生成の効率を直接的に支配します。

History

ガウスとルジャンドルは1800年頃に素数の漸近的な個数を予想しました。チェビシェフは1850年代に厳密な上限と下限を確立し、リーマンは1859年に解析的戦略の概要を示し、アダマールとド・ラ・ヴァレ・プーサンは1896年に証明を完成させました。その後、セルバーグとエルデシュは1949年に初等的な証明を与えました。

Key figures

• Bernhard Riemann
• Pafnuty Chebyshev
• Jacques Hadamard
• Charles-Jean de la Vallee Poussin

Seminal works

• davenport2000

Frequently asked questions

素数定理は次の素数を予測することを可能にしますか？

いいえ。それは長い範囲にわたる素数の平均密度を記述するものであり、個々の素数の位置を決定するものではなく、素数は小さなスケールでは不規則なままです。

この定理はリーマン予想とどのように関連していますか？

定理自体は無条件ですが、リーマン予想が正しければ、近似における最小の誤差が確定され、実際の素数カウントが対数積分からどれだけ逸脱しうるかが制御されるでしょう。