A circuit-preserving mapping from multilevel to Boolean dynamics
From MaRDI portal
Abstract: Many discrete models of biological networks rely exclusively on Boolean variables and many tools and theorems are available for analysis of strictly Boolean models. However, multilevel variables are often required to account for threshold effects, in which knowledge of the Boolean case does not generalise straightforwardly. This motivated the development of conversion methods for multilevel to Boolean models. In particular, Van Ham's method has been shown to yield a one-to-one, neighbour and regulation preserving dynamics, making it the de facto standard approach to the problem. However, Van Ham's method has several drawbacks: most notably, it introduces vast regions of "non-admissible" states that have no counterpart in the multilevel, original model. This raises special difficulties for the analysis of interaction between variables and circuit functionality, which is believed to be central to the understanding of dynamic properties of logical models. Here, we propose a new multilevel to Boolean conversion method, with software implementation. Contrary to Van Ham's, our method doesn't yield a one-to-one transposition of multilevel trajectories, however, it maps each and every Boolean state to a specific multilevel state, thus getting rid of the non-admissible regions and, at the expense of (apparently) more complicated, "parallel" trajectories. One of the prominent features of our method is that it preserves dynamics and interaction of variables in a certain manner. As a demonstration of the usability of our method, we apply it to construct a new Boolean counter-example to the well-known conjecture that a local negative circuit is necessary to generate sustained oscillations. This result illustrates the general relevance of our method for the study of multilevel logical models.
Recommendations
- Mapping multivalued onto Boolean dynamics
- On the conversion of multivalued to Boolean dynamics
- On circuit functionality in Boolean networks
- A circuit complexity approach to transductions
- scientific article; zbMATH DE number 2163011
- Synthesis of multilevel Boolean networks
- scientific article; zbMATH DE number 4137716
- A Linear Representation of Dynamics of Boolean Networks
- Mapping a multiple-control Toffoli gate cascade to an elementary quantum gate circuit
- From Boolean networks to linear dynamical systems: a simplified route
Cites work
- A combinatorial analogue of the Jacobian problem in automata networks
- Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
- Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework
- scientific article; zbMATH DE number 3771418 (Why is no real title available?)
- scientific article; zbMATH DE number 50840 (Why is no real title available?)
- Mapping multivalued onto Boolean dynamics
- Minimization and equivalence in multi-valued logical models of regulatory networks
- Necessary conditions for multistationarity in discrete dynamical systems
- Negative circuits and sustained oscillations in asynchronous automata networks
- Negative local feedbacks in Boolean networks
- On circuit functionality in Boolean networks
- Positive or negative regulatory circuit inference from multilevel dynamics
Cited in
(6)
This page was built for publication: A circuit-preserving mapping from multilevel to Boolean dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1648937)
