[논문 리뷰] Linear Algebra in the vector space of intervals

Nicolas Goze|arXiv (Cornell University)|2010. 06. 28.

Numerical Methods and Algorithms참고 문헌 1인용 수 3

한 줄 요약

이 논문은 구간의 벡터 공간 $\bar{\bb{R}}$ 위에서 선형 대수의 프레임워크를 제안하며, 구간 산술의 인수분해가 불가능한 성질로 인해 $n$개 이상의 고유값을 가질 수 있는 행렬의 대각화를 가능하게 한다. 비례적 고유값의 개념을 도입하고, 급수 전개를 통한 새로운 지수 함수를 정의하며, 중심 고유값을 사용한 대각화 기준을 증명함으로써 고전적 선형 대수를 불확실성 모델링으로 확장한다.

ABSTRACT

In a previous paper, we have given an algebraic model to the set of intervals. Here, we apply this model in a linear frame. We define a notion of diagonalization of square matrices whose coefficients are intervals. But in this case, with respect to the real case, a matrix of order $n$ could have more than $n$ eigenvalues (the set of intervals is not factorial). We consider a notion of central eigenvalues permits to describe criterium of diagonalization. As application, we define a notion of Exponential mapping.

연구 동기 및 목표

• 실수 구간의 집합에 대해 엄밀한 벡터 공간 및 대수적 구조를 수립하여 선형 대수 연산을 가능하게 한다.
• 구간 계수를 가진 행렬의 대각화를 정의하며, 구간 산술의 비인수성으로 인해 $n \times n$ 행렬이 $n$개 이상의 고유값을 가질 수 있음을 고려한다.
• 구간 행렬의 대각화 가능성을 판단하는 기준으로 '중심 고유값'의 개념을 도입한다.
• 급수 전개와 대각화를 활용하여 구간 행렬에 대한 지수 매핑을 정의하고 특성화한다.
• 구간 불확실성을 포함한 선형 미분방정식계를 해결하기 위한 기초를 마련한다.

제안 방법

• 등차관계를 통해 $\bb{IR} \times \bb{IR}$의 몫공간으로서 $\bar{\bb{IR}}$을 구성함으로써, 구간을 4차원 실수 벡터 공간에 통합한다.
• $\bar{\bb{IR}}$를 단조성과 분배법칙을 유지하는 비자명한 곱셈 법칙을 가진 4차원 결합 대수 $\bb{A}_4$에 통합한다.
• 특성 다항식 $C_A(\bb{X}) = a_n \textstyle\bigprod_{i=1}^n (\bb{X} \setminus \bb{X}_i)$ 를 통해 구간 값의 근 $\bb{X}_i$ 를 포함한 행렬 고유값을 정의한다.
• 대각화 가능성을 판단하는 핵심 기준으로 '중심 고유값'을 도입: 각 고유값의 기하 다중도가 대수 다중도와 일치할 경우 대각화 가능하다.
• 거듭제곱 급수를 통해 지수 매핑 $\text{Exp}(A)$ 를 정의하고, 고유값의 지수화와 유사변환을 이용해 대각화 가능한 구간 행렬에 대해 계산한다.
• 구간 대수에서의 행렬 방정식을 통해 대각화 가능성을 검증하기 위해 $\bb{A}_4$ 내의 구간 표준 표현을 이용해 고유공간을 계산한다.

실험 결과

연구 질문

• RQ1 구간 환은 인수분해가 불가능하므로, $n \times n$ 행렬이 $n$개 이상의 고유값을 가질 수 있는데, 이러한 상황에서 어떻게 선형 대수를 구간 계수 행렬에 대해 확장할 수 있는가?
• RQ2 구간 행렬의 대각화 가능성을 보장하는 조건은 무엇이며, 고유공간과 다중도를 통해 어떻게 기술할 수 있는가?
• RQ3 중심 고유값은 구간 행렬의 대각화 가능성을 판단하는 데 어떤 역할을 하는가?
• RQ4 구간 산술의 맥락에서 행렬 지수를 어떻게 정의하고 계산할 수 있는가?
• RQ5 제안된 프레임워크는 구간 계수를 가진 선형 미분방정식계에 적용 가능한가?

주요 결과

• $n \times n$ 구간 행렬은 구간 환의 비인수성으로 인해 고전적 고유값 다중도 가정이 무너지므로, $n$개 이상의 고유값을 가질 수 있다.
• 대각화 가능성은 각 고유값의 기하 다중도(고유공간 차원)가 대수 다중도와 일치할 조건으로 기술되며, 중심 고유값이 핵심 기준이 된다.
• 행렬 $B_3 = \left(\begin{smallmatrix}[1,2] & [1,2] \\ [1,3] & [2,5]\end{smallmatrix}\right)$ 에 대해 두 개의 중심 고유값을 계산한 결과: $\mathcal{X}_1 = \left(\left[\frac{3+\sqrt{5}}{2}, \frac{7+\sqrt{33}}{2}\right], 0\right)$ 와 $\mathcal{X}_3 = \left(\left[\frac{3-\sqrt{5}}{2}, \frac{7-\sqrt{33}}{2}\right], 0\right)$.
• $\mathcal{X}_1$ 에 대한 고유벡터는 $\left(\begin{smallmatrix}([1,1],0) \\ \overline{\left[\frac{-3-\sqrt{33}}{2}, \frac{-1-\sqrt{5}}{4}\right]}, 0\end{smallmatrix}\right)$ 의 형태이며, $\mathcal{X}_3$ 에 대한 고유벡터는 $\left(\begin{smallmatrix}([1,1],0) \\ \left[\frac{3-\sqrt{33}}{2}, \frac{1-\sqrt{5}}{4}\right], 0\end{smallmatrix}\right)$ 의 형태이다.
• 지수 매핑 $\text{Exp}(B_3)$ 는 대각화를 통해 계산되며, $\text{Exp}(B_3) = P \cdot D \cdot P^{-1}$ 이다. 여기서 $D$ 는 대각행렬이며, 항목은 $\left(\text{exp}\left(\left[\frac{3\pm\sqrt{5}}{2}, \frac{7\pm\sqrt{33}}{2}\right]\right), 0\right)$ 로 구성된다.