[논문 리뷰] Matrix Powers of Column-Justified Pascal Triangles and Fibonacci Sequences

Rhodes Peele, Pantelimon Stănică|ArXiv.org|2000. 10. 18.

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

한 줄 요약

이 논문은 열 정렬 파스칼 행렬 $L_n$ 과 $R_n$ 의 행렬 거듭제곱을 조사하며, $L_n^e$ 의 닫힌 형태 표현식을 유도하고 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ 로 표현한다. 또한 $R_n^e$ 와 피보나치 수열 간의 깊은 연결 고리가 드러나며, 주요 기여는 $R_n^e$ 가 피보나치 계수를 포함하는 선형 재귀를 만족하고, 소수 $p$ 에 대한 $R_n$ 의 차수(order)가 $4e$ 를 나눈다는 것이다. 여기서 $e$ 는 피보나치 수열이 모듈로 $p$ 에서 처음으로 반복되는 지점(entry point)이다. 이는 소수 $p \equiv \pm 2 \pmod{5}$ 에 대해 정확한 경계를 제공하며, 이러한 경계가 달성 가능하다는 것이 입증된다. 결과는 $L_n$ 과 $R_n$ 의 역행렬 및 고유값 추측으로 확장되며, 조합적 행렬과 피보나치 수열의 수론적 성질 간의 연결 고리를 제시한다.

ABSTRACT

If L, respectively R are matrices with entries binom{i-1,j-1}, respectively binom{i-1,n-j}, it is known that L^2 = I (mod 2), respectively R^3 = I (mod 2), where I is the identity matrix of dimension n > 1 (see P10735-May 1999 issue of the American Mathematical Monthly). We generalize it for any prime p, and give a beautiful connection to Fibonacci numbers.

연구 동기 및 목표

• 왼쪽 정렬 파스칼 행렬 $L_n$ 의 $e$ 제곱인 $L_n^e$ 의 원소에 대한 닫힌 형태 표현식을 유도하는 것.
• $R_n^e$ 인 오른쪽 정렬 파스칼 행렬 $R_n$ 의 $e$ 제곱에 대해 유사한 닫힌 형태가 존재하는지 조사하는 것. 이는 단순한 닫힌 형태를 저항한다.
• $R_n^e$ 와 피보나치 수열 간의 구조적 연결 고리를 확립하는 것. 특히 피보나치 수를 포함하는 재귀 관계를 통해.
• 소수 $p$ 에 대한 $R_n$ 의 차수를 결정하며, 이가 피보나치 수열이 모듈로 $p$ 에서 처음으로 나타나는 지점 $e$ 와 어떻게 관련되어 있는지 밝혀내는 것.
• 이러한 결과를 모듈로 행렬 차수로 확장하고, 특히 소수 $p \equiv \pm 2 \pmod{5}$ 에 대해 $R_n$ 의 주기(period)에 대한 날카운 경계를 증명하는 것.

제안 방법

• 수학적 귀납법과 행렬 곱셈을 사용하여, $L_n^e$ 의 닫힌 형태 표현식 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ 을 유도한다.
• $R_n^e$ 는 경계 조건 $a_{1,n} = 1$, $a_{1,j} = 0$ ($j \neq n$) 과 $a_{i,j} = a_{i-1,j-1} + a_{i-1,j}$ ($i \geq 2$, $j \geq 1$) 을 갖는 재귀 테이블을 정의한다.
• 논문은 $R^2$ 와 $R^3$ 의 재귀 관계를 유도하며, 각각 $b_{i,j+1} = b_{i-1,j+1} + 2b_{i-1,j} - b_{i,j}$ 와 $c_{i+1,j} = 2c_{i,j} + 3c_{i,j-1} - 2c_{i+1,j-1}$ 이라고 한다.
• 일반적인 재귀 관계는 $F_{e-1}a_{i,j}^{(e)} = F_e a_{i-1,j}^{(e)} + F_{e+1} a_{i-1,j-1}^{(e)} - F_e a_{i,j-1}^{(e)}$ 로 설정되며, 이는 $R_n^e$ 원소와 피보나치 수를 연결한다.
• 논문은 피보나치 수열이 모듈로 $p$ 에서의 성질, 특히 지점(entry point)과 피사노 주기(Pisano period)를 사용하여 $R_n$ 이 모듈로 $p$ 에서의 차수를 분석한다.
• 논문은 블룸-월의 정리와 페르마의 소정리와 같은 알려진 수론적 결과를 활용하여 $R_n^e$ 의 모듈로 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 모든 $e$ 에 대해 $L_n^e$ 의 원소에 대한 닫힌 형태 표현식을 도출할 수 있는가?
• RQ2 행렬 $R_n$ 의 거듭제곱과 피보나치 수열 간에 구조적 관계가 존재하는가?
• RQ3 소수 $p$ 에 대한 $R_n$ 의 차수는 무엇이며, 이는 피보나치 수열이 모듈로 $p$ 에서 처음 나타나는 지점과 어떻게 관련되어 있는가?
• RQ4 소수 $p$ 에 대한 $R_n$ 의 차수에 대해 날카운 경계를 설정할 수 있으며, 이러한 경계는 달성 가능한가?
• RQ5 $R_n$ 의 고유값은 황금률과 피보나치 수열과 어떻게 관련되어 있는가?

주요 결과

• $L_n^e$ 의 원소는 유도된 귀납법과 행렬 곱셈을 통해 $l_{i,j}^{(e)} = e^{i-j} \binom{i-1}{j-1}$ 의 닫힌 형태 공식으로 주어진다.
• $R_n^2$ 의 원소는 경계 조건과 행렬 곱셈을 통해 유도된 재귀 관계 $b_{i,j+1} = b_{i-1,j+1} + 2b_{i-1,j} - b_{i,j}$ 를 만족한다.
• $R_n^3$ 의 원소는 재귀적 행렬 곱셈과 재귀 관계의 반복 적용을 통해 $c_{i+1,j} = 2c_{i,j} + 3c_{i,j-1} - 2c_{i+1,j-1}$ 를 만족한다.
• $R_n^e$ 의 원소는 일반적인 재귀 관계 $F_{e-1}a_{i,j}^{(e)} = F_e a_{i-1,j}^{(e)} + F_{e+1} a_{i-1,j-1}^{(e)} - F_e a_{i,j-1}^{(e)}$ 를 만족하며, 이는 행렬 거듭제곱과 피보나치 수를 연결한다.
• 소수 $p$ 에 대해 $R_n$ 의 차수는 $4e$ 를 나누며, 여기서 $e$ 는 피보나치 수열이 모듈로 $p$ 에서 처음 나타나는 지점이다. 이 경계는 소수 $p \equiv \pm 2 \pmod{5}$ 에 대해 날카롭게 달성된다.
• 소수 $p \equiv \pm 1 \pmod{5}$ 에 대해 $R_n^{p-1} \equiv I_n \pmod{p}$ 이고, $p \equiv \pm 2 \pmod{5}$ 에 대해 $R_n^{p+1} \equiv (-1)^{n-1} I_n \pmod{p}$ 이며, $R_n^{2p+2} \equiv I_n \pmod{p}$ 이다.