-
Generalized Measures of Population Synchrony
Authors:
Francis C. Motta,
Kevin McGoff,
Breschine Cummins,
Steven B. Haase
Abstract:
Synchronized behavior among individuals is a ubiquitous feature of populations. Understanding mechanisms of (de)synchronization demands meaningful, interpretable, computable quantifications of synchrony, relevant to measurements that can be made of dynamic populations. Despite the importance to analyzing and modeling populations, existing notions of synchrony often lack rigorous definitions, may b…
▽ More
Synchronized behavior among individuals is a ubiquitous feature of populations. Understanding mechanisms of (de)synchronization demands meaningful, interpretable, computable quantifications of synchrony, relevant to measurements that can be made of dynamic populations. Despite the importance to analyzing and modeling populations, existing notions of synchrony often lack rigorous definitions, may be specialized to a particular experimental system and/or measurement, or may have undesirable properties that limit their utility. We introduce a notion of synchrony for populations of individuals occupying a compact metric space that depends on the Fréchet variance of the distribution of individuals. We establish several fundamental and desirable mathematical properties of this synchrony measure, including continuity and invariance to metric scaling. We establish a general approximation result that controls the disparity between synchrony in the true space and the synchrony observed through a discretization of state space, as may occur when observable states are limited by measurement constraints. We develop efficient algorithms to compute synchrony in a variety of state spaces, including all finite state spaces and empirical distributions on the circle, and provide accessible implementations in an open-source Python module. To demonstrate the usefulness of the synchrony measure in biological applications, we investigate several biologically relevant models of mechanisms that can alter the dynamics of synchrony over time, and reanalyze published data concerning the dynamics of the intraerythrocytic developmental cycles of $\textit{Plasmodium}$ parasites. We anticipate that the rigorous definition of population synchrony and the mathematical and biological results presented here will be broadly useful in analyzing and modeling populations in a variety of contexts.
△ Less
Submitted 22 June, 2024;
originally announced June 2024.
-
A yeast cell cycle pulse generator model shows consistency with multiple oscillatory and checkpoint mutant datasets
Authors:
Julian Fox,
Breschine Cummins,
Robert C. Moseley,
Marcio Gameiro,
Steven B. Haase
Abstract:
The regulatory mechanisms driving progression of the yeast cell cycle appears to be comprised of an interacting network of transcription factors (TFs), cyclin-dependent kinases (CDK) and ubiquitin ligases. From a systems perspective the controlling regulatory network must produce robust periodic behavior during proliferative phases, but have the capability to halt the cycle when unfavorable condit…
▽ More
The regulatory mechanisms driving progression of the yeast cell cycle appears to be comprised of an interacting network of transcription factors (TFs), cyclin-dependent kinases (CDK) and ubiquitin ligases. From a systems perspective the controlling regulatory network must produce robust periodic behavior during proliferative phases, but have the capability to halt the cycle when unfavorable conditions trigger a checkpoint arrest. How the individual components of the network contribute to these dynamical phenotypes remains an open question. Here we evaluate the capability of a simplified network model hypothesized to contain key elements of the regulation of cell-cycle progression to reproduce observed transcriptomic behaviors. We match time-series data from both cycling and checkpoint arrested cells to the predictions of a relatively simple cell-cycle network model using an asynchronous multi-level Boolean approach. We show that this single network model, despite its simplicity, is capable of exhibiting dynamical behavior similar to the datasets in most cases, and where it does not, we identified hypotheses that suggest missing components of the network.
△ Less
Submitted 24 February, 2023;
originally announced February 2023.
-
Extremal Event Graphs: A (Stable) Tool for Analyzing Noisy Time Series Data
Authors:
Robin Belton,
Bree Cummins,
Brittany Terese Fasy,
Tomáš Gedeon
Abstract:
Local maxima and minima, or extremal events, in experimental time series can be used as a coarse summary to characterize data. However, the discrete sampling in recording experimental measurements suggests uncertainty on the true timing of extrema during the experiment. This in turn gives uncertainty in the timing order of extrema within the time series. Motivated by applications in genomic time s…
▽ More
Local maxima and minima, or extremal events, in experimental time series can be used as a coarse summary to characterize data. However, the discrete sampling in recording experimental measurements suggests uncertainty on the true timing of extrema during the experiment. This in turn gives uncertainty in the timing order of extrema within the time series. Motivated by applications in genomic time series and biological network analysis, we construct a weighted directed acyclic graph (DAG) called an extremal event DAG using techniques from persistent homology that is robust to measurement noise. Furthermore, we define a distance between extremal event DAGs based on the edit distance between strings. We prove several properties including local stability for the extremal event DAG distance with respect to pairwise $L_{\infty}$ distances between functions in the time series data. Lastly, we provide algorithms, publicly free software, and implementations on extremal event DAG construction and comparison.
△ Less
Submitted 23 August, 2022; v1 submitted 17 March, 2022;
originally announced March 2022.
-
Extending combinatorial regulatory network modeling to include activity control and decay modulation
Authors:
Bree Cummins,
Marcio Gameiro,
Tomas Gedeon,
Shane Kepley,
Konstantin Mischaikow,
Lun Zhang
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 16 May, 2022; v1 submitted 2 November, 2021;
originally announced November 2021.
-
Joint Realizability of Monotone Boolean functions
Authors:
Peter Crawford-Kahrl,
Bree Cummins,
Tomas Gedeon
Abstract:
The study of monotone Boolean functions (MBFs) has a long history. We explore a connection between MBFs and ordinary differential equation (ODE) models of gene regulation, and, in particular, a problem of the realization of an MBF as a function describing the state transition graph of an ODE. We formulate a problem of joint realizability of finite collections of MBFs by establishing a connection b…
▽ More
The study of monotone Boolean functions (MBFs) has a long history. We explore a connection between MBFs and ordinary differential equation (ODE) models of gene regulation, and, in particular, a problem of the realization of an MBF as a function describing the state transition graph of an ODE. We formulate a problem of joint realizability of finite collections of MBFs by establishing a connection between the parameterized dynamics of a class of ODEs and a collection of MBFs. We pose a question of what collections of MBFs can be realized by ODEs that belong to nested classes defined by increased algebraic complexity of their right-hand sides. As we progressively restrict the algebraic form of the ODE, we show by a combination of theory and explicit examples that the class of jointly realizable functions strictly decreases. Our results impact the study of regulatory network dynamics, as well as the classical area of MBFs. We conclude with a series of potential extensions and conjectures.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
A poset metric from the directed maximum common edge subgraph
Authors:
Robert Nerem,
Peter Crawford-Kahrl,
Bree Cummins,
Tomas Gedeon
Abstract:
We study the directed maximum common edge subgraph problem (DMCES) for the class of directed graphs that are finite, weakly connected, oriented, and simple. We use DMCES to define a metric on partially ordered sets that can be represented as weakly connected directed acyclic graphs. While most existing metrics assume that the underlying sets of the partial order are identical, and only the relatio…
▽ More
We study the directed maximum common edge subgraph problem (DMCES) for the class of directed graphs that are finite, weakly connected, oriented, and simple. We use DMCES to define a metric on partially ordered sets that can be represented as weakly connected directed acyclic graphs. While most existing metrics assume that the underlying sets of the partial order are identical, and only the relationships between elements can differ, the metric defined here allows the partially ordered sets to be different. The proof that there is a metric based on DMCES involves the extension of the concept of line digraphs. Although this extension can be used to compute the metric by a reduction to the maximum clique problem, it is computationally feasible only for sparse graphs. We provide an alternative techniques for computing the metric for directed graphs that have the additional property of being transitively closed.
△ Less
Submitted 4 December, 2020; v1 submitted 31 October, 2019;
originally announced October 2019.
-
Comparison of two combinatorial models of global network dynamics
Authors:
Peter Crawford-Kahrl,
Bree Cummins,
Tomas Gedeon
Abstract:
Modeling the dynamics of biological networks introduces many challenges, among them the lack of first principle models, the size of the networks, and difficulties with parameterization. Discrete time Boolean networks and related continuous time switching systems provide a computationally accessible way to translate the structure of the network to predictions about the dynamics. Recent work has sho…
▽ More
Modeling the dynamics of biological networks introduces many challenges, among them the lack of first principle models, the size of the networks, and difficulties with parameterization. Discrete time Boolean networks and related continuous time switching systems provide a computationally accessible way to translate the structure of the network to predictions about the dynamics. Recent work has shown that the parameterized dynamics of switching systems can be captured by a combinatorial object, called a DSGRN database, that consists of a parameter graph characterizing a finite parameter space decomposition, whose nodes are assigned a Morse graph that captures global dynamics for all corresponding parameters.
We show that for a given network there is a way to associate the same type of object by considering a continuous time ODE system with a continuous right-hand side, which we call an L-system. The main goal of this paper is to compare the two DSGRN databases for the same network. Since the L-systems can be thought of as perturbations (not necessarily small) of the switching systems, our results address the correspondence between global parameterized dynamics of switching systems and their perturbations. We show that, at corresponding parameters, there is an order preserving map from the Morse graph of the switching system to that of the L-system that is surjective on the set of attractors and bijective on the set of fixed point attractors. We provide important examples showing why this correspondence cannot be strengthened.
△ Less
Submitted 19 January, 2018;
originally announced January 2018.
-
Model rejection and parameter reduction via time series
Authors:
Bree Cummins,
Tomas Gedeon,
Shaun Harker,
Konstantin Mischaikow
Abstract:
We show how a graph algorithm for finding matching labeled paths in pairs of labeled directed graphs can be used to perform model validation for a class of dynamical systems including regulatory network models of relevance to systems biology. In particular, we extract a partial order of events describing local minima and local maxima of observed quantities from experimental time-series data from w…
▽ More
We show how a graph algorithm for finding matching labeled paths in pairs of labeled directed graphs can be used to perform model validation for a class of dynamical systems including regulatory network models of relevance to systems biology. In particular, we extract a partial order of events describing local minima and local maxima of observed quantities from experimental time-series data from which we produce a labeled directed graph we call the pattern graph for which every path from root to leaf corresponds to a plausible sequence of events. We then consider the regulatory network model, which can be itself rendered into a labeled directed graph we call the search graph via techniques previously developed in computational dynamics. Labels on the pattern graph correspond to experimentally observed events, while labels on the search graph correspond to mathematical facts about the model. We give a theoretical guarantee that failing to find a match invalidates the model. As an application we consider gene regulatory models for the yeast S. cerevisiae.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Combinatorial Representation of Parameter Space for Switching Systems
Authors:
Bree Cummins,
Tomas Gedeon,
Shaun Harker,
Konstantin Mischaikow,
Kafung Mok
Abstract:
We describe the theoretical and computational framework for the Dynamic Signatures for Genetic Regulatory Network (DSGRN) database. The motivation stems from urgent need to understand the global dynamics of biologically relevant signal transduction/gene regulatory networks that have at least 5 to 10 nodes, involve multiple interactions, and decades of parameters.
The input to the database comput…
▽ More
We describe the theoretical and computational framework for the Dynamic Signatures for Genetic Regulatory Network (DSGRN) database. The motivation stems from urgent need to understand the global dynamics of biologically relevant signal transduction/gene regulatory networks that have at least 5 to 10 nodes, involve multiple interactions, and decades of parameters.
The input to the database computations is a regulatory network, i.e.\ a directed graph with edges indicating up or down regulation, from which a computational model based on switching networks is generated. The phase space dimension equals the number of nodes. The associated parameter space consists of one parameter for each node (a decay rate), and three parameters for each edge (low and high levels of expression, and a threshold at which expression levels change). Since the nonlinearities of switching systems are piece-wise constant, there is a natural decomposition of phase space into cells from which the dynamics can be described combinatorially in terms of a state transition graph. This in turn leads to compact representation of the global dynamics called an annotated Morse graph that identifies recurrent and nonrecurrent. The focus of this paper is on the construction of a natural computable finite decomposition of parameter space into domains where the annotated Morse graph description of dynamics is constant.
We use this decomposition to construct an SQL database that can be effectively searched for dynamic signatures such as bistability, stable or unstable oscillations, and stable equilibria. We include two simple 3-node networks to provide small explicit examples of the type information stored in the DSGRN database. To demonstrate the computational capabilities of this system we consider a simple network associated with p53 that involves 5-nodes and a 29-dimensional parameter space.
△ Less
Submitted 13 December, 2015;
originally announced December 2015.