[论文解读] Some experiments on Bateman-Horn

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

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

一句话总结

本文通过在 $[-N, N]$ 范围内对系数进行采样，实验研究了随机首一不可约多项式 $ f \in \mathbb{Z}[x] $ 的 Bateman-Horn 常数 $ C(f) $，其中 $ N = 1000 $。结果表明，不可约多项式中 $ C(f) $ 的平均值接近 1，而满足 Bunyakovsky 条件的多项式则显示出 $ \log C(f) $ 的对数正态分布，暗示不同素数处的局部因子近乎独立；对于六次多项式，极值超过 6.8，表明存在高度素数丰富的多项式。

ABSTRACT

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

研究动机与目标

• 研究随机首一不可约多项式 $ f \in \mathbb{Z}[x] $ 的 Bateman-Horn 常数 $ C(f) $ 的统计行为。
• 确定 $ C(f) $ 是否通常接近 1，或在不同多项式间表现出显著差异。
• 探索满足 Bunyakovsky 条件（即模任意素数不恒为零）的多项式中 $ 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 $ 的根数。
• 筛选多项式，仅保留满足 Bunyakovsky 条件的（即模任意素数 $ p $ 不恒为零）。
• 通过直方图和 Q-Q 图分析 $ \log C(f) $ 的分布，以检验其是否近似对数正态分布。
• 使用中国剩余定理技术构造模前 $ k $ 个素数无根的多项式，以探测 $ C(f) $ 的上界。
• 比较不同次数下的结果，并分析极值多项式，以识别系数和常数项中的模式。

实验结果

研究问题

• RQ1 随机首一不可约多项式中 $ C(f) $ 的平均值是否渐近接近 1？这一现象是否有理论解释？
• RQ2 Bunyakovsky 适配多项式中 $ \log C(f) $ 的分布是否近似对数正态？这对其在不同素数处局部因子的独立性有何含义？
• RQ3 对于固定次数，$ C(f) $ 是否可以任意大，或是否存在上界？哪些多项式 $ f $ 的结构特征能最大化 $ C(f) $？
• RQ4 素数丰富的多项式（即 $ C(f) $ 较大）是否具有共同的算术或系数模式，例如素数常数项或小素数模下的特定根分布？
• RQ5 能否利用 $ C(f) $ 的欧拉乘积的统一收敛估计来建立 $ C(f) $ 的上界？此类上界如何随系数大小 $ N $ 变化？

主要发现

• 在次数为 2 到 8 的所有不可约首一多项式中，$ C(f) $ 的均值非常接近 1，其值在 0.971798（四次）到 1.02448（七次）之间。
• 在满足 Bunyakovsky 条件的多项式中，$ C(f) $ 的均值显著更高，范围从 1.33525（二次）到 1.41654（七次），表明 Bunyakovsky 条件提高了预期的素数出现频率。
• Bunyakovsky 多项式中 $ \log C(f) $ 的分布呈现对数正态分布，直方图与 Q-Q 图在次数 2 到 8 中均支持该结论，暗示局部因子近乎独立。
• 实验中发现的最素数丰富的多项式具有 $ C(f) \approx 6.86439 $，对应一个六次多项式，其系数为较大正负值。
• 高 $ C(f) $ 的多项式通常具有素数或大素数乘积作为常数项，支持此类项可减少全局整除性并提高局部素性概率的观点。
• 数值实验表明，对于构造的多项式 $ P_{30,2}(x) = 1 + x^2 \prod_{i=1}^{30} p_i $，$ C(f) $ 可超过 9.5，表明在固定次数下 $ C(f) $ 并无上界，尽管尚未证明统一上界。