×

A circuit-preserving mapping from multilevel to Boolean dynamics. (English) Zbl 1400.92208

Summary: 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.

MSC:

92C42 Systems biology, networks
05C90 Applications of graph theory
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Abou-Jaoudé, W.; Traynard, P.; Monteiro, P. T.; Saez-Rodriguez, J.; Helikar, T.; Thieffry, D.; Chaouiya, C., Logical modeling and dynamical analysis of cellular networks., Front. Genet., 7, 94, (2016)
[2] Chifman, J.; Arat, S.; Deng, Z.; Lemler, E.; Pino, J. C.; Harris, L. A.; Kochen, M. A.; Lopez, C. F.; Akman, S. A.; Torti, F. M.; Torti, S. V.; Laubenbacher, R., Activated oncogenic pathway modifies iron network in breast epithelial cells: a dynamic modeling perspective., PLoS Comput. Biol., 13, 2, e1005352, (2017)
[3] Comet, J.-P.; Noual, M.; Richard, A.; Aracena, J.; Calzone, L.; Demongeot, J.; Kaufman, M.; Naldi, A.; Snoussi, E. H.; Thieffry, D., On circuit functionality in Boolean networks., Bull. Math. Biol., 75, 6, 906-919, (2013) · Zbl 1272.92016
[4] Didier, G.; Remy, E.; Chaouiya, C., Mapping multivalued onto Boolean dynamics., J. Theor. Biol., 270, 1, 177-184, (2011) · Zbl 1331.92051
[5] Helikar, T.; Kowal, B.; McClenathan, S.; Bruckner, M.; Rowley, T.; Madrahimov, A.; Wicks, B.; Shrestha, M.; Limbu, K.; Rogers, J. A., The cell collective: toward an open and collaborative approach to systems biology., BMC Syst. Biol., 6, 96, (2012)
[6] Kaji, S., 2017. A multilevel to Boolean gene regulatory network converter. https://github.com/shizuo-kaji/multi2boolean; Kaji, S., 2017. A multilevel to Boolean gene regulatory network converter. https://github.com/shizuo-kaji/multi2boolean
[7] MacNamara, A.; Terfve, C.; Henriques, D.; Peñalver Bernabé, B.; Saez-Rodriguez, J., State-time spectrum of signal transduction logic models, Phys. Biol., 9, 4, 045003, (2012)
[8] Naldi, A.; Berenguier, D.; Fauré, A.; Lopez, F.; Thieffry, D.; Chaouiya, C., Logical modelling of regulatory networks with ginsim 2.3., BioSystems, 97, 2, 134-139, (2009)
[9] Remy, E.; Mossé, B.; Chaouiya, C.; Thieffry, D., A description of dynamical graphs associated to elementary regulatory circuits., Bioinformatics, 19, Suppl 2, ii172-178, (2003)
[10] Remy, É.; Ruet, P.; Thieffry, D., Positive or negative regulatory circuit inference from multilevel dynamics, Lect. Notes Control Inf. Sci., 341, 263-270, (2006) · Zbl 1132.93305
[11] Remy, É.; Ruet, P.; Thieffry, D., Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Adv. Appl. Math., 41, 335-350, (2008) · Zbl 1169.05333
[12] Richard, A., Negative circuits and sustained oscillations in asynchronous automata networks, Adv. Appl. Math., 44, 4, 378-392, (2010) · Zbl 1201.37117
[13] Richard, A.; Comet, J.-P., Necessary conditions for multistationarity in discrete dynamical systems, Discrete Appl. Math., 155, 2403-2413, (2007) · Zbl 1125.37062
[14] Ruet, P., Negative local feedbacks in Boolean networks, Discrete Appl. Math., 221, 1-17, (2017) · Zbl 1357.05141
[15] Shih, M.-H.; Dong, J.-L., A combinatorial analogue of the Jacobian problem in automata networks, Adv. Appl. Math., 34, 1, 30-46, (2005) · Zbl 1060.05505
[16] Stoll, G.; Viara, E.; Barillot, E.; Calzone, L., Continuous time Boolean modeling for biological signaling: application of Gillespie algorithm., BMC Syst. Biol., 6, 116, (2012)
[17] Streck, A.; Lorenz, T.; Siebert, H., Minimization and equivalence in multi-valued logical models of regulatory networks, Nat. Comput., 14, 555-566, (2015) · Zbl 1416.92078
[18] Thieffry, D.; Thomas, R., Dynamical behaviour of biological regulatory networks-ii. immunity control in bacteriophage lambda., Bull. Math. Biol., 57, 2, 277-297, (1995) · Zbl 0821.92010
[19] Thomas, R., On the relation between the logical structure of systems and their ability to generate multiple steady states or sustained oscillations., In Springer series in synergies: Numerical methods in the study of critical phenomena, 9, 180-193, (1981), Della Dora, Jean and Demongeot, Jacques and Lacolle, Bernard · Zbl 0489.92025
[20] Thomas, R.; D’Ari, R., Biological feedback, (1990), CRC Press, Inc. 2000 Corporate Blvd, N.W., Boca raton, Florida, 33431, United States of America · Zbl 0743.92003
[21] Tonello, E., 2017. On the conversion of multivalued gene regulatory networks to Boolean dynamics. ArXiv e-prints 1703.06746.; Tonello, E., 2017. On the conversion of multivalued gene regulatory networks to Boolean dynamics. ArXiv e-prints 1703.06746.
[22] Van Ham, P., Kinetic logic: a Boolean approach to the analysis of complex regulatory systems., Lecture notes in Biomathematics., 29, 326-343, (1979), Levin, S.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.