Showing 1–12 of 12 results for author: Lipiński, M

Conley-Morse persistence barcode: a homological signature of a combinatorial bifurcation

Authors: Tamal K. Dey, Michał Lipiński, Manuel Soriano-Trigueros

Abstract: Bifurcation is one of the major topics in the theory of dynamical systems. It characterizes the nature of qualitative changes in parametrized dynamical systems. In this work, we study combinatorial bifurcations within the framework of combinatorial multivector field theory--a young but already well-established theory providing a combinatorial model for continuous-time dynamical systems (or simply,… ▽ More Bifurcation is one of the major topics in the theory of dynamical systems. It characterizes the nature of qualitative changes in parametrized dynamical systems. In this work, we study combinatorial bifurcations within the framework of combinatorial multivector field theory--a young but already well-established theory providing a combinatorial model for continuous-time dynamical systems (or simply, flows). We introduce Conley-Morse persistence barcode, a compact algebraic descriptor of combinatorial bifurcations. The barcode captures structural changes in a dynamical system at the level of Morse decompositions and provides a characterization of the nature of observed transitions in terms of the Conley index. The construction of Conley-Morse persistence barcode builds upon ideas from topological data analysis (TDA). Specifically, we consider a persistence module obtained from a zigzag filtration of topological pairs (formed by index pairs defining the Conley index) over a poset. Using gentle algebras, we prove that this module decomposes into simple intervals (bars) and compute them with algorithms from TDA known for processing zigzag filtrations. △ Less

Submitted 23 April, 2025; originally announced April 2025.

MSC Class: 37B30 55N31

Computing Connection Matrix and Persistence Efficiently from a Morse Decomposition

Authors: Tamal K. Dey, Michał Lipiński, Andrew Haas

Abstract: Morse decompositions partition the flows in a vector field into equivalent structures. Given such a decomposition, one can define a further summary of its flow structure by what is called a connection matrix.These matrices, a generalization of Morse boundary operators from classical Morse theory, capture the connections made by the flows among the critical structures - such as attractors, repeller… ▽ More Morse decompositions partition the flows in a vector field into equivalent structures. Given such a decomposition, one can define a further summary of its flow structure by what is called a connection matrix.These matrices, a generalization of Morse boundary operators from classical Morse theory, capture the connections made by the flows among the critical structures - such as attractors, repellers, and orbits - in a vector field. Recently, in the context of combinatorial dynamics, an efficient persistence-like algorithm to compute connection matrices has been proposed in~\cite{DLMS24}. We show that, actually, the classical persistence algorithm with exhaustive reduction retrieves connection matrices, both simplifying the algorithm of~\cite{DLMS24} and bringing the theory of persistence closer to combinatorial dynamical systems. We supplement this main result with an observation: the concept of persistence as defined for scalar fields naturally adapts to Morse decompositions whose Morse sets are filtered with a Lyapunov function. We conclude by presenting preliminary experimental results. △ Less

Submitted 26 February, 2025; originally announced February 2025.

Morse predecomposition of an ivariant set

Authors: Michał Lipiński, Konstantin Mischaikow, Marian Mrozek

Abstract: Motivated by the study of the recurrent orbits in a Morse set of a Morse decomposition, we introduce the concept of Morse predecomposition of an isolated invariant set in the setting of combinatorial and classical dynamical systems. We prove that a Morse predecomposition indexed by a poset is a Morse decomposition and we show how a Morse predecomposition may be condensed back to a Morse decomposit… ▽ More Motivated by the study of the recurrent orbits in a Morse set of a Morse decomposition, we introduce the concept of Morse predecomposition of an isolated invariant set in the setting of combinatorial and classical dynamical systems. We prove that a Morse predecomposition indexed by a poset is a Morse decomposition and we show how a Morse predecomposition may be condensed back to a Morse decomposition. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 29 pages (31 with bibliography), 9 figures

MSC Class: 37B30 37B20 37B35

Journal ref: Qualitative Theory of Dynamical Systems 24, 5 (2025)

The Poset of Cancellations in a Filtered Complex

Authors: Herbert Edelsbrunner, Michał Lipiński, Marian Mrozek, Manuel Soriano-Trigueros

Abstract: Motivated by questions about simplification and topology optimization, we take a discrete approach toward the dependency of topology simplifying operations and the reachability of perfect Morse functions. Representing the function by a filter on a Lefschetz complex, and its (non-essential) topological features by the pairing of its cells via persistence, we simplify using combinatorially defined c… ▽ More Motivated by questions about simplification and topology optimization, we take a discrete approach toward the dependency of topology simplifying operations and the reachability of perfect Morse functions. Representing the function by a filter on a Lefschetz complex, and its (non-essential) topological features by the pairing of its cells via persistence, we simplify using combinatorially defined cancellations. The main new concept is the depth poset on these pairs, whose linear extensions are schedules of cancellations that trim the Lefschetz complex to its essential homology. One such linear extensions is the cancellation of the pairs in the order of their persistence. An algorithm that constructs the depth poset in two passes of standard matrix reduction is given and proven correct. △ Less

Submitted 26 November, 2024; v1 submitted 24 November, 2023; originally announced November 2023.

Computing Connection Matrices via Persistence-like Reductions

Authors: Tamal K. Dey, Michał Lipiński, Marian Mrozek, Ryan Slechta

Abstract: Connection matrices are a generalization of Morse boundary operators from the classical Morse theory for gradient vector fields. Developing an efficient computational framework for connection matrices is particularly important in the context of a rapidly growing data science that requires new mathematical tools for discrete data. Toward this goal, the classical theory for connection matrices has b… ▽ More Connection matrices are a generalization of Morse boundary operators from the classical Morse theory for gradient vector fields. Developing an efficient computational framework for connection matrices is particularly important in the context of a rapidly growing data science that requires new mathematical tools for discrete data. Toward this goal, the classical theory for connection matrices has been adapted to combinatorial frameworks that facilitate computation. We develop an efficient persistence-like algorithm to compute a connection matrix from a given combinatorial (multi) vector field on a simplicial complex. This algorithm requires a single-pass, improving upon a known algorithm that runs an implicit recursion executing two-passes at each level. Overall, the new algorithm is more simple, direct, and efficient than the state-of-the-art. Because of the algorithm's similarity to the persistence algorithm, one may take advantage of various software optimizations from topological data analysis. △ Less

Submitted 23 September, 2023; v1 submitted 4 March, 2023; originally announced March 2023.

Testing topological conjugacy of time series

Authors: Paweł Dłotko, Michał Lipiński, Justyna Signerska-Rynkowska

Abstract: This paper considers a problem of testing, from a finite sample, a topological conjugacy of two dynamical systems $(X,f)$ and $(Y,g)$. More precisely, given $x_1,\ldots, x_n \subset X$ and $y_1,\ldots,y_n \subset Y$ such that $x_{i+1} = f(x_i)$ and $y_{i+1} = g(y_i)$ as well as $h: X \rightarrow Y$, we deliver a number of tests to check if $f$ and $g$ are topologically conjugated via $h$. The valu… ▽ More This paper considers a problem of testing, from a finite sample, a topological conjugacy of two dynamical systems $(X,f)$ and $(Y,g)$. More precisely, given $x_1,\ldots, x_n \subset X$ and $y_1,\ldots,y_n \subset Y$ such that $x_{i+1} = f(x_i)$ and $y_{i+1} = g(y_i)$ as well as $h: X \rightarrow Y$, we deliver a number of tests to check if $f$ and $g$ are topologically conjugated via $h$. The values of the tests are close to zero for conjugated systems and large for systems that are not conjugated. Convergence of the test values, in case when sample size goes to infinity, is established. A number of numerical examples indicating scalability and robustness of the methods are given. In addition, we show how the presented method specialize to a test of sufficient embedding dimension in Takens' embedding theorem. Our methods also apply to the situation when we are given two observables of deterministic processes, of a form of one or higher dimensional time-series. In this case, their similarity can be accessed by comparing the dynamics of their Takens' reconstructions. △ Less

Submitted 16 September, 2024; v1 submitted 17 January, 2023; originally announced January 2023.

Comments: 44 pages, 15 figures, 6 tables

MSC Class: 37M10; 37C15; 37B20

Journal ref: SIAM Journal on Applied Dynamical Systems 2024 23:4, 2939-2982

Tracking Dynamical Features via Continuation and Persistence

Authors: Tamal K. Dey, Michał Lipiński, Marian Mrozek, Ryan Slechta

Abstract: Multivector fields and combinatorial dynamical systems have recently become a subject of interest due to their potential for use in computational methods. In this paper, we develop a method to track an isolated invariant set -- a salient feature of a combinatorial dynamical system -- across a sequence of multivector fields. This goal is attained by placing the classical notion of the "continuation… ▽ More Multivector fields and combinatorial dynamical systems have recently become a subject of interest due to their potential for use in computational methods. In this paper, we develop a method to track an isolated invariant set -- a salient feature of a combinatorial dynamical system -- across a sequence of multivector fields. This goal is attained by placing the classical notion of the "continuation" of an isolated invariant set in the combinatorial setting. In particular, we give a "Tracking Protocol" that, when given a seed isolated invariant set, finds a canonical continuation of the seed across a sequence of multivector fields. In cases where it is not possible to continue, we show how to use zigzag persistence to track homological features associated with the isolated invariant sets. This construction permits viewing continuation as a special case of persistence. △ Less

Submitted 10 March, 2022; originally announced March 2022.

Comments: Full version of SoCG 2022 paper

Morse theory for loop-free categories

Authors: Michał Lipiński, David Mosquera-Lois, Mateusz Przybylski

Abstract: We extend discrete Morse-Bott theory to the setting of loop-free (or acyclic) categories. First of all, we state a homological version of Quillen's Theorem A in this context and introduce the notion of cellular categories. Second, we present a notion of vector field for loop-free categories. Third, we prove a homological collapsing theorem in the absence of critical objects in order to obtain the… ▽ More We extend discrete Morse-Bott theory to the setting of loop-free (or acyclic) categories. First of all, we state a homological version of Quillen's Theorem A in this context and introduce the notion of cellular categories. Second, we present a notion of vector field for loop-free categories. Third, we prove a homological collapsing theorem in the absence of critical objects in order to obtain the Morse inequalities. Examples are provided through the exposition. This answers partially a question by T. John: whether there is a Morse theory for loop-free (or acyclic) categories? [14]. △ Less

Submitted 13 July, 2021; originally announced July 2021.

MSC Class: 57Q70; 55U10

Conley-Morse-Forman theory for generalized combinatorial multivector fields on finite topological spaces

Authors: Michał Lipiński, Jacek Kubica, Marian Mrozek, Thomas Wanner

Abstract: We generalize and extend the Conley-Morse-Forman theory for combinatorial multivector fields introduced in \cite{Mr2017}. The generalization consists in dropping the restrictive assumption in \cite{Mr2017} that every multivector has a unique maximal element. The extension is from the setting of Lefschetz complexes to the more general situation of finite topological spaces. We define isolated invar… ▽ More We generalize and extend the Conley-Morse-Forman theory for combinatorial multivector fields introduced in \cite{Mr2017}. The generalization consists in dropping the restrictive assumption in \cite{Mr2017} that every multivector has a unique maximal element. The extension is from the setting of Lefschetz complexes to the more general situation of finite topological spaces. We define isolated invariant sets, isolating neighbourhoods, Conley index and Morse decompositions. We also establish the additivity property of the Conley index and the Morse inequalities. △ Less

Submitted 3 July, 2020; v1 submitted 28 November, 2019; originally announced November 2019.

Comments: Extended version

Persistence Bag-of-Words for Topological Data Analysis

Authors: Bartosz Zieliński, Michał Lipiński, Mateusz Juda, Matthias Zeppelzauer, Paweł Dłotko

Abstract: Persistent homology (PH) is a rigorous mathematical theory that provides a robust descriptor of data in the form of persistence diagrams (PDs). PDs exhibit, however, complex structure and are difficult to integrate in today's machine learning workflows. This paper introduces persistence bag-of-words: a novel and stable vectorized representation of PDs that enables the seamless integration with mac… ▽ More Persistent homology (PH) is a rigorous mathematical theory that provides a robust descriptor of data in the form of persistence diagrams (PDs). PDs exhibit, however, complex structure and are difficult to integrate in today's machine learning workflows. This paper introduces persistence bag-of-words: a novel and stable vectorized representation of PDs that enables the seamless integration with machine learning. Comprehensive experiments show that the new representation achieves state-of-the-art performance and beyond in much less time than alternative approaches. △ Less

Submitted 4 June, 2019; v1 submitted 21 December, 2018; originally announced December 2018.

Comments: Accepted for the Twenty-Eight International Joint Conference on Artificial Intelligence (IJCAI-19). arXiv admin note: substantial text overlap with arXiv:1802.04852

Persistence Codebooks for Topological Data Analysis

Authors: Bartosz Zielinski, Michal Lipinski, Mateusz Juda, Matthias Zeppelzauer, Pawel Dlotko

Abstract: Persistent homology (PH) is a rigorous mathematical theory that provides a robust descriptor of data in the form of persistence diagrams (PDs) which are 2D multisets of points. Their variable size makes them, however, difficult to combine with typical machine learning workflows. In this paper we introduce persistence codebooks, a novel expressive and discriminative fixed-size vectorized representa… ▽ More Persistent homology (PH) is a rigorous mathematical theory that provides a robust descriptor of data in the form of persistence diagrams (PDs) which are 2D multisets of points. Their variable size makes them, however, difficult to combine with typical machine learning workflows. In this paper we introduce persistence codebooks, a novel expressive and discriminative fixed-size vectorized representation of PDs. To this end, we adapt bag-of-words (BoW), vectors of locally aggregated descriptors (VLAD) and Fischer vectors (FV) for the quantization of PDs. Persistence codebooks represent PDs in a convenient way for machine learning and statistical analysis and have a number of favorable practical and theoretical properties including 1-Wasserstein stability. We evaluate the presented representations on several heterogeneous datasets and show their (high) discriminative power. Our approach achieves state-of-the-art performance and beyond in much less time than alternative approaches. △ Less

Submitted 13 June, 2019; v1 submitted 13 February, 2018; originally announced February 2018.

Comments: minor update, remove heading

Persistent Homology of Morse Decompositions in Combinatorial Dynamics

Authors: Tamal K. Dey, Mateusz Juda, Tomasz Kapela, Jacek Kubica, Michal Lipinski, Marian Mrozek

Abstract: We investigate combinatorial dynamical systems on simplicial complexes considered as {\em finite topological spaces}. Such systems arise in a natural way from sampling dynamics and may be used to reconstruct some features of the dynamics directly from the sample. We study the homological persistence of {\em Morse decompositions} of such systems, an important descriptor of the dynamics, as a tool f… ▽ More We investigate combinatorial dynamical systems on simplicial complexes considered as {\em finite topological spaces}. Such systems arise in a natural way from sampling dynamics and may be used to reconstruct some features of the dynamics directly from the sample. We study the homological persistence of {\em Morse decompositions} of such systems, an important descriptor of the dynamics, as a tool for validating the reconstruction. Our framework can be viewed as a step toward extending the classical persistence theory to "vector cloud" data. We present experimental results on two numerical examples. △ Less

Submitted 11 July, 2018; v1 submitted 19 January, 2018; originally announced January 2018.