[论文解读] Non-backtracking Spectrum: Unitary Eigenvalues and Diagonalizability

Leo Torres|arXiv (Cornell University)|Jul 27, 2020

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

一句话总结

本文表征了无向图中非回溯矩阵的单位根特征值，证明其必为单位根，且与特定子图模体——悬垂结构（含一个高阶度节点的奇圈）、护圈结构（两个相对高阶度节点的偶圈）和手镯结构（两个在一点相连的相等圈）——相关。论文推测外特征值（1 < |λ| < ρ）的重数为一，从而在大多数情况下保证可对角化，并证明了在增加节点时佩龙特征值的弱交错性质。

ABSTRACT

Much effort has been spent on characterizing the spectrum of the non-backtracking matrix of certain classes of graphs, with special emphasis on the leading eigenvalue or the second eigenvector. Much less attention has been paid to the eigenvalues of small magnitude; here, we fully characterize the eigenvalues with magnitude equal to one. We relate the multiplicities of such eigenvalues to the existence of specific subgraphs. We formulate a conjecture on necessary and sufficient conditions for the diagonalizability of the non backtracking matrix. As an application, we establish an interlacing-type result for the Perron eigenvalue.

研究动机与目标

• 完全表征非回溯矩阵谱中模为一的特征值。
• 将单位根特征值的重数与特定子图模体（如悬垂结构、护圈结构和手镯结构）的存在性相关联。
• 推测非回溯矩阵可对角化的必要与充分条件。
• 在增加节点时，建立佩龙特征值的弱交错结果。
• 将谱理解从主导特征值和内特征值扩展至单位根特征值和外特征值。

提出的方法

• 使用谱图论按模将非回溯特征值分类：内特征值（|λ| < 1）、单位根特征值（|λ| = 1）、外特征值（1 < |λ| < ρ）和主导特征值（|λ| = ρ）。
• 证明任意单位根非回溯特征值必为单位根，排除了无理数辐角的可能性。
• 识别出三种子图模体——悬垂结构、护圈结构和手镯结构——其结构特性支持局域于其上的单位根特征向量。
• 应用诺伊曼级数与盖尔圆盘定理，分析预解矩阵的行为，并在增加节点时界特征值。
• 使用佩龙-弗罗贝尼乌斯定理证明导出矩阵的最小特征值为实数且为负，从而支持交错分析。
• 采用矩阵预解技术与循环置换不变性，关联不同矩阵乘积的特征值。

实验结果

研究问题

• RQ1 非回溯矩阵可对角化的必要与充分条件是什么？
• RQ2 哪些子图产生单位根特征值，其重数如何确定？
• RQ3 外特征值（1 < |λ| < ρ）是否总是具有重数一，从而避免可对角化问题？
• RQ4 当在图中增加一个节点时，非回溯矩阵的佩龙特征值如何变化？
• RQ5 能否在图修改下为非回溯矩阵建立弱形式的特征值交错性质？

主要发现

• 所有单位根非回溯特征值均为单位根，其特征向量局域于特定子图：悬垂结构（含一个非2度节点的奇圈）、护圈结构（含两个相对非2度节点的偶圈）和手镯结构（两个在一点相连的相等圈）。
• 单位根特征值 λ = e^{2πik/r} 的重数由图中不相交的此类模体（悬垂结构、护圈结构或大小为 r 的手镯结构）的数量决定。
• 本文推测外特征值（1 < |λ| < ρ）的代数重数与几何重数均为一，这将在弱假设下确保可对角化。
• 已证明弱交错结果：增加一个节点会使佩龙特征值增大，该行为与预解矩阵及盖尔圆盘分析相关联。
• 证明了矩阵 YX（由预解导出）的最小特征值为实数且为负，其在 t → λ+ϵ 和 t → ∞ 时的行为使临界值 λc 的构造成为可能，满足 y(λc) = −λ²c。
• 证明矩阵 H(t) = TLXRT 与 YX 具有相同的特征值，从而可利用盖尔圆盘定理隔离最小特征值，并证明 λc 的存在性。