[论文解读] Edge Contractions and Simplicial Homology

Tamal K. Dey, Anil N. Hirani+2 more|arXiv (Cornell University)|Apr 2, 2013

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

一句话总结

本文提出了 p-link 条件——一种针对单纯复形中边收缩的局部、维度特定的准则，该准则可保持单纯同调、相对同调及挠群不变。论文证明，满足 p-link 条件的边收缩可保持 p-维同调并防止引入新的相对挠群，从而在拓扑数据分析中通过线性规划实现高效的同调计算。

ABSTRACT

We study the effect of edge contractions on simplicial homology because these contractions have turned to be useful in various applications involving topology. It was observed previously that contracting edges that satisfy the so called link condition preserves homeomorphism in low dimensional complexes, and homotopy in general. But, checking the link condition involves computation in all dimensions, and hence can be costly, especially in high dimensional complexes. We define a weaker and more local condition called the p-link condition for each dimension p, and study its effect on edge contractions. We prove the following: (i) For homology groups, edges satisfying the p- and (p-1)-link conditions can be contracted without disturbing the p-dimensional homology group. (ii) For relative homology groups, the (p-1)-, and the (p-2)-link conditions suffice to guarantee that the contraction does not introduce any new class in any of the resulting relative homology groups, though some of the existing classes can be destroyed. Unfortunately, the surjection in relative homolgy groups does not guarantee that no new relative torsion is created. (iii) For torsions, edges satisfying the p-link condition alone can be contracted without creating any new relative torsion and the p-link condition cannot be avoided. The results on relative homology and relative torsion are motivated by recent results on computing optimal homologous chains, which state that such problems can be solved by linear programming if the complex has no relative torsion. Edge contractions that do not introduce new relative torsions, can safely be availed in these contexts.

研究动机与目标

• 理解边收缩对单纯同调的影响，特别是在传统邻域条件计算成本高昂的高维复形中。
• 为每个维度 p 定义一种更弱、更局部的条件——p-link 条件，以确保在边收缩下同调不变量的保持。
• 建立边收缩不引入新相对同调类或相对挠群的条件，这对通过线性规划求解最优同调链问题至关重要。
• 阐明 p-link 条件在保持相对挠群方面的必要性与充分性，这对于确保多项式时间线性规划方法的适用性至关重要。

提出的方法

• 为每个维度 p 定义 p-link 条件，作为对边邻域的局部准则，将其推广为在高维中更具计算可行性的形式。
• 运用代数拓扑技术分析边收缩对绝对同调群、相对同调群以及挠子群的影响。
• 论文证明，满足 p-link 条件的边可保持第 p 个同调群，并防止引入新的相对挠群。
• 对于相对同调，证明 (p-1)- 和 (p-2)-邻域条件共同足以确保诱导映射在相对同调群上的满射性。
• 通过反例表明，相对同调中的满射性并不蕴含相对挠群中的满射性，因此需要更强的 p-link 条件以保持挠群结构。
• 理论结果通过实例（包括穿孔的莫比乌斯带）加以支持，以说明 p-link 条件在避免引入新相对挠群方面的必要性。

实验结果

研究问题

• RQ1 边收缩是否可在不依赖完整邻域条件的前提下保持 p-维同调？
• RQ2 对边施加何种局部条件可确保其收缩不会引入新的相对同调类？
• RQ3 是否存在一种条件可保证边收缩后不产生新的相对挠群？
• RQ4 p-link 条件是否对保持同调计算中的相对挠群既必要又充分？
• RQ5 边收缩如何影响通过线性规划求解最优同调链问题的可解性？

主要发现

• 仅满足 p-link 条件的边在收缩后可保持第 p 个同调群，确保不破坏现有的 p-维同调类。
• (p-1)- 和 (p-2)-邻域条件共同足以保证在维度 p 中不引入新的相对同调类。
• 相对同调中的满射性并不蕴含相对挠群中的满射性，因此需要额外条件以保持挠群结构。
• p-link 条件在防止新相对挠群产生方面既必要又充分，使其成为实现最优同调链问题线性规划解法的关键。
• 如穿孔莫比乌斯带的反例所示，p-link 条件无法进一步弱化以保持相对挠群，表明其不可替代性。
• 本研究结果完整刻画了边收缩在何种条件下可保持关键同调不变量，从而在拓扑数据分析中实现复形的安全简化。