Computing Homology: A Global Reduction Approach

  • David Corriveau
  • Madjid Allili
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5810)


A new algorithm to compute the homology of a finitely generated chain complex is proposed in this work. It is based on grouping algebraic reductions of the complex into structures that can be encoded as directed acyclic graphs. This leads to sequences of projection maps that reduce the number of generators in the complex while preserving its homology. This organization of reduction pairs allows to update the boundary information in a single step for a whole set of reductions which shows impressive gains in computational performance compared to existing methods. In addition, this method gives the homology generators for a small additional cost.


Homology Computation Reduction Directed Acyclic Graphs Generators 


  1. 1.
    Allili, M., Corriveau, D., Ziou, D.: Morse Homology Descriptor for Shape Characterization. Proceedings of the 17th ICPR 4, 27–30 (2004)Google Scholar
  2. 2.
    Allili, M., Corriveau, D.: Topological Analysis of Shapes using Morse Theory. Computer Vision and Image Understanding 105, 188–199 (2007)CrossRefGoogle Scholar
  3. 3.
    Collins, A., Zomorodian, A., Carlsson, G., Guibas, L.: A Barcode Shape Descriptor for Curve Point Cloud Data. Computers and Graphics 28, 881–894 (2004)CrossRefGoogle Scholar
  4. 4.
    Munkres, J.R.: Elements of Algebraic Topology. Addison-Wesley, Reading (1984)zbMATHGoogle Scholar
  5. 5.
    Kaczynski, T., Mischaikow, K., Mrozek, M.: Computational Homology. Appl. Math. Sci. Series, vol. 157. Springer, New York (2004)zbMATHGoogle Scholar
  6. 6.
    Storjohann, A.: Near Optimal Algorithms for Computing Smith Normal Forms of Integer Matrices. In: Proceedings of 1996 International Symposium on Symbolic and Algebraic Computation, ISSAC 1996, pp. 267–274 (1996)Google Scholar
  7. 7.
    Peltier, S., Alayrangues, S., Fuchs, L., Lachaud, J.: Computation of Homology Groups and Generators. Computers and Graphics 30, 62–69 (2006)CrossRefzbMATHGoogle Scholar
  8. 8.
    Kaczynski, T., Mrozek, M., Slusarek, M.: Homology Computation by Reduction of Chain Complexes. Computers and Mathematics with App. 35, 59–70 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Mrozek, M., Pilarczyk, P., Zelazna, N.: Homology Algorithm Based on Acyclic Subspace. Computers and Mathematics with App. 55(11), 2395–2412 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Mrozek, M., Batko, B.: Coreduction Homology Algorithm. Discrete and Computational Geometry (in press)Google Scholar
  11. 11.
    Allili, M., Corriveau, D., Derivière, S., Kaczynski, T., Trahan, A.: Discrete Dynamical System Framework for Construction of Connections between Critical Regions in Lattice Height Data. J. Math. Imaging Vis. 28(2), 99–111 (2007)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • David Corriveau
    • 1
  • Madjid Allili
    • 2
  1. 1.Dept. of Computer ScienceUniversité de SherbrookeSherbrookeCanada
  2. 2.Dept. of Computer ScienceBishop’s UniversitySherbrookeCanada

Personalised recommendations