Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical Complexes

• Published in: Computational Topology in Image Context pp. 130 - 139
• Main Authors: Gonzalez-Lorenzo, Aldo, Juda, Mateusz, Bac, Alexandra, Mari, Jean-Luc, Real, Pedro
• Format: Book Chapter
• Language: English
• Published: Cham Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Betti numbers; Computational topology; Cubical complex; Homology; Separable
• ISBN: 3319394401; 9783319394404
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-39441-1_12

Betti numbers are topological invariants that count the number of holes of each dimension in a space. Cubical complexes are a class of CW complex whose cells are cubes of different dimensions such as points, segments, squares, cubes, etc. They are particularly useful for modeling structured data such as binary volumes. We introduce a fast and simple method for computing the Betti numbers of a three-dimensional cubical complex that takes advantage on its regular structure, which is not possible with other types of CW complexes such as simplicial or polyhedral complexes. This algorithm is also restricted to three-dimensional spaces since it exploits the Euler-Poincaré formula and the Alexander duality in order to avoid any matrix manipulation. The method runs in linear time on a single core CPU. Moreover, the regular cubical structure allows us to obtain an efficient implementation for a multi-core architecture.