[论文解读] Integer symmetric matrices having all their eigenvalues in the interval [-2,2]

James McKee, Chris Smyth|arXiv (Cornell University)|May 24, 2007

Graph theory and applications参考文献 5被引用 8

一句话总结

本文通过符号图和带电符号图作为组合模型，完全分类了所有特征值位于区间 $[-2,2]$ 内的整数对称矩阵。它提供了对余弦矩阵的完整表征，包括特征值严格位于 $(-2,2)$ 内的情况，并建立了与根系、考克斯eter图及切比雪夫多项式之间的联系。

ABSTRACT

We completely describe all integer symmetric matrices that have all their eigenvalues in the interval [-2,2]. Along the way we classify all signed graphs, and then all charged signed graphs, having all their eigenvalues in this same interval. We then classify subsets of the above for which the integer symmetric matrices, signed graphs and charged signed graphs have all their eigenvalues in the open interval (-2,2).

研究动机与目标

• 对所有特征值完全位于区间 $[-2,2]$ 内的整数对称矩阵进行分类。
• 扩展 J.H. Smith 对 $[-2,2]$ 区间内矩阵的分类工作。
• 对所有特征值严格位于开区间 $(-2,2)$ 内的此类矩阵进行分类，识别出无限多个不可约分的例外情况。
• 建立这些矩阵与有限反射群、考克斯eter图及根系之间的联系。

提出的方法

• 利用柯西交错定理，将分类问题简化为对极大不可约矩阵的分析。
• 对 entries 属于 $[-2,2]$ 的整数对称矩阵进行建模。
• 通过其邻接矩阵定义并分类符号图与带电符号图。
• 应用强等价关系与切换操作，将矩阵约化为标准形式。
• 利用切比雪夫多项式从已有余弦矩阵生成新的余弦矩阵。
• 利用特征值在 $[-2,2]$ 内等价于 $\omega + \omega^{-1}$（其中 $\omega$ 为单位根）的性质，将其与分圆多项式联系起来。

实验结果

研究问题

• RQ1 所有特征值位于 $[-2,2]$ 内的整数对称矩阵有哪些？
• RQ2 哪些符号图与带电符号图的所有特征值位于 $[-2,2]$ 内？
• RQ3 特征值位于开区间 $(-2,2)$ 的矩阵在结构上与位于闭区间的情况有何不同？
• RQ4 余弦矩阵与有限反射群或根系之间存在何种联系？
• RQ5 能否利用切比雪夫多项式从已有余弦矩阵生成新的余弦矩阵？

主要发现

• 所有特征值位于 $[-2,2]$ 内的整数对称矩阵均已完全分类，且它们对应于余弦矩阵，其特征多项式满足 $z^n \chi_A(z + 1/z) = \text{分圆多项式}$。
• 所有特征值位于 $[-2,2]$ 内的符号图均已分类，其中包括 14 个例外图（如 $S_{14}$），其构造基于 $\mathbb{Z}/7\mathbb{Z}$ 的模结构。
• 所有特征值位于 $[-2,2]$ 内的带电符号图均已完全分类，其特征多项式由路径与环结构上的递推关系导出。
• 对于严格位于 $(-2,2)$ 内的特征值，存在无限多个不可约分矩阵族，且这些矩阵不包含于任何更大的同类矩阵中，这与闭区间情形不同。
• 定理 4 中中性符号图的无符号版本，恰好分类了 $\mathcal{D}_n$（$n \geq 4$）与 $\mathcal{E}_8$ 根系基所对应的全部考克斯eter图。
• 切比雪夫多项式 $\mathcal{T}_n(x)$ 满足 $\mathcal{T}_n(z + 1/z) = z^n + z^{-n}$，且对任意余弦矩阵 $A$，有 $\mathcal{T}_n(A)$ 也是余弦矩阵。