Boolean Monomial Dynamical Systems

Abstract.An important problem in the theory of finite dynamical systems is to link the structure of a system with its dynamics. This paper contains such a link for a family of nonlinear systems over the field with two elements. For systems that can be described by monomials (including Boolean AND systems), one can obtain information about the limit cycle structure from the structure of the monomials. In particular, the paper contains a sufficient condition for a monomial system to have only fixed points as limit cycles. This condition depends on the cycle structure of the dependency graph of the system and can be verified in polynomial time.

[1]  B. Elspas,et al.  The Theory of Autonomous Linear Sequential Networks , 1959 .

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

[3]  P E Seiden,et al.  A computer model of cellular interactions in the immune system. , 1992, Immunology today.

[4]  D. K. Milligan,et al.  The Behaviour of Affine Boolean Sequential Networks , 1993 .

[5]  Stephen Wolfram,et al.  Cellular Automata And Complexity , 1994 .

[6]  Christopher L. Barrett,et al.  Elements of a Theory of Simulation , 1995, ECAL.

[7]  Michel Le Borgne.  ON THE OPTIMAL CONTROL OF POLYNOMIAL DYNAMICAL , 1998 .

[8]  Christian M. Reidys,et al.  Elements of a theory of computer simulation I: Sequential CA over random graphs , 1999, Appl. Math. Comput..

[9]  Reinhard Laubenbacher,et al.  Equivalence Relations on Finite Dynamical Systems , 2001, Adv. Appl. Math..

[10]  Marcus Nilsson,et al.  On the Number of Cycles of p-adic Dynamical Systems , 2001 .

[11]  Reinhard C. Laubenbacher.  A computer algebra approach to biological systems , 2003, ISSAC '03.

[12]  Reinhard Laubenbacher,et al.  Decomposition and simulation of sequential dynamical systems , 2003, Adv. Appl. Math..

[13]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[14]  R. Laubenbacher,et al.  A computational algebra approach to the reverse engineering of gene regulatory networks. , 2003, Journal of theoretical biology.

[15]  Paul Cull.  Linear analysis of switching nets , 2004, Kybernetik.

[16]  René A. Hernández Toledo.  Linear Finite Dynamical Systems , 2005 .