Interval Decomposition of Persistence Modules over a Principal Ideal Domain
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908574727274496 |
|---|---|
| author | Luo, Jiajie Henselman-Petrusek, Gregory |
| author_facet | Luo, Jiajie Henselman-Petrusek, Gregory |
| contents | The study of persistent homology has contributed new insights and perspectives into a variety of interesting problems in science and engineering. Work in this domain relies on the result that any finitely-indexed persistence module of finite-dimensional vector spaces admits an interval decomposition -- that is, a decomposition as a direct sum of simpler components called interval modules. This result fails if we replace vector spaces with modules over more general coefficient rings. To address this problem, we introduce an algorithm to determine whether or not a persistence module of pointwise free and finitely-generated modules over a principal ideal domain (PID) splits as a direct sum of interval submodules. If one exists, our algorithm outputs an interval decomposition. When considering persistence modules with coefficients in $\Z$ or $\Q[x]$, our algorithm computes an interval decomposition in polynomial time. This is the first algorithm with these properties of which we are aware. We also show that a persistence module of pointwise free and finitely-generated modules over a PID splits as a direct sum of interval submodules if and only if the cokernel of every structure map is free. This result underpins the formulation of our algorithm. It also complements prior findings by Obayashi and Yoshiwaki regarding persistent homology, including a criterion for field independence and an algorithm to decompose persistence homology modules. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2310_07971 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Interval Decomposition of Persistence Modules over a Principal Ideal Domain Luo, Jiajie Henselman-Petrusek, Gregory Algebraic Topology Computational Geometry Category Theory 55N31, 06D05, 55-08 The study of persistent homology has contributed new insights and perspectives into a variety of interesting problems in science and engineering. Work in this domain relies on the result that any finitely-indexed persistence module of finite-dimensional vector spaces admits an interval decomposition -- that is, a decomposition as a direct sum of simpler components called interval modules. This result fails if we replace vector spaces with modules over more general coefficient rings. To address this problem, we introduce an algorithm to determine whether or not a persistence module of pointwise free and finitely-generated modules over a principal ideal domain (PID) splits as a direct sum of interval submodules. If one exists, our algorithm outputs an interval decomposition. When considering persistence modules with coefficients in $\Z$ or $\Q[x]$, our algorithm computes an interval decomposition in polynomial time. This is the first algorithm with these properties of which we are aware. We also show that a persistence module of pointwise free and finitely-generated modules over a PID splits as a direct sum of interval submodules if and only if the cokernel of every structure map is free. This result underpins the formulation of our algorithm. It also complements prior findings by Obayashi and Yoshiwaki regarding persistent homology, including a criterion for field independence and an algorithm to decompose persistence homology modules. |
| title | Interval Decomposition of Persistence Modules over a Principal Ideal Domain |
| topic | Algebraic Topology Computational Geometry Category Theory 55N31, 06D05, 55-08 |
| url | https://arxiv.org/abs/2310.07971 |