Presentation is loading. Please wait.

Presentation is loading. Please wait.

Computing Persistent Homology Afra Zomorodian and Gunnar Carlsson.

Similar presentations


Presentation on theme: "Computing Persistent Homology Afra Zomorodian and Gunnar Carlsson."— Presentation transcript:

1 Computing Persistent Homology Afra Zomorodian and Gunnar Carlsson

2 Motivation Persistence complexes arise naturally whenever one is attempting to study topological invariants of a space computationally. Given a complex K, we are interested in it’s k th homology and it’s persistence. Computers are needed to handle high dimensional spaces. This presentation will demonstrate an algorithm for computing persistent homology over a field.

3 Filtered Complex A filtration of a complex K is a nested sequence of subcomplexes, ∅ = K 0 ⊆ K 1 ⊆ K 2 ⊆... ⊆ K m = K. Persistence Complex A filtered simplicial complex, along with its associated chain and boundary maps.

4 Boundary Operator

5 Cycles and Boundaries A chain is a cycle when its boundary is zero The cycles form a subgroup Z k ( К ) of chain group C k ( К ), which is the kernel of boundary operator: Z k (К) =ker( ∂ k ) The elements in Im(∂ k+1 ) are called boundaries. The k-boundary group of К is the set of boundaries of (k+1)-chains in К, i.e. Its the Image of the (k+1)- chain group B k ( К )= Im(∂ k+1 )

6 Cycles and Boundaries

7 Homology A certain general procedure used to associate Modules with a Topological Space The k th homology Module is. Also depicts the “holes” in the shape created by the Complex K.

8 Modules Module over a ring is a generalization of the notion of vector space, wherein the corresponding scalars are allowed to lie in an arbitrary ring. r(x + y) = rx + ry (r + s)x = rx + sx (rs)x = r(sx) 1 R x = x if R has multiplicative identity 1 R

9 Standard matrix representation (1) The boundary operator performs the following manipulation on the vertices of k-simplices in K Which can be written in the form of a matrix with entries {-1,0,1}.

10 Standard matrix representation (2) has columns and rows representing the number k and k-1 simplices in K. The null space (Kernel) of corresponds to. The Range space corresponds to. Linear operations on the matrix rows cause basis change in

11 Standard matrix representation (3) The reduction algorithm transforms into its diagonal form with the elementary operations: The above mentioned operators also work on columns that correspond to a base change in.

12 Algorithm – Methodology The homology of a Complex K is a vector space of rank= β. The standard method for computing homology is the reduction algorithm for the representing matrix. Exploring the properties of the Matrices will allow us to deduct the properties of the topological space.

13 Algorithm – principles The oriented k-simplices form the standard basis for the k th complex in the chain C. Matrix representation reduction. Matrix rank  Betti numbers

14 Example of a basis The two solid 1-cycles form a basis for the first homology class of the torus. The two solid 1-cycles form a basis for the first homology class of the torus

15 Diagonal form (1) After reduction we get the following form of the matrix M, now called :

16 Diagonal form (2) The basis spans the kernel Z, whereas spans the range B.

17 Example (1)

18 Example (2) Example (2) Matrix representation of. This is the matrix that takes us from 1-simplices to 0-simplices (vertices) in K.

19 Example (3) Example (3) The reduced representation for, where:

20 Algorithm downsides The reduction algorithm requires elementary operations, where m is the number of simplices in K. The entries of the intermediate matrices may become extremely large while maintaining exact values (requires long integer storage word). We need to simplify the process

21 Homology of Filtration Given a filtered complex, the i th complex has associated boundary operators, matrices, and groups for all i, k ≥0. i is called the filtration index.

22 Persistence assuming a k-cycle z, created at time i with the arrival of simplex σ into the complex. The homology class of this cycle, [z], is an element of. arrival of simplex τ at time j ≥ I, merges [z] with an older class, turning a cycle z’ in [z] into a boundary. Rank of homology group decreases.

