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

Betti number equals the rank of the

homology group, the

persistent Betti number is the rank of the

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.

be a simplicial complex, and let

be a monotonic, i.e., non-decreasing function.

Requiring monotonicity guarantees that the sublevel set

Letting the parameter

vary, we can arrange these subcomplexes into a nested sequence

for some natural number

This sequences defines a filtration on the complex

Persistent homology concerns itself with the evolution of topological features across a filtration.

To that end, by taking the

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

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.

denote the induced homomorphism

persistent homology groups are defined to be the images of each induced map.

In parallel to the classical Betti number, the

persistent Betti numbers are precisely the ranks of the

persistent homology groups, given by the definition

β