[论文解读] Primes in Geometric-Arithmetic Progression

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

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

一句话总结

本文引入了质数的几何-算术级数（GAP-k），定义为形如 $ p_1 r^j + j d $ 的 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^j + j d\}_{j=0}^{k-1} $，其中 $ p_1 $、$ r $ 和 $ d $ 为固定整数。
• 推导必要条件：$ d $ 必须为偶数，$ p_1 $ 和 $ r $ 必须为奇数且与 $ d $ 互质，且当 $ p_1, r \neq 1 $ 时，$ k \leq \min(p_1, \text{smallest prime factor of } r) $。
• 使用阶乘质数 $ n\# $ 表达最小差值 $ d $，其中对于阶数为 $ k $ 的 GAP，在特定范围内 $ d $ 为 $ n\# $ 的倍数。
• 在 MATHEMATICA 中实现计算搜索算法，通过基于理论约束将 $ d $ 限制为 $ 2 $、$ 6 $ 和更高阶阶乘质数的倍数来优化。
• 通过将 $ d $ 筛选为 $ 2\#, 3\#, 5\#, \dots $ 的倍数来加速搜索，从而在保留有效候选者的同时缩小搜索空间。
• 生成并整理阶数为 2 至 13 的 GAP 示例，包括 $ p_1 $ 为梅森质数的情况，并报告最小 $ d $ 值及其下界。

实验结果

研究问题

• RQ1 对于几何-算术级数生成 $ k $ 个质数的序列，$ p_1 $、$ r $ 和 $ d $ 的必要数论条件是什么？
• RQ2 在给定 $ p_1 $ 和 $ r $ 的最小质因数的约束下，GAP-k 的最大可能阶数 $ k $ 是多少？
• RQ3 如何利用 $ d $ 的理论约束（如要求 $ d $ 为阶乘质数的倍数）来优化 GAP 的计算搜索？
• RQ4 阶数至 13 的 GAP 的最小起始值、比值和差值 $ d $ 分别是什么？
• RQ5 是否存在对应于每个阶数的最小差值 $ d $ 的整数序列？它们与阶乘质数有何关系？

主要发现

• 对于 $ p_1 \neq 1 $ 且 $ r \neq 1 $ 的 GAP-k，最大阶数 $ k $ 受限于 $ \min(p_1, \text{smallest prime factor of } r) $，且该界限是紧的。
• 阶数为 $ k $ 的 GAP 的最小差值 $ d $ 是阶乘质数 $ n\# $ 的倍数，其中 $ n $ 对应该 $ k $ 的范围：例如，阶数 8–11 时 $ d $ 为 $ 5\# = 210 $ 的倍数。
• 已计算出一个 GAP-13，其中 $ p_1 = 19 $，$ r = 19 $，且 $ d > 9.3 \times 10^7 \times 11\# $，表明随着 $ k $ 增大，搜索空间迅速增长。
• 当 $ p_1 = 1 $ 时，最大 $ k $ 小于 $ r $ 的最小质因数，且首项（1）不计入质数计数。
• 本文展示了阶数为 13 的 GAP，其中 $ p_1 = 19 $，$ r = 19 $，且 $ d > 9.3 \times 10^7 \times 11\# $，表明高阶序列确实存在。
• 为阶数 2 至 11 的 GAP 提供了最小 $ d $ 值的整数序列，其中 $ d $ 值分别为 $ 2\# $、$ 3\# $、$ 5\# $、$ \dots $ 的倍数。