arXiv subjects

David Murrugarra

Publications and source records attributed to David Murrugarra.

At least 19 recordsLinked to original sources

arXiv2026

Dynamics Decomposition of Boolean Networks: An algebraic foundation

Understanding the dynamics of Boolean networks is central to problems such as network reduction, design, control, and reverse engineering. As Boolean network models continue to grow in size and complexity, it becomes increasingly important to decompose networks into modules in a manner that is compatible with their dynamics. In this paper, we show that endowing the space of possible dynamics with a semiring structure enables a systematic decomposition of the dynamics of any Boolean network in terms of the dynamics of its constituent modules. This algebraic framework provides a systematic way to analyze how local dynamical behaviors combine to produce global dynamics. Our results establish a concrete algebraic foundation for network modularity and introduce new mathematical tools for the study of complex Boolean networks, and opens the door to the application of algebraic methods to problems of network analysis, decomposition, and control.

q-bio.QM↗

arXiv2026

Personalizing Cancer Models under Data Scarcity via Parameter Decomposition

Personalized cancer modeling for clinical applications requires robust and efficient parameter calibration, particularly in settings with limited patient data. This need is especially critical for medical digital twins (MDTs), which are virtual representations of disease continuously updated using longitudinal patient measurements. In this work, we propose a novel parameter personalization framework for dynamical cancer models under data scarcity. Our approach decomposes selected model parameters into a common component, shared across patients, and a personalized component, which is patient-specific and can be updated as new data become available. The common component captures population-level structure and is estimated once, providing an informed prior that enables rapid and accurate personalization. We demonstrate the effectiveness of this framework using synthetic data generated from canonical dynamical systems, such as logistic growth models with optimized treatment interventions. Our results show that parameter decomposition significantly improves calibration performance in limited-data regimes, facilitating fast and reliable personalization and supporting the development of patient-specific cancer models and MDTs.

q-bio.OT↗

arXiv2025

Observability of complex systems via conserved quantities

Many systems in biology, physics, and engineering are modeled by nonlinear dynamical systems where the states are usually unknown and only a subset of the state variables can be physically measured. Can we understand the full system from what we measure? In the mathematics literature, this question is framed as the observability problem. It has to do with recovering information about the state variables from the observed states (the measurements). In this paper, we relate the observability problem to another structural feature of many models relevant in the physical and biological sciences: the conserved quantity. For models based on systems of differential equations, conserved quantities offer desirable properties such as dimension reduction which simplifies model analysis. Here, we use differential embeddings to show that conserved quantities involving a set of special variables provide more flexibility in what can be measured to address the observability problem for systems of interest in biology. Specifically, we provide conditions under which a collection of conserved quantities make the system observable. We apply our methods to provide alternate measurable variables in models where conserved quantities have been used for model analysis historically in biological contexts.

math.DS↗

arXiv2024

Modular control of Boolean network models

The concept of control is crucial for effectively understanding and applying biological network models. Key structural features relate to control functions through gene regulation, signaling, or metabolic mechanisms, and computational models need to encode these. Applications often focus on model-based control, such as in biomedicine or metabolic engineering. In a recent paper, the authors developed a theoretical framework of modularity in Boolean networks, which lead to a canonical semidirect product decomposition of these systems. In this paper, we present an approach to model-based control that exploits this modular structure, as well as the canalizing features of the regulatory mechanisms. We show how to identify control strategies from the individual modules, and we present a criterion based on canalizing features of the regulatory rules to identify modules that do not contribute to network control and can be excluded. For even moderately sized networks, finding global control inputs is computationally challenging. Our modular approach leads to an efficient approach to solving this problem. We apply it to a published Boolean network model of blood cancer large granular lymphocyte (T-LGL) leukemia to identify a minimal control set that achieves a desired control objective.

q-bio.MN↗

arXiv2024

Canalization reduces the nonlinearity of regulation in biological networks

Biological networks such as gene regulatory networks possess desirable properties. They are more robust and controllable than random networks. This motivates the search for structural and dynamical features that evolution has incorporated in biological networks. A recent meta-analysis of published, expert-curated Boolean biological network models has revealed several such features, often referred to as design principles. Among others, the biological networks are enriched for certain recurring network motifs, the dynamic update rules are more redundant, more biased and more canalizing than expected, and the dynamics of biological networks are better approximable by linear and lower-order approximations than those of comparable random networks. Since most of these features are interrelated, it is paramount to disentangle cause and effect, that is, to understand which features evolution actively selects for, and thus truly constitute evolutionary design principles. Here, we show that approximability is strongly dependent on the dynamical robustness of a network, and that increased canalization in biological networks can almost completely explain their recently postulated high approximability.

