[논문 리뷰] Diagonal Matrix Sequences and their Spectral Symbols

Giovanni Barbarino|arXiv (Cornell University)|2017. 10. 02.

Matrix Theory and Algorithms참고 문헌 8인용 수 7

한 줄 요약

이 논문은 실수 스펙트럼 심벌을 가진 임의의 대각행렬 수열이 순열 행렬을 통해 재정렬되어 동일한 심벌을 가진 일반화된 국소 토플리츠(GLT) 수열을 형성할 수 있음을 증명한다. 주요 기여는 스펙트럼 심벌의 고유값 분포에 대한 등가성에서 GLT 수열을 유도할 수 있는 순열의 존재를 증명하는 것으로, 측도론적 수렴과 재정렬 기법을 통해 스펙트럼 심벌 이론과 GLT 대수적 구조를 연결한다.

ABSTRACT

The spectral symbols are useful tools to analyse the eigenvalue distribution when dealing with high dimensional linear systems. Given a matrix sequence with an asymptotic symbol, the last one depends only on the spectra of the individual matrices, seen as a not ordered set. We can then focus only on diagonal sequences and sort the eigenvalues so that they become an approximation of the symbol sampling. We show that this is linked to the concept of diagonal Generalized Locally Toeplitz (GLT) sequences, and in particular we prove that any diagonal sequence with a real valued symbol can be permuted in order to obtain a diagonal GLT sequence with the same symbol.

연구 동기 및 목표

• 고차원 선형 시스템의 맥락에서 대각행렬 수열과 그 스펙트럼 심벌 간의 관계를 조사하는 것.
• 주어진 스펙트럼 심벌을 가진 대각수열이 동일한 심벌을 가진 일반화된 국소 토플리츠(GLT) 수열로 재정렬될 수 있는지 결정하는 것.
• 고유값 재정렬 및 측도론적 분석을 통해 스펙트럼 심벌 수렴과 GLT 수열의 구조 간의 연결 고리를 설정하는 것.
• 스펙트럼 심벌을 가진 행렬 수열의 공간이 순열과 수렴에 대해 GLT 대수적 닫힘과 호환됨을 보여주는 것.

제안 방법

• 논문은 [0,1] 구간에서 고유값의 조각별 선형 보간을 사용하여 측도 수렴을 정의하며, 이를 $\{D_n\}_n \rightharpoonup k(x)$로 표기한다.
• 만약 대각수열이 함수 $k(x)$로 측도 수렴한다면, 이는 $k(x)$를 스펙트럼 심벌로 가지며, 이는 함수형의 약한 수렴을 통한 스펙트럼 심벌 정의를 사용하여 증명된다.
• 저자는 고유값의 감소 순서 재정렬 개념을 도입하고, 이를 통해 순서가 정렬된 고유값을 가진 행렬 수열을 구성함으로써 측도론적 수렴 결과를 적용할 수 있도록 한다.
• 그들은 스펙트럼 심벌 수렴과 GLT 수렴 간의 관계를 설정하기 위해 근사 클래스 수열(a.c.s.) 수렴을 활용하며, GLT 수열이 $\mathbb{C}$-대수로서 a.c.s. 수렴에 대해 닫혀 있음을 이용한다.
• 증명은 스펙트럼 심벌을 근사하는 연속 함수 수열을 구성하고, 이에 대응하는 대각행렬을 사용하여 동일한 심벌을 가진 GLT 수열을 구축하는 데 기반한다.
• 순열 행렬을 사용하여 고유값을 재정렬함으로써, 결과 수열이 GLT 심벌 조건을 만족하도록 하며, 최종 결과는 GLT 공간의 대수적 닫힘을 통해 유도된다.

실험 결과

연구 질문

• RQ1 실수 스펙트럼 심벌을 가진 임의의 대각행렬 수열이 동일한 심벌을 가진 일반화된 국소 토플리츠(GLT) 수열로 순열을 통해 재정렬될 수 있는가?
• RQ2 고유값의 순서는 보간된 함수가 스펙트럼 심벌로 수렴하는 데 어떤 영향을 미치는가?
• RQ3 대각행렬 맥락에서 스펙트럼 심벌 수렴과 GLT 수열의 구조 간의 관계는 무엇인가?
• RQ4 대각수열에 스펙트럼 심벌이 존재한다는 것은 그 수열을 GLT 수열로 만들 수 있는 순열이 존재함을 의미하는가?

주요 결과

• 실수 스펙트럼 심벌 $f(x)$를 가진 임의의 대각행렬 수열 $\{D_n\}_n$은 순열 행렬 $P_n$을 사용하여 재정렬할 수 있으며, 이 경우 $\{P_n D_n P_n^T\}_n \sim_{GLT} f(x) \otimes 1$가 된다.
• 스펙트럼 심벌은 고유값의 멀티세트에만 의존하므로 순서는 영향을 주지 않으며, 따라서 순열은 스펙트럼 심벌을 유지한다.
• 만약 대각수열이 함수 $k(x)$로 측도 수렴한다면, 이는 $k(x)$를 스펙트럼 심벌로 가지며, 측도 수렴과 스펙트럼 심벌 수렴 간의 연결 고리를 확립한다.
• 고유값의 감소 순서 재정렬을 통해 측도론적 수렴 결과를 적용할 수 있으며, 이는 스펙트럼 심벌을 가진 대각수열에서 GLT 수열을 구성하는 데 유리하다.
• GLT 공간은 a.c.s. 수렴에 대해 닫혀 있으며, 이 성질을 사용하여 동일한 스펙트럼 심벌을 가진 두 수열 간의 차이는 GLT 의미에서 점차적으로 0이 된다는 것을 보여준다.
• 최종 결과는 GLT 공간의 대수적 닫힘을 통해 도출되며, 이는 재정렬된 수열이 심벌 $f(x) \otimes 1$을 상속받음을 보여준다.