[论文解读] Reconstructing manifolds from truncated spectral triples

Lisa Glaser, Abel B. Stern|arXiv (Cornell University)|Dec 19, 2019

Topological and Geometric Data Analysis参考文献 15被引用 4

一句话总结

本文提出一种方法，通过局域化态与度量重构，从截断的谱三元组重建黎曼流形。通过谱截断定义局域化态的度量空间，并应用PointForge算法，这些空间的Gromov-Hausdorff极限收敛于原始流形，从而实现在欧几里得空间中的渐近等距嵌入，已在球面及其扰动情形下得到验证。

ABSTRACT

We explore the geometric implications of introducing a spectral cut-off on Riemannian manifolds. This is naturally phrased in the framework of non-commutative geometry, where we work with spectral triples that are \emph{truncated} by spectral projections of Dirac-type operators. We prove that the underlying Riemannian manifold is the Gromov-Hausdorff limit of the metric spaces we associate to its truncations. This leads us to propose a computational algorithm that allows us to recover these metric spaces from the finite-dimensional truncated spectral data. We subsequently develop a technique for embedding the resulting metric graphs in Euclidean space to asymptotically recover an isometric embedding of the limit. We test these algorithms on the truncated sphere and a recently investigated perturbation thereof.

研究动机与目标

• 建立截断谱三元组的几何框架，以保持黎曼流形的连续极限。
• 解决有限维非交换几何与其经典对应之间缺乏自然度量联系的问题。
• 开发一种计算算法，能够从截断的谱数据近似构造有限度量空间。
• 通过欧几里得空间中的渐近等距嵌入，实现对截断几何的可视化与比较。
• 在2-球面及其先前工作中提出的扰动谱三元组上测试该框架的鲁棒性。

提出的方法

• 通过狄拉克型算子的谱投影，在截断的希尔伯特空间上定义局域化态，确保其在流形上的点附近集中。
• 引入弥散泛函与φ-质心，以表征态的局域化特性及其向流形点的收敛性。
• 利用PointForge算法，从截断谱三元组构建有限度量空间，该算法通过局域化态上的康奈斯度量计算距离。
• 应用应力最小化技术，将所得度量图嵌入欧几里得空间，以实现局部等距。
• 利用高阶海森堡方程作为指导原则，识别扰动谱三元组中合适的算子。
• 利用局域化态度量空间的Gromov-Hausdorff收敛性，证明极限可恢复原始黎曼流形。

实验结果

研究问题

• RQ1 从截断谱三元组构建的度量空间的Gromov-Hausdorff极限能否恢复原始黎曼流形？
• RQ2 如何算法化地从有限维截断谱数据近似重构流形的度量结构？
• RQ3 从截断谱三元组导出的有限度量图在多大程度上可等距嵌入欧几里得空间？
• RQ4 扰动谱三元组（例如 $D_{S^2} + cB$）的度量性质与未扰动情形有何不同？
• RQ5 该框架能否推广至非交换谱三元组，而不仅限于交换情形？

主要发现

• 在截断谱三元组上定义的局域化态空间，配备拉回的康奈斯度量，在Gromov-Hausdorff意义下收敛于原始黎曼流形。
• PointForge算法成功从截断谱三元组生成有限度量图，实现了底层几何的数值重构。
• 对于 $ heta = 5$ 的2-球面，算法生成了35个局域化态，$D_{S^2}$ 的嵌入点半径范围为1.06至1.12（均值1.09），而扰动情形 $D_{S^2} + cB$ 的半径范围为0.94至0.98（均值0.96）。
• 局部等距嵌入揭示了不同的几何特征：$D_{S^2}$ 的点位于参考球面之外，而 $D_{S^2} + cB$ 的点位于其内部，表明存在可检测的度量差异。
• 该框架在有限截断尺度下仍足够鲁棒，可基于嵌入几何区分未扰动与扰动谱三元组。
• 该方法可推广至任意算子系统谱三元组，只要存在合适的嵌入元素 $ heta$，表明其适用于非交换与模糊几何。