[论文解读] 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

一句话总结

本文提出了一种通用方法，用于在具有 $π^{α}$ 度量的欧几里得区域和黎曼流形上构建双李普希茨局部坐标系，方法基于拉普拉斯算子的特征函数与热核估计。这些坐标在嵌入球面上实现一致有界的畸变，其常数仅依赖于内在几何性质，并且在度量扰动下保持稳定，从而为非光滑空间提供了鲁棒、内在且可计算的参数化方法。

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$ 在半径为 $\kappa^{-1}r$ 的度量球面上实现一致有界的畸变，其中 $r$ 为内径，畸变由一个通用常数 $\kappa$ 控制。
• 该方法适用于具有 $\mathcal{C}^{\alpha}$ 度量的区域与流形，无需 $C^2$ 正则性，且结果在该类扰动下保持稳定。
• 在非光滑类别中建立了热核与特征函数估计——包括上界与下界——从而实现畸变控制。
• 对于无边界的紧致流形，全局坐标系由特征值低于 $\kappa R_{\rm inj}^{-2}$ 的特征函数给出，其中 $R_{\rm inj}$ 为内径。
• 该坐标构造具有内在性、可计算性，并在非单连通或非光滑设定下也模拟了单连通平面区域中黎曼映射的行为。
• 数值示例表明，该方法生成的特征函数具有局域化特性与精确的梯度下界，验证了理论估计。