[論文レビュー] A note on the Joint Spectral Radius

Antonio Cicone|arXiv (Cornell University)|Jan 1, 2015

Matrix Theory and Algorithms参考文献 64被引用数 5

ひとこと要約

本稿は、連立スペクトル半径（JSR）およびそのさまざまな一般化について包括的な概説を提供し、定義、性質、理論的課題を分析している。JSRは動的システムの安定性解析において中心的役割を果たすが、その計算は一般に決定不能であり、特に有理数行列では顕著である。一方、有限性性質や極値ノルムは特定の状況下で計算の道筋を提供する。しかしながら、一般の有理数行列に関しては、主要な予想が未解決のまま残っている。

ABSTRACT

A brief summary on the properties of the so called Joint Spectral Radius

研究の動機と目的

• 有限行列集合に対するスペクトル半径の複数の一般化を体系的かつ明確に整理すること。
• 連立スペクトル半径の計算に関連する理論的および計算的課題を検討すること。
• 有限性性質が成立する条件を調査し、JSRの有効な計算を可能にする条件を明らかにすること。
• 有理数行列および符号行列に対するJSRの決定可能性を評価し、最近の予想と反例の文脈で検討すること。

提案手法

• 連立スペクトル半径、共通スペクトル半径、一般化スペクトル半径、行列族のスペクトル半径といった、スペクトル半径の異なる一般化を分類・比較すること。
• 可約性、非欠損性、有限性といった性質を通じて、行列族のJSR計算可能性に与える影響を分析すること。
• 極値ノルム（区分的解析的、代数的、多面体ノルム）を用いたJSRの計算または上限評価の手法を調査すること。
• 上三角化可能な行列、可解なリー代数、有理数または2進数成分を持つ行列といった特殊クラスに対するJSR計算の既知の結果を調査すること。
• 有効有限性予想の反例を提示し、スペクトルを最大化する積の長さが任意に大きくなる可能性を示すこと。
• ブランドルとジャンジャーズの定理が、すべての有理数行列に対して有限性性質が成り立つことと、2進数行列および符号行列に対しても成り立つことの意味を評価すること。

実験結果

リサーチクエスチョン

• RQ1 行列集合に対するスペクトル半径の異なる一般化は何か。それらは互いにどのように関係しているか。
• RQ2 どのような条件下で連立スペクトル半径を有効に計算できるのか。その計算に伴う理論的障壁は何か。
• RQ3 すべての有限個の有理数行列に対して有限性性質が成り立つか。これはアルゴリズム的決定可能性にどのような意味を持つのか。
• RQ4 極値ノルムを用いて連立スペクトル半径を計算できるか。どの行列クラスがこのようなノルムを有するのか。
• RQ5 有効有限性予想の誤りが、JSRの計算複雑度に与える意味は何か。

主な発見

• 有界または有限な行列族に対しては、連立スペクトル半径は一意に定義可能であり、複数の一般化にもかかわらず、その定義は明確である。
• 有効有限性予想は誤りである：スペクトルを最大化する積（s.m.p.）の長さは、有理数行列に対しても任意に大きくなる可能性がある。
• 同時に上三角化可能な行列、可解なリー代数、あるいは区分的解析的・代数的極値ノルムを有する行列に対しては、有限性性質が成り立つ。
• 非負の有理数行列に対しては、有限性性質が成り立つための必要十分条件は、すべての2×2の2進数行列のペアに対して有限性性質が成り立つことである（ブランドルとジャンジャーズの定理による）。
• すべての符号行列（成分が{−1,0,+1}に属する）のペアが有限性性質を満たすという予想は未解決であるが、2×2行列に対する結果から支持されている。
• 一般には、連立スペクトル半径はアルゴリズム的に決定不能であるが、有理数行列に対しても同様である。ただし、有限性性質が成り立つ場合には決定可能となる。