-
Immediate Neighbours of Monotone Boolean Functions
Authors:
José E. R. Cury,
Patrícia Tenera Roxo,
Vasco Manquinho,
Claudine Chaouiya,
Pedro T. Monteiro
Abstract:
Boolean networks constitute relevant mathematical models to study the behaviours of genetic and signalling networks. These networks define regulatory influences between molecular nodes, each being associated to a Boolean variable and a regulatory (local) function specifying its dynamical behaviour depending on its regulators. However, existing data is mostly insufficient to adequately parametrise…
▽ More
Boolean networks constitute relevant mathematical models to study the behaviours of genetic and signalling networks. These networks define regulatory influences between molecular nodes, each being associated to a Boolean variable and a regulatory (local) function specifying its dynamical behaviour depending on its regulators. However, existing data is mostly insufficient to adequately parametrise a model, that is to uniquely define a regulatory function for each node. With the intend to support model parametrisation, this paper presents results on the set of Boolean functions compatible with a given regulatory structure, i.e. the partially ordered set of monotone non-degenerate Boolean functions. More precisely, we present original rules to obtain the direct neighbours of any function of this set. Besides a theoretical interest, presented results will enable the development of more efficient methods for Boolean network synthesis and revision, benefiting from the progressive exploration of the vicinity of regulatory functions.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Partial Order on the set of Boolean Regulatory Functions
Authors:
José E. R. Cury,
Pedro T. Monteiro,
Claudine Chaouiya
Abstract:
Logical models have been successfully used to describe regulatory and signaling networks without requiring quantitative data. However, existing data is insufficient to adequately define a unique model, rendering the parametrization of a given model a difficult task.
Here, we focus on the characterization of the set of Boolean functions compatible with a given regulatory structure, i.e. the set o…
▽ More
Logical models have been successfully used to describe regulatory and signaling networks without requiring quantitative data. However, existing data is insufficient to adequately define a unique model, rendering the parametrization of a given model a difficult task.
Here, we focus on the characterization of the set of Boolean functions compatible with a given regulatory structure, i.e. the set of all monotone nondegenerate Boolean functions. We then propose an original set of rules to locally explore the direct neighboring functions of any function in this set, without explicitly generating the whole set. Also, we provide relationships between the regulatory functions and their corresponding dynamics.
Finally, we illustrate the usefulness of this approach by revisiting Probabilistic Boolean Networks with the model of T helper cell differentiation from Mendoza & Xenarios.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
Local negative circuits and cyclic attractors in Boolean networks with at most five components
Authors:
Elisa Tonello,
Etienne Farcot,
Claudine Chaouiya
Abstract:
We consider the following question on the relationship between the asymptotic behaviours of asynchronous dynamics of Boolean networks and their regulatory structures: does the presence of a cyclic attractor imply the existence of a local negative circuit in the regulatory graph? When the number of model components $n$ verifies $n \geq 6$, the answer is known to be negative. We show that the questi…
▽ More
We consider the following question on the relationship between the asymptotic behaviours of asynchronous dynamics of Boolean networks and their regulatory structures: does the presence of a cyclic attractor imply the existence of a local negative circuit in the regulatory graph? When the number of model components $n$ verifies $n \geq 6$, the answer is known to be negative. We show that the question can be translated into a Boolean satisfiability problem on $n \cdot 2^n$ variables. A Boolean formula expressing the absence of local negative circuits and a necessary condition for the existence of cyclic attractors is found unsatisfiable for $n \leq 5$. In other words, for Boolean networks with up to $5$ components, the presence of a cyclic attractor requires the existence of a local negative circuit.
△ Less
Submitted 22 October, 2018; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Quantification of reachable attractors in asynchronous discrete dynamics
Authors:
Nuno D. Mendes,
Pedro T. Monteiro,
Jorge Carneiro,
Elisabeth Remy,
Claudine Chaouiya
Abstract:
Motivation: Models of discrete concurrent systems often lead to huge and complex state transition graphs that represent their dynamics. This makes difficult to analyse dynamical properties. In particular, for logical models of biological regulatory networks, it is of real interest to study attractors and their reachability from specific initial conditions, i.e. to assess the potential asymptotical…
▽ More
Motivation: Models of discrete concurrent systems often lead to huge and complex state transition graphs that represent their dynamics. This makes difficult to analyse dynamical properties. In particular, for logical models of biological regulatory networks, it is of real interest to study attractors and their reachability from specific initial conditions, i.e. to assess the potential asymptotical behaviours of the system. Beyond the identification of the reachable attractors, we propose to quantify this reachability.
Results: Relying on the structure of the state transition graph, we estimate the probability of each attractor reachable from a given initial condition or from a portion of the state space. First, we present a quasi-exact solution with an original algorithm called Firefront, based on the exhaustive exploration of the reachable state space. Then, we introduce an adapted version of Monte Carlo simulation algorithm, termed Avatar, better suited to larger models. Firefront and Avatar methods are validated and compared to other related approaches, using as test cases logical models of synthetic and biological networks.
Availability: Both algorithms are implemented as Perl scripts that can be freely downloaded from http://compbio.igc.gulbenkian.pt/nmd/node/59 along with Supplementary Material.
△ Less
Submitted 13 November, 2014;
originally announced November 2014.
