The Morse theory of \v{C}ech and Delaunay complexes

Given a finite set of points in $\mathbb R^n$ and a radius parameter, we study the \v{C}ech, Delaunay-\v{C}ech, Delaunay (or Alpha), and Wrap complexes in the light of generalized discrete Morse theory. Establishing the \v{C}ech and Delaunay complexes as sublevel sets of generalized discrete Morse functions, we prove that the four complexes are simple-homotopy equivalent by a sequence of simplicial collapses, which are explicitly described by a single discrete gradient field.Comment: 21 pages, 2 figures, improved expositio

Discrete Morse Theory and Extended L2 Homology

AbstractA brief overview of Forman's discrete Morse theory is presented, from which analogues of the main results of classical Morse theory can be derived for discrete Morse functions, these being functions mapping the set of cells of a CW complex to the real numbers satisfying some combinatorial relations. The discrete analogue of the strong Morse inequality was proved by Forman for finite CW complexes using a Witten deformation technique. This deformation argument is adapted to provide strong Morse inequalities for infinite CW complexes which have a finite cellular domain under the free cellular action of a discrete group. The inequalities derived are analogous to the L2 Morse inequalities of Novikov and Shubin and the asymptotic L2 Morse inequalities of an inexact Morse 1-form as derived by Mathai and Shubin. We also obtain quantitative lower bounds for the Morse numbers whenever the spectrum of the Laplacian contains zero, using the extended category of Farber

Morse shellability, tilings and triangulations

25 pages, 9 figuresWe introduce notions of tilings and shellings on finite simplicial complexes, called Morse tilings and shellings, and relate them to the discrete Morse theory of Robin Forman.Skeletons and barycentric subdivisions of Morse tileable or shellable simplicial complexes are Morse tileable or shellable. Moreover, every closed manifold of dimension less than four has a Morse tiled triangulation, admitting compatible discrete Morse functions, while every triangulated closed surface is even Morse shellable. Morse tilings extend a notion of $h$-tilings that we introduced earlier and which provides a geometric interpretation of $h$-vectors. Morse shellability extends the classical notion of shellability

A note on the pure Morse complex of a graph

AbstractThe goal of this work is to study the structure of the pure Morse complex of a graph, that is, the simplicial complex given by the set of all possible classes of discrete Morse functions (in Forman's sense) defined on it. First, we characterize the pure Morse complex of a tree and prove that it is collapsible. In order to study the general case, we consider all the spanning trees included in a given graph G and we express the pure Morse complex of G as the union of all pure Morse complexes corresponding to such trees

Homological optimality in Discrete Morse Theory through chain homotopies

Morse theory is a fundamental tool for analyzing the geometry and topology of smooth manifolds. This tool was translated by Forman to discrete structures such as cell complexes, by using discrete Morse functions or equivalently gradient vector fields. Once a discrete gradient vector field has been defined on a finite cell complex, information about its homology can be directly deduced from it. In this paper we introduce the foundations of a homology-based heuristic for finding optimal discrete gradient vector fields on a general finite cell complex K. The method is based on a computational homological algebra representation (called homological spanning forest or HSF, for short) that is an useful framework to design fast and efficient algorithms for computing advanced algebraic-topological information (classification of cycles, cohomology algebra, homology A(∞)-coalgebra, cohomology operations, homotopy groups, …). Our approach is to consider the optimality problem as a homology computation process for a chain complex endowed with an extra chain homotopy operator

An Exposition of Discrete Morse Theory and Applications

The classical Morse theory is a powerful tool to study topological properties of a smooth manifold by examining critical points of some differentiable functions on that manifold. Robin Forman developed a discrete variant of Morse theory by adapting it on abstract simplicial complexes that resulted in a new theory with wide applications in other fields of mathematics, computer science, data science, and others. In this thesis, we present Forman’s construction of discrete Morse theory, as well as its main theorems such as the Collapse theorem, discrete Morse inequalities, the theorem for cancelling critical simplices, and some additional topics. We also discuss some applications of discrete Morse theory with a major focus on the concept of persistence in topological data analysis. While many results exist in the literature, we wrote our own proofs, added more details and explanations, and adapted it to our own settings with a strong topological flavor whenever possible

An Exposition of Discrete Morse Theory and Applications

The classical Morse theory is a powerful tool to study topological properties of a smooth manifold by examining critical points of some differentiable functions on that manifold. Robin Forman developed a discrete variant of Morse theory by adapting it on abstract simplicial complexes that resulted in a new theory with wide applications in other fields of mathematics, computer science, data science, and others. In this thesis, we present Forman’s construction of discrete Morse theory, as well as its main theorems such as the Collapse theorem, discrete Morse inequalities, the theorem for cancelling critical simplices, and some additional topics. We also discuss some applications of discrete Morse theory with a major focus on the concept of persistence in topological data analysis. While many results exist in the literature, we wrote our own proofs, added more details and explanations, and adapted it to our own settings with a strong topological flavor whenever possible