[논문 리뷰] Determinant and Permanent of Hessenberg Matrix and Generalized Lucas Polynomials

Kenan Kaygısız, Adem Şahіn|arXiv (Cornell University)|2011. 11. 17.

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

한 줄 요약

이 논문은 일반화된 루카스 다항식의 행렬식 및 행렬식 표현을 헤센베르크 행렬을 사용하여 수립하며, 특정 헤센베르크 행렬의 행렬식이 일반화된 루카스 다항식과 일치함을 보여준다. 또한 부호 변환 하에서 헤센베르크 행렬의 행렬식과 행렬식 사이의 이중성 관계를 증명하여 피보나치, 루카스, 페린 수열 및 그 일반화를 매트릭스 대수를 통해 통합적으로 표현한다.

ABSTRACT

In this paper, we give some determinantal and permanental representations of Generalized Lucas Polynomials by using various Hessenberg matrices, which are general form of determinantal and permanental representations of ordinary Lucas and Perrin sequences. Then we show, under what conditions that the determinants of the Hessenberg matrix becomes its permanents.

연구 동기 및 목표

• 피보나치, 루카스, 페린 수와 같은 고전적 수열의 행렬식 및 행렬식 표현을 다항식 형태로 일반화하는 것.
• 일반화된 루카스 다항식을 표현하기 위해 헤센베르크 행렬을 사용한 통합 프레임워크를 수립하는 것.
• 헤센베르크 행렬의 행렬식이 그 행렬식과 일치하는 조건을 탐색하는 것.
• 매트릭스 구성에 기반하여 일반화된 다항식에 대한 바이넷 유사 공식과 재귀 관계를 유도하는 것.

제안 방법

• 일반화된 루카스 다항식 계수 $ t_i $ 로부터 유도된 항을 가진 하부 헤센베르크 행렬 $ H_{k,n} $ 와 $ L_{k,n} $ 을 구성하며, $ t_2^{i-j} $ 를 통한 정규화를 포함한다.
• 행렬 $ B_n $ 을 정의하여 $ j-i=1 $ 이면 $ b_{ij} = -a_{ij} $, 그 외의 경우 $ b_{ij} = a_{ij} $ 라 하여 행렬식과 행렬식을 연결한다.
• 수학적 귀납법을 $ n $ 에 대해 적용하여 $ \det(B_n) = \text{per}(A_n) $ 를 증명함으로써 헤센베르크 행렬의 행렬식과 행렬식 사이의 이중성을 수립한다.
• 매트릭스 구성 방법을 적용하여 기존 수열을 복원함: $ t_1=1, t_2=1 $ 일 때 루카스 수 $ L_n $, $ t_1=0, t_i=1 $ 일 때 페린 수 $ R_n $, 임의의 $ t_i $ 에 대해 일반화된 형태.
• 기존의 일반화된 피보나치 및 루카스 다항식에 관한 결과를 활용하여 헤센베르크 행렬의 행렬식을 생성함수로 유도한다.
• 작은 행렬(예: $ H_{4,3} $)에 대한 명시적 계산을 통해 결과를 검증하고 다항식 평가와의 일致를 보여준다.

실험 결과

연구 질문

• RQ1 구조적 항을 가진 헤센베르크 행렬의 행렬식으로 일반화된 루카스 다항식을 어떻게 표현할 수 있는가?
• RQ2 헤센베르크 행렬의 행렬식이 그 행렬식과 일치하는 조건은 무엇인가?
• RQ3 이 프레임워크는 피보나치, 루카스, 페린 수와 같은 고전적 수열의 행렬식 및 행렬식 표현을 통합적으로 제공할 수 있는가?
• RQ4 계수 정규화(예: $ t_2^{i-j} $)는 다항식 수열을 위한 유효한 헤센베르크 행렬을 구성하는 데 어떤 역할을 하는가?
• RQ5 일반화된 피보나치 및 루카스 다항식을 위한 매트릭스 구성 방법은 어떻게 그들의 행렬식 형태로 확장되는가?

주요 결과

• 정리 3.2에 의해 헤센베르크 행렬 $ H_{k,n} $ 의 행렬식은 일반화된 루카스 다항식 $ G_{k,n}(t) $ 와 일치한다.
• 정리 3.4에 의해 행렬 $ L_{k,n} $ 의 행렬식 역시 $ G_{k,n}(t) $ 와 일치하며, 두 번째 매트릭스 표현을 제공한다.
• 특히 $ t_i = 1 $ 이고 $ k=2 $ 일 때, $ H_{k,n} $ 의 행렬식은 일반 루카스 수 $ L_n $ 을 산출하며, 추론 3.5에 의해 이를 확인한다.
• $ t_1 = 0 $ 이고 $ i \geq 2 $ 일 때 $ t_i = 1 $ 이면, $ H_{k,n} $ 의 행렬식은 일반화된 페린 다항식 $ R_{k,n}(t) $ 를 제공하며, 추론 3.6에 의해 이를 확인한다.
• $ t_1 = 0 $, $ t_i = 1 $ 이고 $ k=3 $ 일 때, $ H_{k,n} $ 의 행렬식은 일반 페린 수 $ R_n $ 을 복원하며, 추론 3.7에 의해 이를 확인한다.
• 정리 3.8에 의해 지정된 부호 변환 하에서 헤센베르크 행렬에 대해 $ \det(B_n) = \text{per}(A_n) $ 의 이중성이 성립하며, 귀납법을 통해 증명된다.