Computing simplicial homology based on efficient Smith normal form algorithms Geometric properties of topological spaces are conveniently expressed by algebraic invariants of the space. This paper focuses on methods for the computer calculation of the homology of finite simplicial complexes and its applications. The calculation of homology with integer coefficients of a simplicial complex reduces to the calculation of the Smith Normal Form of the boundary matrices which, in general, are sparse. First, the authors provide a review of several algorithms for the calculation of the Smith Normal Form of sparse matrices and compare their running times for actual boundary matrices, then they describe alternative approaches to the calculation of simplicial homology. In the last section they present motivating examples and actual experiments with the GAP package (implemented by the authors). There is an example with calculations of Lie algebra homology.

References in zbMATH (referenced in 30 articles )

Showing results 1 to 20 of 30.
Sorted by year (citations)

1 2 next

  1. Rharbaoui, Wassim; Alayrangues, Sylvie; Lienhardt, Pascal; Peltier, Samuel: Local computation of homology variations over a construction process (2020)
  2. Wu, Chengyuan; Ren, Shiquan; Wu, Jie; Xia, Kelin: Discrete Morse theory for weighted simplicial complexes (2020)
  3. Krishnamoorthy, Bala; Smith, Gavin W.: Non total-unimodularity neutralized simplicial complexes (2018)
  4. Peltier, Samuel; Lienhardt, Pascal: Simploidal sets: A data structure for handling simploidal Bézier spaces (2018)
  5. Lampret, Leon; Vavpetič, Aleš: (Co)homology of Lie algebras via algebraic Morse theory (2016)
  6. Gameiro, Marcio; Hiraoka, Yasuaki; Izumi, Shunsuke; Kramar, Miroslav; Mischaikow, Konstantin; Nanda, Vidit: A topological measurement of protein compressibility (2015)
  7. Burton, Benjamin A.: A new approach to crushing 3-manifold triangulations (2014)
  8. Ferry, Steve; Mischaikow, Konstantin; Nanda, Vidit: Reconstructing functions from random samples (2014)
  9. Harker, Shaun; Mischaikow, Konstantin; Mrozek, Marian; Nanda, Vidit: Discrete Morse theoretic algorithms for computing homology of complexes and maps (2014)
  10. Mischaikow, Konstantin; Nanda, Vidit: Morse theory for filtrations and efficient computation of persistent homology (2013)
  11. Erickson, Jeff: Combinatorial optimization of cycles and bases (2012)
  12. Dłotko, Paweł; Kaczynski, Tomasz; Mrozek, Marian; Wanner, Thomas: Coreduction homology algorithm for regular CW-complexes (2011)
  13. Effenberger, Felix; Spreer, Jonathan: \textsfsimpcomp-- a GAP toolbox for simplicial complexes (2010)
  14. Mrozek, Marian; Wanner, Thomas: Coreduction homology algorithm for inclusions and persistent homology (2010)
  15. Alayrangues, Sylvie; Peltier, Samuel; Damiand, Guillaume; Lienhardt, Pascal: Border operator for generalized maps (2009)
  16. Bayer, Dave; Taylor, Amelia: Reverse search for monomial ideals (2009)
  17. Carlsson, Gunnar: Topology and data (2009)
  18. Hagen, Matthias: Lower bounds for three algorithms for transversal hypergraph generation (2009)
  19. Horak, Danijela; Maletić, Slobodan; Rajković, Milan: Persistent homology of complex networks (2009)
  20. Jonsson, Jakob: Five-torsion in the homology of the matching complex on 14 vertices (2009)

1 2 next