2025-11-20T12:04:14.778642

Delocalized eigenvectors of transitive graphs and beyond

Burq, Letrouit

We prove delocalization of eigenvectors of vertex-transitive graphs via elementary estimates of the spectral projector. We recover in this way known results which were formerly proved using representation theory. Similar techniques show that for general symmetric matrices, most approximate eigenvectors spectrally localized in a given window containing sufficiently many eigenvalues are delocalized in $L^q$ norms. Building upon this observation, we prove a delocalization result for approximate eigenvectors of large graphs containing few short loops, under an assumption on the resolvent which is verified in some standard cases, for instance random lifts of a fixed base graph.

academic

Delocalized eigenvectors of transitive graphs and beyond

基本信息

论文ID: 2407.12384
标题: Delocalized eigenvectors of transitive graphs and beyond
作者: Nicolas Burq, Cyril Letrouit
分类: math.SP (谱理论)
发表时间: 2025年10月15日（arXiv版本v2）
论文链接: https://arxiv.org/abs/2407.12384

摘要

本文通过谱投影算子的基本估计证明了顶点传递图特征向量的去局域化性质，以这种方式重新获得了之前通过表示论证明的已知结果。类似的技术表明，对于一般的对称矩阵，在包含足够多特征值的给定窗口中谱局域化的大多数近似特征向量在 $L^q$ 范数意义下是去局域化的。基于这一观察，作者证明了包含少量短回路的大图的近似特征向量的去局域化结果，该结果基于对预解式的假设，这一假设在一些标准情况下得到验证，例如固定基图的随机提升。

研究背景与动机

研究问题

本文研究图的邻接矩阵特征向量的空间去局域化问题。对于图 $G$ 的邻接矩阵 $A$ ，作者关注其特征向量在大 $n$ 极限下的去局域化性质。

问题重要性

量子混沌理论：特征向量的局域化/去局域化是量子混沌理论中的核心问题，与量子遍历性密切相关
随机矩阵理论：这是随机矩阵理论中的基本问题，对理解复杂系统的统计性质具有重要意义
图论应用：在网络科学、组合优化等领域有广泛应用

现有方法局限性

表示论方法复杂：之前关于Cayley图特征向量去局域化的结果主要依赖复杂的表示论技术
适用范围有限：现有结果主要局限于特定类型的图（如正则图、Erdős-Rényi图等）
精确特征向量要求：大多数结果只适用于精确特征向量，而非近似特征向量

研究动机

作者希望通过更直接、更基本的方法重新证明已知结果，并将其推广到更一般的情况，特别是近似特征向量的情形。

核心贡献

简化证明方法：通过谱投影算子的基本估计，避免使用表示论，给出顶点传递图特征向量去局域化的更直接证明
一般对称矩阵结果：证明了一般对称矩阵的大多数近似特征向量在 $L^q$ 范数意义下的去局域化性质
扩展到一般图：在两个假设条件下，证明了包含少量短回路的大图的近似特征向量去局域化结果
统一框架：提供了一个统一的框架来处理不同类型图的特征向量去局域化问题

方法详解

任务定义

给定 $n$ 个顶点的图 $G$ ，其邻接矩阵为 $A$ ，研究特征向量 $u \in \mathbb{C}^n$ 的去局域化性质。去局域化通过以下量度衡量： $\alpha_q(u) = \frac{\|u\|_{L^q}}{\|u\|_{L^2}}$ 对于 $q \in (2,+\infty]$ 。

核心技术：谱投影算子分析

谱投影算子

对于特征值集合 $I \subset \mathbb{R}$ ，定义谱投影算子 $\Pi_I$ ，其核为： $\Pi_I(i,j) = \sum_{\lambda_k \in I} \psi_{\lambda_k}(i)\psi_{\lambda_k}(j)$

关键量的估计

作者的方法基于对以下量的详细研究： $\sum_{i \in [n]} \Pi_I(i,i)^{q/2} = \left\|\sum_{\lambda_k \in I} \psi_{\lambda_k}^2\right\|_{L^{q/2}}^{q/2}$

三个主要结果类别

1. 顶点传递图（Theorem 1.1）

对于顶点传递图，由于对称性，有： $\frac{\tilde{\Pi}_I(x)}{N(I)} = \frac{1}{n}$ 其中 $\tilde{\Pi}_I(x) = \Pi_I(x,x)$ ， $N(I)$ 是 $I$ 中特征值的个数。

主要结果：存在 $C > 0$ 使得对任意 $\Lambda > 0$ ，以概率 $\geq 1 - n^{2-\log(\Lambda)}$ ，任意特征向量 $u$ 满足： $\|u\|_{L^\infty} \leq C\Lambda\sqrt{\frac{\log n}{n}}$

2. 一般对称矩阵（Theorem 1.6）

对于一般对称矩阵 $H$ 和区间 $I$ ，随机线性组合 $u = \sum_{\lambda_k \in I} z_k \psi_{\lambda_k}$ 在单位球面上均匀分布时：

主要结果：存在通用常数 $C > 0$ ，对任意 $q \in [2,+\infty)$ 和 $\Lambda \geq 1$ ： $P_I\left(\|u\|_{L^q} \geq C\Lambda\sqrt{q}N(I)^{\frac{1}{q} - \frac{1}{2}}\right) \leq 4\exp\left(-\frac{1}{8}C^2\Lambda^2 qN(I)^{\frac{2}{q}}\right)$

3. 少量短回路图（Theorem 1.9）

在两个关键假设下：

(BST): 图序列 $(G_n)$ 的短回路数量趋于零
(Green): 对限制根树的Green函数有界性假设

主要结果：在适当条件下，大多数近似特征向量达到最优去局域化： $P_I\left(\|u\|_{L^q} \geq \Lambda C'n^{\frac{1}{q} - \frac{1}{2}}\right) \leq \Lambda^{-q}$

技术创新点

避免表示论：通过直接的谱投影算子估计避免了复杂的表示论工具
统一方法：同一套技术适用于不同类型的图和矩阵
近似特征向量：扩展到近似特征向量的情形，这在实际应用中更有意义
概率方法：利用球面上的测度集中现象

实验设置

理论验证

本文主要是理论工作，通过严格的数学证明验证结果。主要验证包括：

已知结果的重现：验证了之前通过表示论得到的Cayley图结果
新结果的证明：通过构造性证明展示了方法的有效性
应用实例：在随机提升图上验证了理论预测

具体应用案例

作者特别分析了以下情况：

Cayley图：验证了准随机群上Cayley图的结果
随机提升：证明了固定基图的随机 $n$ -提升满足所需假设
乘积图：扩展到图乘积的情况

实验结果

主要理论结果

顶点传递图的最优界

对于顶点传递图，证明了：

$L^\infty$ 界： $\|u\|_{L^\infty} \leq C\Lambda(\log n/n)^{1/2}$
$L^q$ 界： $\|u\|_{L^q} \leq C\Lambda\sqrt{q}n^{1/q - 1/2}$

这些界是几乎最优的，因为存在反例表明不能进一步改进。

高斯统计性质（Theorem 1.2）

在足够大的特征空间中，随机特征向量的分量统计接近标准高斯分布，有界Lipschitz距离的收敛速度为： $P[d_{BL}(\mu, \mathcal{N}(0,1)) > \varepsilon] \leq 48\sqrt{\pi}\varepsilon^{-3/2}\exp(-c(m-1)\varepsilon^5)$