[論文レビュー] On the singular series in the prime k-tuple conjecture

J. Pintz|arXiv (Cornell University)|Apr 7, 2010

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

ひとこと要約

本稿は、素数k組予想における特異級数の平均的挙動について鋭い定量的評価を確立し、任意の許容可能なk組 H ⊂ [1, H] に対して、シフト h ∈ [1, H] における特異級数の平均比 Sₕ(H) が H → ∞ のとき 1 に収束することを示し、k と ε に依存する明示的な誤差率を伴う。主な結果は、H ≥ exp(k¹ᐟᵝ) のとき Sₕ(H) = 1 + O(ε) となることで、従来の平均値推定を著しく強化し、小素数ギャップや準素数問題への応用においてより単純かつ効果的な道具を提供する。

ABSTRACT

In the present work a new simple proof of the theorem of Gallagher about the average of the singular series in the Hardy-Littlewood prime k-tuple conjecture is proved (in an even stronger form) which is uniform with respect to k (if the length of the interval $H$ is sufficiently large as a function of $k$). This result of Gallagher played a key role in our original joint work with D. A. Goldston and C. Y. Yildirim, where we showed the existence of infinitely many small gaps between consecutive primes. In the present work some weaker variants of Gallagher`s result are also proved (in an even easier way) which are still sufficient for the above mentioned applications.

研究の動機と目的

• 素数の有界ギャップを示す際に用いられる特異級数の平均値推定を精緻化・強化すること。
• 小素数ギャップおよび準素数問題への応用に十分な、より単純で効果的な特異級数比の下界を提供すること。
• 固定された k に対して、平均特異級数比 Sₕ(H) = (1/H)∑ₕ₌₁ᴴ ℱ(ℋ∪{h})/ℱ(ℋ) が H → ∞ のときの収束速度を分析すること。
• k と ε に依存する明示的な定量的評価を、素数の積に対する初等的推定を用いて、Sₕ(H) が 1 に収束する速度に与えるものとして確立すること。

提案手法

• 特異級数 ℱ(ℋ) = ∏ₚ (1 − νₚ/p) / (1 − 1/p)^k を定義する。ここで νₚ は ℋ を p を法として見たときの異なる剰余類の数である。
• p ≤ y, p > y かつ p | Δ, および p > y かつ p ∤ Δ に分けた素数に関する積に分解することで、比 ℱ(ℋ ∪ {h}) / ℱ(ℋ) を分析する。ここで y = (5/6) log H であり、Δ = ∏(h − hᵢ) である。
• 素数定理と ∑_{p|Δ} 1/p への評価を用いて、p > y かつ Δ と割り切れる素数に関する積 ∏₂ が、∑_{p|Δ} log p ≤ 2ky のとき exp(O(ε)) で有界であることを示す。
• p > y かつ Δ と割り切れない素数に関する積 ∏₃ が 1 + O(k/(y log y)) = 1 + O(ε) であることを示し、y = (5/6) log H のとき成立する。
• P = ∏_{p≤y} p を法とする周期性を用いて、h ∈ [1, P] における ∏₁(h) の平均を計算し、剰余類の組み合わせ的数え上げにより、その平均が正確に 1 に等しいことを示す。
• ∏₁, ∏₂, ∏₃ の推定値を組み合わせ、H ≥ exp(k¹ᐟᵝ) の条件下で Sₕ(H) = 1 + O(ε) を証明し、また ∏₂ に対する自明な推定を用いてより弱いが絶対的な評価を得る。

実験結果

リサーチクエスチョン

• RQ1 固定された k 組 ℋ に対して、H → ∞ のとき平均特異級数比 Sₕ(H) はどの程度速く 1 に収束するか？
• RQ2 有界素数ギャップへの応用に十分な、より単純で効果的な特異級数比の下界を導出できるか？
• RQ3 収束速度の k と H への最適な依存関係、特に指数的閾値の観点から、どのようなものか？
• RQ4 特異級数積における小素数と大素数の寄与が平均においてどのように作用し合うか？
• RQ5 ギャラガーのグローバル平均値結果が、個々のシフトにおける点ごとの推定を用いて回復され、強化可能か？

主な発見

• 任意の許容可能な k 組 ℋ ⊂ [1, H] に対して、平均特異級数比 Sₕ(H) = (1/H)∑ₕ₌₁ᴴ ℱ(ℋ ∪ {h}) / ℱ(ℋ) は、H ≥ exp(k¹ᐟᵝ) のとき Sₕ(H) = 1 + O(ε) を満たす。ここで ε > 0 は任意である。
• 収束速度が定量的に評価されている：H ≥ exp(k¹ᐟᵝ) ならば Sₕ(H) = 1 + O(ε) であり、これは大規模な H に対して平均比が一様に 1 に近づくことを示している。
• より弱いが絶対的な下界も確立された：H ≥ exp(c₂ k / log k) ならば Sₕ(H) ≥ c₁ であり、c₁, c₂ > 0 は絶対定数である。
• P = ∏_{p≤y} p を法とする h ∈ [1, P] における比 ℱ(ℋ ∪ {h}) / ℱ(ℋ) の平均は、剰余類の対称的分布のおかげで正確に 1 に等しい。これは証明における中心的恒等式を証明する。
• 積分解の誤差項は、∑_{p|Δ} 1/p と素数定理に基づく評価を用いて制御され、提示された H の閾値のもとで O(ε) の誤差が得られる。
• 本結果は、点ごとの平均比の制御を提供する点でギャラガーの平均値推定を強化しており、これは素数の有界ギャップおよび準素数問題への応用に十分である。