arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1802.01209math.DG
收藏

谱外演算

Spectral exterior calculus

Tyrus Berry, Dimitrios Giannakis

摘要:

提出了一种在流形学习问题中建立外演算的谱方法。在大数据的限制下,谱方法收敛到真正的外演算。同时,谱方法从数据点的数量和周围空间维度上减少了内存需求。为了实现这一点,外部演算完全重新制定的拉普拉斯算子的特征值和特征函数的功能。这些本征函数的外导数(及其楔积)被证明是形成一个框架(一种生成集)的适当的$L^2$空间的$k$-形式,以及高阶索伯列夫空间。本文导出了用拉普拉斯算子的本征函数和本征值表示拉普拉斯-德拉姆算子的形式公式。通过在此框架下表示Laplace-de Rham算子,利用Galerkin逼近技巧得到了谱收敛结果.数值算例表明,1-形式的Laplace-de Rham算子的特征值和特征形的准确恢复。正确的贝蒂数是从该算子的核中获得的,该算子的核是从几个可定向和非可定向流形上采样的数据中近似得到的,特征形是通过它们相应的向量场可视化的。这些向量场形成平方可积向量场的空间的自然规范正交基,并且由测量振荡行为的狄利克雷能量泛函排序。光谱框架也显示出有希望的结果,在一个非光滑的例子(洛伦兹63吸引子),这表明,光谱制定的外部演算可能是可行的空间中没有可微的结构。

英文摘要:

A spectral approach to building the exterior calculus in manifold learning problems is developed. The spectral approach is shown to converge to the true exterior calculus in the limit of large data. Simultaneously, the spectral approach decouples the memory requirements from the amount of data points and ambient space dimension. To achieve this, the exterior calculus is reformulated entirely in terms of the eigenvalues and eigenfunctions of the Laplacian operator on functions. The exterior derivatives of these eigenfunctions (and their wedge products) are shown to form a frame (a type of spanning set) for appropriate $L^2$ spaces of $k$-forms, as well as higher-order Sobolev spaces. Formulas are derived to express the Laplace-de Rham operators on forms in terms of the eigenfunctions and eigenvalues of the Laplacian on functions. By representing the Laplace-de Rham operators in this frame, spectral convergence results are obtained via Galerkin approximation techniques. Numerical examples demonstrate accurate recovery of eigenvalues and eigenforms of the Laplace-de Rham operator on 1-forms. The correct Betti numbers are obtained from the kernel of this operator approximated from data sampled on several orientable and non-orientable manifolds, and the eigenforms are visualized via their corresponding vector fields. These vector fields form a natural orthonormal basis for the space of square-integrable vector fields, and are ordered by a Dirichlet energy functional which measures oscillatory behavior. The spectral framework also shows promising results on a non-smooth example (the Lorenz 63 attractor), suggesting that a spectral formulation of exterior calculus may be feasible in spaces with no differentiable structure.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