[논문 리뷰] On the g-Circulant Matrix involving the Generalized k-Horadam Numbers

Nazmiye Yılmaz, Yasin Yazlık외 1명|arXiv (Cornell University)|2015. 03. 02.

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

한 줄 요약

이 논문은 일반화된 $k$-Horadam 수열을 기반으로 한 일반화된 $g$-순환행렬 구조를 제안하며, 재귀 관계와 고유값 분해를 이용해 행렬의 행렬식, 스펙트럴 노름, 역행렬에 대한 명시적 공식을 유도한다. 주요 기여는 피보나치, 루카스, 기타 두 번째 차수 수열에 대한 기존 순환행렬 결과를 일반화된 $g$-순환행렬 구조와 행렬 대수를 통해 더 넓은 범위의 선형 재귀 수열로 확장한 통합 프레임워크를 제공하는 것이다.

ABSTRACT

In this study, we present a new generalization of circulant matrices for the generalized $k$-Horadam numbers, by considering the $g$-circulant matrix $C_{n,g}(H)=g -circ(H_{k,1},H_{k,2},\ldots ,H_{k,n})$. Also, we calculate the spectral norm, determinant and inverse of $C_{n,g}(H)$ in such matrices having the elements of all second order sequences.

연구 동기 및 목표

• 일반화된 $k$-Horadam 수열을 포함하는 $g$-순환행렬으로 순환행렬 이론을 일반화한다.
• 피보나치, 루카스, 기타 두 번째 차수 수열에 대한 기존 순환행렬 결과를 더 넓은 범위의 선형 재귀 수열로 확장한다.
• 일반화된 $k$-Horadam 수열 성분을 가진 $g$-순환행렬의 행렬식, 스펙트럴 노름, 역행렬에 대한 닫힌 표현식을 유도한다.
• 일반화된 특수 수열 수열의 순환행렬에 대한 이전 결과들을 단일 대수적 프레임워크를 통해 통합하고 일반화한다.

제안 방법

• 재귀 관계 $H_{k,n+2} = f(k)H_{k,n+1} + g(k)H_{k,n}$를 갖는 일반화된 $k$-Horadam 수열 $\{H_{k,n}\}$을 사용하여 $g$-순환행렬 $C_{n,g}(H)$를 정의한다.
• 특성 방정식 $x^2 - f(k)x - g(k) = 0$의 근 $r_1, r_2$를 이용한 $H_{k,n}$에 대한 비네 공식을 활용한다.
• 행렬 대수와 고유값 분해 기법을 적용하여 $C_{n,g}(H)$의 스펙트럴 노름, 행렬식, 역행렬을 유도한다.
• 역행렬 계산을 용이하게 하기 위해 단위행렬 $Q_g$와 조건 $(n,g)=1$을 활용한다.
• 역행렬을 재귀 항등식과 정규화 인자로부터 유도된 계수를 가진 순환행렬과의 곱으로 표현한다.
• 행렬식과 역행렬에 대한 닫힌 표현식을 $H_{k,i}$, $M = g(k)(H_{k,n} - H_{k,0})$, $N = H_{k,1} - H_{k,n+1}$를 포함하는 합항등식을 이용해 유도한다.

실험 결과

연구 질문

• RQ1 일반화된 $k$-Horadam 수열을 성분으로 포함하는 $g$-순환행렬의 구조는 어떻게 일반화될 수 있는가?
• RQ2 일반화된 $k$-Horadam 수열로 구성된 $g$-순환행렬의 스펙트럴 노름, 행렬식, 역행렬은 각각 무엇인가?
• RQ3 행렬식과 역행렬에 대한 유도된 공식이 피보나치, 루카스, 펠, 제이콥스탈 수열에 대해 어떻게 알려진 결과로 축소되는가?
• RQ4 행렬 성질을 결정하는 데 있어 매개변수 $f(k)$, $g(k)$, $a$, $b$의 역할은 무엇인가?
• RQ5 이 프레임워크는 표준 수열을 초월한 다른 두 번째 차수 선형 재귀 수열로 확장될 수 있는가?

주요 결과

• 행렬식 $C_{n,g}(H)$는 $M/N$ 비율을 포함하는 항의 합으로 이루어진 닫힌 표현식으로 주어지며, 여기서 $M = g(k)(H_{k,n} - H_{k,0})$이고 $N = H_{k,1} - H_{k,n+1}$이다.
• 조건 $(n,g) = 1$ 하에서 $C_{n,g}(H)$의 역행렬은 재귀 항등식에서 유도된 계수를 가진 순환행렬과 단위행렬 $Q_g$의 전치행렬의 곱으로 표현된다.
• 피보나치 수열의 경우 ($f(k)=g(k)=1$, $a=0$, $b=1$), 역행렬 공식은 피보나치 수와 정규화 인자 $f_n$를 포함하는 특정 표현식으로 축소된다.
• 루카스 수열의 경우 ($f(k)=g(k)=1$, $a=2$, $b=1$), 계수에 $L_{n+2-i} - 3L_{n+1-i}$와 정규화 $l_n$이 포함되어 있으며, 이는 기존 결과와 일관됨을 확인한다.
• 펠 수열의 경우 ($f(k)=2$, $g(k)=1$, $a=0$, $b=1$), 역행렬 공식은 정규화와 계수 스케일링을 조정한 이전 결과의 구조와 일치한다.
• 적절한 $f(k)$, $g(k)$, $a$, $b$의 값으로 대체함으로써 이 프레임워크는 $k$-피보나치, $k$-루카스, 펠-루카스, 제이콥스탈-루카스, 하라모드 수열 등 다른 수열로도 성공적으로 일반화된다.