SearcharxivSearch

arXiv subjects

Konstantin Mischaikow

Publications and source records attributed to Konstantin Mischaikow.

At least 19 recordsLinked to original sources

Characterizing High-dimensional Dynamics by Combinatorial-Topological Methods on a Latent Space

Combinatorial-topological methods for characterizing dynamics are rigorous, generalizable, computable, and they only require approximations, but the dimension of the phase space is a computational bottleneck to their wider application. Motivated by the growing number of machine learning techniques for obtaining lower-dimensional latent representations of dynamics, we present an initial study of combinatorial-topological techniques in the dimensionality reduction setting. We establish bounds under which an algebraic structure that organizes dynamics can be lifted from the latent space to the original system. As a corollary, one can conclude the existence of attractors within certain regions of the original phase space. The hypothesis of these results is expressed in terms of an approximate semiconjugacy between the original and latent dynamics. To demonstrate the ideas, we combine autoencoder-based models with Conley-Morse graph computations for Leslie population models, a thirteen-dimensional Mediterranean red coral population model, and the Chafee--Infante equation. While the lift of the Conley index is still an open question, the examples recover the expected algebraic topological invariants in several settings.

math.DS

Boolean models coarsely sample continuous dynamics of regulatory networks

Boolean models are widely used to characterize the dynamics of gene regulatory networks. However, their coarse state discretization limits their ability to capture complex continuous dynamics and continuous parameter dependencies. In this paper, we present a rigorous mathematical framework that embeds monotone Boolean models into a broader class of multilevel combinatorial models, which in turn embed into the Dynamic Signatures Generated by Regulatory Networks (DSGRN) methodology. We define the DSGRN parameter graph, which encodes the notion of parameter adjacency and is used to map Boolean functions to specific nodes within the DSGRN parameter space. We prove that these multilevel discrete update functions act as a multilevel refinement of monotone Boolean models. We demonstrate that purely Boolean models systematically underestimate network dynamics by missing crucial intermediate behaviors such as higher-order multistability and stable periodic orbits. We show that the DSGRN framework efficiently captures a strictly richer set of dynamics consistent with ordinary differential equations (ODEs), providing a mathematically rigorous and computationally viable bridge between discrete and continuous network modeling.

q-bio.MN

Realizing Saddle-Node Bifurcations from Finite Data

Given a finite set of data generated by an unknown ordinary differential equation it is impossible to exactly determine the associated vector field, and hence, bifurcation theory tells us that it is impossible, in general, to correctly characterize the underlying dynamics. In this paper, we bypass the effort of obtaining an analytic approximation of the vector field, and we adopt an approach based on Occam's razor: identify the simplest robust characterization of the dynamics that is compatible with the given data. Our fundamental assumption is that the data allows for the construction of an isolating block over a parameter space whose homological Conley index is consistent with a saddle-node bifurcation. Our main result establishes that, for phase spaces of dimension greater than or equal to 6, the original vector field can be smoothly deformed into a canonical model exhibiting exactly one structurally stable saddle-node bifurcation. Crucially, this deformation leaves the vector field unaltered outside the isolating block, ensuring strict compatibility with the observed data.

math.DS

Rigorously Characterizing Dynamics with Machine Learning

The identification of dynamics from time series data is a problem of general interest. It is well established that dynamics on the level of invariant sets, the primary objects of interest in the classical theory of dynamical systems, is not computable. We recall a coarser characterization of dynamics based on order theory and algebraic topology and prove that this characterization can be identified using approximations.

math.DS

Data-driven Identification of Attractors Using Machine Learning

In this paper we explore challenges in developing a topological framework in which machine learning can be used to robustly characterize global dynamics. Specifically, we focus on learning a useful discretization of the phase space of a flow on compact, hyperrectangle in $\mathbb{R}^n$ from a neural network trained on labeled orbit data. A characterization of the structure of the global dynamics is obtained from approximations of attracting neighborhoods provided by the phase space discretization. The perspective that motivates this work is based on Conley's topological approach to dynamics, which provides a means to evaluate the efficacy and efficiency of our approach.

math.DS

Global Dynamics of Ordinary Differential Equations: Wall Labelings, Conley Complexes, and Ramp Systems

We introduce a combinatorial topological framework for characterizing the global dynamics of ordinary differential equations (ODEs). The approach is motivated by the study of gene regulatory networks, which are often modeled by ODEs that are not explicitly derived from first principles. The proposed method involves constructing a combinatorial model from a set of parameters and then embedding the model into a continuous setting in such a way that the algebraic topological invariants are preserved. In this manuscript, we build upon the software Dynamic Signatures Generated by Regulatory Networks (DSGRN), a software package that is used to explore the dynamics generated by a regulatory network. By extending its functionalities, we deduce the global dynamical information of the ODE and extract information regarding equilibria, periodic orbits, connecting orbits and bifurcations. We validate our results through algebraic topological tools and analytical bounds, and the effectiveness of this framework is demonstrated through several examples and possible future directions.

