[논문 리뷰] Fibonacci Modules and Multiple Fibonacci Sequences

Abdul Rauf Nizami|ArXiv.org|2008. 10. 22.

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

한 줄 요약

이 논문은 모듈러스 위에서의 이중 피보나치 수열을 도입하여, 고전적 피보나치 수열을 이차원 재귀 관계로 일반화한다. 이러한 수열의 집합이 자유 모듈러스를 이룬다는 것을 증명하고, 이는 두 피보나치 모듈러스의 텐서곱과 동형이며, 이들의 유리형 생성함수와 대각선 성질을 유도한다.

ABSTRACT

Double Fibonacci sequences are introduced and they are related to operations with Fibonacci modules. Generalizations and examples are also discussed.

연구 동기 및 목표

• 모듈러스 위에서 두 차원 재귀 관계로 피보나치 수열을 일반화하기 위해.
• 두 인덱스에서 독립적인 선형 재귀를 만족하는 이중 피보나치 수열을 정의하고 연구하기 위해.
• 피보나치 모듈러스의 텐서곱과 이중 피보나치 수열 모듈러스 사이의 동형성을 확립하기 위해.
• 이중 피보나치 수열의 유리형 생성함수를 유도하기 위해.
• 대각선 단조성 및 대각선을 따라 하는 재귀 관계와 같은 구조적 성질을 조사하기 위해.

제안 방법

• 모든 $ n,k \geq 0 $ 에 대해 $ x_{n+2,k} = a x_{n+1,k} + b x_{n,k} $ 과 $ x_{n,k+2} = c x_{n,k+1} + d x_{n,k} $ 를 만족하는 이중 피보나치 수열 $ (x_{n,k}) $ 을 정의한다.
• 수열의 $ \r $-모듈러스 구조와 이동 연산자 $ H $, $ V $ 를 사용하여 이중 수열의 $ \r[H,V] $-모듈러스를 정의한다.
• 자연스러운 $ \r[H,V] $-모듈러스 동형사상 $ \r_{\r}(a,b) \bigotimes_{\r} \r_{\r}(c,d) \to \r_{\r \bigotimes \r}^{[2]}((a,b) \bigotimes (c,d)) $ 를 증명한다.
• 유리형 생성함수 $ G(t,s) = q(t)^{-1} r(s)^{-1} \big[ \text{초기 항들의 선형 조합} \big] $ 를 유도한다. 여기서 $ q(t) = 1 - at - bt^2 $, $ r(s) = 1 - cs - ds^2 $ 이다.
• 고차원 재귀와 $ p $ 개의 피보나치 모듈러스의 텐서곱을 사용하여 $ p $ 개의 인덱스를 가진 다중 피보나치 수열으로 일반화한다.
• 조건 $ a^2 d = b c^2 $ 하에 대각선 재귀 관계 $ ab x_{n,k+3} + (a^2 + b)c x_{n+1,k+2} = a(c^2 + d)x_{n+2,k+1} + cd x_{n+3,k} $ 를 확립한다.

실험 결과

연구 질문

• RQ1 피보나치 수열은 각 인덱스에서 독립적인 선형 재귀를 만족하는 이차원 배열로 어떻게 일반화할 수 있는가?
• RQ2 교환 법칙을 만족하는 환 $ \r $ 위에서 이중 피보나치 수열의 모듈러스의 대수적 구조는 무엇인가?
• RQ3 두 피보나치 모듈러스의 텐서곱과 이중 피보나치 수열 모듈러스 사이에 자연스러운 동형사상이 존재하는가?
• RQ4 이중 피보나치 수열의 생성함수의 형태는 무엇인가?
• RQ5 이중 피보나치 수열이 대각선을 따라 교대 단조성을 보일 조건은 무엇인가?

주요 결과

• 이중 피보나치 수열의 모듈러스 $ \r_{\r}^{[2]}((a,b) \bigotimes (c,d)) $ 는 $ \r_{\r}^{[2]}(a,b) \bigotimes_{\r} \r_{\r}^{[2]}(c,d) $ 와 동형이며, 계수 4의 자유 $ \r $-모듈러스이다.
• 모듈러스 $ \r_{\r}^{[2]}((a,b) \bigotimes (c,d)) $ 에 대한 명시적 기저는 $ (i,j) \notin \big\brace{0,1\big\brace}^2 $ 인 경우에 $ P_{i}^{[n]}(a,b) P_{j}^{[k]}(c,d) $ 의 수열들로 주어진다.
• 이중 피보나치 수열의 생성함수는 유리형이며, 다음으로 명시적으로 주어진다: $ G(t,s) = q(t)^{-1} r(s)^{-1} \big[ x_{0,0}(1-at)(1-cs) + x_{1,0}t(1-cs) + x_{0,1}(1-at)s + x_{1,1}ts \big] $, 여기서 $ q(t) = 1 - at - bt^2 $, $ r(s) = 1 - cs - ds^2 $ 이다.
• 특수한 경우 $ (a,b) = (c,d) = (1,1) $ 에서는 모든 정수 수열 $ \r_{\r}^{[2]}(1,1) $ 에 대해 대각선 성질 $ x_{n,k+3} - x_{n+3,k} = 2(x_{n+2,k+1} - x_{n+1,k+2}) $ 이 성립한다.
• 조건 $ a^2 d = b c^2 $ 를 만족할 경우 대각선 재귀 관계 $ ab x_{n,k+3} + (a^2 + b)c x_{n+1,k+2} = a(c^2 + d)x_{n+2,k+1} + cd x_{n+3,k} $ 가 성립한다.
• 다중 피보나치 수열의 모듈러스 $ \r_{\r}^{[p]}(\textbf{a}^{(1)}, \textbf{a}^{(2)}, \textbf{a}^{(3)}, \textbf{a}^{(4)}) $ 는 계수 $ D = d_1 d_2 \times \times d_p $ 의 자유 모듈러스이다.