[論文レビュー] 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の割り切れる条件を用いて、素数多重組合せに一貫したパターンを特定すること。
• これらのパターンを、特に二次および三次多項式形式の素数生成多項式と結びつけること。
• このような多項式が生成する連続する素数の最大数を特定し、『最適』および『二重最適』のケースを定義すること。
• すべての素数の初期値に対して最適な多項式が存在するか、特に $ p > 13 $ の場合にそのような多項式が存在するかを調査すること。

提案手法

• 双子素数を、素数間の距離 $2D$ と整数変数 $a$ を用いたパラメータ化に基づき、互いに排他的な3つのクラス（I, II, III）に分類する。
• 6を法とする整数論を用いて、$p_i$ および $p_f$ が素数であるための条件を導出し、特に $p_i \equiv \pm1 \pmod{6}$ および3の倍数性に注目する。
• この分類を三つ組素数およびそれ以上の高次の多重素数に応用し、$3 \nmid D$ の場合、距離ペア $[2D, 2D]$ に対してはたった1つの三つ組素数しか存在しないことを示す。
• 連続する整数 $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個の連続する素数を生成し、最適性から1つだけ不足している。これはオイラー多項式 $ E_{41}(x-2) $ と関連している。
• 三次多項式 $ C_8(x) = x^3 - 5x^2 + 8x + 13 $ は $ x = 0 $ から $ 12 $ までで最適な13重素数多重組合せを生成し、13個の連続する素数を生成する。
• 多項式 $ Q_6(x) $ は $ Q_5(x) $ から導出され、10個の連続する素数（decuplet）を生成する。これは対称性に起因する近似最適性を示している。
• $ p_0 = 11 $ の場合、$ C_6(x) = x^3 + 5x^2 + 2x + 11 $ は $ x = 0 $ から $ 10 $ までで最適な11重素数多重組合せを生成し、11から1531までの値を生成する。
• 追加の値（例：$ C_1(-1) $）が素数である場合、二重最適多項式が存在する。例えば $ p_0 = 2 $ の $ C_1(x) $ では、$ |4 + 2m - p_1| $ が素数であれば、このような性質が成立する。