[論文レビュー] Primes in Geometric-Arithmetic Progression

Sameen Ahmed Khan|arXiv (Cornell University)|Mar 9, 2012

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

ひとこと要約

本稿は、$ p_1 r^j + j d $ の形をとる $ k $ 個の素数からなる幾何-算術数列（GAP-k）を定義し、このような数列が存在するための必要条件を確立する。本稿では、13次までのGAPについて計算結果を提示し、最小差 $ d $ に対応する整数列を同定し、MATHEMATICAコードを提供することで、等差数列を超えた素数数列に関する既知の結果を著しく拡張する。

ABSTRACT

A geometric-arithmetic progression of primes is a set of $k$ primes (denoted by GAP-$k$) of the form $p_1 r^j + j d$ for fixed $p_1$, $r$ and $d$ and consecutive $j$, {\it i.e}, $\{p_1, \, p_1 r + d, \, p_1 r^2 + 2 d, \, p_1 r^3 + 3 d, \,...}$. We study the conditions under which, for $k \ge 2$, a GAP-$k$ is a set of $k$ primes in geometric-arithmetic progression. Computational data (along with the MATHEMATICA codes) containing progressions up to GAP-13 is presented. Integer sequences for the sets of differences $d$ corresponding to the GAPs of orders up to 11 are also presented.

研究の動機と目的

• 幾何-算術数列（GAP-k）を、$ p_1 r^j + j d $ の形をとる $ k $ 個の素数の列として定義・特徴づける。
• このような数列がすべて素数であるための $ p_1 $、$ r $、$ d $ に関する必要数論的条件を確立する。
• 13次までのGAPを計算・カタログ化し、最小始点および最小差の例を含む。
• 11次までのGAPに対応する差 $ d $ に対する整数列を同定する。
• 理論的制約を活用して計算を高速化するMATHEMATICAコードを提供し、GAPの効率的探索と生成を可能にする。

提案手法

• GAP-kを、$ p_1 $、$ r $、$ d $ を固定した整数として、$ \{p_1 r^j + j d\}_{j=0}^{k-1} $ として定義する。
• 必要条件を導出：$ d $ は偶数でなければならない。$ p_1 $ と $ r $ は $ d $ と互いに素で、奇数でなければならない。$ p_1, r \neq 1 $ の場合、$ k \leq \min(p_1, \text{r の最小素因数}) $ が成り立つ。
• 最小差 $ d $ を表すために、$ n\# $（素数階乗）を用いる。13次までのGAPにおいて、$ d $ は $ n\# $ の倍数である。
• 理論的制約に基づき、$ d $ を $ 2 $、$ 6 $、およびより高い素数階乗の倍数に制限することで最適化されたMATHEMATICAにおける計算探索アルゴリズムを実装する。
• 探索空間を縮小しながら有効な候補を保持するため、$ d $ を $ 2\#, 3\#, 5\#, \dots $ の倍数にフィルタリングすることで探索を加速する。
• 2次から13次までのGAPの例を生成・表形式にまとめ、Mersenne素数を $ p_1 $ として含むケースも含め、下限付きの最小 $ d $ 値を報告する。

実験結果

リサーチクエスチョン

• RQ1 幾何-算術数列が $ k $ 個の素数からなるための、$ p_1 $、$ r $、$ d $ に関する必要数論的条件は何か？
• RQ2 $ p_1 $ と $ r $ の最小素因数に制約がある場合、GAP-k の最大可能な次数 $ k $ は何か？
• RQ3 $ d $ が素数階乗の倍数であるなどの理論的制約を用いて、GAPの計算的探索をどのように最適化できるか？
• RQ4 13次までのGAPの最小始点、比、および差 $ d $ は何か？
• RQ5 各次数に対応する最小差 $ d $ に対する整数列は存在するか？また、素数階乗とどのように関係するか？

主な発見

• $ p_1 \neq 1 $ かつ $ r \neq 1 $ のGAP-kに対して、最大次数 $ k $ は $ \min(p_1, \text{r の最小素因数}) $ で抑えられ、この上限はタイトである。
• 13次までのGAPにおいて、最小差 $ d $ は素数階乗 $ n\# $ の倍数である。たとえば、8～11次までのGAPでは $ d $ は $ 5\# = 210 $ の倍数である。
• $ p_1 = 19 $、$ r = 19 $、$ d > 9.3 \times 10^7 \times 11\# $ の13次GAPが計算された。これは、$ k $ が増加するにつれて探索空間が急激に増大することを示している。
• $ p_1 = 1 $ の場合、最大 $ k $ は $ r $ の最小素因数未満であり、最初の項（1）は素数として数えない。
• $ p_1 = 19 $、$ r = 19 $、$ d > 9.3 \times 10^7 \times 11\# $ の13項GAPが提示され、高次のGAPが存在することを示している。
• 2次から11次までのGAPに対し、最小 $ d $ 値の整数列を提供し、それぞれ $ 2\# $、$ 3\# $、$ 5\# $、$ \dots $ の倍数として表される。