Limit cycle structure for dynamic bi-threshold systems

In this paper we determine the limit cycle structures of synchronous and sequential finite dynamical systems governed by dynamic bi-threshold functions over non-uniform networks. So far, work in this area has been concerned with static threshold values, and our results generalize these. In particular, this includes the celebrated result by Goles and Olivos on synchronous neural networks (1981) 5, the work by Kuhlman et al. (2012) 12 on static bi-threshold systems, and the work by Chang et al. (2014) 2 on dynamic standard threshold systems.In our work, the state of each vertex v includes the usual binary state x v ? { 0 , 1 } , the dynamic up-thresholds k v ? and down-thresholds k v ? whose values change only upon a transition of x v . We show that the projection of the periodic orbits onto the Boolean x-dynamics have maximal size 2 under the synchronous update method regardless of how the up- and down-thresholds evolve. The proof is a careful extension of the technique originally developed in the proof by Goles and Olivos (1981) 5 and which was later modified by Kuhlman et al. (2012) 12 to cover bi-threshold systems. We also derive sufficient conditions on the evolution of the up- and down-thresholds that ensures that the sequential systems only have fixed points as limit sets. The results should be relevant for modeling and analyzing a large range of social and biological systems where agent adaptation occurs and needs to be accounted for.

[1]  R. Laubenbacher,et al.  Boolean models of bistable biological systems , 2009, 0912.2089.

[2]  Abdul Salam Jarrah,et al.  Nested Canalyzing, Unate Cascade, and Polynomial Functions. , 2006, Physica D. Nonlinear phenomena.

[3]  Aravind Srinivasan,et al.  Modelling disease outbreaks in realistic urban social networks , 2004, Nature.

[4]  E. Goles,et al.  Neural and Automata Networks: Dynamical Behavior and Applications , 2011 .

[5]  M. Tanner,et al.  Towards a comprehensive simulation model of malaria epidemiology and control , 2008, Parasitology.

[6]  Harry B. Hunt,et al.  Complexity of reachability problems for finite discrete dynamical systems , 2006, J. Comput. Syst. Sci..

[7]  Eric Goles Ch.,et al.  Decreasing energy functions as a tool for studying threshold networks , 1985, Discret. Appl. Math..

[8]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[9]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

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

[11]  John von Neumann,et al.  Theory Of Self Reproducing Automata , 1967 .

[12]  V. S. Anil Kumar,et al.  Bifurcations in Boolean Networks , 2011, Automata.

[13]  Samarth Swarup,et al.  Addiction Dynamics May Explain the Slow Decline of Smoking Prevalence , 2012, SBP.

[14]  Eric Goles Ch.,et al.  Comportement periodique des fonctions a seuil binaires et applications , 1981, Discret. Appl. Math..

[16]  Henning S. Mortveit Limit Cycle Structure for Block-Sequential Threshold Systems , 2012, ACRI.

[17]  R. Laubenbacher,et al.  On the algebraic geometry of polynomial dynamical systems , 2008, 0803.1825.

[18]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.