-
Canalization reduces the nonlinearity of regulation in biological networks
Authors:
Claus Kadelka,
David Murrugarra
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Modular Construction of Boolean Networks
Authors:
Matthew Wheeler,
Claus Kadelka,
Alan Veliz-Cuba,
David Murrugarra,
Reinhard Laubenbacher
Abstract:
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 iden…
▽ More
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.
△ Less
Submitted 4 January, 2024;
originally announced February 2024.
-
Modular Control of Biological Networks
Authors:
David Murrugarra,
Alan Veliz-Cuba,
Elena Dimitrova,
Claus Kadelka,
Matthew Wheeler,
Reinhard Laubenbacher
Abstract:
The concept of control is central to understanding and applications of biological network models. Some of their key structural features relate to control functions, through gene regulation, signaling, or metabolic mechanisms, and computational models need to encode these. Applications of models often focus on model-based control, such as in biomedicine or metabolic engineering. This paper presents…
▽ More
The concept of control is central to understanding and applications of biological network models. Some of their key structural features relate to control functions, through gene regulation, signaling, or metabolic mechanisms, and computational models need to encode these. Applications of models often focus on model-based control, such as in biomedicine or metabolic engineering. This paper presents an approach to model-based control that exploits two common features of biological networks, namely their modular structure and canalizing features of their regulatory mechanisms. The paper focuses on intracellular regulatory networks, represented by Boolean network models. A main result of this paper is that control strategies can be identified by focusing on one module at a time. This paper also presents 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 very challenging. The modular approach presented here leads to a highly efficient approach to solving this problem. This approach is applied 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.
△ Less
Submitted 7 July, 2024; v1 submitted 22 January, 2024;
originally announced January 2024.
-
Stability of Linear Boolean Networks
Authors:
Karthik Chandrasekhar,
Claus Kadelka,
Reinhard Laubenbacher,
David Murrugarra
Abstract:
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 quantify…
▽ More
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 ordered regime, and 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.
△ Less
Submitted 9 May, 2023; v1 submitted 5 September, 2022;
originally announced September 2022.
-
Projecting social contact matrices to populations stratified by binary attributes with known homophily
Authors:
Claus Kadelka
Abstract:
Contact networks are heterogeneous. People with similar characteristics are more likely to interact, a phenomenon called assortative mixing or homophily. While age-assortativity is well-established and social contact matrices for populations stratified by age have been derived through extensive survey work, we lack empirical studies that describe contact patterns of a population stratified by othe…
▽ More
Contact networks are heterogeneous. People with similar characteristics are more likely to interact, a phenomenon called assortative mixing or homophily. While age-assortativity is well-established and social contact matrices for populations stratified by age have been derived through extensive survey work, we lack empirical studies that describe contact patterns of a population stratified by other attributes such as gender, sexual orientation, ethnicity, etc. Accounting for heterogeneities with respect to these attributes can have a profound effect on the dynamics of epidemiological forecasting models.
Here, we introduce a new methodology to expand a given e.g. age-based contact matrix to populations stratified by binary attributes with a known level of homophily. We describe a set of linear conditions any meaningful social contact matrix must satisfy and find the optimal matrix by solving a non-linear optimization problem. We show the effect homophily can have on disease dynamics and conclude by briefly describing more complicated extensions.
The available Python source code enables any modeler to account for the presence of homophily with respect to binary attributes in contact patterns, ultimately yielding more accurate predictive models.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Decomposition of Boolean networks: An approach to modularity of biological systems
Authors:
Claus Kadelka,
Reinhard Laubenbacher,
David Murrugarra,
Alan Veliz-Cuba,
Matthew Wheeler
Abstract:
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…
▽ More
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.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Revealing the canalizing structure of Boolean functions: Algorithms and applications
Authors:
Elena Dimitrova,
Brandilyn Stigler,
Claus Kadelka,
David Murrugarra
Abstract:
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 t…
▽ More
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.
△ Less
Submitted 20 May, 2022; v1 submitted 11 June, 2021;
originally announced June 2021.
-
A meta-analysis of Boolean network models reveals design principles of gene regulatory networks
Authors:
Claus Kadelka,
Taras-Michael Butrie,
Evan Hilton,
Jack Kinseth,
Addison Schmidt,
Haris Serdarevic
Abstract:
Gene regulatory networks (GRNs) play a central role in cellular decision-making. Understanding their structure and how it impacts their dynamics constitutes thus a fundamental biological question. GRNs are frequently modeled as Boolean networks, which are intuitive, simple to describe, and can yield qualitative results even when data is sparse. We assembled the largest repository of expert-curated…
▽ More
Gene regulatory networks (GRNs) play a central role in cellular decision-making. Understanding their structure and how it impacts their dynamics constitutes thus a fundamental biological question. GRNs are frequently modeled as Boolean networks, which are intuitive, simple to describe, and can yield qualitative results even when data is sparse. We assembled the largest repository of expert-curated Boolean GRN models. A meta-analysis of this diverse set of models reveals several design principles. GRNs exhibit more canalization, redundancy and stable dynamics than expected. Moreover, they are enriched for certain recurring network motifs. This raises the important question why evolution favors these design mechanisms.
△ Less
Submitted 11 September, 2023; v1 submitted 2 September, 2020;
originally announced September 2020.
-
Collectively canalizing Boolean functions
Authors:
Claus Kadelka,
Benjamin Keilty,
Reinhard Laubenbacher
Abstract:
This paper studies the mathematical properties of collectively canalizing Boolean functions, a class of functions that has arisen from applications in systems biology. Boolean networks are an increasingly popular modeling framework for regulatory networks, and the class of functions studied here captures a key feature of biological network dynamics, namely that a subset of one or more variables, u…
▽ More
This paper studies the mathematical properties of collectively canalizing Boolean functions, a class of functions that has arisen from applications in systems biology. Boolean networks are an increasingly popular modeling framework for regulatory networks, and the class of functions studied here captures a key feature of biological network dynamics, namely that a subset of one or more variables, under certain conditions, can dominate the value of a Boolean function, to the exclusion of all others. These functions have rich mathematical properties to be explored. The paper shows how the number and type of such sets influence a function's behavior and define a new measure for the canalizing strength of any Boolean function. We further connect the concept of collective canalization with the well-studied concept of the average sensitivity of a Boolean function. The relationship between Boolean functions and the dynamics of the networks they form is important in a wide range of applications beyond biology, such as computer science, and has been studied with statistical and simulation-based methods. But the rich relationship between structure and dynamics remains largely unexplored, and this paper is intended as a contribution to its mathematical foundation.
△ Less
Submitted 6 June, 2023; v1 submitted 31 August, 2020;
originally announced August 2020.
-
The Influence of Canalization on the Robustness of Boolean Networks
Authors:
Claus Kadelka,
Jack Kuipers,
Reinhard Laubenbacher
Abstract:
Time- and state-discrete dynamical systems are frequently used to model molecular networks. This paper provides a collection of mathematical and computational tools for the study of robustness in Boolean network models. The focus is on networks governed by $k$-canalizing functions, a recently introduced class of Boolean functions that contains the well-studied class of nested canalizing functions.…
▽ More
Time- and state-discrete dynamical systems are frequently used to model molecular networks. This paper provides a collection of mathematical and computational tools for the study of robustness in Boolean network models. The focus is on networks governed by $k$-canalizing functions, a recently introduced class of Boolean functions that contains the well-studied class of nested canalizing functions. The activities and sensitivity of a function quantify the impact of input changes on the function output. This paper generalizes the latter concept to $c$-sensitivity and provides formulas for the activities and $c$-sensitivity of general $k$-canalizing functions as well as canalizing functions with more precisely defined structure. A popular measure for the robustness of a network, the Derrida value, can be expressed as a weighted sum of the $c$-sensitivities of the governing canalizing functions, and can also be calculated for a stochastic extension of Boolean networks. These findings provide a computationally efficient way to obtain Derrida values of Boolean networks, deterministic or stochastic, that does not involve simulation.
△ Less
Submitted 18 November, 2016; v1 submitted 15 July, 2016;
originally announced July 2016.
-
Multistate Nested Canalizing Functions and Their Networks
Authors:
Claus Kadelka,
Yuan Li,
Jack Kuipers,
John O. Adeyeye,
Reinhard Laubenbacher
Abstract:
This paper provides a collection of mathematical and computational tools for the study of robustness in nonlinear gene regulatory networks, represented by time- and state-discrete dynamical systems taking on multiple states. The focus is on networks governed by nested canalizing functions (NCFs), first introduced in the Boolean context by S. Kauffman. After giving a general definition of NCFs we a…
▽ More
This paper provides a collection of mathematical and computational tools for the study of robustness in nonlinear gene regulatory networks, represented by time- and state-discrete dynamical systems taking on multiple states. The focus is on networks governed by nested canalizing functions (NCFs), first introduced in the Boolean context by S. Kauffman. After giving a general definition of NCFs we analyze the class of such functions. We derive a formula for the normalized average $c$-sensitivities of multistate NCFs, which enables the calculation of the Derrida plot, a popular measure of network stability. We also provide a unique canonical parametrized polynomial form of NCFs. This form has several consequences. We can easily generate NCFs for varying parameter choices, and derive a closed form formula for the number of such functions in a given number of variables, as well as an asymptotic formula. Finally, we compute the number of equivalence classes of NCFs under permutation of variables. Together, the results of the paper represent a useful mathematical framework for the study of NCFs and their dynamic networks.
△ Less
Submitted 29 August, 2016; v1 submitted 14 November, 2014;
originally announced November 2014.
-
Stabilizing Gene Regulatory Networks Through Feedforward Loops
Authors:
Claus Kadelka,
David Murrugarra,
Reinhard Laubenbacher
Abstract:
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…
▽ More
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.
△ Less
Submitted 22 May, 2013; v1 submitted 30 April, 2013;
originally announced April 2013.
-
Multistate nested canalizing functions
Authors:
J. O. Adeyeye,
C. Kadelka,
R. Laubenbacher,
Y. Li
Abstract:
The concept of a nested canalizing Boolean function has been studied over the course of the last decade in the context of understanding the regulatory logic of molecular interaction networks, such as gene regulatory networks. Such functions appear preferentially in published models of such networks. Recently, this concept has been generalized to include multi-state functions, and a recursive formu…
▽ More
The concept of a nested canalizing Boolean function has been studied over the course of the last decade in the context of understanding the regulatory logic of molecular interaction networks, such as gene regulatory networks. Such functions appear preferentially in published models of such networks. Recently, this concept has been generalized to include multi-state functions, and a recursive formula has been derived for their number, as a function of the number of variables. This paper carries out a detailed analysis of the class of nested canalizing functions over an arbitrary finite field. Furthermore, the paper generalizes the concept further, and derives a closed formula for the number of such generalized functions. The paper also derives a closed formula for the number of equivalence classes under permutation of variables. This is motivated by the fact that two nested canalizing functions that differ by a permutation of the variables share many important properties with each other. The paper contributes to the effort of identifying a class of functions over finite fields that are of interest in biology and also have interesting mathematical properties.
△ Less
Submitted 12 April, 2013;
originally announced April 2013.