q-bio.MN↗

arXiv2024

Modular Construction of Boolean Networks

Boolean networks have been used in a variety of settings, as models for general complex systems as well as models of specific systems in diverse fields, such as biology, engineering, and computer science. Traditionally, their properties as dynamical systems have been studied through simulation studies, due to a lack of mathematical structure. This paper uses a common mathematical technique to identify a class of Boolean networks with a "simple" structure and describes an algorithm to construct arbitrary extensions of a collection of simple Boolean networks. In this way, all Boolean networks can be obtained from a collection of simple Boolean networks as building blocks. The paper furthermore provides a formula for the number of extensions of given simple networks and, in some cases, provides a parametrization of those extensions. This has potential applications to the construction of networks with particular properties, for instance in synthetic biology, and can also be applied to develop efficient control algorithms for Boolean network models.

math.DS↗

arXiv2023

Stability of Linear Boolean Networks

Stability is an important characteristic of network models that has implications for other desirable aspects such as controllability. The stability of a Boolean network depends on various factors, such as the topology of its wiring diagram and the type of the functions describing its dynamics. In this paper, we study the stability of linear Boolean networks by computing Derrida curves and quantifying the number of attractors and cycle lengths imposed by their network topologies. Derrida curves are commonly used to measure the stability of Boolean networks and several parameters such as the average in-degree K and the output bias p can indicate if a network is stable, critical, or unstable. For random unbiased Boolean networks there is a critical connectivity value Kc=2 such that if K Kc networks operate in the chaotic regime. Here, we show that for linear networks, which are the least canalizing and most unstable, the phase transition from order to chaos already happens at an average in-degree of Kc=1. Consistently, we also show that unstable networks exhibit a large number of attractors with very long limit cycles while stable and critical networks exhibit fewer attractors with shorter limit cycles. Additionally, we present theoretical results to quantify important dynamical properties of linear networks. First, we present a formula for the proportion of attractor states in linear systems. Second, we show that the expected number of fixed points in linear systems is 2, while general Boolean networks possess on average one fixed point. Third, we present a formula to quantify the number of bijective linear Boolean networks and provide a lower bound for the percentage of this type of network.

nlin.CD↗

arXiv2022

Decomposition of Boolean networks: An approach to modularity of biological systems

This paper presents the foundation for a decomposition theory for Boolean networks, a type of discrete dynamical system that has found a wide range of applications in the life sciences, engineering, and physics. Given a Boolean network satisfying certain conditions, there is a unique collection of subnetworks so that the network can be reconstructed from these subnetworks by an extension operation. The main result of the paper is that this structural decomposition induces a corresponding decomposition of the network dynamics. The theory is motivated by the search for a mathematical framework to formalize the hypothesis that biological systems are modular, widely accepted in the life sciences, but not well-defined and well-characterized. As an example of how dynamic modularity could be used for the efficient identification of phenotype control, the control strategies for the network can be found by identifying controls in its modules, one at a time.

math.DS↗

arXiv2022

Revealing the canalizing structure of Boolean functions: Algorithms and applications

Boolean functions can be represented in many ways including logical forms, truth tables, and polynomials. Additionally, Boolean functions have different canonical representations such as minimal disjunctive normal forms. Other canonical representation is based on the polynomial representation of Boolean functions where they can be written as a nested product of canalizing layers and a polynomial that contains the noncanalizing variables. In this paper we study the problem of identifying the canalizing layers format of Boolean functions. First, we show that the problem of finding the canalizing layers is NP-hard. Second, we present several algorithms for finding the canalizing layers of a Boolean function, discuss their complexities, and compare their performances. Third, we show applications where the computation of canalizing layers can be used for finding a disjunctive normal form of a nested canalizing function. Another application deals with the reverse engineering of Boolean networks with a prescribed layering format. Finally, implementations of our algorithms in Python and in the computer algebra system Macaulay2 are available at https://github.com/ckadelka/BooleanCanalization.

cs.CC↗

arXiv2020

Quantifying the Total Effect of Edge Interventions in Discrete Multistate Networks

