Marian Mrozek

Marian Mrozek

We introduce combinatorial multivector fields, associate with them multivalued dynamics and study their topological features. Our combinatorial multivector fields generalize combinatorial vector fields of Forman. We define isolated invariant sets, Conley index, attractors, repellers and Morse decompositions. We provide a topological characterization of attractors and repellers and prove Morse inequalities. The generalization aims at algorithmic analysis of dynamical systems through combinatorialization of flows given by differential equations and through sampling dynamics in physical and numerical experiments. We provide a prototype algorithm for such applications.

Herbert Edelsbrunner, Michał Lipiński, Marian Mrozek et al.

Motivated by questions about simplification of topology, we take a discrete approach to the dependency of simplifying operations, using methods based on combinatorial gradient dynamics. We interpret the filter in persistent homology as a discrete Morse function. This lets us gradually simplify the dynamics in parallel with space and filter, while preserving homology. As a tool, we use shallow pairs, which are simultaneously birth-death pairs and combinatorial vectors. This allows us to extract topological features by the pairing of cells via persistence and simplify them using combinatorially defined cancellations. The main new concept is the depth poset of birth-death pairs, whose minimal elements are shallow pairs and whose linear extensions are sequences of cancellations that reduce the complex to its essential homology. Cancellations of birth-death pairs in a down set of this poset preserve the other birth-death pairs and the poset dependencies between them. An algorithm that constructs the depth poset in two passes of standard matrix reduction is given and proved correct.