[论文解读] A very short proof of Cauchy's interlace theorem for eigenvalues of Hermitian matrices

Steve Fisk|ArXiv.org|Feb 18, 2005

Matrix Theory and Algorithms参考文献 2被引用 39

一句话总结

本文通过利用两个多项式的所有实线性组合的实根性蕴含其根互插这一特征，以简洁的两句话证明了厄米特矩阵特征值的柯西互插定理。关键贡献在于利用行列式线性和厄米特矩阵特征多项式的实根性，实现了推导的简化。

ABSTRACT

Cauchy's interlace theorem states that the characteristic polynomial of a symmetric matrix is interlaced by the characteristic polynomial of any principle submatrix. We prove this in two sentences using only the linearity of the determinant, and the fact that all eigenvalues of a symmetric matrix are real.

研究动机与目标

• 提供厄米特矩阵特征值柯西互插定理的最小且优美的证明。
• 利用被忽视的多项式互插特征：通过实根线性组合实现互插。
• 证明在仿射扰动下，特征多项式的实根性可直接推出互插性质。
• 通过将经典证明简化为一个行列式恒等式和一个已知的多项式判据，实现简化。

提出的方法

• 利用两个实根多项式互插当且仅当其所有实线性组合也具有全部实根的特征。
• 将此判据应用于厄米特矩阵 $ A $ 及其主子矩阵 $ B $ 的特征多项式。
• 将矩阵 $ A $ 的特征多项式表示为 $ |A - xI| $，并考虑扰动矩阵 $ A - xI + \alpha \cdot \text{diag}(0, \dots, 0, 1) $。
• 利用行列式的线性性质，将扰动矩阵的行列式分解为两个行列式的和。
• 注意到表达式 $ |A - xI| + \alpha |B - xI| $ 对任意实数 $ \alpha $ 均为厄米特矩阵的特征多项式，因此所有根均为实数。
• 由此得出，互插性质由多项式互插判据直接推出。

实验结果

研究问题

• RQ1 能否利用已知的多项式互插特征，以更简洁的方式证明柯西互插定理？
• RQ2 两个多项式的全部实线性组合具有实根，是否蕴含其根的互插？
• RQ3 厄米特矩阵及其主子矩阵的特征值互插性质，能否直接从行列式线性和实根性推导得出？
• RQ4 是否存在一种最小化证明，避免使用传统的变分或归纳法论证？
• RQ5 特征值的互插性质与秩一扰动下特征多项式的结构有何关联？

主要发现

• 厄米特矩阵及其主子矩阵的特征值互插性质，可直接由其特征多项式所有线性组合的实根性推出。
• 该证明表明，由于矩阵的厄米特结构，对任意实数 $ \alpha $，表达式 $ |A - xI| + \alpha |B - xI| $ 的所有根均为实数。
• 此实根性根据已知的多项式判据，意味着矩阵 $ A $ 和 $ B $ 的特征多项式的根互插。
• 该方法避免了复杂的变分或归纳技术，仅依赖实根多项式的基本性质。
• 结果证实，互插性质是厄米特矩阵在秩一扰动下谱性质的直接结果。
• 该证明自包含，将经典定理由一个行列式恒等式和一个已知代数判据简化。