2022/05/16 by Samira Sahar Jamil, Jamil, Samira Sahar, P Christopher Staecker +3
Computer Science · Mathematics · #Digital Image Processing Techniques #Topological and Geometric Data Analysis #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2205.07457
Discrete cubical homology arose as the homology theory associated with discrete cubical homotopy theory. Despite the combinatorial nature of this homology, its computation has posed a significant challenge to the researchers in the field. This paper focuses on determining the discrete cubical homology of c1-digital images, which are subgraphs of the integer lattice. We compare the discrete cubical homology of c1-digital images with the computationally simpler c1-cubical homology as a possible route to simplifying these computations. This comparison is motivated by the classical equivalence between simplicial and singular homology theories, but the construction and proof of the chain map was found to be unexpectedly difficult. Furthermore, via the chain map constructed in this work, the c1-homology, developed by the second author, is shown to be functorial and homotopy-type invariant.