-
Computer-aided analysis of high-dimensional Glass networks: periodicity, chaos, and bifurcations in a ring circuit
Authors:
Ismail Belgacem,
Roderick Edwards,
Etienne Farcot
Abstract:
Glass networks model systems of variables that interact via sharp switching. A body of theory has been developed over several decades that, in principle, allows rigorous proof of dynamical properties in high dimensions that is not normally feasible in nonlinear dynamical systems. Previous work has, however, used examples of dimension no higher than 6 to illustrate the methods. Here we show that th…
▽ More
Glass networks model systems of variables that interact via sharp switching. A body of theory has been developed over several decades that, in principle, allows rigorous proof of dynamical properties in high dimensions that is not normally feasible in nonlinear dynamical systems. Previous work has, however, used examples of dimension no higher than 6 to illustrate the methods. Here we show that the same tools can be applied in dimensions at least as high as 20. An important application of Glass networks is to a recently-proposed design of a True Random Number Generator that is based on an intrinsically chaotic electronic circuit. In order for analysis to be meaningful for the application, the dimension must be at least 20. Bifurcation diagrams show what appear to be periodic and chaotic bands. Here we demonstrate that the analytic tools for Glass networks can be used to rigorously show where periodic orbits are lost, and the types of bifurcations that occur there. The main tools are linear algebra and the stability theory of Poincaré maps. All main steps can be automated, and we provide computer code. The methods reviewed here have the potential for many other applications involving sharply switching interactions, such as artificial neural networks.
△ Less
Submitted 31 October, 2024;
originally announced November 2024.
-
Qualitative control of periodic solutions in piecewise affine systems; application to genetic networks
Authors:
Etienne Farcot,
Jean-Luc Gouzé
Abstract:
Hybrid systems, and especially piecewise affine (PWA) systems, are often used to model gene regulatory networks. In this paper we elaborate on previous work about control problems for this class of models, using also some recent results guaranteeing the existence and uniqueness of limit cycles, based solely on a discrete abstraction of the system and its interaction structure. Our aim is to cont…
▽ More
Hybrid systems, and especially piecewise affine (PWA) systems, are often used to model gene regulatory networks. In this paper we elaborate on previous work about control problems for this class of models, using also some recent results guaranteeing the existence and uniqueness of limit cycles, based solely on a discrete abstraction of the system and its interaction structure. Our aim is to control the transition graph of the PWA system to obtain an oscillatory behaviour, which is indeed of primary functional importance in numerous biological networks; we show how it is possible to control the appearance or disappearance of a unique stable limit cycle by hybrid qualitative action on the degradation rates of the PWA system, both by static and dynamic feedback, i.e. the adequate coupling of a controlling subnetwork. This is illustrated on two classical gene network modules, having the structure of mixed feedback loops.
△ Less
Submitted 2 December, 2009;
originally announced December 2009.
-
Limit cycles in piecewise-affine gene network models with multiple interaction loops
Authors:
Etienne Farcot,
Jean-Luc Gouzé
Abstract:
In this paper we consider piecewise affine differential equations modeling gene networks. We work with arbitrary decay rates, and under a local hypothesis expressed as an alignment condition of successive focal points. The interaction graph of the system may be rather complex (multiple intricate loops of any sign, multiple thresholds...). Our main result is an alternative theorem showing that, i…
▽ More
In this paper we consider piecewise affine differential equations modeling gene networks. We work with arbitrary decay rates, and under a local hypothesis expressed as an alignment condition of successive focal points. The interaction graph of the system may be rather complex (multiple intricate loops of any sign, multiple thresholds...). Our main result is an alternative theorem showing that, if a sequence of region is periodically visited by trajectories, then under our hypotheses, there exists either a unique stable periodic solution, or the origin attracts all trajectories in this sequence of regions. This result extends greatly our previous work on a single negative feedback loop. We give several examples and simulations illustrating different cases.
△ Less
Submitted 11 March, 2009;
originally announced March 2009.
-
Periodic solutions of piecewise affine gene network models: the case of a negative feedback loop
Authors:
Etienne Farcot,
Jean-Luc Gouzé
Abstract:
In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown that the same systems converge toward a unique stable equilibrium point in dimension 2. This extends a theorem of Snoussi, which showed the existence of these…
▽ More
In this paper the existence and unicity of a stable periodic orbit is proven, for a class of piecewise affine differential equations in dimension 3 or more, provided their interaction structure is a negative feedback loop. It is also shown that the same systems converge toward a unique stable equilibrium point in dimension 2. This extends a theorem of Snoussi, which showed the existence of these orbits only. The considered class of equations is usually studied as a model of gene regulatory networks. It is not assumed that all decay rates are identical, which is biologically irrelevant, but has been done in the vast majority of previous studies. Our work relies on classical results about fixed points of monotone, concave operators acting on positive variables. Moreover, the used techniques are very likely to apply in more general contexts, opening directions for future work.
△ Less
Submitted 8 November, 2006;
originally announced November 2006.
