Quantifying Homology Classes

We develop a method for measuring homology classes. This involves three problems. First, we define the size of a homology class, using ideas from relative homology. Second, we define an optimal basis of a homology group to be the basis whose elements' size have the minimal sum. We provide a greedy algorithm to compute the optimal basis and measure classes in it. The algorithm runs in $O(\beta^4 n^3 log^2 n)$ time, where $n$ is the size of the simplicial complex and $\beta$ is the Betti number of the homology group. Third, we discuss different ways of localizing homology classes and prove some hardness results.

[1]  R. Ghrist.  Barcodes: The persistent topology of data , 2007 .

[2]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

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

[4]  David Cohen-Steiner,et al.  Vines and vineyards by updating persistence in linear time , 2006, SCG '06.

[5]  Esther M. Arkin,et al.  Minimum-diameter covering problems , 2000 .

[6]  Tamal K. Dey,et al.  On Computing Handle and Tunnel Loops , 2007, 2007 International Conference on Cyberworlds (CW'07).

[7]  David Cohen-Steiner,et al.  Extending Persistence Using Poincaré and Lefschetz Duality , 2009, Found. Comput. Math..

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

[9]  Mathieu Desbrun,et al.  Removing excess topology from isosurfaces , 2004, TOGS.

[10]  Jeff Erickson,et al.  Greedy optimal homotopy and homology generators , 2005, SODA '05.

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

[12]  Vin de Silva,et al.  Coverage in sensor networks via persistent homology , 2007 .

[13]  Douglas H. Wiedemann.  Solving sparse linear equations over finite fields , 1986, IEEE Trans. Inf. Theory.

[14]  Jeff Erickson,et al.  Optimally Cutting a Surface into a Disk , 2002, SCG '02.

[15]  R. Steele,et al.  Optimization , 2005, Encyclopedia of Biometrics.

[16]  David Cohen-Steiner,et al.  Stability of Persistence Diagrams , 2005, Discret. Comput. Geom..

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

[18]  Hong Qin,et al.  Topology-driven surface mappings with robust feature alignment , 2005, VIS 05. IEEE Visualization, 2005..

[19]  Herbert Edelsbrunner,et al.  Extreme Elevation on a 2-Manifold , 2004, SCG '04.

[20]  Gauthier Lafruit,et al.  Adaptive 3D Content for Multi-Platform On-Line Games , 2007, CW 2007.

[21]  Leonidas J. Guibas,et al.  Persistence barcodes for shapes , 2004, SGP '04.