[论文解读] The spectrum of random lifts

Louigi Addario‐Berry, Simon Griffiths|arXiv (Cornell University)|Dec 18, 2010

Graph theory and applications参考文献 18被引用 10

一句话总结

本文分析了固定 $d$-正则图 $H$ 的随机 $n$-提升的谱性质，表明以极高的概率，所有新特征值（未继承自 $H$）的模长被 $O(\sqrt{d})$ 有界。若 $H$ 是拉马努金图，则其随机 $n$-提升几乎是拉马努金图，异常特征值仅来自大小为 $O(|E(H)|)$ 的稠密子图。这为通过随机提升构造大拉马努金图提供了强有力证据。

ABSTRACT

For a fixed d-regular graph H, a random n-lift is obtained by replacing each vertex v of H by a "fibre" containing n vertices, then placing a uniformly random matching between fibres corresponding to adjacent vertices of H. We show that with extremely high probability, all eigenvalues of the lift that are not eigenvalues of H, have order O(sqrt(d)). In particular, if H is Ramanujan then its n-lift is with high probability nearly Ramanujan. We also show that any exceptionally large eigenvalues of the n-lift that are not eigenvalues of H, are overwhelmingly likely to have been caused by a dense subgraph of size O(|E(H)|).

研究动机与目标

• 理解固定 $d$-正则图 $H$ 的随机 $n$-提升的谱分布，特别是未继承自 $H$ 的特征值的行为。
• 研究拉马努金图的随机提升是否可能近乎拉马努金，即所有非平凡特征值是否被 $O(\sqrt{d})$ 有界。
• 确定导致异常大特征值的结构原因，特别是这些特征值是否源于稠密子图。
• 使用随机提升作为研究谱扩张的工具，为无限 $d$-正则树的有限商图提供概率模型。

提出的方法

• 通过将 $H$ 的每个顶点替换为包含 $n$ 个顶点的纤维，并在 $H$ 中相邻顶点的纤维之间放置均匀随机匹配，构造随机 $n$-提升。
• 分析提升图的邻接矩阵，重点关注未出现在基图 $H$ 中的特征值，称为‘新特征值’。
• 使用谱分解和向量平衡技术，分离出与 $H$ 的提升特征向量正交的特征向量，确保其对应于新特征值。
• 应用概率与组合界控制新特征值的大小，使用集中不等式和向量内积估计。
• 采用基于模式的计数论证，限制可能产生异常大特征值的配置数量，表明此类情况仅在存在稠密子图时才罕见。
• 引入在纤维上平衡的向量 $x$，并利用内积估计将 $x$ 的瑞利商与最大新特征值 $\lambda^*(G)$ 关联，从而导出主要界。

实验结果

研究问题

• RQ1 在固定 $d$-正则图 $H$ 的随机 $n$-提升中，新特征值的典型模长是多少？
• RQ2 拉马努金图的随机提升是否可能近乎拉马努金，即所有非平凡特征值是否被 $O(\sqrt{d})$ 有界？
• RQ3 提升图中哪些结构特征最可能导致显著大于 $O(\sqrt{d})$ 的特征值？
• RQ4 随机提升中异常大特征值的出现是否源于稀疏或稠密子图结构？

主要发现

• 以极高的概率，固定 $d$-正则图 $H$ 的随机 $n$-提升中所有新特征值的模长均被 $O(\sqrt{d})$ 有界，且与 $n$ 无关。
• 若基图 $H$ 是拉马努金图，则其随机 $n$-提升以高概率为 $O(\sqrt{d})$-弱拉马努金图，即所有非平凡特征值均在 $O(\sqrt{d})$ 范围内接近拉马努金界 $2\sqrt{d-1}$。
• 未继承自 $H$ 的异常大特征值几乎必然仅来自大小为 $O(|E(H)|)$ 的稠密子图，而非稀疏或随机波动。
• 除非存在大小为 $O(|E(H)|)$ 的稠密子图，否则随机 $n$-提升具有大于 $O(\sqrt{d})$ 的新特征值的概率可忽略不计。
• 可能产生异常大特征值的配置数量被限制为 $\log_2(nh) \cdot A^{2hd\log_2 d}$，表明此类结构极为罕见。
• 分析建立了平衡向量的瑞利商与最大新特征值之间的定量联系，得出对于归一化向量 $x$ 在平衡子空间中，有 $|\langle x,x\rangle_{N,E}| \geq \lambda^*(G)/96 - 5\sqrt{d}$ 的界。