[論文レビュー] Evidence of a Gamma Distribution for Prime Powers

J. LaChapelle|arXiv (Cornell University)|Jul 5, 2013

Mathematical functions and polynomials参考文献 4被引用数 4

ひとこと要約

この論文は、量子に由来する関数的積分を用いて素数のべきの数え上げプロセスをモデル化することで、素数のべきがガンマ分布に従うと提案している。非一様ポアソン過程とガンマ統計を用い、平均素数数え上げ関数の解析的表現を不完全ガンマ関数の和として導出し、既知の漸近的形と強い数値的一致を示し、素数のべきの背後にあるガンマ分布に対する説得力ある証拠を提供している。

ABSTRACT

If the prime numbers are pseudo-randomly distributed, then analogy with quantum systems suggests that counting primes might be modeled by a non-homogeneous Poisson process. Consequently, postulating underlying gamma statistics, more-or-less standard heuristic arguments borrowed from quantum mechanics in the context of functional integration allows to derive analytic expressions of several average counting functions associated with prime numbers. The expressions are certain sums of incomplete gamma functions that are closely related to logarithmic-type integral functions --- which in turn are well-known to give the asymptotic dependence of the various counting functions up to error terms. The relatively broad success of quantum heuristics applied to functional integrals in general along with the excellent numerical accuracy of the analytic expressions for the average counting functions provide strong evidence of a gamma distribution for prime powers.

研究の動機と目的

• 素数は決定論的であるが、量子系に類似した統計的性質を示すかどうかを調査すること。
• 量子力学の経路積分法を用いて素数のべきの数え上げをモデル化すること。
• 素数のべきの分布を支配する背後にあるガンマ統計の仮説を検証すること。
• ガンマ関数的積分を用いて平均素数数え上げ関数の解析的表現を導出すること。
• 既知の漸近的関数との数値的整合性を通じてモデルを検証すること。

提案手法

• 素数のべきの数え上げを、ポアソン過程に類似した制約付き動的確率的過程としてモデル化すること。
• カルティエ／デュイット＝モレットのスキームを用いて関数的積分を実行し、プロセスをガンマ関数的積分で表現すること。
• 平均数え上げ関数を対数積分関数に関連する不完全ガンマ関数の和として表現すること。
• モービウスの反転公式を用いて、一般枠組みから素数固有の数え上げ関数を抽出すること。
• 特性関数型と複素ボレル測度を用いて関数的積分核を定義すること。
• 指示関数とガンマ積分を用いて、除数和および素数関連関数の明示的公式を構築すること。

実験結果

リサーチクエスチョン

• RQ1 素数のべきの分布はガンマ分布に従う確率的プロセスとしてモデル化可能か？
• RQ2 量子に由来する関数的積分から導かれた解析的表現は、素数数え上げ関数の既知の漸近的挙動を正確に再現するか？
• RQ3 ゼータ関数の非自明な零点は、素数和およびエントロピーの推定値をどの程度改善するか？
• RQ4 数え上げが素数または素数のべきに限定されるという制約を満たすか、ガンマ関数的積分表現は一貫性を保っているか？
• RQ5 同じ枠組みを用いて、除数やその他の数論的関数の数え上げに拡張可能か？

主な発見

• 平均素数数え上げ関数の導出された解析的表現は、対数積分関数に関連する不完全ガンマ関数の和であり、既知の漸近的形と非常に良く一致している。
• 解析的表現の数値的精度は、素数のべきがガンマ分布に従うという仮説を強く支持している。
• 指数積分関数とゼータ関数の零点を含む推定値を用いることで、素数の和と素数のエントロピーの挙動を正確に再現できた。
• ゼータ関数の零点を推定値に組み込むことで、正確な段階関数との一致が著しく向上し、それらが平均挙動を精緻化する役割を果たしていることが示された。
• 指示関数とガンマ積分を用いることで、除数数え上げが枠組みに自然に組み込まれ、σr(x) について一貫性のある結果が得られた。
• ガンマ分布は自己共役性を有するため、制約下でも統計モデルの整合性が保たれ、モデルの内部的一致性を支持する。