[論文レビュー] Spectrum of a Feinberg-Zee Random Hopping Matrix

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

Random Matrices and Applications参考文献 13被引用数 4

ひとこと要約

本稿は、i.i.d. 要素をもつFeinberg-Zeeランダムヘッジ行列が、$ \sigma < 1 $ の場合に、$ \sigma $ によって生じる穴 $ 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 $ を明示的に特徴づけられ、スペクトルが単位円板から $ 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 $ よりも著しく大きいことから、下界が鋭くないことが示された。