Cup Product Persistence and Its Efficient Computation
Uložené v:
| Názov: | Cup Product Persistence and Its Efficient Computation |
|---|---|
| Autori: | Dey, Tamal K., Rathod, Abhishek |
| Prispievatelia: | Tamal K. Dey and Abhishek Rathod |
| Publication Status: | Preprint |
| Informácie o vydavateľovi: | arXiv, 2022. |
| Rok vydania: | 2022 |
| Predmety: | Computational Geometry (cs.CG), FOS: Computer and information sciences, 01 natural sciences, Persistent cohomology, image persistence, persistent cup module, FOS: Mathematics, cup product, Computer Science - Computational Geometry, Algebraic Topology (math.AT), Mathematics - Algebraic Topology, ddc:004, 0101 mathematics |
| Popis: | It is well-known that the cohomology ring has a richer structure than homology groups. However, until recently, the use of cohomology in persistence setting has been limited to speeding up of barcode computations. Some of the recently introduced invariants, namely, persistent cup-length, persistent cup modules and persistent Steenrod modules, to some extent, fill this gap. When added to the standard persistence barcode, they lead to invariants that are more discriminative than the standard persistence barcode. In this work, we devise an $O(d n^4)$ algorithm for computing the persistent $k$-cup modules for all $k \in \{2, \dots, d\}$, where $d$ denotes the dimension of the filtered complex, and $n$ denotes its size. Moreover, we note that since the persistent cup length can be obtained as a byproduct of our computations, this leads to a faster algorithm for computing it for $d>3$. Finally, we introduce a new stable invariant called partition modules of cup product that is more discriminative than persistent $k$-cup modules and devise an $O(c(d)n^4)$ algorithm for computing it, where $c(d)$ is subexponential in $d$. To appear in Proceedings of 40th International Symposium on Computational Geometry |
| Druh dokumentu: | Article Conference object |
| Popis súboru: | application/pdf |
| DOI: | 10.48550/arxiv.2212.01633 |
| DOI: | 10.4230/lipics.socg.2024.50 |
| Prístupová URL adresa: | http://arxiv.org/abs/2212.01633 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2024.50 |
| Rights: | CC BY |
| Prístupové číslo: | edsair.doi.dedup.....c0c94027d4e6596dd191b6b9ca499f09 |
| Databáza: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstrakt: | It is well-known that the cohomology ring has a richer structure than homology groups. However, until recently, the use of cohomology in persistence setting has been limited to speeding up of barcode computations. Some of the recently introduced invariants, namely, persistent cup-length, persistent cup modules and persistent Steenrod modules, to some extent, fill this gap. When added to the standard persistence barcode, they lead to invariants that are more discriminative than the standard persistence barcode. In this work, we devise an $O(d n^4)$ algorithm for computing the persistent $k$-cup modules for all $k \in \{2, \dots, d\}$, where $d$ denotes the dimension of the filtered complex, and $n$ denotes its size. Moreover, we note that since the persistent cup length can be obtained as a byproduct of our computations, this leads to a faster algorithm for computing it for $d>3$. Finally, we introduce a new stable invariant called partition modules of cup product that is more discriminative than persistent $k$-cup modules and devise an $O(c(d)n^4)$ algorithm for computing it, where $c(d)$ is subexponential in $d$.<br />To appear in Proceedings of 40th International Symposium on Computational Geometry |
|---|---|
| DOI: | 10.48550/arxiv.2212.01633 |