[論文レビュー] A note on the nonzero spectrum of irreducible matrices

Shmuel Friedland|arXiv (Cornell University)|Oct 19, 2009

Matrix Theory and Algorithms参考文献 9被引用数 4

ひとこと要約

本稿は、原始的非負行列の非ゼロ固有値スペクトルに関するBoyle-Handelman定理を、非可約非負行列へと拡張し、非ゼロ複素数の多重集合が非可約非負行列の非ゼロ固有値スペクトルとして実現可能であるための必要十分条件を、Frobenius多重集合であることと、トレース不等式 (1.1) および (1.3) を満たすことであると確立している。さらに、スペクトルデータにおけるMöbius逆変換を用いて、Kim-Ormes-Roush定理を整数成分の非可約行列へと一般化している。

ABSTRACT

In this note we extend the necessary and sufficient conditions of Boyle-Handleman 1991 and Kim-Ormes-Roush 2000 for a nonzero eigenvalue multiset of primitive matrices over $\R_+$ and $\Z_+$, respectively, to irreducible matrices.

研究の動機と目的

• 原始的非負行列の非ゼロ固有値スペクトルに関するBoyle-Handelmanの必要十分条件を、より広い非可約非負行列のクラスへと一般化すること。
• 非可約非負行列によって実現可能な非ゼロ固有値多重集合の特徴付けを、Frobenius多重集合条件とトレース不等式を用いて行うこと。
• 整数成分非負行列に関するKim-Ormes-Roush定理を、非可約の場合にまで拡張すること。この際、スペクトルデータにおけるMöbius逆変換を組み込む。
• 非可約行列のスペクトル構造、特にスペクトル半径円周上の固有値の巡回的構造が、特定の対称性および正の制約を満たす必要があることを証明すること。

提案手法

• 生成関数のアプローチを用い、$ f_{\bar{\Lambda}}(z) = \sum_{i=1}^n \frac{1}{1 - \lambda_i z} $ の系列を用いてスペクトル半径および対称性の性質を解析する。
• すべての $ k $ に対して $ s_k(\Lambda) = \mathrm{tr}(A^k) \geq 0 $ であるという事実を用い、非負性および非可約性の制約を課すために $ s_{km}(\Lambda) \geq \frac{1}{n^{k-1}} (s_m(\Lambda))^k $ の条件を適用する。
• サイズ $ pM \times pM $ のブロックコンパニオン行列 $ A $ を構成する。ここで $ B \in \mathbb{R}_+^{M \times M} $ は原始的でスペクトルが $ \Lambda_1 $ である。$ A $ は $ p $-シフトされたブロックと、左下隅に $ B $ を持つ構造を持つ。
• Frobenius定理を適用し、非可約非負行列が $ \zeta \Lambda = \Lambda $ を満たすことを保証する。ここで $ \zeta = e^{2\pi i / p} $ であり、$ p = \#\Lambda(\rho(\Lambda)) $ である。
• スペクトルトレースと関連する有向グラフにおける最小ループ数を結びつけるために、$ t_k(\Lambda) = \sum_{d|k} \mu(k/d) s_d(\Lambda) \geq 0 $ によるMöbius逆変換を用いる。これにより整数成分行列の特徴付けが可能になる。
• 一般の場合、$ \Lambda(\rho(\Lambda)) = \{ \rho(\Lambda), \zeta\rho(\Lambda), \dots, \zeta^{p-1}\rho(\Lambda) \} $ を、写像 $ z \mapsto z^p $ を用いて原始的ケースに還元する。この写像により $ \Lambda $ は $ p $ 個のFrobenius集合 $ \Lambda_1 $ の和集合に写される。

実験結果

リサーチクエスチョン

• RQ1 非可約非負行列の非ゼロ固有値スペクトルを特徴付ける条件は何か。原始的行列に対するBoyle-Handelman結果を一般化して得られるか。
• RQ2 整数成分非負行列に関するKim-Ormes-Roush定理を非可約の場合にまで拡張するにはどうすればよいか。
• RQ3 非ゼロ複素数の多重集合が非可約非負行列によって実現可能であるためには、どのようなスペクトル的対称性とトレース条件を満たす必要があるか。
• RQ4 スペクトル半径円周上の固有値の巡回的構造は、非可約設定下での実現可能性にどのように影響を与えるか。
• RQ5 Möbius逆変換は、スペクトルデータを用いた整数成分非可約行列の特徴付けにおいて、どのような役割を果たすか。

主な発見

• 非ゼロ複素数の多重集合 $ \Lambda \subset \mathbb{C} \setminus \{0\} $ が非可約非負行列の非ゼロ固有値スペクトルとして実現可能であるための必要十分条件は、それがFrobenius多重集合であることと、トレース不等式 (1.1) および (1.3) を満たすことである。
• スペクトル半径 $ \rho(\Lambda) $ は $ \Lambda $ に属し、そのスペクトル円周上の固有値は、$ \zeta = e^{2\pi i / p} $ を用いた乗算に関してcyclotomic軌道をなしており、等間隔に配置されている。
• 整数成分の非可約行列に対しては、スペクトル多項式 $ \prod_{\lambda \in \Lambda} (z - \lambda) $ の係数が整数でなければならない。さらに、Möbius変換されたトレース $ t_k(\Lambda) = \sum_{d|k} \mu(k/d) s_d(\Lambda) $ は非負整数でなければならない。
• 非ゼロ固有値多重集合 $ \Lambda $ を実現する非可約行列の構成は、サイズ $ pM \times pM $ のブロックコンパニオン行列 $ A $ を用いる。ここで $ B \in \mathbb{R}_+^{M \times M} $ は原始的でスペクトルが $ \Lambda_1 $ である。$ A $ は $ B $ を左下ブロックに持ち、$ p $-サイクル構造を持つ。
• トレース正定性を強化する条件 $ s_{km}(\Lambda) \geq \frac{1}{n^{k-1}} (s_m(\Lambda))^k $ は、Frobenius構造と組み合わせることで、非可約の場合に必要かつ十分である。
• もし $ \Lambda(\rho(\Lambda)) $ のサイズが $ p > 1 $ であれば、写像 $ z \mapsto z^p $ を用いて $ \Lambda $ は $ p $ 個のFrobenius集合 $ \Lambda_1 $ の和集合に写され、この $ \Lambda_1 $ はBoyle-Handelman条件を満たすため、原始的行列に対応する。