Discrete Morse Theory for Computing Cellular Sheaf Cohomology

  title={Discrete Morse Theory for Computing Cellular Sheaf Cohomology},
  author={Justin Curry and Robert Ghrist and Vidit Nanda},
  journal={Foundations of Computational Mathematics},
Sheaves and sheaf cohomology are powerful tools in computational topology, greatly generalizing persistent homology. We develop an algorithm for simplifying the computation of cellular sheaf cohomology via (discrete) Morse theoretic techniques. As a consequence, we derive efficient techniques for distributed computation of (ordinary) cohomology of a cell complex. 
Matroid Filtrations and Computational Persistent Homology
A novel approach to efficient computation in homological algebra over fields, with particular emphasis on computing the persistent homology of a filtered topological cell complex, based on a novel relationship between discrete Morse theory, matroid theory, and classical matrix factorizations.
Graph de Rham Cohomology and the Automorphsim Group
We introduce a graph-theoretical interpretation of an induced action of Aut$(\Gamma)$ in the discrete de Rham cohomology of a finite graph $\Gamma$. This action produces a splitting of Aut$(\Gamma)$
Distributing Persistent Homology via Spectral Sequences
We set up the theory for a distributive algorithm for computing persistent homology. For this purpose we develop linear algebra of persistence modules. We present bases of persistence modules, and
Local Cohomology and Stratification
An algorithm to recover the canonical stratification of a given finite-dimensional regular CW complex into cohomology manifolds, each of which is a union of cells, with the property that two cells are isomorphic in the last category if and only if they lie in the same canonical stratum.
Discrete Morse theory and localization
  • Vidit Nanda
  • Mathematics
    Journal of Pure and Applied Algebra
  • 2019
Weighted sheaves and homology of Artin groups
In this paper we expand the theory of weighted sheaves over posets, and use it to study the local homology of Artin groups. First, we use such theory to relate the homology of classical braid groups
I develop algebraic-topological theories, algorithms and software for the analysis of nonlinear data and complex systems arising in various scientific contexts. In particular, I employ discrete
Canonical Stratifications Along Bisheaves
A theory of bisheaves has been recently introduced to measure the homological stability of fibers of maps to manifolds. A bisheaf over a topological space is a triple consisting of a sheaf, a
Topological Methods in Data Analysis
I develop algebraic-topological theories, algorithms and software for the analysis of nonlinear data and complex systems arising in various scientific contexts. In particular, I employ discrete
Discrete Morse Theory for Computing Zigzag Persistence
An algorithm to compute the zigzag persistence of a filtration that depends mostly on the number of critical cells of the complexes, and it is shown experimentally that it performs better in practice.


Discrete Morse Theoretic Algorithms for Computing Homology of Complexes and Maps
A new Morse theoretic preprocessing framework for deriving chain maps from set-valued maps is introduced, and hence an effective scheme for computing the morphism induced on homology by the approximated continuous function is provided.
The Nyquist theorem for cellular sheaves
We develop a unified sampling theory based on sheaves and show that the Shannon-Nyquist theorem is a cohomological consequence of an exact sequence of sheaves. Our theory indicates that there are
Morse Theory for Filtrations and Efficient Computation of Persistent Homology
An efficient preprocessing algorithm is introduced to reduce the number of cells in a filtered cell complex while preserving its persistent homology groups through an extension of combinatorial Morse theory from complexes to filtrations.
Morse theory from an algebraic viewpoint
Forman's discrete Morse theory is studied from an algebraic viewpoint, and we show how this theory can be extended to chain complexes of modules over arbitrary rings. As applications we compute the
Elements of algebraic topology
Elements of Algebraic Topology provides the most concrete approach to the subject. With coverage of homology and cohomology theory, universal coefficient theorems, Kunneth theorem, duality in
Discrete Morse Theory for free chain complexes
An introduction to homological algebra
Preface 1. Generalities concerning modules 2. Tensor products and groups of homomorphisms 3. Categories and functors 4. Homology functors 5. Projective and injective modules 6. Derived functors 7.
On discrete Morse functions and combinatorial decompositions
Computing persistent homology
The analysis establishes the existence of a simple description of persistent homology groups over arbitrary fields and derives an algorithm for computing individual persistent homological groups over an arbitrary principal ideal domain in any dimension.
Zigzag persistent homology and real-valued functions
The algorithmic results provide a way to compute zigzag persistence for any sequence of homology groups, but combined with the structural results give a novel algorithm for computing extended persistence that is easily parallelizable and uses (asymptotically) less memory.