[論文レビュー] 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

ひとこと要約

本稿は、p-形式のWittenラプラシアンの小さな固有値と恒常的コホモロジーのバー・コードの間の明確な関係を確立し、これらの固有値のスケーリング済み対数が漸近的にバー・コードの長さに等しいことを示している。潜在関数の$C^0$-摂動に対するこれらの固有値の安定性を証明し、ポテンシャルがモース関数でない場合の半古典的極限における指数的補正の一般的手法を提供している。

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ラプラシアンの指数的小さな固有値の理解を拡張すること。
• スケーリング済み対数の小さな固有値と恒常的コホモロジーにおけるバー・コードの長さとの直接的対応関係を確立すること。
• これらの固有値関連量がポテンシャル関数の$C^0$-摂動に対して安定であることを証明すること。
• スペクトル問題におけるアーレニウス型法則への指数的補正を計算する一般的手法を開発すること。
• 従来のWittenラプラシアンの結果を非モース的およびリプシッツ的サブアナリティックポテンシャルへ一般化すること。

提案手法

• Wittenの外微分の変形 $d_{f,h} = e^{-f/h}(hd)e^{f/h}$ を用いて、p-形式上のWittenラプラシアン $\Delta_{f,h}^{(p)}$ を分析する。
• アグモン型推定と重み付き部分積分を用いて、臨界集合付近での固有関数の指数的減衰を制御する。
• 臨界値周辺の局所問題に基づくスペクトル解析フレームワークを導入し、カットオフ関数の再帰的構成を用いる。
• 恒常的コホモロジーのバー・コード構造を用いて、小さな固有値の漸近的分布を特徴付ける。
• バー・コード間のボトルネック距離とポテンシャルの差の$C^0$-ノルムとの関係を示すことにより、安定性定理を確立する。
• 層論的および構成可能関数の技法を用いて、小さな$C^0$-摂動下でのバー・コードの安定性を形式化する。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャル関数がモースでない場合、半古典的極限におけるp-形式のWittenラプラシアンの小さな固有値はどのように振る舞うか？
• RQ2 これらの固有値のスケーリング済み対数は、恒常的コホモロジーにおけるバー・コードの長さによって漸近的に特定可能か？
• RQ3 固有値とバー・コードの対応関係は、ポテンシャル関数の$C^0$-摂動に対して安定か？
• RQ4 スペクトル問題におけるアーレニウス型法則への指数的補正を計算する一般的手法は何か？
• RQ5 理論を非モース的およびリプシッツ的サブアナリティックポテンシャルへどのように拡張できるか？

主な発見

• $\Delta_{f,h}^{(p)}$ の小さな固有値のスケーリング済み対数は、$f$ の恒常的コホモロジーにおける対応するバー・コードの長さに漸近的に等しい。
• 固有値関連量はポテンシャル関数の$C^0$-摂動に対して安定であり、バー・コード間のボトルネック距離は $\|f - g\|_{C^0}$ で有界である。
• この手法により、非モース的およびリプシッツ的ポテンシャルの広いクラスにおいて、アーレニウス型法則への指数的補正を計算可能である。
• 解析はリプシッツ的サブアナリティック関数へ一般化され、滑らかまたはモース関数に限らない適用範囲が拡張された。
• $f$ が退化した臨界点を持つ場合でさえ、Wittenラプラシアンのスペクトル構造は、$f$ のバー・コードによって完全に特徴付けられる。
• ポテンシャルの$C^0$-摂動下でのバー・コードの安定性は、恒常ホモロジーを用いたスペクトル量の強固な位相的解釈を提供する。