[논문 리뷰] On the Determinants and Inverses of Circulant Matrices with Pell and Pell-Lucas Numbers

Durmuş Bozkurt, Fatih Yılmaz|arXiv (Cornell University)|2012. 01. 29.

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

한 줄 요약

이 논문은 펠 수열과 펠-라마수 수열에서 유도된 순환행렬의 행렬식과 역행렬에 대한 명시적 공식을 유도한다. 행렬 분해와 이러한 수열의 성질을 이용하여, 행렬식과 역행렬에 대한 폐쇄형 표현을 수립하며, $ n \geq 3 $ 에서의 가역성을 증명한다. 또한 역행렬이 순환행렬임을 보이고, 펠-라마수 항을 포함하는 재귀 관계를 통해 표현한다.

ABSTRACT

Let P=\circ(P_{1},P_{2},...,P_{n}) and Q=\circ(Q_{1},Q_{2},...,Q_{n}) be n imesn circulant matrices where P_{n} and Q_{n} are nth Pell and Pell-Lucas numbers, respectively. The determinants of the matrices P and Q were expressed by the Pell and Pell-Lucas numbers. After, we prove that the matrices P and Q are the invertible for n\geq3 and then the inverses of the matrices P and Q are derived.

연구 동기 및 목표

• 펠 및 펠-라마수 수열에서 형성된 $ n \times n $ 순환행렬의 행렬식에 대한 명시적 공식을 유도하는 것.
• 이러한 행렬이 $ n \geq 3 $ 에서 가역적임을 확립하는 것.
• 행렬 분해와 수열 항등식을 이용하여 이러한 순환행렬의 역행렬을 계산하는 것.
• 펠 및 펠-라마수 수열의 근과 재귀 성질을 이용해 역행렬을 폐쇄형으로 표현하는 것.

제안 방법

• 펠과 펠-라마수 수열의 바이넷 공식을 활용하여 $ P_n = \frac{\alpha^n - \beta^n}{2\sqrt{2}} $ 및 $ Q_n = \alpha^n + \beta^n $ 를 표현하며, 여기서 $ \alpha, \beta $ 는 $ x^2 - 2x - 1 = 0 $ 의 근이다.
• 원래의 순환행렬을 계산하기 쉽게 하기 위해 헤센버그 형태로 변환하기 위해 행렬 분해 기법을 적용한다.
• 이산 푸리에 변환을 통해 순환행렬의 고유값과 고유벡터 성질을 활용하며, $ \omega = \exp(2\pi i / n) $ 를 사용한다.
• 고유값의 곱을 이용해 행렬식을 유도한다: $ \det(\mathbb{P}) = \prod_{j=0}^{n-1} \sum_{k=0}^{n-1} P_{k+1} \omega^{jk} $.
• 공식 $ C_n^{-1} = \text{circ}(a_0, \dots, a_{n-1}) $ 를 통해 역행렬을 구성하며, 여기서 $ a_k = \frac{1}{n} \sum_{j=0}^{n-1} \lambda_j \omega^{-jk} $ 이다.
• 재귀 관계와 정규화 상수(예: $ u_n $, $ u_n' $)를 사용하여 역행렬의 항을 펠-라마수 수의 차이와 $ Q_n - 2 $ 의 거듭제곱으로 표현한다.

실험 결과

연구 질문

• RQ1 첫 $ n $ 개의 펠 수로 이루어진 순환행렬의 행렬식은 무엇인가요?
• RQ2 펠-라마수 수열의 순환행렬이 어떤 조건에서 가역적인가요?
• RQ3 펠 기반 순환행렬의 역행렬은 수열 항등식을 이용해 폐쇄형으로 표현할 수 있는가요?
• RQ4 이러한 행렬의 고유값과 고유벡터는 특성방정식 $ x^2 - 2x - 1 = 0 $ 의 근과 어떻게 관련이 있는가요?
• RQ5 펠 및 펠-라마수 순환행렬의 행렬 분해에서 어떤 구조적 성질(예: 역행렬의 순환성)이 드러나나요?

주요 결과

• 행렬식 $ \mathbb{P} = \text{circ}(P_1, \dots, P_n) $ 의 $ n \times n $ 순환행렬은 $ \det(\mathbb{P}) = (P_1 - P_{n+1})^{n-2}(P_1 - 2P_n) + \sum_{k=2}^{n-1} \left[ P_{k-1} P_n^{n-k} (P_1 - P_{n+1})^{k-2} \right] $ 로 주어진다.
• $ n \geq 3 $ 일 때, 행렬 $ \mathbb{P} $ 는 가역적이며, 그 역행렬은 펠 수의 차이와 $ \frac{P_n}{1 - P_{n+1}} $ 의 거듭제곱을 포함하는 복잡한 합으로 유도된 항을 가진 순환행렬이다.
• 펠-라마수 순환행렬 $ \mathbb{Q} = \text{circ}(Q_1, \dots, Q_n) $ 의 역행렬 역시 순환행렬이며, $ \mathbb{Q}^{-1} = \frac{1}{u_n} \text{circ}(\dots) $ 로 표현되며, 여기서 $ u_n $ 은 $ Q_k $-차이의 합을 포함하는 정규화 인자이다.
• $ i \geq 4 $ 에 대해 $ \mathbb{Q}^{-1} $ 의 항은 패턴 $ q_i = \frac{4(Q_n - 2)^{n-i}}{(Q_1 - Q_{n+1})^{n-i}} $ 를 따른다. 이는 역행렬의 구조를 단순화한다.
• 행렬 $ \mathbb{Q} $ 로부터 유도된 블록행렬 $ K $ 의 역행렬은 $ \left[ \begin{smallmatrix} 1 & 0 \\ D & E \end{smallmatrix} \right] $ 의 블록 구조를 가지며, 여기서 $ E $ 는 첫 번째 행이 $ [P_{n-1}, \dots, P_1] $ 이고 마지막 열이 $ [P_1, 0, \dots, 0]^T $ 인 헤크켈 행렬이다.
• 역행렬이 순환행렬임을 증명하여 구조적 일致성과 대칭 재귀 패tern을 통한 효율적 계산이 가능함을 확인한다.