Discrete stratified Morse theory. Algorithms and a user's guide (Q2136834): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Reducing complexes in multidimensional persistent homology theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linking combinatorial and classical dynamics: Conley index and Morse decompositions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete Morse theory for manifolds with boundary / rank
 
Normal rank
Property / cites work
 
Property / cites work: Smoothing discrete Morse theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sheaf-theoretic stratification learning from geometric and topological perspectives / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3655278 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Morse-smale complexes for piecewise linear 3-manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds / rank
 
Normal rank
Property / cites work
 
Property / cites work: Morse theory for cell complexes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4938472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A user's guide to discrete Morse theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stratified fibrations and the intersection homology of the regular neighborhoods of bottom strata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Triangulation of Stratified Objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4039743 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on the Simplification of the Morse-Smale Complex / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Traingulation of Stratified Sets and Singular Varieties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generating Discrete Morse Functions from Point Data / rank
 
Normal rank
Property / cites work
 
Property / cites work: Morse Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discrete Stratified Morse Theory: Algorithms and A User's Guide / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on Topological Stability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2778313 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Morse theory for filtrations and efficient computation of persistent homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3827224 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local cohomology and stratification / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational Discrete Morse Theory for Divergence-Free 2D Vector Fields / rank
 
Normal rank

Latest revision as of 00:17, 29 July 2024

scientific article
Language Label Description Also known as
English
Discrete stratified Morse theory. Algorithms and a user's guide
scientific article

    Statements

    Discrete stratified Morse theory. Algorithms and a user's guide (English)
    0 references
    0 references
    0 references
    16 May 2022
    0 references
    The paper under review develops a stratified version of discrete Morse theory as an analogue of the stratified Morse theory of Goresky and MacPherson. A \textit{stratification} of a simplicial complex \(K\) is a finite collection of disjoint subsets \(\mathcal{S}=\{S_i\}\) called \textit{strata} where each \(|S_i|\) is a locally closed (intersection of an open and closed set) subset of \(|K|\) such that \(K=\bigcup S_i\) and which satisfies the frontier condition: \(|S_i|\cap |\overline{S_j}|\neq \emptyset\) if and only if \(|S_i|\subseteq |\overline{S_j}|\). A \textit{discrete stratified Morse function} is a pair \((f,\mathcal{S})\) where \(f\colon K \to \mathbb{R}\) is a discrete Morse function (in the Forman sense) when restricted to each stratum \(S_i\in \mathcal{S}\). The authors are able to prove a homotopy structure theorem under this setting: \textbf{Theorem} Let \((f,\mathcal{S})\colon K \to \mathbb{R}\) be a discrete stratified Morse function with \(V\) the discrete gradient vector field obtained as the union of the \(V_i\) associated to \(f|_{S_i}\). Then \(K\) has the homotopy type of a CW-complex with one cell for each critical cell of \(V\). One of the main considerations of discrete stratified Morse theory in the paper is to transform any real-valued function on a simplicial complex into a discrete stratified Morse function. This is given in an algorithm and illustrated in several examples. Given any real-valued function on a simplicial complex, one can identify values that are ``violators'' in the sense that the removal of both the values and simplices associated to the values yields a (Forman) discrete Morse function on the remaining object (not necessarily a simplicial complex). In this way, one decomposes the complex into strata where the violators act as critical simplices. Applications and relations to both Whitney stratification and classical stratified Morse theory are given. The authors also show how to generate a discrete stratified Morse function from point data. This algorithm builds off of the algorithm to generate a discrete Morse function from point data due to King, Knudson, and Mramor [\textit{H. King} et al., Exp. Math. 14, No. 4, 435--444 (2005; Zbl 1097.57020)].
    0 references
    0 references
    0 references
    0 references
    0 references
    discrete Morse theory
    0 references
    stratified Morse theory
    0 references
    topological data analysis
    0 references
    0 references