[论文解读] Spectral Statistics of Sparse Random Graphs with a General Degree Distribution

Ben Adlam, Ziliang Che|arXiv (Cornell University)|Sep 11, 2015

Graph theory and applications参考文献 28被引用 15

一句话总结

该论文研究了具有广义度分布的稀疏随机图在Chung-Lu模型下的谱统计特性，通过Stieltjes变换的泛函自洽方程，证明了最优尺度下的局部定律及整体 universality。结果将Erdős2013b和Landon2015的工作推广至具有任意度序列的稀疏图，表明特征值统计在整体区域收敛至GOE universality。

ABSTRACT

We consider the adjacency matrices of sparse random graphs from the Chung-Lu model, where edges are added independently between the $N$ vertices with varying probabilities $p_{ij}$. The rank of the matrix $(p_{ij})$ is some fixed positive integer. We prove that the distribution of eigenvalues is given by the solution of a functional self-consistent equation. We prove a local law down to the optimal scale and prove bulk universality. The results are parallel to \cite{Erdos2013b} and \cite{Landon2015}.

研究动机与目标

• 理解超越Erdős-Rényi模型的具有任意度序列的稀疏随机图的特征值分布。
• 在最优尺度下，为Chung-Lu随机图模型中的邻接矩阵建立局部定律。
• 证明特征值统计的整体 universality，表明其收敛至GOE统计，与矩阵元素分布的细节无关。
• 将Wigner矩阵的谱结果推广至具有幂律或广义度分布的稀疏、非均匀随机图。
• 推导出描述极限谱分布的Stieltjes变换的泛函自洽方程。

提出的方法

• 采用Chung-Lu随机图模型，其中边概率 $ p_{ij} = d_i d_j / D $ 由顶点度数决定。
• 分析此类图的邻接矩阵，并推导出经验谱分布Stieltjes变换的自洽方程。
• 利用解析延拓框架，通过预解式 $ G = (H - z)^{-1} $ 控制误差项 $ \Lambda $，并采用连续性论证。
• 应用Stieltjes变换 $ m(z) = \int (t - z)^{-1} \mu(dt) $，在能量 $ E $ 处通过谱窗口 $ \eta $ 跟踪特征值密度。
• 对自洽方程实施稳定性分析，并利用 $ \Lambda \prec \Phi = (N\eta)^{-1/2} $ 估计预解式元素的误差。
• 通过连续性论证与扰动界，证明预解式收敛至自洽方程的解。

实验结果

研究问题

• RQ1 具有广义度分布的稀疏随机图的谱分布如何偏离Wigner半圆律？
• RQ2 能否在最优尺度 $ N^{-1} $ 下为稀疏随机图的邻接矩阵建立局部定律？
• RQ3 此类图的整体特征值统计是否表现出 universality，即收敛至高斯正交系族（GOE）统计？
• RQ4 在稀疏、非均匀情况下，限制谱分布由何种泛函方程控制？
• RQ5 在何种条件下，Stieltjes变换的自洽方程的解可表征极限特征值分布？

主要发现

• 极限谱分布由Stieltjes变换的泛函自洽方程的解所刻画，将半圆律推广至非均匀图。
• 在最优尺度 $ N^{-1} $ 下成立局部定律，其中 $ \Lambda \prec \Phi = (N\eta)^{-1/2} $，确保在微观尺度下精确跟踪特征值密度。
• 建立了整体 universality：特征值的 $ n $-点关联函数收敛至GOE的对应函数，与元素分布无关。
• 即使度分布不集中（包括幂律（无标度）情形），结果依然成立，将先前结果推广至具有任意度序列的稀疏图。
• 局部定律对度序列的小扰动具有稳定性，如连续性论证所示 $ \|s^{(N)} - s^*\| \less \varepsilon_0 $。
• 谱域 $ \mathcal{D}_\delta^I $ 确保对Stieltjes变换虚部的统一控制，从而在整体区间 $ I $ 内实现局部定律。