[论文解读] Spectral distribution and $L^2$-isoperimetric profile of Laplace operators on groups

Alexander Bendikov, Christophe Pittet+1 more|arXiv (Cornell University)|Jan 2, 2009

Advanced Operator Algebra Research参考文献 12被引用 5

一句话总结

本文建立了一个直接公式，将有限生成群上拉普拉斯算子的 $L^2$-等周轮廓 $\Lambda(v)$ 与谱分布 $N(\lambda)$ 联系起来，从而实现了对可解群的精确估计。关键贡献是通过勒让德变换技术推导出一种新颖的渐近关系，推广了格罗莫夫与舒宾的结果，并证明了在具有有限二阶矩的可接受测度下，谱分布的渐近不变性。

ABSTRACT

We give a formula relating the $L^2$-isoperimetric profile to the spectral distribution of the Laplace operator associated to a finitely generated group $Γ$ or a Riemannian manifold with a cocompact, isometric $Γ$-action. As a consequence, we can apply techniques from geometric group theory to estimate the spectral distribution of the Laplace operator in terms of the growth and the Følner's function of the group, generalizing previous estimates by Gromov and Shubin. This leads, in particular, to sharp estimates of the spectral distributions for several classes of solvable groups. Furthermore, we prove the asymptotic invariance of the spectral distribution under changes of measures with finite second moment.

研究动机与目标

• 建立有限生成群上拉普拉斯算子的 $L^2$-等周轮廓 $\Lambda(v)$、谱分布 $N(\lambda)$ 与随机游动返回概率 $p(t)$ 之间的精确渐近关系。
• 通过将几何群论技术融入谱分布分析，推广格罗莫夫与舒宾的先前估计。
• 证明谱分布 $N(\lambda)$ 在对称概率测度变化下保持渐近不变，这些测度具有有限二阶矩且生成其支撑。
• 利用推导出的公式，为各类可解群提供 $N(\lambda)$ 的显式、精确估计。

提出的方法

• 通过勒让德变换技术推导出连接 $N(\lambda)$ 与 $\Lambda(v)$ 的新公式，在较弱的正则性假设下，将谱分布与等周轮廓联系起来。
• 利用恒等式 $p(2t) = \int_0^\infty (1 - \lambda)^{2t} dN(\lambda)$ 将返回概率与谱测度联系起来，从而实现渐近分析。
• 应用库尔洪与格里戈良的渐近关系 $t = \int_1^{\gamma(t)} \frac{dv}{\Lambda(v) v}$，将 $p(2t)$ 与 $\Lambda(v)$ 联系起来，再与谱恒等式复合。
• 使用冯·诺依曼迹 $\operatorname{tr}_\Gamma$ 与谱投影 $E^\Delta_\lambda$ 定义 $N(\lambda) = \operatorname{tr}_\Gamma(E^\Delta_\lambda)$，将谱分布建立在算子理论基础上。
• 利用埃夫雷莫夫与舒宾的极小-极大原理，比较算子 $C_{\mu_1}$ 与 $C_{\mu_2}$ 的谱投影，通过同构与算子范数建立 $N_{\mu_1}(\lambda)$ 与 $N_{\mu_2}(\lambda)$ 的界限。
• 构造 $L^2(\Gamma)$ 直和之间的 $\Gamma$-等变映射 $F$ 与 $G$，证明 $\operatorname{pr}_2 \circ F$ 是具有有界逆的同构，从而导出 $N_{\mu_1}(\lambda^2) \leq N_{\mu_2}(\|T^{-1}\|^2 \lambda^2)$。

实验结果

研究问题

• RQ1 如何将有限生成群上拉普拉斯算子的谱分布 $N(\lambda)$ 与 $L^2$-等周轮廓 $\Lambda(v)$ 联系起来？
• RQ2 能否利用群增长与弗洛纳函数等几何不变量来估计 $N(\lambda)$ 的渐近行为？
• RQ3 谱分布 $N(\lambda)$ 在对称概率测度变化下保持渐近不变的范围有多大，这些测度具有有限二阶矩且生成其支撑？
• RQ4 可解群的 $N(\lambda)$ 的精确渐近估计是什么？与阿贝尔群或非阿贝尔群的已知结果相比如何？
• RQ5 返回概率 $p(2t)$、等周性 $\Lambda(v)$ 与谱分布 $N(\lambda)$ 之间的相互作用能否形式化为统一的渐近公式？

主要发现

• 本文通过渐近分析建立了一个直接公式，将 $N(\lambda)$ 与 $\Lambda(v)$ 联系起来，推广了格罗莫夫与舒宾的先前结果。
• 对于若干类可解群，推导出的公式给出了谱分布 $N(\lambda)$ 的精确估计，优于早期的界限。
• 如定理 1.10 所证，$N(\lambda)$ 的渐近行为在对称概率测度 $\mu$ 的变化下保持不变，这些测度具有有限二阶矩且生成其支撑。
• 谱分布满足 $N_{\mu_1}(\lambda^2) \leq N_{\mu_2}(\|T^{-1}\|^2 \lambda^2)$，其中 $T$ 是 $\Gamma$-不变子空间之间的同构，表明其在测度变化下的鲁棒性。
• 返回概率满足 $\frac{1}{\gamma(t)} \simeq p(2t)$，其中 $\gamma(t)$ 由 $t = \int_1^{\gamma(t)} \frac{dv}{\Lambda(v) v}$ 定义，将随机游动的衰减与等周性联系起来。
• 通过使用极小-极大原理与 $\Gamma$-等变算子，能够对谱投影实现精确控制，从而推导出 $N(\lambda)$ 的定量界限。