Developing efficient computational methods to assess the impact of external interventions on the dynamics of a network model is an important problem in systems biology. This paper focuses on quantifying the global changes that result from the application of an intervention to produce a desired effect, which we define as the total effect of the intervention. The type of mathematical models that we will consider are discrete dynamical systems which include the widely used Boolean networks and their generalizations. The potential interventions can be represented by a set of nodes and edges that can be manipulated to produce a desired effect on the system. We use a class of regulatory rules called nested canalizing functions that frequently appear in published models and were inspired by the concept of canalization in evolutionary biology. In this paper, we provide a polynomial normal form based on the canalizing properties of regulatory functions. Using this polynomial normal form, we give a set of formulas for counting the maximum number of transitions that will change in the state space upon an edge deletion in the wiring diagram. These formulas rely on the canalizing structure of the target function since the number of changed transitions depends on the canalizing layer that includes the input to be deleted. We also present computations on random networks to compare the exact number of changes with the upper bounds provided by our formulas. Finally, we provide statistics on the sharpness of these upper bounds in random networks.

q-bio.MN↗

arXiv2020

Improving RNA secondary structure prediction via state inference with deep recurrent neural networks

The problem of determining which nucleotides of an RNA sequence are paired or unpaired in the secondary structure of an RNA, which we call RNA state inference, can be studied by different machine learning techniques. Successful state inference of RNA sequences can be used to generate auxiliary information for data-directed RNA secondary structure prediction. Bidirectional long short-term memory (LSTM) neural networks have emerged as a powerful tool that can model global nonlinear sequence dependencies and have achieved state-of-the-art performances on many different classification problems. This paper presents a practical approach to RNA secondary structure inference centered around a deep learning method for state inference. State predictions from a deep bidirectional LSTM are used to generate synthetic SHAPE data that can be incorporated into RNA secondary structure prediction via the Nearest Neighbor Thermodynamic Model (NNTM). This method produces predicted secondary structures for a diverse test set of 16S ribosomal RNA that are, on average, 25 percentage points more accurate than undirected MFE structures. These improvements range from several percentage points for some sequences to nearly 50 percentage points for others. Accuracy is highly dependent on the success of our state inference method, and investigating the global features of our state predictions reveals that accuracy of both our state inference and structure inference methods are highly dependent on the similarity of the sequence to the dataset. This paper presents a deep learning state inference tool, trained and tested on 16S ribosomal RNA. Converting these state predictions into synthetic SHAPE data with which to direct NNTM can result in large improvements in secondary structure prediction accuracy, as shown on a test set of 16S rRNA.

q-bio.BM↗

arXiv2016

Estimating Propensity Parameters using Google PageRank and Genetic Algorithms

Stochastic Boolean networks, or more generally, stochastic discrete networks, are an important class of computational models for molecular interaction networks. The stochasticity stems from the updating schedule. Standard updating schedules include the synchronous update, where all the nodes are updated at the same time, and the asynchronous update where a random node is updated at each time step. The former produces a deterministic dynamics while the latter a stochastic dynamics. A more general stochastic setting considers propensity parameters for updating each node. Stochastic Discrete Dynamical Systems (SDDS) is a modeling framework that considers two propensity parameters for updating each node and uses one when the update has a positive impact on the variable, that is, when the update causes the variable to increase its value, and uses the other when the update has a negative impact, that is, when the update causes it to decrease its value. This framework offers additional features for simulations but also adds a complexity in parameter estimation of the propensities. This paper presents a method for estimating the propensity parameters for SDDS. The method is based on adding noise to the system using the Google PageRank approach to make the system ergodic and thus guaranteeing the existence of a stationary distribution. Then with the use of a genetic algorithm, the propensity parameters are estimated. Approximation techniques that make the search algorithms efficient are also presented and Matlab/Octave code to test the algorithms are available at http://www.ms.uky.edu/~dmu228/GeneticAlg/Code.html.

q-bio.MN↗

arXiv2016

Identification of control targets in Boolean molecular network models via computational algebra

Motivation: Many problems in biomedicine and other areas of the life sciences can be characterized as control problems, with the goal of finding strategies to change a disease or otherwise undesirable state of a biological system into another, more desirable, state through an intervention, such as a drug or other therapeutic treatment. The identification of such strategies is typically based on a mathematical model of the process to be altered through targeted control inputs. This paper focuses on processes at the molecular level that determine the state of an individual cell, involving signaling or gene regulation. The mathematical model type considered is that of Boolean networks. The potential control targets can be represented by a set of nodes and edges that can be manipulated to produce a desired effect on the system. Experimentally, node manipulation requires technology to completely repress or fully activate a particular gene product while edge manipulations only require a drug that inactivates the interaction between two gene products. Results: This paper presents a method for the identification of potential intervention targets in Boolean molecular network models using algebraic techniques. The approach exploits an algebraic representation of Boolean networks to encode the control candidates in the network wiring diagram as the solutions of a system of polynomials equations, and then uses computational algebra techniques to find such controllers. The control methods in this paper are validated through the identification of combinatorial interventions in the signaling pathways of previously reported control targets in two well studied systems, a p53-mdm2 network and a blood T cell lymphocyte granular leukemia survival signaling network.

