[논문 리뷰] On the Determinants and Inverses of Circulant Matrices with a General Number Sequence

Durmuş Bozkurt|arXiv (Cornell University)|2012. 02. 06.

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

한 줄 요약

이 논문은 정수 초기 조건을 가진 일반화된 선형 재귀 수열 $ W_n = pW_{n-1} + qW_{n-2} $ 에 의해 생성된 순환행렬의 행렬식과 역행렬에 대한 명시적 공식을 유도한다. 행렬 분해 기법과 수열의 비네 공식 성질을 활용하여, 저자들은 행렬식과 역행렬 원소를 수열 원소와 재귀 매개변수의 함수로 표현하며, 임의의 $ n $ 에 대해 닫힌 형태의 해를 제공한다. 주요 기여는 일반화된 수열에 대한 순환행렬에 대한 체계적인 대수적 프레임워크를 제공하는 데 있다.

ABSTRACT

The generalized sequence of numbers is defined by W_{n}=pW_{n-1}+qW_{n-2} with initial conditions W_{0}=a and W_{1}=b for a,b,p,q\inZ and n\geq2, respectively. Let W_{n}=circ(W_{1},W_{2},...,W_{n}). The aim of this paper is to establish some useful formulas for the determinants and inverses of W_{n} using the nice properties of the number sequences. Matrix decompositions are derived for W_{n} in order to obtain the results.

연구 동기 및 목표

• 순환행렬의 행렬식에 대한 명시적 공식을 유도하기 위해, $ W_n = pW_{n-1} + qW_{n-2} $ 를 만족하는 일반화된 선형 재귀 수열을 갖는 순환행렬의 행렬식을 유도한다.
• 행렬 분해 기법과 수열 성질을 활용하여 이러한 순환행렬의 역행렬을 계산하는 방법을 개발한다.
• 이차 선형 재귀로 정의된 임의의 정수 수열으로 피보나치 및 루카스 순환행렬에 대한 이전 결과를 일반화한다.
• 큰 $ n $ 에서 직접 고유값 계산을 피할 수 있는 계산적으로 실용적인 행렬식과 역행렬 표현을 제공한다.

제안 방법

• 일반화된 수열 $ W_n = \frac{A\alpha^n + B\beta^n}{\alpha - \beta} $ 에 대한 비네 공식을 활용한다. 여기서 $ \alpha, \beta $ 는 $ x^2 - px + q = 0 $ 의 근이다.
• 순환행렬 $ \mathbb{W}_n $ 을 $ K\mathbb{W}_nL $ 의 형태로 헤센베르크 유사한 행렬로 변환하기 위해 보조 행렬 $ K $ 와 $ L $ 을 구성한다.
• 직합 분해 $ K\mathbb{W}_nLU = H \oplus A $ 를 활용한다. 여기서 $ H $ 는 $ 2 \times 2 $ 블록이고 $ A $ 는 하부 헤센베르크 행렬이다.
• 역행렬을 $ \mathbb{W}_n^{-1} = T(H^{-1} \oplus A^{-1})K $ 를 통해 유도한다. 여기서 $ T = LU $ 이며, 이는 역행렬 원소를 수열 항의 함수로 표현할 수 있게 한다.
• 행렬식을 $ b-W_{n+1} $, $ W_{k+1} - \frac{W_2 W_k}{W_1} $, 그리고 $ \frac{q(W_n - W_0)}{W_1 - W_{n+1}} $ 의 거듭제곱을 포함하는 항들의 조합으로 표현한다.
• 역행렬이 순환행렬임을 이용하여 마지막 행에서 모든 원소를 복원할 수 있다.

실험 결과

연구 질문

• RQ1 일반화된 선형 재귀 수열에서 유도된 순환행렬의 행렬식은 어떻게 닫힌 형태로 표현할 수 있는가?
• RQ2 이러한 순환행렬의 역행렬의 대수적 구조는 무엇이며, 고유값 분해 없이도 계산할 수 있는가?
• RQ3 행렬 분해 기법을 통해 큰 $ n $ 에서 수열 기반 순환행렬의 행렬식과 역행렬 계산을 어떻게 단순화할 수 있는가?
• RQ4 재귀의 매개변수 $ p, q, a, b $ 는 행렬식과 역행렬 원소에 어떻게 영향을 미치는가?

주요 결과

• 행렬식 $ \mathbb{W}_n $ 은 $ n \geq 3 $ 에 대해 $ (b - W_{n+1})^{k-2} $, $ (qW_n - qa)^{n-k} $, 그리고 $ bW_{k+1} - W_2 W_k $ 와 같은 항들을 포함하는 복잡한 합으로 주어진다.
• 역행렬 원소 $ w_k $ 는 $ W_1, W_2, W_k $ 와 $ W_{n+1} - W_1 $ 의 유리함수로 명시적으로 표현되며, 계수는 $ \frac{q(W_n - W_0)}{W_1 - W_{n+1}} $ 의 거듭제곱을 포함한다.
• 역행렬이 순환행렬임을 입증하여, 기존 순환행렬의 성질과 일관성을 확인한다.
• $ w_1 $, 즉 역행렬의 첫 번째 원소는 $ q^k $, $ W_{n-k} - \frac{W_2 W_{n-k-1}}{W_1} $, 그리고 수열 매개변수의 유리함수를 포함하는 $ k $ 에 대한 합으로 구성된다.
• $ g_n $, 핵심 중간 행렬식 유사 양으로서의 표현은 $ W_1 - \frac{W_2 W_n}{W_1} $ 와 $ k $ 에 대한 합을 포함하며, 각 항은 $ \frac{q(W_n - W_0)}{W_1 - W_{n+1}} $ 의 거듭제곱으로 스케일된다.
• 이 방법은 피보나치 및 루카스 순환행렬에 대한 알려진 결과를 이차 선형 재귀로 정의된 임의의 정수 수열으로 성공적으로 일반화한다.