Stability of 0-dimensional persistent homology in enriched and sparsified point clouds
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917123620601856 |
|---|---|
| author | Lazovskis, Jānis Levi, Ran Morimoto, Juliano |
| author_facet | Lazovskis, Jānis Levi, Ran Morimoto, Juliano |
| contents | We give bounds for dimension 0 persistent homology and codimension 1 homology of Vietoris--Rips, alpha, and cubical complex filtrations from finite sets related by enrichment (adding new elements), sparsification (removing elements), and aligning to a grid (uniformly discretizing elements). For enrichment we use barycentric subdivision, for sparsification we use a minimum separating distance, and for aligning to a grid we take the quotient when dividing each coordinate value by a fixed step size. We are motivated by applications presenting large and irregular datasets, and the development of persistent homology to better work with them. In particular, we consider an application to ecology, in which the state of an observed species is inferred through a high-dimensional space with environmental variables as dimensions. This ``hypervolume'' has geometry (volume, convexity) and topology (connectedness, homology), which are known to be related to the current and potentially future status of the species. We offer an approach for the analysis of hypervolumes with topological guarantees, complementary to current statistical methods, giving precise bounds between persistence diagrams of Vietoris--Rips and alpha complexes, and a duality identity for cubical complexes. Implementation of our methods, called TopoAware, is made available in C++, Python, and R, building upon the GUDHI library. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_07093 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Stability of 0-dimensional persistent homology in enriched and sparsified point clouds Lazovskis, Jānis Levi, Ran Morimoto, Juliano Algebraic Topology Computational Geometry 55N31 (Primary) 68U05, 54H30 (Secondary) We give bounds for dimension 0 persistent homology and codimension 1 homology of Vietoris--Rips, alpha, and cubical complex filtrations from finite sets related by enrichment (adding new elements), sparsification (removing elements), and aligning to a grid (uniformly discretizing elements). For enrichment we use barycentric subdivision, for sparsification we use a minimum separating distance, and for aligning to a grid we take the quotient when dividing each coordinate value by a fixed step size. We are motivated by applications presenting large and irregular datasets, and the development of persistent homology to better work with them. In particular, we consider an application to ecology, in which the state of an observed species is inferred through a high-dimensional space with environmental variables as dimensions. This ``hypervolume'' has geometry (volume, convexity) and topology (connectedness, homology), which are known to be related to the current and potentially future status of the species. We offer an approach for the analysis of hypervolumes with topological guarantees, complementary to current statistical methods, giving precise bounds between persistence diagrams of Vietoris--Rips and alpha complexes, and a duality identity for cubical complexes. Implementation of our methods, called TopoAware, is made available in C++, Python, and R, building upon the GUDHI library. |
| title | Stability of 0-dimensional persistent homology in enriched and sparsified point clouds |
| topic | Algebraic Topology Computational Geometry 55N31 (Primary) 68U05, 54H30 (Secondary) |
| url | https://arxiv.org/abs/2511.07093 |