Defined the homology
Hn(K)
of a simplicial complex K (over a field).
This is a vector space whose dimension equals the degree n Betti number:
βn = dim (Hn(K)) .
Explained that an inclusion of simplicial complexes L < K induces a linear homomorphism of vector spaces
Hn(L) ---> Hn(K) .
Given a matrix of distances between n objects in a dataset, and given an increasing sequence of thresholds, one can construct a sequence of inclusions of clique complexes. For each n this sequence yields a sequence of linear homomorphisms of degree n homology vector spaces. It was explained how the sequence can be represented using barcodes and then used to extract meaningful geometric information about the dataset.
The following example from the R-TDA package was explained.
library(TDA)
Circle1 <- circleUnif(25)
Circle2 <- circleUnif(25, r=1.2)
Circle3 <- circleUnif(25, r=1.4)
Circle4 <- circleUnif(25, r = 2) + 4.5
Circle5 <- circleUnif(25, r = 2.2) + 4.5
Circle6 <- circleUnif(25, r = 2.4) + 4.5
Circles <- rbind(Circle1, Circle2, Circle3, Circle4, Circle5, Circle6)
plot(Circles, pch = 16, xlab = "",ylab = "")
DiagLim <- 4
maxdimension <- 1
Diag <- ripsDiag(Circles, maxdimension, DiagLim, printProgress = TRUE)
par(mfrow = c(1, 1))
plot(Diag[["diagram"]], barcode = TRUE)