persistent Betti number

In persistent homology, a persistent Betti number is a multiscale analog of a Betti number that tracks the number of topological features that persist over multiple scale parameters in a filtration. Whereas the classical $n^{th}$ Betti number equals the rank of the $n^{th}$ homology group, the $n^{th}$ persistent Betti number is the rank of the $n^{th}$ persistent homology group. The concept of a persistent Betti number was introduced by Herbert Edelsbrunner, David Letscher, and Afra Zomorodian in the 2002 paper Topological Persistence and Simplification, one of the seminal papers in the field of persistent homology and topological data analysis.{{Cite arXiv |last=Perea |first=Jose A. |date=2018-10-01 |title=A Brief History of Persistence |class=math.AT |eprint=1809.03624 }}{{Cite journal |last1=Edelsbrunner |last2=Letscher |last3=Zomorodian |date=2002 |title=Topological Persistence and Simplification |journal=Discrete & Computational Geometry |language=en |volume=28 |issue=4 |pages=511–533 |doi=10.1007/s00454-002-2885-2 |issn=0179-5376|doi-access=free }} Applications of the persistent Betti number appear in a variety of fields including data analysis,Yvinec, M., Chazal, F., Boissonnat, J. (2018). [https://books.google.com/books?id=rUJwDwAAQBAJ Geometric and Topological Inference.] pp. 211. United States: Cambridge University Press. machine learning,Conti, F., Moroni, D., & Pascali, M. A. (2022). A Topological Machine Learning Pipeline for Classification. Mathematics, 10(17), 3086. https://doi.org/10.3390/math10173086Krishnapriyan, A. S., Montoya, J., Haranczyk, M., Hummelshøj, J., & Morozov, D. (2021, March 31). Machine learning with persistent homology and chemical word embeddings improves prediction accuracy and interpretability in metal-organic frameworks. arXiv. http://arxiv.org/abs/2010.00532. Accessed 28 October 2023{{Cite book |url=https://www.worldcat.org/oclc/1005114370 |title=Machine Learning and Knowledge Extraction : First IFIP TC 5, WG 8.4, 8.9, 12.9 International Cross-Domain Conference, CD-MAKE 2017, Reggio, Italy, August 29 - September 1, 2017, Proceedings |date=2017 |others=Andreas Holzinger, Peter Kieseberg, A. Min Tjoa, Edgar R. Weippl |isbn=978-3-319-66808-6 |location=Cham |pages=23–24 |oclc=1005114370}} and physics.{{Cite book |url=https://www.worldcat.org/oclc/266958114 |title=Morphology of condensed matter : physics and geometry of spatially complex systems |date=2002 |publisher=Springer |others=Klaus R. Mecke, Dietrich Stoyan |isbn=978-3-540-45782-4 |location=Berlin |pages=261–274 |oclc=266958114}}Makarenko, I., Bushby, P., Fletcher, A., Henderson, R., Makarenko, N., & Shukurov, A. (2018). Topological data analysis and diagnostics of compressible magnetohydrodynamic turbulence. Journal of Plasma Physics, 84(4), 735840403. https://doi.org/10.1017/S0022377818000752Pranav, P., Edelsbrunner, H., van de Weygaert, R., Vegter, G., Kerber, M., Jones, B. J. T., & Wintraecken, M. (2017). The topology of the cosmic web in terms of persistent Betti numbers. Monthly Notices of the Royal Astronomical Society, 465(4), 4281–4310. https://doi.org/10.1093/mnras/stw2862

Definition

Let $K$ be a simplicial complex, and let $f:K \to \mathbb R$ be a monotonic, i.e., non-decreasing function. Requiring monotonicity guarantees that the sublevel set $K(a) := f^{-1} (-\infty, a]$ is a subcomplex of $K$ for all $a \in \mathbb R$ . Letting the parameter $a$ vary, we can arrange these subcomplexes into a nested sequence $\emptyset = K_0 \subseteq K_1 \subseteq \cdots \subseteq K_n = K$ for some natural number $n$ . This sequences defines a filtration on the complex $K$ .

Persistent homology concerns itself with the evolution of topological features across a filtration. To that end, by taking the $p^{th}$ homology group of every complex in the filtration we obtain a sequence of homology groups $0 = H_p (K_0) \to H_p (K_1) \to \cdots \to H_p (K_n) = H_p (K)$ that are connected by homomorphisms induced by the inclusion maps in the filtration. When applying homology over a field, we get a sequence of vector spaces and linear maps commonly known as a persistence module.

In order to track the evolution of homological features as opposed to the static topological information at each individual index, one needs to count only the number of nontrivial homology classes that persist in the filtration, i.e., that remain nontrivial across multiple scale parameters.

For each $i \leq j$ , let $f_p^{i,j}$ denote the induced homomorphism $H_p (K_i) \to H_p (K_j)$ . Then the $p^{th}$ persistent homology groups are defined to be the images of each induced map. Namely, $H_p^{i,j} := \operatorname{im} f_p^{i,j}$ for all $0 \leq i \leq j \leq n$ .

In parallel to the classical Betti number, the $p^{th}$ persistent Betti numbers are precisely the ranks of the $p^{th}$ persistent homology groups, given by the definition $\beta_p^{i,j} := \operatorname{rank} H_p^{i,j}$ .{{Cite book |last=Edelsbrunner |first=Herbert |url=https://www.worldcat.org/oclc/946298151 |title=Computational topology : an introduction |date=2010 |publisher=American Mathematical Society |others=J. Harer |isbn=978-1-4704-1208-1 |location=Providence, R.I. |pages=178–180 |oclc=946298151}}

References

Category:Computational topology

Category:Data analysis

Category:Homology theory

Category:Algebraic topology