[论文解读] On the $l^p$ spectrum of Laplacians on graphs

Frank Bauer, Bobo Hua+1 more|arXiv (Cornell University)|Nov 28, 2012

Spectral Theory in Mathematical Physics参考文献 29被引用 5

一句话总结

本论文在关于内在度量的统一次指数体积增长条件下，通过弱热核估计与内在度量，绕过曲率和有界几何假设，建立了图上拉普拉斯算子谱的 $p$-无关性。关键结果为：对于所有 $p \in [1, \infty]$，$\ell^p$ 谱保持不变，将黎曼流形上的结果推广至几何约束最小的离散图。

ABSTRACT

We study the $p$-independence of spectra of Laplace operators on graphs arising from regular Dirichlet forms on discrete spaces. Here, a sufficient criterion is given solely by a uniform subexponential growth condition. Moreover, under a mild assumption on the measure we show a one-sided spectral inclusion without any further assumptions. We study applications to normalized Laplacians including symmetries of the spectrum and a characterization for positivity of the Cheeger constant. Furthermore, we consider Laplacians on planar tessellations for which we relate the spectral $p$-independence to assumptions on the curvature.

研究动机与目标

• 在最小几何假设下，建立图上拉普拉斯算子 $\ell^p$ 谱的 $p$-无关性。
• 消除通常在流形谱理论中所需的下曲率界或有界几何假设。
• 通过内在度量与弱热核估计，将 $p$-无关性结果从连续情形推广至离散图。
• 分析归一化拉普拉斯算子的谱性质，并将其与切赫常数等几何不变量关联。
• 将平面密铺上的曲率条件与体积增长及谱的 $p$-无关性联系起来。

提出的方法

• 以离散空间上的正则Dirichlet型作为定义图上拉普拉斯算子的基础框架。
• 采用内在度量（适配度量）来定义体积增长并控制谱行为，无需假设一致椭圆性。
• 应用带有对数修正项的弱热核估计（来自Folz, 2011），而非高斯界，以处理无界几何情形。
• 引入关于内在度量的统一次指数体积增长条件，作为 $p$-无关性的关键充分条件。
• 在仅需测度下界的前提下，建立单边谱包含关系 $\sigma(\Delta_2) \subseteq \sigma(\Delta_p)$，无需额外几何假设。
• 将结果应用于平面密铺，通过定义顶点曲率 $\kappa(x)$，将非负或发散曲率与体积增长及谱不变性联系起来。

实验结果

研究问题

• RQ1 在何种几何条件下，图拉普拉斯算子的 $\ell^p$ 谱与 $p$ 无关？
• RQ2 能否在不假设有界几何或下曲率界的情况下建立 $p$-无关性？
• RQ3 内在度量与弱热核估计如何促进对无界度图的谱分析？
• RQ4 归一化拉普拉斯算子在不同 $\ell^p$ 空间中保持谱对称性的作用是什么？
• RQ5 平面密铺上的曲率条件如何影响体积增长与谱的 $p$-无关性？

主要发现

• 若图关于内在度量具有统一的次指数体积增长，则其拉普拉斯算子的 $\ell^p$ 谱对所有 $p \in [1, \infty]$ 与 $p$ 无关。
• 在仅需测度下界的前提下，无需任何几何假设，单边谱包含关系 $\sigma(\Delta_2) \subseteq \sigma(\Delta_p)$ 成立。
• 对于归一化拉普拉斯算子，$\ell^p$ 谱表现出对称性，且当且仅当 $\ell^2$ 谱远离零时，切赫常数为正。
• 在顶点曲率 $\kappa \geq 0$ 的平面密铺上，体积增长为二次有界，导致谱的 $p$-无关性。
• 若 $\inf_K \sup_{x \notin K} \kappa(x) = -\infty$，则 $\ell^p$ 谱为纯离散，且对所有 $p \in (1, \infty)$ 等于 $\ell^2$ 谱。
• 对于具有负曲率的密铺，体积增长至少为指数级，且 $\ell^1$ 与 $\ell^2$ 谱不同，表明此类情形下存在 $p$-依赖性。