[论文解读] Regularities of Twin, Triplet and Multiplet Prime Numbers

Hans J. Weber|arXiv (Cornell University)|Mar 2, 2011

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

一句话总结

本文通过基于模6的算术级数和可除性条件的参数化形式，对孪生、三重及更高阶素数组进行了系统分类。它确立了三类广义孪生素数，并将其与素数生成的二次和三次多项式联系起来，证明了某些多项式能产生最优的素数组（例如15组、30组和42组），关键结果表明，特定多项式如 $ Q_9(x) = x^2 + 3x + 19 $ 可生成15个连续素数。

ABSTRACT

Classifications of twin primes are established and then applied to triplets that generalize to all higher multiplets. Mersenne and Fermat twins and triplets are treated in this framework. Regular prime number multiplets are related to quadratic and cubic prime number generating polynomials.

研究动机与目标

• 开发一种系统分类方法，对孪生、三重及更高阶素数组进行系统分类，超越随意列举。
• 利用模运算（特别是模6和被3整除的条件）识别素数组中的规律性模式。
• 将这些模式与素数生成多项式（尤其是二次和三次形式）联系起来。
• 确定此类多项式能生成的连续素数最大数量，定义‘最优’和‘双最优’情形。
• 研究是否存在适用于所有素数起始值（特别是大于13的素数）的最优多项式。

提出的方法

• 根据素数之间的距离 $2D$ 及其使用整数变量 $a$ 的参数化形式，将孪生素数划分为三个互不相交的类别（I、II、III）。
• 利用模6的算术运算推导 $p_i$ 和 $p_f$ 为素数的条件，特别关注 $p_i \equiv \pm1 \pmod{6}$ 及被3整除的情况。
• 将该分类方法应用于三重组及更高阶素数组，表明当 $3 \nmid D$ 时，对于给定的距离对 $[2D, 2D]$，仅存在一个这样的三重素数组。
• 分析能对 $x = 0, 1, \dots, n-1$ 生成连续素数值的二次和三次多项式 $Q_n(x)$ 与 $C_k(x)$。
• 将‘最优’多项式定义为在给定起始素数下能生成最多连续素数的多项式。
• 利用递归和对称性质（例如 $Q_5(-x) = Q_5(x+2)$）识别素数生成序列中的近似最优或重复模式。

实验结果

研究问题

• RQ1 能否基于距离和模约束，将孪生素数系统地划分为不同的参数族？
• RQ2 在给定距离对 $[2d_1, 2d_2]$ 的情况下，存在三重素数的充要条件是什么？
• RQ3 哪些二次和三次多项式能生成最长的连续素数值序列？
• RQ4 是否存在适用于所有素数起始值（特别是 $p > 13$）的最优素数生成多项式？
• RQ5 能否利用某些多项式的对称性和周期性（如 $Q_5(x)$）来预测或扩展素数组？

主要发现

• 多项式 $ Q_9(x) = x^2 + 3x + 19 $ 在 $ x = 0 $ 到 $ 14 $ 范围内生成15个连续素数，构成一个最优的15组素数组。
• 多项式 $ Q_{13}(x) = x^2 - 3x + 43 $ 生成42个连续素数，仅差一个即达最优，且与欧拉多项式 $ E_{41}(x-2) $ 相关联。
• 三次多项式 $ C_8(x) = x^3 - 5x^2 + 8x + 13 $ 在 $ x = 0 $ 到 $ 12 $ 范围内生成一个最优的13组素数组，产生13个连续素数。
• 从 $ Q_5(x)$ 衍生出的多项式 $ Q_6(x) $ 生成一个十元组（10个连续素数），由于对称性而表现出近似最优。
• 当 $ p_0 = 11 $ 时，$ C_6(x) = x^3 + 5x^2 + 2x + 11 $ 在 $ x = 0 $ 到 $ 10 $ 范围内生成一个最优的11组素数组，数值从11到1531。
• 当额外值（如 $ C_1(-1) $）也为素数时，存在‘双最优’多项式，例如 $ C_1(x) $ 在 $ p_0 = 2 $ 时，若 $ |4 + 2m - p_1| $ 为素数，则可实现此性质。