The interaction graph structure of mass-action reaction networks

Vertex results for the robust analysis of uncertain biochemical systems

We consider the problem of assessing the sensitivity of uncertain biochemical systems in the presence of input perturbations (either constant or periodic) around a stable steady state. In particular, we propose approaches for the robust sensitivity analysis of systems with uncertain parameters assumed to take values in a hyper-rectangle. We highlight vertex results, which allow us to check whether a property is satisfied for all parameter choices in the hyper-rectangle by simply checking whether it is satisfied for all parameter choices at the vertices of the hyper-rectangle. We show that, for a vast class of systems, including (bio)chemical reaction networks with mass-action kinetics, the system Jacobian has a totally multiaffine structure (namely, all minors of the Jacobian matrix are multiaffine functions of the uncertain parameters), which can be exploited to obtain several vertex results. We consider different problems: robust non-singularity; robust stability of the steady-state; robust steady-state sensitivity analysis, in the case of constant perturbations; robust frequency-response sensitivity analysis, in the presence of periodic perturbations; and robust adaptation analysis. The developed theory is then applied to gain insight into some examples of uncertain biochemical systems, including the incoherent feed-forward loop, the coherent feed-forward loop, the Brusselator oscillator and the Goldbeter oscillator.

State-dependent effective interactions in oscillator networks through coupling functions with dead zones

The dynamics of networks of interacting dynamical systems depend on the nature of the coupling between individual units. We explore networks of oscillatory units with coupling functions that have 'dead zones', that is the coupling functions are zero on sets with interior. For such networks, it is convenient to look at the effective interactions between units rather than the (fixed) structural connectivity to understand the network dynamics. For example, oscillators may effectively decouple in particular phase configurations. Along trajectories, the effective interactions are not necessarily static, but the effective coupling may evolve in time. Here, we formalize the concepts of dead zones and effective interactions. We elucidate how the coupling function shapes the possible effective interaction schemes and how they evolve in time. This article is part of the theme issue 'Coupling functions: dynamical interaction mechanisms in the physical, biological and social sciences'.

Computing the structural influence matrix for biological systems

We consider the problem of identifying structural influences of external inputs on steady-state outputs in a biological network model. We speak of a structural influence if, upon a perturbation due to a constant input, the ensuing variation of the steady-state output value has the same sign as the input (positive influence), the opposite sign (negative influence), or is zero (perfect adaptation), for any feasible choice of the model parameters. All these signs and zeros can constitute a structural influence matrix, whose (i, j) entry indicates the sign of steady-state influence of the jth system variable on the ith variable (the output caused by an external persistent input applied to the jth variable). Each entry is structurally determinate if the sign does not depend on the choice of the parameters, but is indeterminate otherwise. In principle, determining the influence matrix requires exhaustive testing of the system steady-state behaviour in the widest range of parameter values. Here we show that, in a broad class of biological networks, the influence matrix can be evaluated with an algorithm that tests the system steady-state behaviour only at a finite number of points. This algorithm also allows us to assess the structural effect of any perturbation, such as variations of relevant parameters. Our method is applied to nontrivial models of biochemical reaction networks and population dynamics drawn from the literature, providing a parameter-free insight into the system dynamics.

Cyclic negative feedback systems: what is the chance of oscillation?

Many biological oscillators have a cyclic structure consisting of negative feedback loops. In this paper, we analyze the impact that the addition of a positive or a negative self-feedback loop has on the oscillatory behavior of the three negative feedback oscillators proposed by Tsai et al. (Science 231:126-129, 2008) where, in contrast with numerous oscillator models, the interactions between elements occur via the modulation of the degradation rates. Through analytical and computational studies we show that an additional self-feedback affects the oscillatory behavior. In the high-cooperativity limit, i.e., for large Hill coefficients, we derive exact analytical conditions for oscillations and show that the relative location between the dissociation constants of the Hill functions and the ratio of kinetic parameters determines the possibility of oscillatory activities. We compute analytically the probability of oscillations for the three models and show that the smallest domain of periodic behavior is obtained for the negative-plus-negative feedback system whereas the additional positive self-feedback loop does not modify significantly the chance to oscillate. We numerically investigate to what extent the properties obtained in the sharp situation applied in the smooth case. Results suggest that a switch-like coupling behavior, a time-scale separation, and a repressilator-type architecture with an even number of elements facilitate the emergence of sustained oscillations in biological systems. An additional positive self-feedback loop produces robustness and adaptability whereas an additional negative self-feedback loop reduces the chance to oscillate.

Inducing chaos in a gene regulatory network by coupling an oscillating dynamics with a hysteresis-type one

In this paper, we investigate the chaotic behavior of a gene regulatory network modeled by four differential equations and seventeen parameters. This network, called [Formula: see text]-system, has been designed to couple in a simple way an oscillating system with one having a bistable switch. After having studied it analytically, we exhibit (by a constructive proof) the mechanism responsible of chaos for a general differential system presenting such a coupling. Namely, given a generic one-parameter family of smooth vector fields on [Formula: see text] presenting a Hopf bifurcation, we prove that under an assumption on the Jacobian at the bifurcation point, we can create such a chaotic system by perturbing the parameter thanks to a hysteresis-type dynamics. Finally, we numerically show that the mechanism highlighted previously takes place in the [Formula: see text]-system, for a particular set of values of its parameters.