[논문 리뷰] Determinants Containing Powers of Generalized Fibonacci Numbers

Aram Tangboonduangjit, Thotsaporn Thanatipanonda|arXiv (Cornell University)|2015. 12. 22.

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

한 줄 요약

이 논문은 행렬 분해와 Desnanot-Jacobi 항등식을 사용하여 일반화된 피보나치 수의 거듭제곱 또는 이러한 항목의 곱으로 구성된 행렬의 행렬식에 대한 명시적 닫힌 형태의 공식을 유도한다. 주요 결과는 상수 계수를 가진 임의의 두 번째 차수 선형 재귀에 대해 칼리츠의 피보나치 거듭제곱 행렬식 공식을 일반화하며, 피보나치 유사 항목, 재귀의 판별식의 거듭제곱, 이항 계수를 포함하는 행렬식 표현을 제공한다.

ABSTRACT

We study determinants of matrices whose entries are powers of Fibonacci numbers. We then extend the results to include entries that are powers of generalized Fibonacci numbers defined as a second-order linear recurrence relation. These studies have led us to discover a fundamental identity of determinant involving powers of linear polynomials. Finally, we discuss the determinants of matrices whose entries are products of the generalized Fibonacci numbers.

연구 동기 및 목표

• 상수 계수를 가진 임의의 두 번째 차수 선형 재귀에 대해 칼리츠의 피보나치 거듭제곱 행렬식 공식을 일반화하기.
• 입력 항목이 $ F_{s+k(n+i+j)}^r $인 행렬의 닫힌 형태 행렬식 표현을 유도하기.
• 입력 항목이 이러한 재귀 항목의 곱인 행렬의 결과를 확장하기.
• 선형 다항식의 거듭제곱인 항목을 가진 행렬식에 대한 기본 항등식 수립하기.
• Desnanot-Jacobi 항등식을 사용하여 재귀 항목 곱의 입력 항목을 가진 행렬의 행렬식을 계산하기.

제안 방법

• 특히 크라트엔탈러의 방법을 활용한 행렬 분해 기법을 사용하여 행렬식 행렬을 간단한 행렬의 곱으로 분해한다.
• 행렬 표현과 수학적 귀납법을 통해 두 번째 차수 선형 재귀에 대한 일반화된 카탈란 항등식을 증명한다.
• Desnanot-Jacobi 항등식을 적용하여 재귀 항목 곱의 입력 항목을 가진 행렬의 행렬식 공식을 도출한다.
• 비네 공식과 행렬 거듭제곱을 사용하여 재귀의 항을 표현함으로써 행렬식 표현의 대수적 변환을 가능하게 한다.
• 선형 형식 $ A(j)X_i + B(j)Y_i $를 포함하는 다항식 행렬식 항등식을 도입하여 주요 행렬식 공식 유도에 활용한다.
• 제2저자의 개발한 계산 도구에 의존하여 복잡한 행렬식 항등식의 검증 및 유도를 수행한다.

실험 결과

연구 질문

• RQ1 입력 항목이 $ F_{s+k(n+i+j)}^r $인 행렬의 행렬식은 무엇인가? 여기서 $ F_n $은 일반화된 피보나치 수열이다.
• RQ2 두 번째 차수 선형 재귀에 대한 일반화된 카탈란 항등식은 행렬 방법을 통해 어떻게 증명할 수 있는가?
• RQ3 입력 항목이 두 개의 다른 두 번째 차수 선형 재귀 항목의 곱인 행렬의 행렬식은 무엇인가?
• RQ4 재귀 항목의 선형 다항식의 거듭제곱인 입력 항목을 가진 행렬에 대해 통합된 행렬식 공식을 도출할 수 있는가?
• RQ5 Desnanot-Jacobi 항등식은 어떻게 재귀 항목 곱의 입력 항목을 가진 행렬의 행렬식 계산을 촉진하는가?

주요 결과

• 행렬 $ \mathbb{A}_n^{s,k}(r) = \left( F_{s+k(n+i+j)}^r \right)_{0\leq i,j\leq r} $의 행렬식은 $ (-1)^{(s+kn+1)\binom{r+1}{2}} \cdot c_2^{(s+kn)\binom{r+1}{2} + 2k\binom{r+1}{3}} \cdot \Delta^{\binom{r+1}{2}} \cdot \prod_{i=0}^r \binom{r}{i} \cdot \prod_{\ell=1}^r U_{(\ell+1)k}^{2(r-\ell)} $로 주어지며, 여기서 $ U_n $은 관련 루카스 수열이다.
• 피보나치 수열의 경우 ($ c_2 = 1, \Delta = 1 $), 공식은 $ D(r,s,k,n) = (-1)^{(s+kn+1)\binom{r+1}{2}} (F_k^r F_{2k}^{r-1} \cdots F_{rk})^2 \cdot \prod_{i=0}^r \binom{r}{i} $로 단순화되며, 칼리츠의 주요 결과를 복원한다.
• 일반화된 카탈란 항등식 $ W_{s+i}Y_{s+j} - W_s Y_{s+i+j} = (-c_2)^s (W_1 Y_j - W_0 Y_{j+1}) U_i $는 행렬 표현과 귀납법을 통해 증명된다.
• 입력 항목이 $ \prod_{\ell=j+1}^r W_{s+k(n+i+d_\ell)} \cdot \prod_{m=1}^j W_{s+k(n+i+e_m)} $인 행렬의 행렬식은 $ \Delta^{\binom{r+1}{2}} $, $ c_2 $의 거듭제곱, 루카스 수의 곱을 포함하는 공식으로 주어진다.
• 다항식 입력 항목에 대해 항등식 $ \det((A(j)X_i + B(j)Y_i)^r) = \prod_{i<j} (X_i Y_j - X_j Y_i) \cdot \prod_{i<j} (A(i)B(j) - A(j)B(i)) \cdot \prod_{i=0}^r \binom{r}{i} $가 확립된다.
• 보조정리 9는 $ d_j = 0 $, $ e_j = 1 $, $ n = 0 $일 때 기본 거듭제곱 행렬식이 유도된 공식과 일치함을 확인한다.