[論文レビュー] Irrationality measure and lower bounds for pi(x)

David Burt, Sam Donow+3 more|arXiv (Cornell University)|Sep 13, 2007

Analytic Number Theory Research参考文献 4被引用数 4

ひとこと要約

この論文は、ζ(2) = π²/6 の無理数度が、π(x)（素数計数関数）の明示的で、弱い下界を導出するために用いられることを示している。素数定理に依存せず、無理数度の有限性に着目することで、π(x) ≥ log log x / (2 log log log x) − M が無限に多くの x に対して成り立つことが示され、改良された境界では π(x) が x/log x に近いことがよく観察される。

ABSTRACT

In this note we show how the irrationality measure of $ζ(s) = π^2/6$ can be used to obtain explicit lower bounds for $π(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to obtain good lower bounds for $π(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more elementary and yield a lower bound of order $x/\log x$ as a natural boundary.

研究の動機と目的

• ζ(2) = π²/6 の無理数度が、素数計数関数 π(x) の明示的下界を生み出すために利用可能であることを示すこと。
• 素数定理を仮定せず、無理数度に基づく議論が、非自明な成長推定値を π(x) に対して得られることを示すこと。
• 弱い無理数度の境界を繰り返し適用することで、反復的に改善され、近似的に最適な成長率に達することを探索すること。
• x/log x がこの手法の自然な境界であることを示すこと、なぜなら境界がこのオーダーに近づくからである。

提案手法

• ζ(2) の無理数度が有限であれば、|ζ(2) − p/q| < 1/q^u を満たす有理近似 p/q は有限個しか存在しないという事実を利用する。
• 級数 ∑1/n² の部分和にこれを適用し、素数の分布に関連する最小公倍数 d_n = lcm(1,…,n) と結びつける。
• 部分和から得られる整数 a_n と b_n を用いて、|a_n − b_n ζ(2)| の増大度を分析することで、π(x) の下界を導出する。
• 反復指数関数 T(x,k) を再帰的に構成し、その素因数分解から π(x) の下界が得られる大きな整数を生成する。
• π(x) の非減少性と、特定の点での既知の下界との比較を用いて、区間全体にわたる境界を拡張する。
• 誤差項を制御するため対数スケーリングを用い、π(x) が x/log x に近いとき、それが大きな区間で成り立つことを精緻化して示す。

実験結果

リサーチクエスチョン

• RQ1 ζ(2) = π²/6 の無理数度を用いて、素数定理を仮定せず、非条件的かつ明示的な π(x) の下界を導出可能か？
• RQ2 ζ(2) の無理数度の有限性のみを用いて得られる、π(x) の最良の下界は何か？
• RQ3 このような手法が、π(x) の真の漸近的オーダー x/log x にどの程度近づけるか。また、x/log x はこの手法の自然な境界か？
• RQ4 無理数度の議論を繰り返し適用することで、著しく改善された境界が得られるか。その改善はどれほど大きいのか？
• RQ5 d_n = lcm(1,…,n) の増大率はこれらの下界にどのような役割を果たすか。また、d_n に対する弱い推定値でも、π(x) の意味のある下界を導出可能か？

主な発見

• ζ(2) = π²/6 の無理数度が有限であることは、π(x) ≥ (log log x)/(2 log log log x) − M が無限に多くの x に対して成り立つことを示唆する。
• 議論を精緻化し、素数定理に依存しない d_n の弱い境界を用いることで、論文は π(x) ≥ o(x/log x) が無限に多くの x に対して成り立つことを示している。
• x/log x はこの手法の自然な境界として現れ、導出された推定値がこのオーダーに近づく。
• 系 3.4 は、任意の ε > 0 に対して、π(x) ≥ x/log^{1+ε}x がほとんどすべての x ≤ X_{n,ε} で成り立つような列 X_{n,ε} が存在することを示しており、π(x) が x/log x に近い長期間にわたる区間が存在することを示している。
• 算術的進数に関する深い知識を必要とせず、ζ(2) への有理近似の初等的推定値に依存している。
• 弱い無理数度の境界でさえ、この手法が π(x) の非自明な成長推定値を生み出し、反復的に改善可能であることが示されている。