On the Flora of Asynchronous Locally Non-monotonic Boolean Automata Networks

Boolean automata networks (BANs) are a well established model for biological regulation systems such as neural networks or genetic networks. Studies on the dynamics of BANs, whether it is synchronous or asynchronous, have mainly focused on monotonic networks, where fundamental questions on the links relating their static and dynamical properties have been raised and addressed. This paper explores analogous questions on asynchronous non-monotonic networks, xor-BANs, that are BANs where all the local transition functions are xor-functions. Using algorithmic tools, we give a general characterisation of the asynchronous transition graphs for most of the cactus xor-BANs and strongly connected xor-BANs. As an illustration of the results, we provide a complete description of the asynchronous dynamics of two particular classes of xor-BAN, namely xor-Flowers and xor-Cycle Chains. This work also leads to new bisimulation equivalences specific to xor-BANs.

[1]  Damien Regnault,et al.  About non-monotony in Boolean automata networks , 2011, Theor. Comput. Sci..

[2]  Mathilde Noual Synchronism vs Asynchronism in Boolean networks , 2011, ArXiv.

[3]  Maximilien Gadouleau,et al.  Fixed Points of Boolean Networks, Guessing Graphs, and Coding Theory , 2014, SIAM J. Discret. Math..

[4]  W. Pitts,et al.  A Logical Calculus of the Ideas Immanent in Nervous Activity (1943) , 2021, Ideas That Created the Future.

[5]  Charles J. Colbourn,et al.  The complexity of some edge deletion problems , 1988 .

[6]  Denis Thieffry,et al.  A description of dynamical graphs associated to elementary regulatory circuits , 2003, ECCB.

[7]  Abdul Salam Jarrah,et al.  The Dynamics of Conjunctive and Disjunctive Boolean Network Models , 2010, Bulletin of mathematical biology.

[8]  R. Thomas,et al.  Dynamical behaviour of biological regulatory networks--II. Immunity control in bacteriophage lambda. , 1995, Bulletin of mathematical biology.

[9]  François Robert,et al.  Discrete iterations - a metric study , 1986, Springer series in computational mathematics.

[10]  Mathilde Noual,et al.  Updating Automata Networks , 2012 .

[11]  S. Kauffman Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[12]  J J Hopfield,et al.  Neural networks and physical systems with emergent collective computational abilities. , 1982, Proceedings of the National Academy of Sciences of the United States of America.

[13]  Jacques Demongeot,et al.  Combinatorics of Boolean automata circuits dynamics , 2012, Discret. Appl. Math..

[14]  J J Hopfield,et al.  Neurons with graded response have collective computational properties like those of two-state neurons. , 1984, Proceedings of the National Academy of Sciences of the United States of America.

[15]  Wiktor Jurkowski,et al.  Detecting cellular reprogramming determinants by differential stability analysis of gene regulatory networks , 2013, BMC Systems Biology.

[16]  Damien Regnault,et al.  Asynchronous Dynamics of Boolean Automata Double-Cycles , 2015, UCNC.

[17]  Damien Regnault,et al.  Full characterization of attractors for two intersected asynchronous Boolean automata cycles , 2013, ArXiv.

[18]  Damien Regnault,et al.  Boolean networks synchronism sensitivity and XOR circulant networks convergence time , 2012, AUTOMATA & JAC.

[19]  Adrien Richard,et al.  On the Convergence of Boolean Automata Networks without Negative Cycles , 2013, Automata.

[20]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..

[21]  Hamid Bolouri,et al.  A gene regulatory network armature for T lymphocyte specification , 2008, Proceedings of the National Academy of Sciences.

[22]  Maximilien Gadouleau,et al.  Reduction and Fixed Points of Boolean Networks and Linear Network Coding Solvability , 2014, IEEE Transactions on Information Theory.

[23]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[24]  Elisabeth Remy,et al.  Relations between gene regulatory networks and cell dynamics in Boolean models , 2012, Discret. Appl. Math..

[25]  Adrien Richard,et al.  Maximum number of fixed points in AND-OR-NOT networks , 2014, J. Comput. Syst. Sci..