[논문 리뷰] The Fibonacci sequence modulo $p^2$ -- An investigation by computer for $p < 10^{14}$

Andreas-Stephan Elsenhans, Jörg Jahnel|arXiv (Cornell University)|2010. 06. 04.

Advanced Mathematical Theories and Applications참고 문헌 5인용 수 10

한 줄 요약

이 논문은 $p < 10^{14}$ 인 소수 $p$에 대해 $p^2$ 모듈로의 피보나치 수열 주기 길이를 광범위한 계산 방법을 사용하여 조사한다. 모든 이러한 소수에 대해 $κ(p^2) \neq \u03ba(p)$ 를 증명함으로써, 표준 공식 $κ(p^n) = \u03ba(p) \cdot p^{n-1}$ 가 $p < 10^{14}$ 범위에서 항상 성립함을 확인하여, 피보나치 모듈로 산술 분야에서 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

We show that for primes $p < 10^{14}$ the period length $\kappa (p^2)$ of the Fibonacci sequence modulo $p^2$ is never equal to its period length modulo $p$. The investigation involves an extensive search by computer. As an application, we establish the general formula $\kappa (p^n) = \kappa (p) \cdot p^{n-1}$ for all primes less than $10^{14}$.

연구 동기 및 목표

• . 이 논문은 모든 소수 $p$와 $n \geq 1$ 에 대해 $\kappa(p^n) = \kappa(p) \cdot p^{n-1}$ 가 성립하는지 여부라는 열린 문제를 해결하는 것을 목적으로 한다.
• 표준 공식과 모순되는 경우가 없도록, $p^2$ 모듈로의 주기 길이가 $p$ 모듈로의 주기 길이와 동일한지 여부를 조사한다.
• 연구는 주로 소수 거듭제곱 모듈로에서 피보나치 수열의 행동, 특히 $p^2$ 에서 $F_{\kappa(p)}$ 의 $p$-진 값에 중점을 둔다.
• 광범위한 소수 범위에서 월 수 $\kappa(p^n)$ 의 일반 공식에 대한 계산적 증거와 이론적 근거를 제공한다.

제안 방법

• . 저자들은 최적화된 모듈로 피보나치 산술 알고리즘을 활용하여, $p < 10^{14}$ 인 모든 소수 $p$에 대해 $\kappa(p)$ 와 $\kappa(p^2)$ 를 컴퓨터 검색을 통해 계산한다.
• 대규모 계산에서 모듈로 산술 연산을 가속화하기 위해 몽고메리 표현을 사용한다.
• 핵심 이론적 도구는 기본 보조정리 2.2.4이며, 이는 $\kappa(p) \mid l$ 이고 $p^e \mid F_l$ 이면 $\kappa(p^e) \mid l$ 라고 하는 것으로, 주기 길이 테스트를 효율적으로 수행할 수 있게 한다.
• 알고리즘은 $F_{\kappa(p)} \equiv 0 \pmod{p^2}$ 여부를 검사하여, $p$ 가 특별한 소수(즉, $κ(p^2) \ne \u03ba(p)$)인지 여부를 판단한다.
• 복합수 후보를 제거하기 위해 선을 사용하고, 소수 여부를 피보나치 복합성 테스트 $p \mid F_{p-1}$ 를 통해 검증한다.
• 분포 패턴을 평가하고 이상치를 탐지하기 위해, 몫 $R(p) = F_{p-1} \mod p^2 / p$ (또는 $F_{2p+2} \mod p^2 / p$) 의 통계 분석을 수행한다.

실험 결과

연구 질문

• RQ1 . $p < 10^{14}$ 인 어떤 소수 $p$ 에 대해서도 $κ(p^2) = \u03ba(p)$ 가 성립하는가?
• RQ2 모든 소수 $p < 10^{14}$ 에 대해 공식 $κ(p^n) = \u03ba(p) \cdot p^{n-1}$ 이 유효한가?
• RQ3 소수 $p \equiv \pm1 \pmod{5}$ 에 대해 몫 $R(p) = (F_{p-1} \mod p^2)/p$ 의 분포는 어떠한가?
• RQ4 소수 $p \equiv \pm1 \pmod{5}$ 에 대해 몫 $Q(p) = 1$ 이 얼마나 자주 발생하는가?
• RQ5 피보나치 수열의 주기 길이 $κ(p)$ 에 대해 $p^2 \mid F_{\kappa(p)}$ 를 만족하는 특별한 소수 $p$ 가 존재하는가? (즉, $κ(p^2) \ne \u03ba(p)$ 이면)

주요 결과

• . 모든 소수 $p < 10^{14}$ 에 대해 $κ(p^2) \ne \u03ba(p)$ 이며, 이는 이 범위 내에서 특별한 소수가 존재하지 않음을 의미한다.
• 모든 소수 $p < 10^{14}$ 에 대해 일반 공식 $κ(p^n) = \u03ba(p) \cdot p^{n-1}$ 가 성립함을 확인하여, 매우 넓은 범위에서의 타당성을 입증한다.
• $p \equiv \pm2 \pmod{5}$ 인 소수 $p < 2 \cdot 10^7$ 중에서, 몫 $Q(p) = 1$ 이 약 78.8% 의 빈도로 발생하여 $Q(p) = 1$ 이 일반적임을 시사한다.
• $[0, 10^{12}]$ 범위 내에서, 30개의 소수가 일의 자릿수 몫 $R'(p)$ 를 생성하였으며, 이는 약 26.85개의 기대값과 매우 유사하다.
• 작은 몫 $R'(p)$ 의 분포는 이론적 기대와 잘 일치하며, 10,000 미만의 몫이 총 12,162개, 100 미만의 몫이 216개 존재한다.
• 구간 $[8 \cdot 10^{13}, 8.5765 \cdot 10^{13}]$ 내의 10,792개의 소수 중 어떤 복합수도 발견되지 않았으며, 모든 소수는 피보나치 테스트와 독립적 검증을 통해 소수로 확인되었다.