math.DS

Cycling Signatures: Identifying Cycling Motions in Time Series using Algebraic Topology

Recurrence is a fundamental characteristic of dynamical systems with complicated behavior. Understanding the inner structure of recurrence is challenging, especially if the system has many degrees of freedom and is subject to noise. We develop algebraic topological notions for identifying and classifying elementary recurrent motions -- called cycling -- and the transitions between those. Statistics on these cycling motions can be computed from sampled trajectories (time series data), providing coarse global information on the structure of the recurrent behavior. We demonstrate this through three examples; in particular, we identify and analyze six cycling motions in a four dimensional system with a hyperchaotic attractor. We see this as a promising approach to reveal coarse-grained dynamical information on high-dimensional systems.

math.DS

Global analysis of regulatory network dynamics: equilibria and saddle-node bifurcations

In this paper we describe a combined combinatorial/numerical approach to studying equilibria and bifurcations in network models arising in Systems Biology. ODE models of the dynamics suffer from high dimensional parameters which presents a significant obstruction to studying the global dynamics via numerical methods. The main point of this paper is to demonstrate that adapting and combining classical techniques with recently developed combinatorial methods provides a richer picture of the global dynamics despite the high parameter dimension. Given a network topology describing state variables which regulate one another via monotone and bounded functions, we first use the {\em Dynamic Signatures Generated by Regulatory Networks} (DSGRN) software to obtain a combinatorial summary of the dynamics. This summary is coarse but global and we use this information as a first pass to identify ``interesting'' subsets of parameters in which to focus. We construct an associated ODE model with high parameter dimension using our {\em Network Dynamics Modeling and Analysis} (NDMA) Python library. We introduce algorithms for efficiently investigating the dynamics in these ODE models restricted to these parameter subsets. Finally, we perform a statistical validation of the method and several interesting dynamical applications including finding saddle-node bifurcations in a $54$ parameter model.

math.DS

${\tt MORALS}$: Analysis of High-Dimensional Robot Controllers via Topological Tools in a Latent Space

Estimating the region of attraction (${\tt RoA}$) for a robot controller is essential for safe application and controller composition. Many existing methods require a closed-form expression that limit applicability to data-driven controllers. Methods that operate only over trajectory rollouts tend to be data-hungry. In prior work, we have demonstrated that topological tools based on ${\it Morse Graphs}$ (directed acyclic graphs that combinatorially represent the underlying nonlinear dynamics) offer data-efficient ${\tt RoA}$ estimation without needing an analytical model. They struggle, however, with high-dimensional systems as they operate over a state-space discretization. This paper presents ${\it Mo}$rse Graph-aided discovery of ${\it R}$egions of ${\it A}$ttraction in a learned ${\it L}$atent ${\it S}$pace (${\tt MORALS}$). The approach combines auto-encoding neural networks with Morse Graphs. ${\tt MORALS}$ shows promising predictive capabilities in estimating attractors and their ${\tt RoA}$s for data-driven controllers operating over high-dimensional systems, including a 67-dim humanoid robot and a 96-dim 3-fingered manipulator. It first projects the dynamics of the controlled system into a learned latent space. Then, it constructs a reduced form of Morse Graphs representing the bistability of the underlying dynamics, i.e., detecting when the controller results in a desired versus an undesired behavior. The evaluation on high-dimensional robotic datasets indicates data efficiency in ${\tt RoA}$ estimation.

cs.RO

Morse predecomposition of an ivariant set

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.

math.DS

Identifying Nonlinear Dynamics with High Confidence from Sparse Data

We introduce a novel procedure that, given sparse data generated from a stationary deterministic nonlinear dynamical system, can characterize specific local and/or global dynamic behavior with rigorous probability guarantees. More precisely, the sparse data is used to construct a statistical surrogate model based on a Gaussian process (GP). The dynamics of the surrogate model is interrogated using combinatorial methods and characterized using algebraic topological invariants (Conley index). The GP predictive distribution provides a lower bound on the confidence that these topological invariants, and hence the characterized dynamics, apply to the unknown dynamical system (a sample path of the GP). The focus of this paper is on explaining the ideas, thus we restrict our examples to one-dimensional systems and show how to capture the existence of fixed points, periodic orbits, connecting orbits, bistability, and chaotic dynamics.

math.DS

Inferring Long-term Dynamics of Ecological Communities Using Combinatorics

