[論文レビュー] Universal local parametrizations via heat kernels and eigenfunctions of the Laplacian

Peter W. Jones, Mauro Maggioni+1 more|ArXiv.org|Sep 13, 2007

Numerical methods in inverse problems参考文献 47被引用数 16

ひとこと要約

本稿では、ラプラシアンの固有関数と熱核推定を用いて、$π^\alpha$ メトリックを備えたユークリッド領域およびリーマン多様体上に、一様に有界な歪みを持つ双リプシッツ局所座標系を構築する普遍的な手法を導入する。座標系は埋め込まれた球面上で一様に有界な歪みを達成し、定数は内在的な幾何的性質にのみ依存する。また、メトリックの摂動に対して安定であり、滑らかでない空間に対しても、頑健で、内在的かつ計算可能なパラメータ化を可能にする。

ABSTRACT

We use heat kernels or eigenfunctions of the Laplacian to construct local coordinates on large classes of Euclidean domains and Riemannian manifolds (not necessarily smooth, e.g. with $\mathcal{C}^α$ metric). These coordinates are bi-Lipschitz on embedded balls of the domain or manifold, with distortion constants that depend only on natural geometric properties of the domain or manifold. The proof of these results relies on estimates, from above and below, for the heat kernel and its gradient, as well as for the eigenfunctions of the Laplacian and their gradient. These estimates hold in the non-smooth category, and are stable with respect to perturbations within this category. Finally, these coordinate systems are intrinsic and efficiently computable, and are of value in applications.

研究の動機と目的

• 滑らかでない領域を含む、$π^{\alpha}$ 正則性を有するリーマン多様体上に、頑健で内在的な局所座標チャートを構築するための方法を開発すること。
• 滑らかでない幾何的設定において、普遍的で計算可能かつ歪みが有界なパラメータ化が不足している問題を解決すること。
• ラプラシアンの固有関数が、基礎となるメトリックが $C^2$ でない場合でさえ、メトリック球上で低歪み埋め込みをもたらすことを確立すること。
• データセットにおける多様体学習や次元削減の分野で経験的に成功しているスペクトル法の理論的基盤を提供すること。

提案手法

• 領域および $π^{\alpha}$ メトリックを備えた多様体上のラプラシアンに対する、熱核推定（上界および下界）を活用する。
• 有限個の固有関数を選択するための切断された熱核を用い、それらが局所座標を形成する。
• 固有関数および熱核のスペクトル理論と摂動バウンドを適用し、メトリック摂動に対して安定性を保証する。
• 係数をスケーリングした固有関数 $\Phi = (\gamma_1 \varphi_{i_1}, \dots, \gamma_d \varphi_{i_d})$ を用いて、双リプシッツ歪みを保証する座標写像を定義する。
• 固有関数および熱核の勾配に対する一様なバウンドを確立し、局所チャートにおける歪みの制御を可能にする。
• 有限体積および内接半径といった幾何的仮定を用い、曲率および単射半径が制御された埋め込み球の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 ラプラシアンの固有関数は、$\mathcal{C}^{\alpha}$ メトリックを備えたリーマン多様体上でも、滑らかでない場合であっても低歪み局所座標を提供できるか？
• RQ2 このような座標系の歪みに対する定量的バウンドは何か？ そして、内接半径や体積などの内在的幾何的性質にどのように依存するか？
• RQ3 これらの座標構成は、$\mathcal{C}^{\alpha}$ 範囲内のメトリック摂動に対してどれほど安定か？
• RQ4 得られる座標系は、多様体学習などの実用的応用において、効率的に計算可能であり、利用可能か？
• RQ5 熱核推定および固有関数バウンドは、滑らかでない設定へと、どの程度一般化可能か？

主な発見

• 構築された座標写像 $\Phi$ は、内接半径 $r$ の球 $\kappa^{-1}r$ の半径を持つメトリック球上で、普遍定数 $\kappa$ によって一様に有界な歪みを達成する。
• 本手法は $\mathcal{C}^{\alpha}$ メトリックを備えた領域および多様体に適用可能であり、$C^2$ 正則性を要しない。また、このような摂動に対しても結果は安定である。
• 歪みの制御を可能にするために、非滑らかカテゴリーにおいても、熱核および固有関数の推定（上界および下界）が確立された。
• 境界のないコンパクト多様体に対しては、単位球の内接半径 $R_{\rm inj}$ に対して、$\kappa R_{\rm inj}^{-2}$ 未満の固有値を持つ固有関数によって、グローバル座標系が与えられる。
• 座標構成は内在的かつ計算可能であり、単連結な平面領域におけるリーマン写像の動作を模倣する。これは、単連結でないか、滑らかでない設定でも同様に成立する。
• 数値例では、鋭い勾配下限を持つ局所化された固有関数が得られ、理論的推定の妥当性が裏付けられた。