Intending to introduce a method for the topological analysis of fields, we present a pipeline that takes as an input a weighted and based chain complex, produces a factored chain complex, and encodes it as a barcode of tagged intervals (briefly, a tagged barcode). We show how to apply this pipeline to the weighted and based Morse chain complex of a gradient-like Morse-Smale vector field on a compact Riemannian manifold in both the smooth and discrete settings. Interestingly for computations, it turns out that there is an isometry between factored chain complexes endowed with the interleaving distance and their tagged barcodes endowed with the bottleneck distance. Concerning stability, we show that the map taking a generic enough gradient-like vector field to its barcode of tagged intervals is continuous. Finally, we prove that the tagged barcode of any such vector field can be approximated by the tagged barcode of a combinatorial version of it with arbitrary precision.
翻译:为引入一种用于向量场拓扑分析的方法,我们提出了一套处理流程:该流程以加权带基链复形作为输入,生成分解链复形,并将其编码为带标记区间的条形码(简称为标记条形码)。我们展示了如何将此流程应用于紧致黎曼流形上梯度类Morse-Smale向量场的加权带基Morse链复形,涵盖光滑与离散两种情形。值得关注的是,从计算角度发现:赋予交错距离的分解链复形与赋予瓶颈距离的标记条形码之间存在等距关系。在稳定性方面,我们证明了将足够一般的梯度类向量场映射至其标记区间条形码的过程是连续的。最后,我们验证了任意此类向量场的标记条形码均可通过其组合版本的标记条形码以任意精度逼近。