[論文レビュー] The spectra of random abelian G-circulant matrices

Mark W. Meckes|arXiv (Cornell University)|Sep 26, 2011

Random Matrices and Applications参考文献 14被引用数 3

ひとこと要約

本稿は、有限アーベル群 $G$ におけるランダムアーベル $G$-巡回行列の漸近的スペクトル分布を調査する。弱い条件下で、経験的スペクトル測度は決定論的極限に収束する。群に位数 2 の元が少ない場合には複素または実ガウス分布に、それ以外の場合は2つのガウス分布の混合に収束する。これは、i.i.d. ランダム行列における円周分布および半円分布の一般化である。

ABSTRACT

This paper studies the asymptotic behavior of eigenvalues of random abelian G-circulant matrices, that is, matrices whose structure is related to a finite abelian group G in a way that naturally generalizes the relationship between circulant matrices and cyclic groups. It is shown that, under mild conditions, when the size of the group G goes to infinity, the spectral measures of such random matrices approach a deterministic limit. Depending on some aspects of the structure of the groups, whether the matrices are constrained to be Hermitian, and a few details of the distributions of the matrix entries, the limit measure is either a (complex or real) Gaussian distribution or a mixture of two Gaussian distributions.

研究の動機と目的

• 有限アーベル群 $G$ のサイズが大きくなる際、$G$-巡回行列の固有値の漸近的挙動を理解すること。
• 経験的スペクトル分布が決定論的極限に収束する条件を特定すること。
• 群構造を持つ $G$-巡回行列の文脈において、円周分布および半円分布の法則を一般化すること。
• 群構造、特に位数 2 の元の数が、極限スペクトル分布を決定する役割を明確にすること。
• $G$-巡回行列のスペクトル分布と、有限アーベル群上のランダムフーリエ級数の分布との関係を確立すること。

提案手法

• 有限アーベル群上のフーリエ解析、特に $\ell^2(G)$ および $\ell^2(\widehat{G})$ 上のフーリエ変換を用い、畳み込み作用素による $G$-巡回行列の対角化を行う。
• スペクトル定理を適用し、固有値を $\chi \in \widehat{G}$ に対して $\widehat{f}(\chi)$ と表現する。ここで $f$ は行列要素を定義する。
• 特性関数および共分散構造を用いて、固有値 $\lambda_\chi = \widehat{f}(\chi)$ の同時分布を分析する。特にガウス分布または i.i.d. 要素の仮定下で。
• 測度濃縮技術、特にポアンカーリン・タルガランド型不等式を用いて、スペクトル測度のほとんど確実な収束を証明する。
• 有限アーベル群の分類を用い、$G$ を 2-プライム成分と奇数位数成分の積に分解し、$p_2 = \#\{g \in G : g = g^{-1}\}/|G|$ に基づく場合分けを行う。
• 固有値の共分散行列の漸近的挙動を分析することで、極限スペクトル測度を導出する。$p_2 \to 0$ または $p_2 > 0$ に応じて異なる結果が得られる。

実験結果

リサーチクエスチョン

• RQ1 群 $G$ のサイズ $|G| \to \infty$ のとき、ランダム $G$-巡回行列の経験的スペクトル分布が決定論的極限に収束する条件は何か？
• RQ2 群 $G$ の位数 2 の元の数が、ランダム $G$-巡回行列の極限スペクトル分布に与える影響は何か？
• RQ3 行列要素が i.i.d. 複素または実ガウス変数の場合、極限スペクトル測度は何か？また、この分布はヒルベルト制約にどのように依存するか？
• RQ4 $G$-巡回行列のスペクトル分布は、$G$ 上のランダムフーリエ級数として理解できるか？この視点は、極限法則の導出にどのように寄与するか？
• RQ5 群 $G$ が非アーベルの場合、または要素に重尾を持つ場合、極限スペクトル測度はどのように変化するか？（今後の研究課題として残されている。）

主な発見

• 群 $|G| \to \infty$ かつ位数 2 の元の数が無視できる場合、非エルミート行列要素では経験的スペクトル測度は複素ガウス分布に収束し、エルミートの場合には実ガウス分布に収束する。
• すべての非単位元が位数 2 である場合、極限スペクトル測度は再びガウス分布となり、ウォルシュ＝ハダマール変換の場合と整合的である。
• $p_2 > 0$ で $p_2$ が極限でも消えない場合、極限スペクトル測度は、要素分布およびエルミート制約に応じて2つの複素ガウス分布または2つの実ガウス分布の混合に変化する。
• 要素がサブガウス分布またはライアプノフ型条件を満たす限り、ポアンカーリンまたはタルガランド型濃縮不等式のもとで、スペクトル測度の収束はほとんど確実である。
• $|G^{(n)}|$ が指数関数的に増加する場合、すなわち $p_2^{(n)}$ が 0 から離れている場合、スペクトル測度はほとんど確実に収束する。これは 2-プライム成分における $m$ の増加を意味する。
• 固有値 $\lambda_\chi$ の共分散構造が極限法則を決定する。$\chi_1 \neq \chi_2$ かつ $\chi_1 \neq \overline{\chi_2}$ のとき、共分散は $1 + \alpha \mathbbm{1}_{\chi=\overline{\chi}}$ を成分とする対角行列に近づき、これがガウス極限を導く。