[论文解读] The finite-step realizability of the joint spectral radius of a pair of $d imes d$ matrices one of which being rank-one

Xiongping Dai|arXiv (Cornell University)|Jun 5, 2011

graph theory and CDMA systems被引用 5

一句话总结

该论文证明了任意一对实 $d \times d$ 矩阵——其中一个是秩一矩阵——的联合谱半径在有限时间内达到其上确界，从而确立了谱有限性性质。证明依赖于对秩一扰动的结构分析以及矩阵乘积下的谱行为，表明对于此类矩阵对，稳定性是可算法判定的，且无需使用多面体范数或有理矩阵假设。

ABSTRACT

We study the finite-step realizability of the joint/generalized spectral radius of a pair of real $d imes d$ matrices, one of which has rank 1. Then we prove that there always exists a finite-length word for which there holds the spectral finiteness property for the set of matrices under consideration. This implies that stability is algorithmically decidable in our case.

研究动机与目标

• 建立一对 $d \times d$ 实矩阵（其中一矩阵为秩一）的谱有限性性质。
• 确定联合谱半径是否可作为该对矩阵有限个乘积的谱半径被实现。
• 提供一种无需依赖多面体范数或有理矩阵假设的构造性证明。
• 表明此类矩阵对所关联的切换线性系统的指数稳定性是可算法判定的。

提出的方法

• 分析有限长度词 $(i_1, \dots, i_\ell) \in \{1,2\}^\ell$ 的乘积 $\mathrm{S}_{i_1} \cdots \mathrm{S}_{i_\ell}$ 的谱半径。
• 利用其中一个矩阵为秩一的性质，简化矩阵乘积的结构并分析其谱半径。
• 应用 Berger-Wang 公式，将广义谱半径 $\rho(\boldsymbol{S})$ 与联合谱半径 $\hat{\rho}(\boldsymbol{S})$ 等同。
• 通过在有限长度乘积上进行连续性与最大化分析，证明上确界在某个有限 $\ell$ 处被取到。
• 证明最优乘积长度有界且可计算，避免无限搜索。
• 避免使用多面体范数，转而依赖对秩一扰动的直接谱分析。

实验结果

研究问题

• RQ1 对于一对 $d \times d$ 矩阵（其中一矩阵为秩一），其广义谱半径是否可作为该对矩阵有限个乘积的谱半径被实现？
• RQ2 此类矩阵对的联合谱半径是否可在有限步内实现，从而确保稳定性的算法可判定性？
• RQ3 即使矩阵不对称、不可交换或非有理数，谱有限性性质是否仍然成立？
• RQ4 秩一矩阵的结构如何约束矩阵乘积中谱半径的增长？
• RQ5 是否可在不依赖多面体范数或有理数假设的前提下证明有限步实现性？

主要发现

• 对于任意一对 $d \times d$ 实矩阵（其中一矩阵为秩一），谱有限性性质均成立。
• 存在一个有限长度的词 $(i_1^*, \dots, i_\ell^*)$，使得 $\sqrt[\ell]{\rho(\mathrm{S}_{i_1^*} \cdots \mathrm{S}_{i_\ell^*})} = \sup_{n \geq 1} \left\{ \max_{(i_1,\dots,i_n) \in \{1,2\}^n} \sqrt[n]{\rho(\mathrm{S}_{i_1} \cdots \mathrm{S}_{i_n})} \right\}$，从而证明了有限步实现性。
• 该结果无需矩阵对具有对称性、可交换性或有理数性质。
• 证明未使用多面体范数，从而与先前方法形成区别。
• 此类矩阵对的联合谱半径是可算法判定的。
• 最优乘积长度可能随参数变化而增长（例如，当 $\varepsilon \to 0$ 时 $\ell_\varepsilon \to \infty$），但对于任意固定的 $\varepsilon > 0$，其值仍为有限。