Source author record

Marian Mrozek

Marian Mrozek appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.DS math.AT Computational Geometry math.CO math.GN math.NA

Catalog footprint

What is connected

10works

6topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Tracking Dynamical Features via Continuation and Persistence

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.

preprint2021arXiv

Combinatorial vs. classical dynamics: Recurrence

Establishing the existence of periodic orbits is one of the crucial and most intricate topics in the study of dynamical systems, and over the years, many methods have been developed to this end. On the other hand, finding closed orbits in discrete contexts, such as graph theory or in the recently developed field of combinatorial dynamics, is straightforward and computationally feasible. In this paper, we present an approach to study classical dynamical systems as given by semiflows or flows using techniques from combinatorial topological dynamics. More precisely, we present a general existence theorem for periodic orbits of semiflows which is based on suitable phase space decompositions, and indicate how combinatorial techniques can be used to satisfy the necessary assumptions. In this way, one can obtain computer-assisted proofs for the existence of periodic orbits and even certain chaotic behavior.

preprint2020arXiv

Persistence of the Conley Index in Combinatorial Dynamical Systems

A combinatorial framework for dynamical systems provides an avenue for connecting classical dynamics with data-oriented, algorithmic methods. Combinatorial vector fields introduced by Forman and their recent generalization to multivector fields have provided a starting point for building such a connection. In this work, we strengthen this relationship by placing the Conley index in the persistent homology setting. Conley indices are homological features associated with so-called isolated invariant sets, so a change in the Conley index is a response to perturbation in an underlying multivector field. We show how one can use zigzag persistence to summarize changes to the Conley index, and we develop techniques to capture such changes in the presence of noise. We conclude by developing an algorithm to track features in a changing multivector field.

preprint2019arXiv

Conley index approach to sampled dynamics

The topological method for the reconstruction of dynamics from time series [K. Mischaikow, M. Mrozek, J. Reiss, A. Szymczak. Construction of Symbolic Dynamics from Experimental Time Series, Physical Review Letters, 82 (1999), 1144-1147] is reshaped to improve its range of applicability, particularly in the presence of sparse data and strong expansion. The improvement is based on a multivalued map representation of the data. However, unlike the previous approach, it is not required that the representation has a continuous selector. Instead of a selector, a recently developed new version of Conley index theory for multivalued maps [B. Batko and M. Mrozek. Weak index pairs and the Conley index for discrete multivalued dynamical systems, SIAM J. Applied Dynamical Systems 15 (2016), 1143-1162], [B.Batko. Weak index pairs and the Conley index for discrete multivalued dynamical systems. Part II: properties of the Index, SIAM J. Applied Dynamical Systems 16 (2017), 1587-1617] is used in computations. The existence of a continuous, single-valued generator of the relevant dynamics is guaranteed in the vicinity of the graph of the multivalued map constructed from data. Some numerical examples based on time series derived from the iteration of Hénon type maps are presented.

preprint2018arXiv

A Lefschetz fixed point theorem for multivalued maps of finite spaces

We prove a version of the Lefschetz fixed point theorem for multivalued maps $F:X\multimap X$ in which $X$ is a finite $T_0$ space.

preprint2017arXiv

Linking combinatorial and classical dynamics: Conley index and Morse decompositions

We prove that every combinatorial dynamical system in the sense of Forman, defined on a family of simplices of a simplicial complex, gives rise to a multivalued dynamical system F on the geometric realization of the simplicial complex. Moreover, F may be chosen in such a way that the isolated invariant sets, Conley indices, Morse decompositions, and Conley-Morse graphs of the two dynamical systems are in one-to-one correspondence.

preprint2016arXiv

Conley-Morse-Forman theory for combinatorial multivector fields

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.

preprint2015arXiv

Discretization strategies for computing Conley indices and Morse decompositions of flows

Conley indices and Morse decompositions of flows can be found by using algorithms which rigorously analyze discrete dynamical systems. This usually involves integrating a time discretization of the flow using interval arithmetic. We compare the old idea of fixing a time step as a parameters to a time step continuously varying in phase space. We present an example where this second strategy necessarily yields better numerical outputs and prove that our outputs yield a valid Morse decomposition of the given flow.

preprint2015arXiv

Weak index pairs and the Conley index for discrete multivalued dynamical systems

Motivated by the problem of reconstructing dynamics from samples we revisit the Conley index theory for discrete multivalued dynamical systems. We introduce a new, less restrictive definition of the isolating neighbourhood. It turns out that then the main tool for the construction of the index, i.e. the index pair, is no longer useful. In order to overcome this obstacle we use the concept of weak index pairs.

preprint1995arXiv

Chaos in the Lorenz equations: a computer-assisted proof

A new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with computer- assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics.