Skip to Main content Skip to Navigation
Journal articles

Allowing cycles in discrete Morse theory

Abstract : Discrete gradient vector fields are combinatorial structures that can be used for accelerating the homology computation of CW complexes, such as simplicial or cubical complexes, by reducing their number of cells. Consequently, they provide a bound for the Betti numbers (the most basic homological information). A discrete gradient vector field can eventually reduce the complex to its minimal form, having as many cells of each dimension as its corresponding Betti number, but this is not guaranteed. Moreover, finding an optimal discrete gradient vector field is an NP-hard problem. We describe here a generalization, which we call Homological Discrete Vector Field (HDVF), which can overcome these limitations by allowing cycles under a certain algebraic condition. In this work we define the HDVF and its associated reduction, we study how to efficiently compute a HDVF, we establish the relation between the HDVF and other concepts in computational homology and we estimate the average complexity of its computation. We also introduce five basic operations for modifying a HDVF, which can also be applied to discrete gradient vector fields.
Complete list of metadatas
Contributor : Aldo Gonzalez-Lorenzo <>
Submitted on : Saturday, May 27, 2017 - 11:42:49 AM
Last modification on : Monday, March 30, 2020 - 8:52:21 AM



Aldo Gonzalez-Lorenzo, Alexandra Bac, Jean-Luc Mari, Pedro Real. Allowing cycles in discrete Morse theory. Topology and its Applications, Elsevier, 2017, 228, pp.1-35. ⟨10.1016/j.topol.2017.05.008⟩. ⟨hal-01528103⟩



Record views