[논문 리뷰] Spectrum of a Feinberg-Zee Random Hopping Matrix

Simon N. Chandler‐Wilde, E. B. Davies|arXiv (Cornell University)|2011. 10. 04.

Random Matrices and Applications참고 문헌 13인용 수 4

한 줄 요약

이 논문은 i.i.d. 성분을 가진 Feinberg-Zee 랜덤 힙핑 행렬의 스펙트럼이 거의 확실히 단위 원판의 일부를 포함함을 새롭게 증명한다. 이는 $ \sigma < 1 $ 인 경우 발생하는 구멍 $ H_\sigma $ 안에 들어가지 않는 영역을 포함한다. 분석은 연산자 항등식, 주기적 수열에서의 스펙트럼 계산, 리아풀로프 지수의 경계를 결합하여 $ \sigma \in (0,1) $ 에서 거의 확실히 $ \{ \lambda : |\lambda| < 1 \} \setminus H_\sigma $ 를 포함함을 입증한다. 이는 이전 결과의 확장으로서 $ \sigma = 1 $ 일 때 전체 단위 원판이 포함된 바 있다.

ABSTRACT

This paper provides a new proof of a theorem of Chandler-Wilde, Chonchaiya and Lindner that the spectra of a certain class of infinite, random, tridiagonal matrices contain the unit disc almost surely. It also obtains an analogous result for a more general class of random matrices whose spectra contain a hole around the origin. The presence of the hole forces substantial changes to the analysis.

연구 동기 및 목표

• Feinberg-Zee 랜덤 힙핑 행렬의 스펙트럼이 $ \sigma = 1 $ 일 때 거의 확실히 전체 단위 원판을 포함한다는 결과를 재유도하고 확장한다.
• 스펙트럼이 $ \sigma < 1 $ 일 때 원점 부근에 구멍 $ H_\sigma $ 가 나타나는 이유를 분석한다.
• 비확률적 기법을 사용하여, 주기 수열 기반의 의사 에르고딕 수열에 대해 스펙트럼이 $ H_\sigma $ 를 제외한 단위 원판의 일부를 포함함을 입증한다.
• 유한 행렬과 무한 행렬의 스펙트럼 간의 관계를 규명하여, 유한 행렬의 고유값이 무한 행렬 스펙트럼의 스케일링된 형태 내에 있음을 보인다.

제안 방법

• 이전 연구에서 유도된 연산자 항등식을 사용하여 $ \sigma = 1 $ 인 경우 스펙트럼이 거의 확실히 전체 단위 원판을 포함함을 재유도한다.
• 변형 이론을 적용하여 $ \mathrm{Spec}(A_c) \subseteq \{ \lambda : 1 - \sigma \leq |\lambda| \leq 1 + \sigma \} $ 를 증명한다.
• 수치 범위에 대한 경계를 사용하여 포함관계 $ \mathrm{Spec}(A_c) \subseteq \{ x + iy : |x| + |y| \leq \sqrt{2(1 + \sigma^2)} \} $ 를 유도한다.
• 정수 집합 $ \mathbb{Z}^+ $ 와 $ \mathbb{Z}^- $ 에서 주기적 연산자에 대한 결과를 결합하고 주기 수열의 스펙트럼 계산을 통해 주기가 매우 큰 수열을 다룬다.
• 전이 행렬의 리아풀로프 지수 경계를 사용하여 $ \sigma \in (0,1) $ 에서 주요 결과를 두 번째로 증명한다.
• 한계 연산자 이론과 Lindner 및 Roch의 결과를 적용하여 반무한 행렬의 경우를 분석하고, $ \sigma \in (0,1) $ 에서는 구멍이 존재하지 않음을 보인다.

실험 결과

연구 질문

• RQ1 스펙트럼이 $ \sigma < 1 $ 일 때 원점 부근에 구멍이 존재하는 바에도 불구하고 Feinberg-Zee 랜덤 힙핑 행렬의 스펙트럼이 단위 원판을 포함하는가?
• RQ2 스펙트럼의 구멍 $ H_\sigma $ 는 명시적으로 기술할 수 있으며, 스펙트럼이 이 구멍을 제외한 단위 원판을 포함하는가?
• RQ3 유한 행렬과 반무한 행렬의 스펙트럼은 $ \sigma < 1 $ 인 경우 무한 행렬 스펙트럼과 어떻게 관련이 있는가?
• RQ4 비확률적 방법, 예를 들어 의사 에르고딕 수열 기반의 방법을 사용하여 거의 확실한 스펙트럼을 기술할 수 있는가?
• RQ5 리아풀로프 지수는 비자기행렬 랜덤 삼중대각 행렬의 스펙트럼 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 $ \sigma \in (0,1) $ 에 대해 무한 행렬 $ A_c $ 의 스펙트럼은 거의 확실히 $ \{ \lambda \in \mathbb{C} : |\lambda| < 1 \} \setminus H_\sigma $ 를 포함한다. 여기서 $ H_\sigma $ 는 두 개의 타원 영역의 교차이다.
• 변형 이론을 통해 스펙트럼이 안장 영역 $ \{ \lambda : 1 - \sigma \leq |\lambda| \leq 1 + \sigma \} $ 내에 포함됨을 보였다.
• 수치 범위에서 유도된 $ \ell^1 $-노름 볼 $ \{ x + iy : |x| + |y| \leq \sqrt{2(1 + \sigma^2)} \} $ 에 의해 스펙트럼이 또한 경계됨을 보였다.
• $ \sigma = 1 $ 일 때 스펙트럼은 거의 확실히 전체 단위 원판을 포함하며, 이는 이전 결과와 일치한다.
• 유한 행렬 $ A_c^{(N)} $ 과 주기적 행렬 $ A_c^{(N,\text{per})} $ 의 스펙트럼은 각각 $ \sqrt{\sigma} \pi_{\infty} $ 와 $ \pi_{\infty,\sigma} $ 내에 포함되며, 고유값은 $ |x| + |y| \leq 2\sqrt{\sigma} $ 과 $ |x| + |y| \leq \sqrt{2(1 + \sigma^2)} $ 를 만족한다.
• 수치적 플롯은 $ A_c^{(N,\text{per})} $ 의 스펙트럼에 반지름 약 0.6 인 구멍이 있음을 보여주며, 이는 $ \sigma = 0.9025 $ 일 때 이론적 하한값인 $ 1 - \sigma \approx 0.0975 $ 보다 훨씬 크며, 이는 경계가 날카롭지 않음을 시사한다.