[论文解读] Learning Simplicial Complexes from Persistence Diagrams

Robin Belton, Brittany Terese Fasy+7 more|arXiv (Cornell University)|May 27, 2018

Topological and Geometric Data Analysis参考文献 16被引用 7

一句话总结

本文提出了一种多项式时间算法，通过 O(n²) 个方向持久图从 ℝ² 中的平面图重建图结构，利用几何蝴蝶结方法通过入度差值推断边。关键贡献在于提出了一种有限且有界的重建框架，仅使用三个图确定顶点位置，O(n²) 个图用于边检测，实现了对顶点和边的精确恢复。

ABSTRACT

Topological Data Analysis (TDA) studies the shape of data. A common topological descriptor is the persistence diagram, which encodes topological features in a topological space at different scales. Turner, Mukeherjee, and Boyer showed that one can reconstruct a simplicial complex embedded in R^3 using persistence diagrams generated from all possible height filtrations (an uncountably infinite number of directions). In this paper, we present an algorithm for reconstructing plane graphs K=(V,E) in R^2 , i.e., a planar graph with vertices in general position and a straight-line embedding, from a quadratic number height filtrations and their respective persistence diagrams.

研究动机与目标

• 解决从有限个持久图而非不可数无穷多个方向重建嵌入单纯复形这一开放问题。
• 为 ℝ² 中具有直线嵌入的一维单纯复形（平面图）提供理论与算法框架，实现精确重建。
• 界定重建所需的定向持久图数量，突破以往研究中对无穷多方向的假设。
• 开发一种基于高度过滤与拓扑不变量（入度差值）的几何重建算法，以恢复图结构。
• 为将重建方法推广至高维单纯复形奠定基础，并通过更丰富的每张图分析信息，减少所需图的数量。

提出的方法

• 使用三个定向持久图，通过定理 5 重建平面图 K 的顶点集 V，利用每个顶点处的直线排列与邻居的循环序。
• 对于每对顶点 (v, v')，定义一个蝴蝶结区域，使用两个方向 s₁ 和 s₂，使得它们与向量 (v'−v) 的垂线形成 ±θ 的夹角，其中 θ < min_v θ(v)。
• 沿方向 s₁ 和 s₂ 构建高度过滤，并计算子水平集中文献 v 的入度，记为 Indeg(v, s₁) 和 Indeg(v, s₂)。
• 应用引理 7 和引理 9 进行边检测：若 |Indeg(v, s₁) − Indeg(v, s₂)| = 1，则边 (v, v') 存在；否则不存在。
• 利用蝴蝶结区域中恰好包含一个其他顶点 (v') 的事实，确保每对顶点的边检测是明确且局部的。
• 将顶点重建与边检测结合，形成完整算法，使用 O(n²) 个持久图，在多项式时间内实现对 K = (V, E) 的精确重建。

实验结果

研究问题

• RQ1 能否从有限个定向持久图而非不可数无穷多个方向中重建 ℝ² 中嵌入的平面图？
• RQ2 唯一重建平面图顶点与边结构所需的最少持久图数量是多少？
• RQ3 能否利用顶点角度与方向可见性等几何性质，设计一种有限且算法化的重建过程？
• RQ4 是否可以利用两个精心选择的过滤中顶点的入度差值，检测两个顶点之间是否存在边？
• RQ5 该方法能否推广至高维单纯复形，或通过每张图更丰富的信息分析，将所需图的数量减少至亚二次？

主要发现

• 通过循环序与角度分析，仅使用三个定向持久图即可重建平面图的顶点集 V。
• 通过分析高度过滤中入度差值，对每对顶点使用 O(n²) 个定向持久图，可完全恢复边集 E。
• 当每张图的计算时间为 O(T) 时，该算法运行时间为 O(Tn²)，顶点重建耗时 O(T + n log n)。
• 该方法在顶点处于一般位置且图以直线边嵌入的假设下，可保证对顶点位置与边连接关系的精确重建。
• 蝴蝶结的使用确保在两个定向过滤定义的区域内仅有一个其他顶点，从而实现无歧义的边检测。
• 该方法为重建问题提供了有限且多项式时间的解决方案，与先前工作 [15] 所需不可数无穷多个方向形成鲜明对比。