arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2305.03357math.ATcs.DCcs.LO
收藏

偏序空间的持续同调

Persistent homology of partially ordered spaces

Cameron Calk, Eric Goubault, Philippe Malbos

AI总结:

本文揭示自然同调与持续同调在有向空间分类中的内在联系,证明自然同调可视为持续性对象并沿迹表示为余极限,为并发程序语义与拓扑数据分析的交叉研究开辟新方向。

摘要:

在这项工作中,我们探索自然同调与持续同调之间的联系,用于有向空间的分类。前者是有向空间的一个代数不变量,有向空间是并发程序的一种语义模型。后者是在拓扑数据分析的背景下发展起来的,在该领域中,点云数据集的拓扑性质在消除噪声的同时被提取出来。在这两种方法中,同调性质的演化都是通过通常拓扑空间的一列包含映射来追踪的。利用这一相似性,我们证明自然同调可以被视为一个持续性对象,并且可以沿着迹计算为一维持续同调的余极限。最后,我们提出了该方向上进一步的关联和未来工作的途径。

英文摘要:

In this work, we explore links between natural homology and persistent homology for the classification of directed spaces. The former is an algebraic invariant of directed spaces, a semantic model of concurrent programs. The latter was developed in the context of topological data analysis, in which topological properties of point-cloud data sets are extracted while eliminating noise. In both approaches, the evolution homological properties are tracked through a sequence of inclusions of usual topological spaces. Exploiting this similarity, we show that natural homology may be considered a persistence object, and may be calculated as a colimit of uni-dimensional persistent homologies along traces. Finally, we suggest further links and avenues of future work in this direction.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