联合谱半径

✍ dations ◷ 2025-04-26 17:19:31 #控制理论,线性代数

联合谱半径(joint spectral radius)为一数学名词,是将传统上针对矩阵的谱半径表示法,扩展到矩阵集合的表示法。近年来此表示法已应用在许多工程领域中,也是目前研究的热门主题。

矩阵集合的联合谱半径是在集合中矩阵乘积的最大渐近成长率。针对有限集合(或是更广义的紧凑集合) M = { A 1 , , A m } R n × n , {\displaystyle {\mathcal {M}}=\{A_{1},\dots ,A_{m}\}\subset \mathbb {R} ^{n\times n},} ,其联合谱半径定义如下:

可以证明其极限存在,而且其数值不会随所选择的矩阵范数种类而改变(这对任何矩阵范数都成立,不过若矩阵范数有次可乘性sub-multiplicative,更容易证明)。联合谱半径的概念是在1960年由麻省理工学院的两位数学家吉安-卡洛·罗塔及威廉·吉尔伯特·斯特朗发明,不过在英格丽·多贝西及杰佛瑞·拉加里亚斯(英语:Jeffrey Lagarias)的研究后,才开始受到注意,他们证明了联合谱半径可以用来描述特定小波函数的光滑性。之后就提出了许多相关的应用。目前已知联合谱半径的量值求值,不论是要计算或只是近似,在运算复杂度上都是NP困难,就算集合 M {\displaystyle {\mathcal {M}}} 中只有二个矩阵,其中所有非零元素都相同也是一样。而且, ρ 1 ? {\displaystyle \rho \leq 1?} 这个问题是不可判定问题。不过,近年来已对此问题有多一些的了解,似乎在实务上,可以计算联合谱半径到令人满意的精度,而且对于一些工程及数学问题,可以有一些有趣的洞察。

虽然在联合谱半径的可计算性理论上有一些负面的结果,不过已有提出一些在实务上可以良好运作的方法。目前已找到算法,可以达到任意的精度,所需要的时间也是事先可以计算得知。这类的算法可以视为是近似向量范数(称为极值范数extremal norm)中的单位球。一般会将算法分为两类:第一类是多义范数法(polytope norm method),透过计算点的长轨迹来建构极值范数,此方法的好处是在最理想的情形下,此方法可以找到联合谱半径的精确值,而且可以证明这个值就是正确值。

第二种方式是用“近代最佳化技巧”(modern optimization techniques)来近似极值范数,例如椭圆范数近似(ellipsoid norm approximation)、半正定规划、多项式平方和(英语:Polynomial SOS)、圆锥规划(英语:Conic optimization)。这些方法的好处是容易实现,而且实务上此方式所产生的联合谱半径,一般来说是在最理想的范围内。

有关联合谱半径的可计算性,存在以下的猜想:

“针对任何有限个的矩阵集合 M R n × n , {\displaystyle {\mathcal {M}}\subset \mathbb {R} ^{n\times n},} ,存在一个矩阵乘积 A 1 A t {\displaystyle A_{1}\dots A_{t}} 使得

上式中的“ ρ ( A 1 A t ) {\displaystyle \rho (A_{1}\dots A_{t})} ”是指矩阵 A 1 A t {\displaystyle A_{1}\dots A_{t}} 在传统意义下的谱半径。

此猜想在1995年提出,在2003年证否。在参考资料中的反例用到了进阶的量度理论(measure-theoretical)概念。之后,也找到了许多的反例,包括只用到简单组合数学性质的矩阵以及另一个用到动态系统概念的反例。近来也提出了一显式的反例。许多相关的问题还没有证明,例如对于成对的逻辑矩阵,此猜想是否成立。

联合谱半径的出现,是为了作为离散时间切换动力系统的稳定性条件。而以下方程定义的系统

为李雅普诺夫稳定性若而唯若 ρ ( M ) < 1. {\displaystyle \rho ({\mathcal {M}})<1.}

因为英格丽·多贝西及杰佛瑞·拉加里亚斯将联合谱半径应用在小波函数的连续性上,因此联合谱半径受到许多人的注意。之后的应用包括有数论、信息理论、自治代理(英语:autonomous agent)共识、字的组合数学(英语:combinatorics on words)等。

联合谱半径是将一个矩阵的谱半径扩展到矩阵集合。不过也有其他可以适用于多个矩阵的量化表示法:

相关

  • 发冷发冷,是人体在发烧期间感到寒冷的感觉。在人体体温因发烧而上升的过程中,在体温停止增加前,会使患者感觉到寒冷,同时身体为了增加体温,会产生发抖的现象,称之为冷颤。通常会产生发
  • 氮元素2s2 2p32, 5蒸气压第一:1402.3 kJ·mol−1 第二:2856 kJ·mol−1 第三:4578.1 kJ·mol−1 (主条目:氮的同位素氮是一个化学元素,化学符号为N,原子序为7,在丹尼尔·卢瑟福在1772
  • J01CA·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码J01(抗菌药)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 自雇人士自雇者,或称自雇人士,其工作的雇主就是自己。此类劳务提供者承担商业风险,不受劳动法律所保障,不能享受员工福利、有薪公众假期、工伤赔偿、退休金等,有些则加入行会。自雇者要申
  • SnS硫化亚锡是一种无机化合物,化学式为SnS。它出现在罕见的硫锡矿中。硫化亚锡可由单质直接化合得到,为灰色晶体。如果将硫化氢通入Sn2+(如氯化亚锡)溶液中,可以得到暗棕色沉淀,为水
  • 台湾铁道饭店台湾铁道饭店(日语:台湾鉄道ホテル/たいわんてつどうほてる,英语:Railway Hotel, Formosa, Japan)是台湾日治时期的一座洋式旅馆,当时位于台北市表町二丁目七番地(今台北市中正区台
  • 周宁话周宁话,旧称周墩话,是汉藏语系汉语族闽语支闽东语的一种方言,通行于福建省宁德市的周宁县。在语言学中,周宁话属闽东语福宁片(北片),以狮城镇的口音为标准口音。周宁话虽属闽东语的
  • 四氧化三铅四氧化三铅,化学式Pb3O4,可视为PbO2·2PbO之复合物,俗称铅丹。常温时为鲜红色粉末。与油类相调和后,涂在铁器上,可防止生锈。制备:由一氧化铅在空气中加热至500℃制得:产物中含有杂
  • 闭央圆唇元音表内成对的元音分别为不圆唇/圆唇。闭央圆唇元音(Ʉ)是母音的一种,使用于许多口语语言之中,其国际音标的符号为 ⟨ʉ⟩,另一种符号为 ⟨ü/ue⟩,相对应的X-SAMPA符号则为 ⟨}⟩。在
  • 鲍里斯·费奥多罗维奇·戈东诺夫鲍里斯·费奥多罗维奇·戈东诺夫(Борис Федорович Годунов,1552年-1605年4月23日),是1598年-1605年在位的俄国沙皇。鞑靼贵族出身。曾经侍奉过伊凡雷帝。他