user_guide:tutorials:latest:persistent_homology

This tutorial is probably also available as a Jupyter notebook in the demo folder in the polymake source and on github.

Different versions of this tutorial: latest release, release 4.11, release 4.10, release 4.9, release 4.8, release 4.7, release 4.6, release 4.5, release 4.4, release 4.3, release 4.2, release 4.1, release 4.0, release 3.6, nightly master

Persistent Homology Tutorial

Persistent homology is a construct from algebraic topology that formalizes the effect that changing a topological space in a certain way has on its homology. It attempts to overcome the lack of robustness homology shows: changing the space of interest just a little can result in a drastic change in homology. The approach to this is to consider the homology of the space at different “resolutions”, so to say – for example by approximating it by a sequence of chain complexes that grow more and more complicated and accurate. One can then try to distinguish prominent topological features in arbitrary dimensions from the irrelevant ones by discarding the features that are only present at a few resolutions.

This paper introduces the concept and presents the algorithms. See e.g. this article for a deeper survey of the topic.

To use the function, one has to switch to the topaz application. See this tutorial for a general introduction to topaz.

> application 'topaz';

The objects of study are filtrations of chain complexes with finitely many frames. The data structure is templated by the type of matrix used for the description of the boundary maps.

A filtration can be initialized by passing the Hasse diagram of the last frame of the filtration and an array containing the degree of each cell, indexed in the same order as the node indexing in the Hasse diagram (without the empty set and the dummy node with index 0, thus shifted by one). Consider this small three-frame example filtration:

You can construct it in polymake like this:

> $S = new SimplicialComplex(FACETS=>[[0,1],[0,2],[1,2],[3]]);
> $HD = $S->HASSE_DIAGRAM;              # Hasse diagram of the last frame
> print rows_numbered($HD->FACES);      # check indexing
0:-1
1:0 1
2:0 2
3:1 2
4:3
5:0
6:1
7:2
8:
> $a = new Array<Int>(1,2,1,2,0,0,1);   # assign degrees to the simplices ([0,1] gets degree 1, [0,2] degree 2 etc)
> $F = new Filtration<SparseMatrix<Rational>>($HD,$a);

You can print the boundary matrix for each frame and dimension:

> print $F->boundary_matrix(1,1);     # print dimension 1 matrix of frame 1
1 -1 0
0 1 -1

To find out which rows correspond to which cells, you can print the cells of the filtration. They will be output as an array of 3-tuples, each representing one cell with degree, dimension and boundary matrix index.

> print $F->cells;
(0,0,1) (0,0,2) (1,0,3) (1,1,0) (1,1,2) (2,0,0) (2,1,1)

It is also possible to construct a filtration by passing such an array of cells, together with an array of matrices to be used as boundary matrices. To construct the same filtration as above:

> $C = new Array<Cell>(7);
> $C->[0] = new Cell(0,0,1);
> $bd = new Array<SparseMatrix<Rational>>(3);
> $bd->[0] = new SparseMatrix<Rational>([1],[1],[1],[1]);
> $F = new Filtration<SparseMatrix<Rational>>($C,$bd);

It is also possible to compute the Vietoris-Rips-filtration of a point set given a metric. The input consists of the distance matrix of the point set (that is, the matrix whose i,j-entry is the distance between points i and j), an array containing the filtration degrees of the points, the increase in ball size per frame, and an upper bound to the dimension (so one can compute lower-dimensional skeletons and save space). The following computes the four-skeleton of the VR-filtration of six random points in 5-space using the euclidean metric:

> $S = polytope::rand_sphere(5,6)->VERTICES;
> $P = $S->minor(All,sequence(1,5));     # dehomogenize
> sub dist($){                          # define euclidean metric
>     my $v = $_[0] - $_[1];
>     return sqrt(new Float($v*$v));
> };
> 
> $D = distance_matrix($P,\&dist);      # conmpute distance matrix of the point set
> $a = new Array<Int>(6);               # zero array -- all points get degree 0
> $F = vietoris_rips_filtration<Rational>($D,$a,0.1,4);

There are two different functions, one to compute persistent homology for coefficients from arbitrary euclidean domains, and another for computing persistence barcodes for field coefficients. Both are templated by the boundary matrix type. The following examples compute both for this filtration of the 5-simplex, whose 3rd frame is the real projective plane:

The function for coefficients from arbitrary euclidean domains takes as parameters a filtration object matching the matrix type and indices i,p,k. It outputs a sparse matrix containing (as rows) the generators of the torsion-free part of the p-persistent k-th homology group of the i-th frame, and a list of paired torsion coefficients and corresponding generator matrices.

The following code loads a filtration object with Integer coefficients containing the example that was previously saved to disk, which you can download here. It then computes the 3-persistent first homology group of frame 0, with the result that the torsion-free part is empty, and the part with torsion coefficient 2 has one generator, namely -v_0+v_1-v_5:

topaz > $F = load_data("FiltrationExample.top");
topaz > print persistent_homology<SparseMatrix<Integer>>($F,0,3,1);
<>
<(2, <(15) (0 -1) (1 1) (5 -1)>)>

barcodeThe function for field coefficients requires only a filtration object of matching type as parameter. The output is an array with an entry for each dimension, containing a list of persistence intervals encoded as tuples of integers (where -1 encodes infinite lifetime). The following computes the intervals of the same filtration as above but with rational coefficients, downloadable here.

topaz > $F2 = load_data("FiltrationExampleRational.top");
topaz > print persistent_homology<SparseMatrix<Rational>>($F2);
{(0 2) (0 -1)}
{(2 3) (2 3) (2 3) (1 3) (2 3) (0 3)}
{}
{}
{}
{}
{}

The output corresponds to the barcode on the right.

  • user_guide/tutorials/latest/persistent_homology.txt
  • Last modified: 2023/11/06 10:57
  • by 127.0.0.1