Related papers: The discrete flow category: structure and computat…
In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show…
We investigate the homology of cosheaves over finite simplicial complexes. After constructing the Mayer-Vietoris short exact sequence for this homology theory, we apply discrete Morse theory to this setting, defining the associated Morse…
We provide a recursive construction of an acyclic matching (also known as a gradient vector field, an equivalent notion to a discrete Morse function) on the independence complex of a graph with a simplicial vertex using given acyclic…
Discrete Morse theory helps us compute the homology groups of simplicial complexes in an efficient manner. A "good" gradient vector field reduces the number of critical simplices, simplifying the homology calculations by reducing them to…
A classical result in Morse theory is the determination of the homotopy type of the loop space of a manifold. In this paper, we study this result through the lens of discrete Morse theory. This requires a suitable simplicial model for the…
We introduce a refinement of persistent homology that detects simple-homotopy-theoretic phenomena invisible to homology. Given a filtered simplicial complex, we define the Morse complexity profile as the minimal number of critical simplices…
We introduce a perfect discrete Morse function on the moduli space of a polygonal linkage. The ingredients of the construction are: (1) the cell structure on the moduli space, and (2) the discrete Morse theory approach, which allows to…
In this paper we present a new approach to Morse theory based on the de Rham-Federer theory of currents. The full classical theory is derived in a transparent way. The methods carry over uniformly to the equivariant and the holomorphic…
We introduce a theoretical and computational framework to use discrete Morse theory as an efficient preprocessing in order to compute zigzag persistent homology. From a zigzag filtration of complexes $(K_i)$, we introduce a zigzag Morse…
In the spirit of Morse homology initiated by Witten and Floer, we construct two $\infty$-categories $\mathcal{A}$ and $\mathcal{B}$. The weak one $\mathcal{A}$ comes out of the Morse-Samle pairs and their higher homotopies, and the strict…
We use discrete Morse theory to provide another proof of Bernini, Ferrari, and Steingrimson's formula for the Mobius function of the consecutive pattern poset. In addition, we are able to determine the homotopy type of this poset. Earlier,…
We prove a discrete version of the Lusternik-Schnirelmann theorem for discrete Morse functions and the recently introduced simplicial Lusternik-Schnirelmann category of a simplicial complex. To accomplish this, a new notion of critical…
The aim of this paper is to present a method for computation of persistent homology that performs well at large filtration values. To this end we introduce the concept of filtered covers. We show that the persistent homology of a bounded…
In this work, following the Discrete de Rham (DDR) paradigm, we develop an arbitrary-order discrete divdiv complex on general polyhedral meshes. The construction rests 1) on discrete spaces that are spanned by vectors of polynomials whose…
We show that the classifying space of the flow category of a \emph{tame} Morse function on a smooth, closed manifold $M$ recovers the homotopy type of $M$, thereby addressing a claim in a preprint of Cohen--Jones--Segal. The tameness…
It is proved that every discrete Morse function in the sense of Forman on a finite regular CW complex can be represented by a polyhedral Morse function in the sense of Banchoff on an appropriate embedding in Euclidean space of the…
The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They…
We recently introduced a notion of tilings of geometric realizations of finite relative simplicial complexes and related those tilings to the discrete Morse theory of R. Forman, especially when they have the property of being shellable, a…
The Discrete Morse Theory of Forman appeared to be useful for providing filtration-preserving reductions of complexes in the study of persistent homology. So far, the algorithms computing discrete Morse matchings have only been used for…
We construct algorithms and topological invariants that allow us to distinguish the topological type of a surface, as well as functions and vector fields for their topological equivalence. In the first part (arXiv:2501.15657), we discused…