Allowing cycles in discrete Morse theory - Archive ouverte HAL
Article Dans Une Revue Topology and its Applications Année : 2017

Allowing cycles in discrete Morse theory

Résumé

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.

Dates et versions

hal-01528103 , version 1 (27-05-2017)

Identifiants

Citer

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

Altmetric

Partager

More