[论文解读] 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的工具。
• 考察特殊矩阵类（如上三角化矩阵、可解李代数，以及具有有理或二进制元素的矩阵）的JSR计算已知结果。
• 提出对有效有限性猜想的反例，表明使谱半径最大化的乘积长度可任意大。
• 评估Blondel与Jungers定理的含义，该定理将所有有理矩阵的有限性性质与二进制及符号矩阵的有限性性质相联系。

实验结果

研究问题

• RQ1 矩阵集的谱半径有哪些不同的推广形式，它们之间有何关联？
• RQ2 在何种条件下可有效计算联合谱半径，其计算存在哪些理论障碍？
• RQ3 有限性性质对所有有限有理矩阵集是否成立，这对算法可判定性有何含义？
• RQ4 能否通过极值范数计算联合谱半径，哪些矩阵类允许此类范数？
• RQ5 有效有限性猜想的不成立对JSR计算复杂性有何重要意义？

主要发现

• 对于有界或有限矩阵族，联合谱半径是良定义且唯一的，尽管存在多种推广形式。
• 有效有限性猜想为假：使谱半径最大化的乘积（s.m.p.）长度可任意大，即使对于有理矩阵亦然。
• 有限性性质对可同时上三角化的矩阵、可解李代数，或存在极值分段解析或代数范数的矩阵成立。
• 对于非负有理矩阵，有限性性质成立当且仅当其对所有二元矩阵对成立，依据Blondel与Jungers的定理。
• 所有符号矩阵对（元素取值于{−1,0,+1}）均满足有限性性质的猜想仍未被证明，但2×2矩阵的结果提供了支持。
• 联合谱半径在一般情况下并非算法可判定，即使对于有理矩阵亦然；然而，在有限性性质成立时，其计算变为可判定。