In an increasingly changing world, predicting the fate of species across the globe has become a major concern. Understanding how the population dynamics of various species and communities will unfold requires predictive tools that experimental data alone can not capture. Here, we introduce our combinatorial framework, Widespread Ecological Networks and their Dynamical Signatures (WENDyS) which, using data on the relative strengths of interactions and growth rates within a community of species predicts all possible long-term outcomes of the community. To this end, WENDyS partitions the multidimensional parameter space (formed by the strengths of interactions and growth rates) into a finite number of regions, each corresponding to a unique set of coarse population dynamics. Thus, WENDyS ultimately creates a library of all possible outcomes for the community. On the one hand, our framework avoids the typical ``parameter sweeps'' that have become ubiquitous across other forms of mathematical modeling, which can be computationally expensive for ecologically realistic models and examples. On the other hand, WENDyS opens the opportunity for interdisciplinary teams to use standard experimental data (i.e., strengths of interactions and growth rates) to filter down the possible end states of a community. To demonstrate the latter, here we present a case study from the Indonesian Coral Reef. We analyze how different interactions between anemone and anemonefish species lead to alternative stable states for the coral reef community, and how competition can increase the chance of exclusion for one or more species. WENDyS, thus, can be used to anticipate ecological outcomes and test the effectiveness of management (e.g., conservation) strategies.

q-bio.PE

Computing the Conley Index: a Cautionary Tale

This paper concerns the computation and identification of the (homological) Conley index over the integers, in the context of discrete dynamical systems generated by continuous maps. We discuss the significance with respect to nonlinear dynamics of using integer, as opposed to field, coefficients. We translate the problem into the language of commutative ring theory. More precisely, we relate shift equivalence in the category of finitely generated abelian groups to the classification of $\mathbb{Z}[t]$-modules whose underlying abelian group is given. We provide tools to handle the classification problem, but also highlight the associated computational challenges.

math.DS

Data-Efficient Characterization of the Global Dynamics of Robot Controllers with Confidence Guarantees

This paper proposes an integration of surrogate modeling and topology to significantly reduce the amount of data required to describe the underlying global dynamics of robot controllers, including closed-box ones. A Gaussian Process (GP), trained with randomized short trajectories over the state-space, acts as a surrogate model for the underlying dynamical system. Then, a combinatorial representation is built and used to describe the dynamics in the form of a directed acyclic graph, known as {\it Morse graph}. The Morse graph is able to describe the system's attractors and their corresponding regions of attraction (\roa). Furthermore, a pointwise confidence level of the global dynamics estimation over the entire state space is provided. In contrast to alternatives, the framework does not require estimation of Lyapunov functions, alleviating the need for high prediction accuracy of the GP. The framework is suitable for data-driven controllers that do not expose an analytical model as long as Lipschitz-continuity is satisfied. The method is compared against established analytical and recent machine learning alternatives for estimating \roa s, outperforming them in data efficiency without sacrificing accuracy. Link to code: https://go.rutgers.edu/49hy35en

cs.RO

Conditioned Weiner Processes as Nonlinearities: A Rigorous Probabilistic Analysis of Dynamics

We study a Weiner process that is conditioned to pass through a finite set of points and consider the dynamics generated by iterating a sample path from this process. Using topological techniques we are able to characterize the global dynamics and deduce the existence, structure and approximate location of invariant sets. Most importantly, we compute the probability that this characterization is correct. This work is probabilistic in nature and intended to provide a theoretical foundation for the statistical analysis of dynamical systems which can only be queried via finite samples.

math.DS

Morse Graphs: Topological Tools for Analyzing the Global Dynamics of Robot Controllers

Understanding the global dynamics of a robot controller, such as identifying attractors and their regions of attraction (RoA), is important for safe deployment and synthesizing more effective hybrid controllers. This paper proposes a topological framework to analyze the global dynamics of robot controllers, even data-driven ones, in an effective and explainable way. It builds a combinatorial representation representing the underlying system's state space and non-linear dynamics, which is summarized in a directed acyclic graph, the Morse graph. The approach only probes the dynamics locally by forward propagating short trajectories over a state-space discretization, which needs to be a Lipschitz-continuous function. The framework is evaluated given either numerical or data-driven controllers for classical robotic benchmarks. It is compared against established analytical and recent machine learning alternatives for estimating the RoAs of such controllers. It is shown to outperform them in accuracy and efficiency. It also provides deeper insights as it describes the global dynamics up to the discretization's resolution. This allows to use the Morse graph to identify how to synthesize controllers to form improved hybrid solutions or how to identify the physical limitations of a robotic system.

cs.RO

Extending combinatorial regulatory network modeling to include activity control and decay modulation

Understanding how the structure of within-system interactions affects the dynamics of the system is important in many areas of science. We extend a network dynamics modeling platform DSGRN, which combinatorializes both dynamics and parameter space to construct finite but accurate summaries of network dynamics, to new types of interactions. While the standard DSGRN assumes that each network edge controls the rate of abundance of the target node, the new edges may control either activity level or a decay rate of its target. While motivated by processes of post-transcriptional modification and ubiquitination in systems biology, our extension is applicable to the dynamics of any signed directed network.

math.DS

Combinatorial models of global dynamics: learning cycling motion from data

We describe a computational method for constructing a coarse combinatorial model of some dynamical system in which the macroscopic states are given by elementary cycling motions of the system. Our method is in particular applicable to time series data. We illustrate the construction by a perturbed double well Hamiltonian as well as the Lorenz system.

math.DS