Multicore Homology

4 We design and implement a framework for parallel computation of homology of cellular spaces over 5 field coefficients. We begin by cutting a space into local pieces. We then compute the homology of 6 each piece in parallel using the persistence algorithm. Finally we glue the pieces together by construct7 ing the Mayer-Vietoris blowup complex and computing its homology. Theoretically, we show that the 8 first step, optimal decomposition into local pieces is NP-HARD. In practice we use a decomposition 9 based on graph partitions, which produces decompositions with a simple structure and bounded over10 lap. We implement our algorithms for multicore computers, and demonstrate its efficacy with a suite 11 of experiments. For example, we achieve roughly an 8× speedup of the homology computations on a 12 3-dimensional complex with about 10 million simplices using 11 cores. 13 We include line numbers for our reviewers’ ease of reference. 14

[1]  Afra Zomorodian,et al.  Localized Homology , 2007, IEEE International Conference on Shape Modeling and Applications 2007 (SMI '07).

[2]  Primoz Skraba,et al.  A spectral sequence for parallelized persistence , 2011, ArXiv.

[3]  Afra Zomorodian,et al.  Fast construction of the Vietoris-Rips complex , 2010, Comput. Graph..

[4]  Jean-Guillaume Dumas,et al.  Computing Simplicial Homology Based on Efficient Smith Normal Form Algorithms , 2003, Algebra, Geometry, and Software Systems.

[5]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[6]  M. Joswig Computing Invariants of Simplicial Manifolds , 2004, math/0401176.

[7]  Steven J. Leon Transform linear algebra , 2002 .

[8]  Afra Zomorodian,et al.  Computing Persistent Homology , 2004, SCG '04.

[9]  Samuel Eilenberg,et al.  SEMI-SIMPLICIAL COMPLEXES AND SINGULAR HOMOLOGY , 1950 .

[10]  Jon P. May Simplicial objects in algebraic topology , 1993 .

[11]  Gunnar E. Carlsson,et al.  Topology and data , 2009 .

[12]  坂上 貴之 書評 Computational Homology , 2005 .

[13]  R. Ho Algebraic Topology , 2022 .

[14]  Curt Jones,et al.  Finding Good Approximate Vertex and Edge Partitions is NP-Hard , 1992, Inf. Process. Lett..

[15]  Vipin Kumar,et al.  A Fast and High Quality Multilevel Scheme for Partitioning Irregular Graphs , 1998, SIAM J. Sci. Comput..

[16]  Herbert Edelsbrunner,et al.  Topological Persistence and Simplification , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[17]  Clay P. Breshears The Art of Concurrency - A Thread Monkey's Guide to Writing Parallel Applications , 2009 .

[18]  Mervin E. Muller,et al.  A note on a method for generating points uniformly on n-dimensional spheres , 1959, CACM.

[19]  Franck Hétroy,et al.  Constructive Mayer-Vietoris Algorithm: Computing the Homology of Unions of Simplicial Complexes , 2010 .