[논문 리뷰] Primes in Geometric-Arithmetic Progression

Sameen Ahmed Khan|arXiv (Cornell University)|2012. 03. 09.

Analytic Number Theory Research참고 문헌 5인용 수 3

한 줄 요약

이 논문은 기하산술수열(geometric-arithmetic progressions, 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) $ 이다.
• 최소 차이 $ d $ 를 표현하기 위해 순열수 $ n\# $ 를 사용함. 순서 $ k $ 의 GAP에 대해 $ d $ 는 특정 범위 내에서 $ n\# $ 의 배수여야 한다.
• 이론적 제약 조건에 기반해 $ d $ 를 $ 2 $, $ 6 $, 및 더 높은 순열수의 배수로 제한함으로써, MATHEMATICA 에서 계산적 탐색 알고리즘을 구현함.
• 검색 공간을 줄이기 위해 $ 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 $ 의 이론적 제약 조건을 활용하여 GAP 탐색을 어떻게 최적화할 수 있는가?
• RQ4 순서 13까지의 GAP에 대해 최소 시작값, 비율, 차이 $ d $ 는 각각 얼마인가?
• RQ5 각 순서에 대해 최소 차이 $ d $ 에 대한 정수수열이 존재하는가? 그리고 이는 순열수와 어떻게 관련이 있는가?

주요 결과

• GAP-k 에서 $ p_1 \neq 1 $ 이고 $ r \neq 1 $ 인 경우, 최대 순서 $ k $ 는 $ \min(p_1, \text{smallest prime factor of } r) $ 으로 제한되며, 이 한계는 날카로운 경계이다.
• 순서 $ k $ 의 GAP에 대해 최소 차이 $ d $ 는 순열수 $ n\# $ 의 배수여야 하며, $ n $ 은 $ k $ 의 범위에 해당함: 예를 들어, 순서 8–11에 대해 $ d $ 는 $ 5\# = 210 $ 의 배수여야 한다.
• 순서 13의 GAP이 계산되었으며, $ p_1 = 19 $, $ r = 19 $, $ d > 9.3 \times 10^7 \times 11\# $ 인 경우를 포함함으로써, $ k $ 가 증가함에 따라 검색 공간이 급격히 증가함을 시사한다.
• $ p_1 = 1 $ 인 경우, 최대 $ k $ 는 $ r $ 의 최소 소인수보다 작으며, 첫 번째 항(1)은 소수 수세기에서 제외된다.
• 논문은 $ p_1 = 19 $, $ r = 19 $, $ d > 9.3 \times 10^7 \times 11\# $ 인 13항의 GAP을 제시하며, 높은 순서에 대해서도 이러한 수열이 존재함을 보여준다.
• 순서 2에서 11까지의 GAP에 대해 최소 $ d $ 값에 대한 정수수열을 제공하며, 각각 $ 2\#, 3\#, 5\#, \dots $ 의 배수로 표현된다.