[論文レビュー] RANK-ONE APPROXIMATION OF JOINT SPECTRAL RADIUS OF FINITE MATRIX FAMILY ∗

Jun Liu, Mingqing Xiao|arXiv (Cornell University)|Sep 7, 2011

Matrix Theory and Algorithms参考文献 35被引用数 1

ひとこと要約

本稿では、特異値分解（SVD）を用いた有限行列族の共同スペクトル半径を計算するためのランク1近似フレームワークを提案する。ランク1行列族に対して明示的な公式を確立し、一般行列に対しては低ランク近似を通じて共同スペクトル半径の新しい特徴付けを導出する。有名な例の数値シミュレーションにより検証されている。

ABSTRACT

In this paper, we show that any finite set of rank-one matrices satisfies the finite- ness property under the linear programming framework. An explicit formula for the computation of joint/generalized spectral radius for this class of matrix family is derived. We further study finite sets of general matrices through constructing rank-one approximations based on singular value decom- position (SVD) and a new characterization of joint/generalized spectral radius is obtained. Several well-known examples as well as their numerical simulations are provided to illustrate the theoretical outcomes.

研究の動機と目的

• 線形計画法フレームワーク下での有限ランク1行列集合に対する有限性性質の確立を目的とする。
• ランク1行列族の共同／一般化スペクトル半径に対する明示的な解析的公式の導出を目的とする。
• 一般行列族への拡張を図るため、SVDを用いたランク1近似を構築することを目的とする。
• 低ランク近似技術に基づく共同スペクトル半径の新しい特徴付けを提供することを目的とする。

提案手法

• 一般行列のランク1近似を構築するために特異値分解（SVD）を用いる。
• ランク1行列族に対する共同スペクトル半径の計算を線形計画問題として定式化する。
• 有限時間安定性性質を用いて、ランク1行列集合の有限性条件を証明する。
• 行列族の特異値に基づいて、共同スペクトル半径の明示的閉形式表現を導出する。
• ランク1近似誤差を集約することで、一般化スペクトル半径の特徴付けを構築する。
• ベンチマークとしての行列族における数値シミュレーションを通じて理論的結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 線形計画法フレームワーク下で、任意の有限ランク1行列集合は有限性性質を満たすか？
• RQ2 有限ランク1行列族の共同スペクトル半径に対して明示的な公式を導出可能か？
• RQ3 SVDに基づくランク1構成を用いることで、一般行列族の共同スペクトル半径はどの程度正確に近似可能か？
• RQ4 ランク1近似アプローチから、共同スペクトル半径の新たな特徴付けはどのようなものか？
• RQ5 既知の行列族の数値シミュレーションは、理論的発見をどの程度支持するか？

主な発見

• すべての有限ランク1行列集合が線形計画法フレームワーク下で有限性性質を満たす。
• ランク1行列族に対して、共同スペクトル半径の明示的閉形式公式が導出された。
• 一般行列族の共同スペクトル半径は、SVDに基づくランク1分解を用いて効果的に近似可能である。
• 低ランク近似技術を用いて、共同スペクトル半径の新しい理論的特徴付けが確立された。
• 有名な行列族の数値シミュレーションにより、提案手法の正確性と適用可能性が確認された。
• 従来の共同スペクトル半径計算手法に対して、計算的に扱いやすく、解析的に厳密な代替手法が提供された。