Homological Computation Using Spanning Trees

  • H. Molina-Abril
  • P. Real
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5856)


We introduce here a new \(\mathbb{F}_2\) homology computation algorithm based on a generalization of the spanning tree technique on a finite 3-dimensional cell complex K embedded in ℝ3. We demonstrate that the complexity of this algorithm is linear in the number of cells. In fact, this process computes an algebraic map φ over K, called homology gradient vector field (HGVF), from which it is possible to infer in a straightforward manner homological information like Euler characteristic, relative homology groups, representative cycles for homology generators, topological skeletons, Reeb graphs, cohomology algebra, higher (co)homology operations, etc. This process can be generalized to others coefficients, including the integers, and to higher dimension.


Cell complex chain homotopy digital volume homology gradient vector field tree spanning tree 


  1. 1.
    Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1948)zbMATHGoogle Scholar
  2. 2.
    Delfinado, C.J.A., Edelsbrunner, H.: An incremental algorithm for betti numbers of simplicial complexes on the 3–sphere. Comput. Aided Geom. Design 12, 771–784 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    González-Diaz, R., Jiménez, M.J., Medrano, B., Molina-Abril, H., Real, P.: Integral operators for computing homology generators at any dimension. In: Ruiz-Shulcloper, J., Kropatsch, W.G. (eds.) CIARP 2008. LNCS, vol. 5197, pp. 356–363. Springer, Heidelberg (2008)Google Scholar
  4. 4.
    Madjid, A., Corriveau, D., Ziou, D.: Morse homology descriptor for shape characterization. In: ICPR 2004: Proceedings of the Pattern Recognition, 17th International Conference on (ICPR 2004), Washington, DC, USA, vol. 4, pp. 27–30. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  5. 5.
    Molina-Abril, H., Real, P.: Advanced homological information on 3d digital volumes. In: da Vitoria Lobo, N., Kasparis, T., Roli, F., Kwok, J.T., Georgiopoulos, M., Anagnostopoulos, G.C., Loog, M. (eds.) SSSPR 2008. LNCS, vol. 5342, pp. 361–371. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  6. 6.
    Molina-Abril, H., Real, P.: Cell at-models for digital volumes. In: 7th IAPR -TC-15 Workshop on Graph-based Representations in Pattern Recognition, Venice (Italy). LNCS, Springer, Heidelberg (2009)Google Scholar
  7. 7.
    Molina-Abril, H., Real, P.: Homological tree-based strategies for image analysis. In: Jiang, X., Petkov, N. (eds.) CAIP 2009. LNCS, vol. 5702, pp. 326–333. Springer, Heidelberg (2009)Google Scholar
  8. 8.
    Mrozek, M., Pilarczykand, P., Zelazna, N.: Homology algorithm based on acyclic subspace. Computers and Mathematics with Applications 55, 2395–2412 (2008)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Munkres, J.: Elements of Algebraic Topology. Addison Wesley Co., Reading (1984)zbMATHGoogle Scholar
  10. 10.
    Peltier, S., Ion, A., Kropatsch, W.G., Damiand, G., Haxhimusa, Y.: Directly computing the generators of image homology using graph pyramids. Image Vision Comput. 27(7), 846–853 (2009)CrossRefGoogle Scholar
  11. 11.
    Scopigno, R., Zorin, D., Carlsson, G., Zomorodian, A., Collins, A., Guibas, L.: Persistence barcodes for shapes (2004)Google Scholar
  12. 12.
    Storjohann, A.: Near optimal algorithms for computing smith normal forms of integer matrices, pp. 267–274 (1996)Google Scholar
  13. 13.
    Tarjan, R.: Finding dominators in directed graphs. SIAM J. on Comput. 3, 62–89 (1974)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Zelawski, M.: Pattern recognition based on homology theory. MG&V 14(3), 309–324 (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • H. Molina-Abril
    • 1
    • 2
  • P. Real
    • 1
  1. 1.Departamento de Matematica Aplicada IUniversidad de Sevilla 
  2. 2.Faculty of Informatics, PRIP GroupVienna University of Technology 

Personalised recommendations