[논문 리뷰] Subsequences and Divisibility by Powers of the Fibonacci Numbers

Kritkajohn Onphaeng, Prapanpong Pongsriiam|arXiv (Cornell University)|2013. 07. 10.

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

한 줄 요약

이 논문은 피보나치 수를 바탕으로 정의된 재귀 수열 $ G(k,n,m) $를 제안하고, 모든 양의 정수 $ k, m, n $에 대해 $ F_n^{k+m-1} $ 가 $ G(k,n,m) $ 를 나눈다는 것을 증명한다. 또한 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ 를 계산하여, $ n $ 의 짝홀성, 3과 4로의 나누어떨어짐 여부, 그리고 $ m $ 의 값에 따라 복잡한 의존성이 있음을 드러내며, 이는 이전의 피보나치 나누어떨어짐 결과를 확장한다.

ABSTRACT

Let $F_n$ be the $n$th Fibonacci number. Let $m, n$ be positive integers. Define a sequence $(G(k,n,m))_{k\geq 1}$ by $G(1,n,m) = F^m_n$, and $G(k+1,n,m) = F_{nG(k,n,m)}$ for all $k\geq 1$. We show that $F_n^{k+m-1}\mid G(k,n,m)$ for all $k, m, n\in\mathbb N$. Then we calculate $\frac{G(k,n,m)}{F_n^{k+m-1}}\pmod{F_n}$.

연구 동기 및 목표

• 반복 피보나치 수열에 대한 $ F_n $ 의 거듭제곱으로 나누어떨어짐 결과를 일반화하여, Panraksa 등과 Tangboonduangjit 및 Wiboonton의 작업을 특히 확장하는 것.
• 새로운 재귀 수열 $ G(k,n,m) $ 를 정의하고 분석하는 것: $ G(1,n,m) = F_n^m $ 이고 $ G(k+1,n,m) = F_{n \cdot G(k,n,m)} $ 이다.
• $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ 에 대한 정확한 공식을 유도하는 것. 이는 $ k $ 의 짝홀성과 $ n $ 이 3과 4로 나누어떨어지는지 여부에 따라 달라진다.
• $ k \geq 2 $, $ n \geq 4 $, $ m \geq 1 $ 일 때 $ F_n^{k+m-1} \parallel G(k,n,m) $ 를 증명하여 정확한 나누어떨어짐을 보이는 것.
• $ k=2,3 $ 및 $ m=1 $ 에 대한 이전의 합동 결과를 일반적인 $ k, m, n $ 에 대한 프레임워크로 통합하고 확장하는 것.

제안 방법

• 수열 $ G(k,n,m) $ 를 재귀적으로 정의: $ G(1,n,m) = F_n^m $, $ G(k+1,n,m) = F_{n \cdot G(k,n,m)} $.
• $ F_{nr} = \sum_{j=1}^r \binom{r}{j} F_n^j F_{n-1}^{r-j} F_j $ 라는 항등식을 사용하여 $ F_{n \cdot G(k,n,m)} $ 를 $ F_n $ 모듈로에서 전개한다.
• 기존의 피보나치 항등식을 적용: $ \gcd(F_m, F_n) = F_{\gcd(m,n)} $, 카시니의 항등식 $ F_{n+1}F_{n-1} - F_n^2 = (-1)^n $, 그리고 4 모듈로에서의 주기성.
• 보조정리 2.1: $ F_n^{s-1} \mid r $ 이면 $ F_n^s \mid F_{nr} $ 를 사용하여 $ G(k,n,m) $ 가 $ F_n^{k+m-1} $ 로 나누어지는 것을 확립한다.
• $ k $ 의 짝홀성과 $ n $ 이 3과 4로 나누어떨어지는지 여부에 따라 경우를 나누어, $ F_n $ 모듈로에서 몫을 계산한다.
• $ k $ 에 대한 귀납법을 사용하며, 기저 사례로 $ k=2 $ 를 $ m \geq 1 $ 에 대해 사용하고, 이항 전개와 모듈로 환원을 통해 합동식을 검증한다.

실험 결과

연구 질문

• RQ1 재귀적으로 피보나치 지수를 통해 정의된 $ G(k,n,m) $ 에 대해, 모든 $ k, m, n \in \mathbb{N} $ 에 대해 $ F_n^{k+m-1} $ 가 $ G(k,n,m) $ 를 나누는가?
• RQ2 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ 의 값은 무엇이며, 이는 $ n $ 의 산술적 성질(예: 3과 4로 나누어떨어지는지 여부)에 어떻게 의존하는가?
• RQ3 $ k \geq 2 $, $ n \geq 4 $, $ m \geq 1 $ 일 때 정확한 나누어떨어짐 $ F_n^{k+m-1} \parallel G(k,n,m) $ 를 확립할 수 있는가?
• RQ4 이전의 결과들($ m=1 $, $ k=2,3 $) 을 일반화하여 $ k, m, n $ 가 임의일 때 어떻게 일반화되는가? $ F_n $ 모듈로에서 몫에 나타나는 패턴은 무엇인가?
• RQ5 특히 4 모듈로에서의 성질과 항등식 $ F_{n-1}^2 \equiv (-1)^n \mod F_n $ 이 유도 과정에서 어떤 역할을 하는가?

주요 결과

• 논문은 모든 $ k, m, n \in \mathbb{N} $ 에 대해 $ F_n^{k+m-1} \mid G(k,n,m) $ 를 증명하며, 이는 $ m=1 $ 일 때의 이전 결과를 일반화한다.
• $ k \geq 2 $, $ n \geq 3 $ 일 때, 몫 $ \frac{G(k,n,m)}{F_n^{k+m-1}} \mod F_n $ 는 명시적으로 계산되며, $ k $ 의 짝홀성과 $ n $ 이 3 또는 4로 나누어떨어지는지 여부에 따라 달라진다.
• 만약 $ 2 \mid k $ 이고 $ 3 \nmid n $ 이면, 몫은 $ F_n $ 모듈로에서 1과 합동이다. 유일한 예외는 $ 4 \mid n $ 일 때이며, 이 경우 몫은 $ F_{n-1} $ 이다.
• 만약 $ 3 \mid n $ 이면, $ k $ 가 짝수이고 $ m=1 $ 이면 몫은 $ \left(\frac{F_{n-3}}{2}\right)^{k-1} $ 이고, $ k $ 가 짝수이고 $ m \geq 2 $ 이면 $ (-1)^n \left(\frac{F_{n-3}}{2}\right)^{k-1} $ 이다. 홀수 $ k $ 에 대해서는 대칭적인 행동이 나타난다.
• $ k \geq 2 $, $ n \geq 4 $, $ m \geq 1 $ 일 때, 논문은 $ F_n^{k+m-1} \parallel G(k,n,m) $ 를 확립하여 거듭제곱의 정확한 나누어떨어짐을 보인다.
• $ k=2 $ 및 $ k=3 $, $ m=1 $ 일 때의 결과는 [10] 및 [15] 에서의 이전 합동 결과를 복원하고 일반화하며, 일관성과 확장성을 확인한다.