23 P Interval A P-interval is an ordered pair (i, j) with 0 ≤ i < j ∈ Z ∞ = Z ∪ {+∞}. Describes the the appearance time of a simplex, i, and the disappear time j-1. The P interval is the lifetime (j-i-1) of this class in the filtration.

24 Persistent Homology The p-persistent kth homology group of is By increasing p sufficiently we “kill” short-term changes – the noise. Over-increasing p will cover the attributes of the space.

25 Persistence Complex Moving to the right increases filtration index. Moving down decreases dimensions

26 Algorithm over fields Simplify the standard reduction algorithm by using “The Persistence Module”. We compute the P-intervals directly over the field without computing the Persistence Module.

27 Mid-conclusion Add 3.3 from the paper.

28 Example’ (1) Example’ (1) Compute over. Persistence Module corresponds to. Definition: is the basis for

29 Example’ (2) Example’ (2) Algorithm: We start from the trivial case of using the standard basis to represent. Extract the matrix rep. to

30 Example’ (3) Example’ (3) Degrees of simplices in the filtration. Where:

31 Example’ (4) Example’ (4) We bring the Matrix to column echelon form using Gaussian elimination.

32 Algorithm Lemma 4.1 (Echelon Form) The pivots in column echelon form are the same as the diagonal elements in normal form. Moreover, the degree of the basis elements on pivot rows is the same in both forms. Let be the column-echelon form for ∂ k relative to bases {e j } and for C k and Z k − 1, respectively.

33 Meaning If row i has pivot then it contributes a P- interval of to. otherwise, the interval is In our case - giving an interval of (1,2) to the description of H 0.

34 Example’ (5) Example’ (5) Next, we wish to find the k+1 matrix using the The base we computed for, since: As we perform the column opertors on to get it to echelon form, we perform the same operators on rows in which causes rows to zero out.

35 Example’ (6) Example’ (6) Since the corresponding rows even out, we might as well erase them manualy and replace the wors with the basis of :

36 Conclusions from example Conclusions from example Matrix in Echelon form gives us all the information we need. Next dimension matrix is partly eliminated by column operators from the current dimension. There is no need for row operators There is no need for matrix representation

37 Data structure From now on we work with an array T with a slot for each simplex. we compute homology in all dimensions incrementally and concurrently.

38 COMPUTE INTERVALS (K) The algorithm stores the list of P-intervals for H k in L k.

39 COMPUTE INTERVALS (K) New simplex is passed through “RPR” routine to check whether its boundary d corresponds to zero ( ) or pivot. If “zero” – we mark so corresponding row doesn’t get eliminated in k+1. If is a pivot, we look for the pivot value (maxindex(d)). We store index j and chain d representing the column in T[i]. We then perform another pass through the filtration in search of infinite P-intervals: marked simplices whose slot is empty.

40 REMOVE PIVOT ROWS If T[i] is non-empty, a pivot was already stored and we eliminate the row. Otherwise, we found a pivot

41 Algorithm - results For our example, the marked 0-simplices {a, b, c, d} and 1-simplices {ad, ac} generate P-intervals L 0 = ={(0,∞), (0, 1), (1, 1), (1, 2)} and L 1 = {(2, 5), (3, 4)}

42 Conclusion When a 0-simplex is created – H 0 is incremented. When a 1-simplex is created, either H 1 is increased or H 0 is decreased. Etc… each P-interval (i, j) describes a basis element for the homology vector spaces starting at time i (in which he joins ) until time j − 1. This basis element is a non-bounding k-cycle until filtration index j, till he joins.

43 Conclusion L 0 ={(0,∞), (0, 1), (1, 1), (1, 2)} L 1 = {(2, 5), (3, 4)}

44 Multidimensional Filtration COMPUTING MULTIDIMENSIONAL PERSISTENCE Gunnar Carlsson, Gurjeet Singh, and Afra Zomorodian

45 Sources COMPUTING MULTIDIMENSIONAL PERSISTENCE Gunnar Carlsson, Gurjeet Singh, and Afra Zomorodian


Download ppt "Computing Persistent Homology Afra Zomorodian and Gunnar Carlsson."

Similar presentations


Ads by Google