q-bio.MN↗

arXiv2015

Molecular Network Control Through Boolean Canalization

Boolean networks are an important class of computational models for molecular interaction networks. Boolean canalization, a type of hierarchical clustering of the inputs of a Boolean function, has been extensively studied in the context of network modeling where each layer of canalization adds a degree of stability in the dynamics of the network. Recently, dynamic network control approaches have been used for the design of new therapeutic interventions and for other applications such as stem cell reprogramming. This work studies the role of canalization in the control of Boolean molecular networks. It provides a method for identifying the potential edges to control in the wiring diagram of a network for avoiding undesirable state transitions. The method is based on identifying appropriate input-output combinations on undesirable transitions that can be modified using the edges in the wiring diagram of the network. Moreover, a method for estimating the number of changed transitions in the state space of the system as a result of an edge deletion in the wiring diagram is presented. The control methods of this paper were applied to a mutated cell-cycle model and to a p53-mdm2 model to identify potential control targets.

q-bio.MN↗

arXiv2013

Stabilizing Gene Regulatory Networks Through Feedforward Loops

The global dynamics of gene regulatory networks are known to show robustness to perturbations in the form of intrinsic and extrinsic noise, as well as mutations of individual genes. One molecular mechanism underlying this robustness has been identified as the action of so-called microRNAs that operate via feedforward loops. We present results of a computational study, using the modeling framework of stochastic Boolean networks, which explores the role that such network motifs play in stabilizing global dynamics. The paper introduces a new measure for the stability of stochastic networks. The results show that certain types of feedforward loops do indeed buffer the network against stochastic effects.

q-bio.MN↗

arXiv2013

Boolean nested canalizing functions: a comprehensive analysis

Boolean network models of molecular regulatory networks have been used successfully in computational systems biology. The Boolean functions that appear in published models tend to have special properties, in particular the property of being nested canalizing, a concept inspired by the concept of canalization in evolutionary biology. It has been shown that networks comprised of nested canalizing functions have dynamic properties that make them suitable for modeling molecular regulatory networks, namely a small number of (large) attractors, as well as relatively short limit cycles. This paper contains a detailed analysis of this class of functions, based on a novel normal form as polynomial functions over the Boolean field. The concept of layer is introduced that stratifies variables into different classes depending on their level of dominance. Using this layer concept a closed form formula is derived for the number of nested canalizing functions with a given number of variables. Additional metrics considered include Hamming weight, the activity number of any variable, and the average sensitivity of the function. It is also shown that the average sensitivity of any nested canalizing function is between 0 and 2. This provides a rationale for why nested canalizing functions are stable, since a random Boolean function in n variables has average sensitivity n/2. The paper also contains experimental evidence that the layer number is an important factor in network stability.

math.DS↗

arXiv2012

Modeling Stochasticity and Variability in Gene Regulatory Networks

Modeling stochasticity in gene regulatory networks is an important and complex problem in molecular systems biology. To elucidate intrinsic noise, several modeling strategies such as the Gillespie algorithm have been used successfully. This paper contributes an approach as an alternative to these classical settings. Within the discrete paradigm, where genes, proteins, and other molecular components of gene regulatory networks are modeled as discrete variables and are assigned as logical rules describing their regulation through interactions with other components. Stochasticity is modeled at the biological function level under the assumption that even if the expression levels of the input nodes of an update rule guarantee activation or degradation there is a probability that the process will not occur due to stochastic effects. This approach allows a finer analysis of discrete models and provides a natural setup for cell population simulations to study cell-to-cell variability. We applied our methods to two of the most studied regulatory networks, the outcome of lambda phage infection of bacteria and the p53-mdm2 complex.

q-bio.MN↗

arXiv2011

Multi-state Canalyzing Functions over Finite Fields

In this paper, we extend the definition of Boolean canalyzing functions to the canalyzing functions over finite field $\mathbb{F}_{q}$, where $q$ is a power of a prime. We obtain the characterization of all the eight classes of such functions as well as their cardinality. When $q=2$, we obtain a combinatorial identity by equating our result to the formula in \cite{Win}. Finally, for a better understanding to the magnitude, we obtain the asymptotes for all the eight cardinalities as either $n\to\infty$ or $q\to\infty$.

math.CO↗