[論文レビュー] Some experiments on Bateman-Horn

Igor Rivin|arXiv (Cornell University)|Aug 31, 2015

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

ひとこと要約

本稿は、$ N = 1000 $ における $[-N, N]$ での係数抽出を用いて、$ \mathbb{Z}[x] $ 内のランダムなモニック既約多項式 $ f $ に対するバーテン＝ホーン定数 $ C(f) $ を実験的に調査する。既約多項式全体の平均 $ C(f) $ は1に近く、バニャコフスキー条項に適合する多項式では $ \log C(f) $ が対数正規分布を示すことが判明し、局所的要因の近似的な独立性を示唆する。6次多項式では極値が6.8を超えることがあり、極めて素数を多く含む多項式が存在する可能性を示している。

ABSTRACT

We describe some studies related to the frequency of prime values of integer polynomials.

研究の動機と目的

• ランダムなモニック既約多項式 $ f \in \mathbb{Z}[x] $ におけるバーテン＝ホーン定数 $ C(f) $ の統計的挙動を調査すること。
• $ C(f) $ が通常1に近く、多項式間で顕著な変動を示すかどうかを特定すること。
• バニャコフスキー条件（任意の素数 $ p $ に対して恒等的に0でない）を満たす多項式における $ C(f) $ の分布を調査すること。
• 非常に高い $ C(f) $ 値を示す多項式が示す構造的または算術的性質（素数を多く含む挙動を示す要因）を同定すること。
• 固定された次数に対して $ C(f) $ が上に有界であるかどうかを評価し、極値を体系的に構成できるかを検討すること。

提案手法

• 係数を $[-1000, 1000]$ から一様に抽出した、次数2から8のモニック多項式をサンプリングする。
• 最初の3000個の素数についての積として $ C(f) $ を計算する：$ C(f) = \prod_p \frac{1 - n_p(f)/p}{1 - 1/p} $、ここで $ n_p(f) $ は $ f $ の $ p $ を法とする根の数である。
• バニャコフスキー条件（任意の素数 $ p $ に対して恒等的に0でない）を満たす多項式に制限する。
• ヒストグラムとQ-Qプロットを用いて $ \log C(f) $ の分布を分析し、対数正規分布の適合性を検証する。
• 中国剰余定理の技術を用いて、最初の $ k $ 個の素数を法とする根を持たない多項式を構成し、$ C(f) $ の上界を調査する。
• 次数間の結果を比較し、極値を示す多項式を分析することで、係数および定数項におけるパターンを同定する。

実験結果

リサーチクエスチョン

• RQ1 ランダムなモニック既約多項式における $ C(f) $ の平均値は、漸近的に1に近く、その現象に理論的説明が存在するか？
• RQ2 バニャコフスキー条項に適合する多項式における $ \log C(f) $ の分布は概ね対数正規分布に近く、これは異なる素数における局所的要因の近似的な独立性を示唆するか？
• RQ3 固定された次数に対して $ C(f) $ は任意に大きくできるか、それとも上に有界であるか？また、$ C(f) $ を最大化する多項式 $ f $ の構造的特徴は何か？
• RQ4 高い $ C(f) $ 値を示す素数を多く含む多項式（素数を多く含む挙動を示す）は、共通の算術的または係数のパターン（例えば、素数の定数項や小さな素数を法とする特定の根分布）を示すか？
• RQ5 Euler積に対する一様収束見積もりを用いて $ C(f) $ の上界を確立できるか？また、このような上界は係数の大きさ $ N $ にどのように依存するか？

主な発見

• 次数2から8のすべての既約モニック多項式における $ C(f) $ の平均値は1に非常に近く、次数4では0.971798、次数7では1.02448の範囲にとどまる。
• バニャコフスキー条項に適合する多項式における $ C(f) $ の平均値は顕著に高く、次数2では1.33525、次数7では1.41654の範囲にとどまる。これはバニャコフスキー条件が予想される素数出現頻度を高めることを示唆する。
• バニャコフスキー多項式における $ \log C(f) $ の分布は、次数2から8にわたりヒストグラムとQ-Qプロットによって対数正規分布に近いことが支持され、局所的要因の近似的な独立性を示唆する。
• 実験で得られた最も素数を多く含む多項式は、$ C(f) \approx 6.86439 $ を示し、これは大きな正負の係数を有する6次多項式である。
• 高い $ C(f) $ 値を示す多項式は、素数または大きな素数の積である定数項を有することが多く、このような項が全体の可除性を低下させ、局所的素数出現確率を高めることを支持する。
• 数値実験により、$ P_{30,2}(x) = 1 + x^2 \prod_{i=1}^{30} p_i $ と構成された多項式では $ C(f) $ が9.5を超えることが示され、固定された次数に対して $ C(f) $ が上に有界でないことが示唆されるが、一様な上界はまだ証明されていない。