[论文解读] Bar codes of persistent cohomology and Arrhenius law for p-forms

Dorian Le Peutrec, Francis Nier+1 more|arXiv (Cornell University)|Feb 17, 2020

Topological and Geometric Data Analysis参考文献 45被引用 6

一句话总结

本文建立了Witten拉普拉斯算子p-形式的微小特征值与持久上同调条形码之间的精确联系，表明这些特征值的缩放对数在渐近意义上等于条形码的长度。证明了在势函数的$C^0$-扰动下这些特征值的稳定性，并提出了一种在半经典极限下计算亚指数修正的一般方法，无需势函数为Morse函数。

ABSTRACT

This article shows that counting or computing the small eigenvalues of the Witten Laplacian in the semi-classical limit can be done without assuming that the potential is a Morse function as the authors did in [LNV]. In connection with persistent cohomology, we prove that the rescaled logarithms of these small eigenvalues are asymptotically determined by the lengths of the bar code of the function f. In particular, this proves that these quantities are stable in the C 0 topology on the space of functions. Additionally, our analysis provides a general method for computing the subexponential corrections in a large number of cases.

研究动机与目标

• 将Witten拉普拉斯算子的指数小特征值的理解从Morse函数假设下拓展出去。
• 在缩放对数的特征值与持久上同调中条形码的长度之间建立直接对应关系。
• 证明这些与特征值相关的量在势函数的$C^0$-扰动下保持稳定。
• 发展一种计算谱问题中Arrhenius型定律亚指数修正的一般方法。
• 将先前关于Witten拉普拉斯算子的结果推广至非Morse及Lipschitz-次解析势函数。

提出的方法

• 使用Witten通过$d_{f,h} = e^{-f/h}(hd)e^{f/h}$对外微分进行形变，以分析p-形式上的Witten拉普拉斯算子$\Delta_{f,h}^{(p)}$。
• 应用Agmon型估计与加权分部积分法，控制特征函数在临界集附近的指数衰减。
• 引入基于临界值附近局部问题的谱分析框架，通过递归构造截断函数实现。
• 依赖持久上同调的条形码结构，表征微小特征值的渐近分布。
• 通过将条形码之间的瓶颈距离与势函数差异的$C^0$-范数关联，建立稳定性定理。
• 利用层论与可构造函数技术，形式化条形码在小$C^0$-扰动下的稳定性。

实验结果

研究问题

• RQ1 当势函数非Morse时，Witten拉普拉斯算子p-形式的微小特征值在半经典极限下的行为如何？
• RQ2 这些特征值的缩放对数能否由持久上同调中条形码的长度渐近确定？
• RQ3 特征值与条形码之间的对应关系在势函数的$C^0$-扰动下是否稳定？
• RQ4 谱问题中Arrhenius型定律的亚指数修正的一般计算方法是什么？
• RQ5 该理论如何推广至非Morse及Lipschitz-次解析势函数？

主要发现

• 在半经典极限下，$\Delta_{f,h}^{(p)}$的微小特征值的缩放对数渐近等于$f$的持久上同调中对应条形码的长度。
• 与特征值相关的量在势函数的$C^0$-扰动下保持稳定，条形码之间的瓶颈距离受$\|f - g\|_{C^0}$有界。
• 该方法可适用于一大类非Morse及Lipschitz势函数，用于计算Arrhenius型定律的亚指数修正项。
• 分析可推广至Lipschitz-次解析函数，使理论适用范围超越光滑或Morse函数。
• 即使$f$具有退化的临界点，Witten拉普拉斯算子的谱结构仍可由$f$的条形码完全表征。
• 条形码在$C^0$-扰动下的稳定性，为谱量提供了基于持久同调的稳健拓扑解释。