[论文解读] A note on the nonzero spectrum of irreducible matrices

Shmuel Friedland|arXiv (Cornell University)|Oct 19, 2009

Matrix Theory and Algorithms参考文献 9被引用 4

一句话总结

本文将Boyle-Handelman关于本原非负矩阵非零谱的定理推广至不可约非负矩阵，证明了一个非零复数多重集可实现为不可约非负矩阵的非零谱，当且仅当它是Frobenius多重集且满足迹不等式(1.1)与(1.3)。此外，通过在谱数据上使用Möbius反演，将Kim-Ormes-Roush定理推广至整数元素不可约矩阵。

ABSTRACT

In this note we extend the necessary and sufficient conditions of Boyle-Handleman 1991 and Kim-Ormes-Roush 2000 for a nonzero eigenvalue multiset of primitive matrices over $\R_+$ and $\Z_+$, respectively, to irreducible matrices.

研究动机与目标

• 将Boyle-Handelman关于本原非负矩阵非零谱的必要与充分条件推广至更广泛的不可约非负矩阵类。
• 通过Frobenius多重集条件与迹不等式，建立不可约非负矩阵可实现的非零特征值多重集的刻画。
• 通过在谱数据上引入Möbius反演，将Kim-Ormes-Roush关于整数元素非负矩阵的定理推广至不可约情形。
• 证明不可约矩阵的谱结构——特别是谱半径圆周上特征值的循环结构——必须满足特定的对称性与正性约束。

提出的方法

• 采用生成函数方法，通过级数 $ f_{\bar{\Lambda}}(z) = \sum_{i=1}^n \frac{1}{1 - \lambda_i z} $ 分析谱半径与对称性性质。
• 利用 $ s_k(\Lambda) = \mathrm{tr}(A^k) \geq 0 $ 对所有 $ k $ 成立的事实，并应用条件 $ s_{km}(\Lambda) \geq \frac{1}{n^{k-1}} (s_m(\Lambda))^k $ 以强制实现非负性与不可约性约束。
• 构造一个大小为 $ pM \times pM $ 的分块伴随矩阵 $ A $，其中 $ B \in \mathbb{R}_+^{M \times M} $ 是本原矩阵且具有谱 $ \Lambda_1 $，而 $ A $ 由 $ p $-移位块与位于左下角的 $ B $ 构成。
• 应用Frobenius定理，确保不可约非负矩阵的谱满足 $ \zeta \Lambda = \Lambda $，其中 $ \zeta = e^{2\pi i / p} $，且 $ p = \#\Lambda(\rho(\Lambda)) $。
• 通过 $ t_k(\Lambda) = \sum_{d|k} \mu(k/d) s_d(\Lambda) \geq 0 $ 的Möbius反演，将谱迹与关联有向图中最小环路计数联系起来，从而刻画整数元素矩阵。
• 通过映射 $ z \mapsto z^p $ 将一般情形 $ \Lambda(\rho(\Lambda)) = \{ \rho(\Lambda), \zeta\rho(\Lambda), \dots, \zeta^{p-1}\rho(\Lambda) \} $ 约化为本原情形，将 $ \Lambda $ 映射为 $ p $ 个Frobenius集 $ \Lambda_1 $ 的并集。

实验结果

研究问题

• RQ1 什么条件可刻画不可约非负矩阵的非零谱，从而推广Boyle-Handelman对本原矩阵的结果？
• RQ2 如何将Kim-Ormes-Roush关于整数元素非负矩阵的定理推广至不可约情形？
• RQ3 一个非零复数多重集必须满足何种谱对称性与迹条件，才能被不可约非负矩阵实现？
• RQ4 在不可约情形下，谱半径圆周上特征值的循环结构如何影响其可实现性？
• RQ5 Möbius反演在通过谱数据刻画整数元素不可约矩阵时起到何种作用？

主要发现

• 一个非零多重集 $ \Lambda \subset \mathbb{C} \setminus \{0\} $ 可实现为不可约非负矩阵的非零谱，当且仅当它是Frobenius多重集且满足迹不等式(1.1)与(1.3)。
• 谱半径 $ \rho(\Lambda) $ 必须属于 $ \Lambda $，且其在谱圆周上的特征值必须在圆周 $ |z| = \rho(\Lambda) $ 上等距分布，形成乘以 $ \zeta = e^{2\pi i / p} $ 的循环轨道。
• 对于整数元素不可约矩阵，谱多项式 $ \prod_{\lambda \in \Lambda} (z - \lambda) $ 的系数必须为整数，且Möbius变换迹 $ t_k(\Lambda) = \sum_{d|k} \mu(k/d) s_d(\Lambda) $ 必须为非负整数。
• 通过构造一个大小为 $ pM \times pM $ 的分块伴随矩阵 $ A $，其中 $ B \in \mathbb{R}_+^{M \times M} $ 是具有谱 $ \Lambda_1 $ 的本原矩阵，且 $ A $ 具有 $ p $-循环结构并以 $ B $ 置于左下块，从而实现 $ \Lambda $ 的不可约矩阵构造。
• 条件 $ s_{km}(\Lambda) \geq \frac{1}{n^{k-1}} (s_m(\Lambda))^k $，该条件强化了迹的正性，在与Frobenius结构结合时，是不可约情形下必要且充分的。
• 当 $ \Lambda(\rho(\Lambda)) $ 的大小 $ p > 1 $ 时，谱 $ \Lambda $ 通过映射 $ z \mapsto z^p $ 映射为 $ p $ 个Frobenius集 $ \Lambda_1 $ 的并集，该集合满足Boyle-Handelman条件，因此对应于一个本原矩阵。