[论文解读] Computing Bottleneck Distance for Multi-parameter Interval Decomposable Persistence Modules

Tamal K. Dey, Cheng Xin|arXiv (Cornell University)|Mar 7, 2018

Topological and Geometric Data Analysis被引用 20

一句话总结

该论文提出了一种多项式时间算法，用于计算n参数区间可分解持久性模的瓶颈距离，即使不可约分成分具有非恒定复杂度时也适用。此外，该研究引入了一种可计算的下界——维数距离，可高效估计多参数拓扑数据分析中的交错距离。

ABSTRACT

Computation of the interleaving distance between persistence modules is a central task in topological data analysis. For $1$-parameter persistence modules, thanks to the isometry theorem, this can be done by computing the bottleneck distance with known efficient algorithms. The question is open for most $n$-parameter persistence modules, $n>1$, because of the well recognized complications of the indecomposables. Here, we consider a reasonably complicated class called {\\em $n$-parameter interval decomposable} modules whose indecomposables may have a description of non-constant complexity. We present a polynomial time algorithm to compute the bottleneck distance for these modules from indecomposables, which bounds the interleaving distance from above, and give another algorithm to compute a new distance called {\\em dimension distance} that bounds it from below. An earlier version of this paper considered only the $2$-parameter interval decomposable modules~\\cite{DeyCheng18}.

研究动机与目标

• 解决n参数持久性模在1参数情况之外的交错距离高效计算这一开放问题。
• 为具有潜在复杂不可约分成分的n参数区间可分解模开发一种多项式时间算法，以计算瓶颈距离。
• 引入一种新的可计算距离——维数距离，其可作为交错距离的下界。
• 将先前关于块、矩形和自由模的研究结果推广至具有非恒定复杂度不可约分成分的更广泛区间可分解模类。
• 为多参数持久性模在拓扑数据分析中的高效稳定性分析与比较提供基础。

提出的方法

• 该算法通过分析不可约分成分之间的成对交错距离，利用区间可分解模的几何与代数性质，计算瓶颈距离。
• 它利用维数函数及其衍生算子（如Δdm与δ-平移）来刻画离散网格上持久性模的结构。
• 通过在有界δ值范围内进行二分查找，寻找使模为δ-交错的最小δ值，利用高效计算f±δ与g±δ实现。
• 在k元n维网格上，以O(k²)时间计算维数函数及其变体（Δf, Δg, f±, g±）。
• 维数距离d₀通过维数函数定义，并证明其满足d₀ ≤ d_I，从而提供交错距离的可计算下界。
• 该方法依赖于证明维数函数的δ-扩展与δ-收缩对应于交错，从而可通过离散网格计算实现高效验证。

实验结果

研究问题

• RQ1 对于具有非恒定复杂度不可约分成分的n参数区间可分解模，能否高效计算瓶颈距离？
• RQ2 即使瓶颈距离无法紧密界定，此类模中是否存在可计算的交错距离下界？
• RQ3 如何通过代数与几何方法分析区间可分解模的结构，以实现距离的高效计算？
• RQ4 2参数模的结果能否推广至具有非恒定复杂度不可约分成分的n参数模？
• RQ5 在此更广泛模类中，瓶颈距离与交错距离之间的关系如何？是否可建立其有界性？

主要发现

• 该论文提出了一种多项式时间算法，用于计算n参数区间可分解模的瓶颈距离，即使不可约分成分具有非恒定复杂度。
• 该算法在k元n维网格上运行时间为O(k² log k)，其中k为网格大小。
• 瓶颈距离d_B是交错距离d_I的上界，与1参数情况下的已知结果一致。
• 提出了一种新距离——维数距离d₀，并证明其满足d₀ ≤ d_I，从而提供可计算的下界。
• 该方法证明了维数函数的δ-扩展与δ-收缩对应于交错，从而可借助二分查找高效求解最小δ。
• 研究结果推广了早期关于2参数模的工作，并将瓶颈距离与基于维数的距离的应用范围显著扩展至更广泛的持久性模类。