[论文解读] Local spectral expansion approach to high dimensional expanders

Izhar Oppenheim|arXiv (Cornell University)|Jul 31, 2014

Spectral Theory in Mathematical Physics参考文献 17被引用 4

一句话总结

本文引入了局部谱扩张作为高维展开器的新框架，通过单纯复形中1维链的谱间隙进行定义。该条件被证明可推出上同调消失、Cheeger型不等式、混合性质及几何重叠，为先前基于谱或上边界定义的高维展开器提供了一种计算上更易处理的替代方案。

ABSTRACT

This paper introduces the notion of local spectral expansion of a simplicial complex as a possible analogue of spectral expansion defined for graphs. We show the condition of local spectral expansion has several nice implications. For example, for a simplicial complex with local spectral expansion we show vanishing of cohomology with real coefficients, Cheeger type inequalities and mixing type results and geometric overlap results.

研究动机与目标

• 基于局部谱性质，提出一种新的、计算上可访问的高维展开器定义。
• 证明局部谱扩张蕴含强全局拓扑与几何性质，如上同调消失与混合性。
• 构建一个框架，通过链拉普拉斯算子将谱图展开推广至高维。
• 在局部谱条件下，为分划复形建立Cheeger型不等式与几何重叠定理。
• 证明1维链中的谱间隙足以控制全局展开性质，避免对全局拉普拉斯算子进行复杂分析。

提出的方法

• 通过纯n维单纯复形中每个1维链的归一化拉普拉斯算子的谱间隙λ来定义局部谱扩张。
• 使用条件λ > (n−1)/n以确保所有链中非退化的扩张。
• 利用谱间隙界推导全局性质，如通过谱技术实现的上同调消失与混合性。
• 利用链结构将全局展开问题简化为对1维链的局部谱控制。
• 通过扰动论证与凸几何方法证明分划复形的几何重叠定理，尤其适用于此类复形。
• 利用1维链谱通常比全局拉普拉斯算子更易计算的事实，从而可构造显式例子。

实验结果

研究问题

• RQ1 单纯复形中1维链的谱扩张是否能推出强全局拓扑与几何性质？
• RQ2 局部谱扩张是否意味着实系数上同调的消失？
• RQ3 局部谱扩张能否在高维中导出Cheeger型不等式与混合界？
• RQ4 局部谱扩张在多大程度上能推出分划复形中的几何重叠？
• RQ5 局部谱扩张与现有概念（如上边界展开或全局拉普拉斯间隙）相比如何？

主要发现

• 当λ > (n−1)/n时，局部谱扩张意味着所有度数上实系数上同调的消失。
• 本文建立了将局部谱间隙与全局展开性质联系起来的Cheeger型不等式。
• 对于双侧局部谱扩张(λ,κ)，当λ接近1且κ接近1时，存在混合型结果，表明随机游走快速收敛。
• 为分划复形证明了几何重叠定理：在局部谱扩张条件下，任意映射φ: V → ℝⁿ，其在来自不相交集合的n+1元组的凸包的公共交集中存在一点。
• 推导出一个定量重叠常数c(n) = 1/(2^{1+n2^n} ((n+1)!)^{1/α})，确保每个部分中测度至少为c(n)m(S_i)的集合，其凸包必有交集。
• 该方法避免依赖全局拉普拉斯谱，因此比先前方法更易于显式计算。