[논문 리뷰] A natural prime-generating recurrence

Eric Rowland|ArXiv.org|2007. 10. 17.

Advanced Combinatorial Mathematics참고 문헌 8인용 수 16

한 줄 요약

이 논문은 $ a(n) = a(n-1) + \gcd(n, a(n-1)) $로 정의된 자연스럽게 발생하는 소수 생성 재귀관계를 제시하며, 초기값 $ a(1) = 7 $을 갖는다. 이에 따라 차분 $ a(n) - a(n-1) $는 항상 1 또는 소수임을 증명한다. 주요 기여는 GCD의 수론적 성질과 구조적 보조정리를 활용한 소수성 성질에 대한 초등적 증명으로, 비자명한 GCD를 효율적으로 계산할 수 있도록 최소 $ k $를 식별하는 데에 기여한다. 이는 비자명한 소수 출력을 중간 단계를 생략하고 직접 계산하는 데 유용하다.

ABSTRACT

For the sequence defined by a(n) = a(n-1) + gcd(n, a(n-1)) with a(1) = 7 we prove that a(n) - a(n-1) takes on only 1s and primes, making this recurrence a rare "naturally occurring" generator of primes. Toward a generalization of this result to an arbitrary initial condition, we also study the limiting behavior of a(n)/n and a transience property of the evolution.

연구 동기 및 목표

• 비공학적, 자연스럽게 발생하는 재귀관계가 안정적으로 소수를 생성할 수 있는지 조사한다.
• 초기 조건 $ a(1) = 7 $을 갖는 재귀관계 $ a(n) = a(n-1) + \gcd(n, a(n-1)) $가 차분으로서 1 또는 소수만 생성함을 증명한다.
• 임의의 초기 조건에 대해 이 재귀관계의 행동을 일반화하고, 장기적 진화 및 수렴성을 분석한다.
• GCD 행동의 구조를 기반으로 한 계산 최적화 기법을 개발하여, 모든 중간 단계를 계산하지 않고도 소수 출력을 효율적으로 추출한다.

제안 방법

• 초기 조건 $ a(1) = 7 $을 갖는 재귀관계 $ a(n) = a(n-1) + \gcd(n, a(n-1)) $를 정의하고, 차분 $ \gcd(n, a(n-1)) $의 수열을 분석한다.
• GCD의 기본 성질인 $ \gcd(n, m) $가 임의의 정수 선형조합 $ rn + sm $를 나눈다는 점을 활용하여, 비자명한 GCD의 구조를 분석한다.
• 정수 $ k \geq 1 $ 중에서 $ \gcd(n+k, a(n-1)+k) \neq 1 $가 되는 최소값을 식별하는 보조정리를 도입한다. 이는 $ \Delta = a(n-1) - n $의 소수 인수에 기반한다.
• 최소 $ k $를 $ \min\{ \textnormal{mod}_1(-n, p) \mid p \text{ 소수}, p \mid (a(n-1) - n) \} $로 표현한다.
• 이 보조정리를 적용하여 차분 수열에서 연속된 1들을 건너뛰고, 다음 비자명한 GCD를 직접 계산한다. 이 GCD는 항상 1 또는 소수이다.
• 변환 $ n' = n/2 $, $ a'(n') = a(n) - n/2 $를 통해 $ r=2 $의 진화를 $ r=3 $의 진화로 모방함으로써, 더 빠른 계산과 구조적 비교를 가능하게 한다.

실험 결과

연구 질문

• RQ1 초기 조건 $ a(1) = 7 $을 갖는 재귀관계 $ a(n) = a(n-1) + \gcd(n, a(n-1)) $가 차분으로서 1 또는 소수만 생성하는가?
• RQ2 이 재귀관계의 행동을 임의의 초기 조건으로 일반화할 수 있으며, $ a(n)/n $의 점근적 행동은 어떠한가?
• RQ3 1의 수열은 어떤 구조를 가지며, 이를 효율적으로 건너뛰어 소수 출력만 추출할 수 있는가?
• RQ4 모든 소수(2를 제외하고)는 이 재귀관계의 차분 수열에 나타나는가?
• RQ5 다양한 초기 조건은 어떻게 진화하며, 궁극적으로 동일한 궤적으로 수렴하는가?

주요 결과

• 초기 조건 $ a(1) = 7 $을 갖는 재귀관계 $ a(n) = a(n-1) + \gcd(n, a(n-1)) $는 GCD의 수론적 성질을 통해 차분이 항상 1 또는 소수임을 증명한다.
• 정수 $ k \geq 1 $ 중에서 $ \gcd(n+k, a(n-1)+k) \neq 1 $가 되는 최소값은 $ \min\{ \textnormal{mod}_1(-n, p) \mid p \text{ 소수}, p \mid (a(n-1) - n) \} $로 주어지며, 이는 1의 연속을 효율적으로 건너뛸 수 있게 한다.
• 초기 조건 $ a(1) = 7 $에서 10,000회에 걸쳐 이 최적화 기법을 적용한 결과, 아직 생성되지 않은 가장 작은 홀수 소수로 587이 나타나며, 이는 2를 제외한 모든 소수가 궁극적으로 생성될 가능성이 높다는 것을 시사한다.
• $ r=3 $의 경우, 6으로 나눈 나머지가 5인 소수들은 항상 큰 간격 후에 생성되며, 다음 비자명한 GCD는 항상 3이다.
• 다양한 초기 조건에서의 진화는 자주 동일한 궤적으로 수렴하며, 초기 조건 $ 4 \leq a(1) \leq 2^{13} $ 범위에서 $ n = 2^{23} $ 이하에서 총 203개의 서로 다른 동치류가 발견되었다.
• $ r=2 $의 진화는 변환 $ n' = n/2 $, $ a'(n') = a(n) - n/2 $를 통해 $ r=3 $의 진화로 모의할 수 있으며, GCD의 구조를 유지하면서 더 빠른 계산이 가능하다.