[论文解读] Signatures, lifts, and eigenvalues of graphs

Shiping Liu, Norbert Peyerimhoff+1 more|arXiv (Cornell University)|Dec 21, 2014

Graph theory and applications参考文献 29被引用 6

一句话总结

本文通过使用循环签名（特别是3-循环）对Bilu-Linial的2-提升方法进行推广，构造了无限族的Ramanujan图。通过利用混合特征多项式和交错族方法，证明了每个二分Ramanujan图均存在一个无限的3-循环提升塔，每个提升均保持Ramanujan性质，从而将Marcus-Spielman-Srivastava的结果推广至更高阶的循环提升。

ABSTRACT

We study the spectra of cyclic signatures of finite graphs and the corresponding cyclic lifts. Starting from a bipartite Ramanujan graph, we prove the existence of an infinite tower of $3$-cyclic lifts, each of which is again Ramanujan.

研究动机与目标

• 将Bilu和Linial的2-提升方法推广至使用群值签名的高阶循环提升，以构造Ramanujan图。
• 证明每个二分Ramanujan图均存在一个无限的3-循环提升塔，且每一层提升均保持Ramanujan性质。
• 通过确保签名邻接矩阵幂的所有特征值均落在Ramanujan界内，实现对提升图的谱控制。
• 将交错族方法和混合特征多项式方法推广至循环群签名，特别是针对k=3的情形。
• 证明提升图的谱性质由签名邻接矩阵及其共轭的特征值决定，利用厄米特对称性。

提出的方法

• 将k-循环签名定义为映射s: E^or → {1, ξ, ξ̄}，其中ξ = e^{2πi/3}，并满足s(ē) = s(e)⁻¹。
• 利用签名s构造图G的k-循环提升Ĝ，其邻接矩阵Â满足σ(Â) = σ(A) ⊔ σ(A^s) ⊔ σ(Ā^s)。
• 使用交错族方法和混合特征多项式分析签名邻接矩阵A^s的第i个Hadamard幂的期望特征多项式。
• 通过实稳定性，利用Marcus、Spielman和Srivastava的结果，证明期望特征多项式为实根多项式。
• 利用k=3时A^s的厄米特性质，确保σ(A^s) = σ(Ā^s)，从而简化谱控制。
• 应用定理2，找到一个签名s₀，使得λ_max(A^s₀) ≤ ρ(T)，即其通用覆盖T的谱半径。

实验结果

研究问题

• RQ1 能否将Ramanujan图的2-提升构造方法推广至使用群值签名的高阶循环提升？
• RQ2 当k=3时，是否存在一个3-循环签名s，使得A^s,i（i=1,2）的所有特征值均落在Ramanujan区间[-2√(d−1), 2√(d−1)]内？
• RQ3 能否从单个二分Ramanujan图出发，迭代构造一个无限的3-循环提升塔，且每一层提升均保持Ramanujan性质？
• RQ4 该方法为何在k≥4时失效？此时需要哪些额外的谱约束？
• RQ5 提升图的谱结构与签名邻接矩阵及其共轭的特征值之间有何关系？

主要发现

• 每个d-正则二分图均存在一个3-循环签名s，使得A^s的最大特征值不超过2√(d−1)，即Ramanujan界。
• 对每个二分Ramanujan图G，均存在一个3-循环提升Ĝ，使得所有新特征值均落在Ramanujan区间[−ρ(T), ρ(T)]内，其中ρ(T) = 2√(d−1)（当G为d-正则时）。
• 可从完全二分图K_{d,d}出发，迭代构造一个无限的3-循环提升塔，塔中每一图均为Ramanujan图。
• 该方法依赖于k=3时A^s的厄米特对称性，该性质确保σ(A^s) = σ(Ā^s)，从而简化谱分析。
• A^s第i个Hadamard幂的期望特征多项式为实根多项式，这是应用交错方法的关键步骤。
• 当k≥4时，该构造方法失效，因为必须同时控制A^s的全部k−1个幂，而当前方法无法保证存在一个签名能同时适用于所有i∈{1,…,k−1}。