Persistent Betti number explained

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

nth

Betti number equals the rank of the

nth

homology group, the

nth

persistent Betti number is the rank of the

nth

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.[1] [2] Applications of the persistent Betti number appear in a variety of fields including data analysis,[3] machine learning,[4] [5] [6] and physics.[7] [8] [9]

Definition

Let

K

be a simplicial complex, and let

f:K\toR

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\inR

. Letting the parameter

a

vary, we can arrange these subcomplexes into a nested sequence

\emptyset=K0\subseteqK1\subseteq\subseteqKn=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

pth

homology group of every complex in the filtration we obtain a sequence of homology groups

0=Hp(K0)\toHp(K1)\to\toHp(Kn)=Hp(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\leqj

, let
i,j
f
p
denote the induced homomorphism

Hp(Ki)\toHp(Kj)

. Then the

pth

persistent homology groups
are defined to be the images of each induced map. Namely,
i,j
H
p

:=\operatorname{im}

i,j
f
p
for all

0\leqi\leqj\leqn

.

In parallel to the classical Betti number, the

pth

persistent Betti numbers are precisely the ranks of the

pth

persistent homology groups, given by the definition
i,j
\beta
p

:=\operatorname{rank}

i,j
H
p
.[10]

References

  1. Perea . Jose A. . 2018-10-01 . A Brief History of Persistence . math.AT . 1809.03624 .
  2. Edelsbrunner . Letscher . Zomorodian . 2002 . Topological Persistence and Simplification . Discrete & Computational Geometry . en . 28 . 4 . 511–533 . 10.1007/s00454-002-2885-2 . 0179-5376. free .
  3. Yvinec, M., Chazal, F., Boissonnat, J. (2018). Geometric and Topological Inference. pp. 211. United States: Cambridge University Press.
  4. Conti, F., Moroni, D., & Pascali, M. A. (2022). A Topological Machine Learning Pipeline for Classification. Mathematics, 10(17), 3086. https://doi.org/10.3390/math10173086
  5. Krishnapriyan, 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
  6. Book: 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 . 2017 . Andreas Holzinger, Peter Kieseberg, A. Min Tjoa, Edgar R. Weippl . 978-3-319-66808-6 . Cham . 23–24 . 1005114370.
  7. Book: Morphology of condensed matter : physics and geometry of spatially complex systems . 2002 . Springer . Klaus R. Mecke, Dietrich Stoyan . 978-3-540-45782-4 . Berlin . 261–274 . 266958114.
  8. 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/S0022377818000752
  9. Pranav, 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
  10. Book: Edelsbrunner, Herbert . Computational topology : an introduction . 2010 . American Mathematical Society . J. Harer . 978-1-4704-1208-1 . Providence, R.I. . 178–180 . 946298151.