The smallest chemical reaction system with bistability
Bistability underlies basic biological phenomena, such as cell division, differentiation, cancer onset, and apoptosis. So far biologists identified two necessary conditions for bistability: positive feedback and ultrasensitivity.
Biological systems are based upon elementary mono- and bimolecular chemical reactions. In order to definitely clarify all necessary conditions for bistability we here present the corresponding minimal system. According to our definition, it contains the minimal number of (i) reactants, (ii) reactions, and (iii) terms in the corresponding ordinary differential equations (decreasing importance from i-iii). The minimal bistable system contains two reactants and four irreversible reactions (three bimolecular, one monomolecular).
We discuss the roles of the reactions with respect to the necessary conditions for bistability: two reactions comprise the positive feedback loop, a third reaction filters out small stimuli thus enabling a stable 'off' state, and the fourth reaction prevents explosions. We argue that prevention of explosion is a third general necessary condition for bistability, which is so far lacking discussion in the literature.
Moreover, in addition to proving that in two-component systems three steady states are necessary for bistability (five for tristability, etc.), we also present a simple general method to design such systems: one just needs one production and three different degradation mechanisms (one production, five degradations for tristability, etc.). This helps modelling multistable systems and it is important for corresponding synthetic biology projects.
The presented minimal bistable system finally clarifies the often discussed question for the necessary conditions for bistability. The three necessary conditions are: positive feedback, a mechanism to filter out small stimuli and a mechanism to prevent explosions. This is important for modelling bistability with simple systems and for synthetically designing new bistable systems. Our simple model system is also well suited for corresponding teaching purposes.
KeywordsHopf Bifurcation Stable Steady State Bimolecular Reaction Bistable System Steady State Equation
Bistability is key for understanding basic phenomena of cellular functioning, such as decision-making processes in cell cycle progression, cell differentiation, and apoptosis . It is also involved in loss of cellular homeostasis associated with early events in cancer onset  and in prion diseases . A recent review discussed different bistability phenomena in bacteria, such as different phenotypes in clonal populations being important for the origin of new species .
Bistable switches are typically enabled by positive feedback loops in signal transduction networks. Here a sufficiently strong (external) signal switches on a self-amplifying process leading to expression of the corresponding target genes. Due to the corresponding hysteresis effect this process can retain its activity without a persistent signal. Such switches are therefore called 'decision-making'. One often discussed example is the restriction point control for the regulation of G1-S transition of the mammalian cell cycle, where recently a detailed small ordinary differential equation (ODE) model was presented . The G2-M transition was also described as a toggle-switch . Oocyte maturation is an example for the involvement of a bistable system in cell differentiation [7, 8]. Biochemical switches have also been found in nutrient utilization in bacteria , mating response in yeast , and synaptic memory processing . Interestingly, just quite small parts of the large signal transduction systems (for instance a single layer of a MAPK cascade) can already induce bistability. This was demonstrated for the epidermal growth factor receptor system  and other kinase phosphatase systems [13, 14].
Given its outstanding biological importance, it is clear that bistable switches also attracted the attention of theoretical biologists. A frequently discussed problem is the necessary (and/or sufficient) condition for bistability. The central result goes back to the work of Clarke  and Thomas : autonomous differential systems can possess multiple steady states only under the presence of positive feedback loops [17, 18]. It was also argued that the feedback needs 'some type of non-linearity' or 'ultrasensitivity' for inducing bistability . Different types of ultrasensitivity have been discussed , but formulated in the most general manner that means the system needs some mechanism for filtering out small stimuli to enable a stable 'off' state [20, 21, 22]. Feinberg's chemical reaction network theory (CRNT) even gives necessary and sufficient conditions for bistability, by restricting to special mass-action kinetic (MAK) systems . In a recent application example a single layer of a MAPK cascade was studied and the region in parameter space being relevant for bistability was analytically described . However, for larger systems CRNT leads to cumbersome calculations, but the applicability could recently be improved by just studying important subnetworks  which are based on the concept of elementary flux modes .
Distinguished minimal MAK systems
MAK model (ODEs)
Minimal bistable MAK system
Minimal bistable chemical system
Minimal oscillating MAK system
Minimal MAK system with limit cycle
Minimal chemical system with limit cycle
Here we present and discuss the smallest bistable chemical reaction system. Application of our previously presented Instability Causing Structure Analysis (ICSA ) leads to additional insight into system functioning.
The smallest bistable chemical reaction system
One mode uses reactions 1-3, and the other reactions 1,2, and 4. Bistability can, of course, only arise if all reactions are active. Introducing dimensionless quantities (x/c → x, y/c → y, k1/(k2c) → k1, k3/k2 → k3, k4/(k2c) → k4, tk2c → t), we set k2 = 1, without restriction of generality (k1, k3, k4 > 0). The system has three steady states: Open image in new window , Open image in new window , with the discriminant D = k1 - 4k3k4. A saddle-node bifurcation occurs at D = 0, the three steady states are real if D > 0. The second and third steady state is always positive.
Generally, in two-component systems a steady state is locally stable if the trace tr and determinant det of the Jacobian at this point are negative and positive, respectively (node if 4det <tr2, focus otherwise). If the corresponding determinant is negative, the steady state is a saddle point. It can be seen from the Jacobian Open image in new window that its trace is always negative (phase flow of system (2) is confined to the positive part of the phase space). This excludes Hopf bifurcations (arising at tr = 0) and it means the system is dissipative, i.e. phase-space contracting all over the phase space (trace = two-dimensional Lyapunov exponent). The determinants of the Jacobian at the three steady states read k1k4, Open image in new window , and Open image in new window , respectively. Therefore, the first and third steady state are always locally stable, the second is always locally unstable, a saddle-point (determinant of Jacobian at second steady state always negative, cf. point 3 in Methods). Simple calculation shows further that 4det <tr2 at the first and third steady state, so these are always stable nodes.
The Instability Causing Structure Analysis (ICSA) of system (2)
Recently we presented a new method for topological network analysis of dynamical systems, the Instability Causing Structure Analysis (ICSA ). Standard stoichiometric network analyses (such as elementary flux mode calculations ) are based on the assumption of steady states and lead to linear constraints in flux space. ICSA is a nonlinear network analysis. It is based on the assumption of locally stable steady states. The additional demand for local stability yields additional nonlinear constraints for the steady state flux space .
ICSA needs no knowledge about kinetic details. It can be applied to (bio)chemical systems where just the stoichiometric matrix is known (or even just the signs of its elements) or to signal transduction/gene regulatory networks represented by interaction graphs  (also called incidence graph  or causal influence graph ). ICSA leads to additional insight into system functioning by identifying all contained feedback loops and all the corresponding instability causing structures (ICS). An ICS is either a single feedback loop or a special combination of feedback loops . ICSA yields a necessary condition for local instability of any steady state of the system: if there is no ICS all potential steady states are locally stable. For two-dimensional systems this also implies that the system has just one steady state (cf. point 3 in Methods).
The system contains one positive and one negative feedback loop. The positive loop is the necessary structural condition for bistability . The second often discussed ingredient for bistability is any mechanism for filtering out small stimuli to make the off-state stable. Ferrell and Xiong  discussed different such mechanisms, as ultrasensitivity and back reaction saturation. Our system has the simplest mechanism to stabilize the off-state: the monomolecular efflux reaction 4. Analysis shows that without this reaction the second (unstable) steady state merges with the zero off-state making it (weakly) unstable. In fact, Figure 2 (especially the inset) shows that it is the linear degradation term that makes the overall degradation rate higher then production for low X concentrations.
System (2) is the minimal chemical reaction system with bistability. Therefore, any ingredient is essential. That also means, without the negative loop (without reaction 3 being catalyzed by Y) this system cannot be bistable. In fact, the negative feedback prevents explosion of the system: without reaction 3 the system has just one locally stable off-state and one unstable positive steady state. Figure 2 shows that without the cubic term there are just two crossings of the rate curves.
Summarizing, system (2) contains the three different necessary conditions for bistability: (i) a positive feedback loop, (ii) a mechanism for filtering out small stimuli, and (iii) a mechanism for preventing explosion. Interestingly, the third condition lacks discussion in the literature [19, 20, 22]. Moreover, these three conditions can be related to the three degradation terms in the balance equation of X and so to the last three of the four reactions in (2). The first reaction represents the production of the system, it is the only input. The second reaction closes the positive feedback cycle. Reactions three and four are degradation reactions. The third is the main degradation for higher concentrations, it prevents explosion. The fourth reaction filters out the small stimuli.
The first step in the general ICSA procedure is the analysis of feedback cycles resulting from the off-diagonal terms of the general Jacobian. The second step is the identification of the topological structures that actually cause instability. As mentioned above, standard local stability analysis of two-component systems needs consideration of the Jacobian's trace and determinant det. In ICSA we study the general Jacobian. It follows from (3) that the trace is always negative and det = v2xv3y+ v1y(v3x+ v4x- v2x). The only negative term in det comprises reactions 1 and 2, so this positive feedback cycle is the only ICS of the system. The negative feedback cycle cannot cause any instability here.
The minimal bistable chemical reaction system (2) is based on definition (1). This definition is based on a chemical/physical point of view, but other definitions might also be possible. The definition for the smallest chemical reaction system with Hopf bifurcation , for instance, was more mathematically motivated: here minimal number of quadratic terms in the ODEs had a higher priority than minimal number of reactions. So far it has not been clear whether any at most bimolecular 3-variable system with only four (irreversible) reactions and Hopf bifurcation exists. Meanwhile we found a corresponding system ( Open image in new window , Open image in new window , Open image in new window ) which has a supercritical Hopf bifurcation (e.g. at k1 = k2 = 1, Open image in new window ). This might be the minimal chemical reaction system with sustained oscillations according to definition (1).
Interestingly, system (2) is similar to a previously presented "minimal reaction network"  modelling activation of the epidermal growth factor receptor (EGFR). Our Open image in new window equation resembles the balance equation of the phosphorylated receptor tyrosine kinase (this superfamily contains EGFR) and Open image in new window is similar to the differential equation for active protein tyrosine phosphatase.
Bistable systems play important roles also beyond biology. They are usually depicted by the mechanical example of a ball rolling into two different valley basins. Bistable chemical systems, in particular, have been studied extensively to analyse relaxation kinetics , non-equilibrium thermodynamics , stochastic resonance , as well as climate change .
Positive feedback is clearly associated with bi/multistability. Negative feedback, in contrast, is often discussed in the context of oscillations , and we recently conjectured that this is indeed a necessary condition for (sustained) oscillations . However, this contradicts statements as "sustained oscillations can occur in models based on positive or negative feedback" . Obviously, different understandings of feedback exist. We suggest to use the general Jacobian J G (for system (2) it is given in (3)) for a simple definition of feedback: if the J G terms close any cycles, then feedback exists (e.g. the positive and negative feedback cycles of system (2)), otherwise not. Analysis of J G guarantees a unique identification of all in a system contained feedback cycles. Goldbeter  mentioned different examples where the oscillations should be based on a positive feedback, such as glycolytic, Ca2+, and cAMP oscillations. However, a more detailed analysis of these systems shows that a negative feedback (according to our definition) is always contained (results unpublished). An example is the simplest model for glycolytic oscillations, the Higgins-Selkov oscillator ([29, 30, 31], Table 1): the corresponding general Jacobian is Open image in new window . Its trace and determinant are v2y- v2x- v3yand v2xv3y, respectively. Obviously, v2yin JG 22is the only instability causing term (a positive feedback), so the second reaction is the only ICS in the system. However, inspection of the off-diagonal elements of J G reveals a negative feedback as well: the larger x, the larger becomes y, but the larger y, the smaller becomes x. The same is realised in the bistable system (2), where the positive feedback is the only ICS and another negative feedback is contained. These examples show how the analysis of the general Jacobian helps clarifying the discussion of feedback loops.
We have shown that a mechanism for preventing explosions is a third necessary condition for bistability (complementing the previously discussed two other conditions positive feedback and filtering out of small stimuli). In system (2) this is achieved by a negative feedback. Other bistable systems contain negative feedbacks as well (e.g. ERK pathway ), so we hypothesize that this is indeed a typical feature of bistable systems. Interestingly, also oscillating systems typically contain (besides the necessary negative feedback) a positive feedback (for better tunable frequency, evolvability and robustness ). Thus, oscillating and bistable systems are practically based on the same set of feedback cycles.
Bi/multistability and oscillations are the two most important dynamic phenomena in biology. Limit cycle oscillations are associated with biological clocks and cell signalling , and spatial oscillations with proper cell division . The fundamental importance of bistability is discussed in the introduction. Some years ago we presented the smallest chemical system with limit cycles . Here we have derived the smallest chemical system with bistability (2).
Minimal systems are well suited for basic studies and for teaching purposes. This explains the great success of, for instance, the Lotka-Volterra [27, 28] and the Higgins-Selkov system . We have demonstrated for the minimal chemical reaction system with Hopf bifurcation  that it is accessible for detailed mathematic-analytical examination  and a good example system for thermodynamic considerations . We hope that also the minimal chemical system with bistability will serve for such purposes in the future.
The Schloegl system (Table 1) is the smallest bistable one-variable (1d) system: 1d systems need an unstable steady state to separate the attractor regions of two stable steady states, so we need at least three steady states to realize a bistable system. The simplest function (which is realizable as a MAK system) f(x) with three zeros is the cubic polynomial. To realize a stable 'on' state the sign of the cubic term needs to be "-" ( Open image in new window ). For three different non-negative steady states we also need a positive quadratic and a negative linear term: f(x) = -a x3 +b x2-c x+d (a, b, c>0) possesses two positive extrema as can simply be seen considering f'(x) = 0. Thus, the minimal bistable 1d system reads Open image in new window . The minimal corresponding MAK system is the Schloegl system shown in Table 1 (a reversible monomolecular efflux reaction (d>0) allows for two positive stable steady states). It follows that a chemically realistic bistable system with only mono- and bimolecular reactions needs at least two variables.
Using our general quasi-steady-state-approximation procedure , we have previously shown that any irreversible trimolecular reaction can be understood as limit case of a reversible bimolecular reaction and another irreversible bimolecular reaction by introducing one additional intermediate . Transforming the Schloegl system accordingly proves that at most bimolecular bistable 2d systems exist, i.e. the number of variable reactants in the minimal bistable chemical system is fixed to two (cf. definition (1)).
The lemma of the index sum  states that the sum of indices of all steady states within a two-dimensional confined set (closed region in phase space where all trajectories point inwards ) equals one. The index values of a node, a focus, and a saddle are +1, +1, and -1, respectively (for stable and unstable nodes and foci ). Our minimal system should therefore contain one unstable (saddle-point) and two stable steady states (we are only considering non-exploding systems, such that a confined set could simply be constructed, trajectories point inward at the boundary of the positive orthant anyway). To get three steady states we need at least a cubic steady state equation f(x) = 0, i.e. an x3 term (higher order polynomials would require more bimolecular reactions). In 2d MAK systems this can only be realized by one ODE with an xy term and the other with x2 and y terms. Inserting the corresponding steady state expression y = x2..., into the other ODE's xy term gives the cubic term. A direct x3 term is forbidden in bimolecular systems. The symmetric case y2 and x needs no extra consideration. These terms already correspond to at least three reactions. One can show that such three reactions are not sufficient to give a bistable system (the explicit proof is not necessary, because it turns out indirectly from the following analysis). So the minimal bistable system has at least four reactions.
To realize a -x3 term in the corresponding steady state equation, one either needs the terms y and x2 with different signs and -xy in the other ODE, or y and x2 with the same signs and +xy in the other ODE. But the same signs variant cannot work: Open image in new window is not chemical, Open image in new window would contain at least one trimolecular reaction, Open image in new window is not chemical, and Open image in new window is also impossible. The latter applies because: (i) the Open image in new window equation must also contain a term -xy (the corresponding reaction cannot be bimolecular otherwise: a term +xy in Open image in new window implies the bimolecular reaction X+Y->2X, implying the term -xy in Open image in new window ), (ii) detailed analysis of the system Open image in new window shows that the cubic term in the steady state equation always vanishes, independent of any other added mono- and/or bimolecular reactions. So the y and x2 terms must have different signs in one ODE.
There are two variants for the different-sign-case: 1. Open image in new window 2. Open image in new window (note that the x2 term has to appear also in the Open image in new window equation to be interpretable as bimolecular reaction). We show that no bistable system with only four reactions exists that corresponds to the first case: to realize a positive quadratic term in the cubic polynomial of the steady state equation (cf. discussion concerning the Schloegl system in 1.) Open image in new window we have three options: (i) Open image in new window , (ii) Open image in new window , (iii) Open image in new window . The second case could only be realized by 4 different reactions and would need a fifth reaction to yield a linear term in the cubic polynomial (cf. discussion concerning the Schloegl system in 1.). The same holds for the third case, even if another x2 term (still realizable by four reactions) would be added in the Open image in new window equation. The first case is realizable by three reactions. However, it is easy to see that a linear term in the steady state equation Open image in new window needs at least two additional reactions.
However, the second system Open image in new window can yield a bistable at most bimolecular system with only 4 reactions: The system Open image in new window is realizable by three reactions, we add y as the positive term in Open image in new window (still three reactions) and a fourth reaction, a simple efflux of x to ensure a linear term in the cubic polynomial (to yield three steady states): Open image in new window . Analysis shows that the reaction from y to x needs to be bimolecular (reaction 1 in (2a)) to enable three nonnegative steady states. In fact, this is the only input into the system. Note that this system is quite unique, there is no really different bistable chemical system with only four reactions: the positive term in Open image in new window has to be y to enable a positive quadratic term in the steady state equation Open image in new window . System (2) is unique with respect to definition (1). The very similar system where reaction 2X → X + Y is replaced with 2X → 2Y is mathematically equivalent (factor 2 can be incorporated into the kinetic constant). □
The slightly modified system replacing reaction X + Y → Y + P with X + Y → P is bistable as well (it has also just four reactions, but is not as minimal as system (2) for the third criterion of definition (1). Modifying further by replacing 2X → X + Y with 2X → Y and S + Y → 2X with S + Y → 3X gives another bistable system resembling a system which can be derived from the Schloegl-system using our previously discussed general transformation rules .
I thank Klaus R. Schneider for referring to the lemma of the index sum. The work was supported by a BBSRC Core Strategic Grant for IFR.
- 15.Clarke BL: Stability of complex reaction networks. Adv Chem Phys. 1980, 43: 1-216. full_text. full_textGoogle Scholar
- 43.Krull M, Pistor S, Voss N, Kel A, Reuter I, Kronenberg D, Michael H, Schwarzer K, Potapov A, Choi C, Kel-Margoulis O, Wingender E: TRANSPATH: an information resource for storing and visualizing signalling pathways and their pathological aberrations. Nucleic Acids Res. 2006, 34: D546-551. 10.1093/nar/gkj107PubMedCentralCrossRefPubMedGoogle Scholar
- 44.Matys V, Kel-Margoulis OV, Fricke E, Liebich I, Land S, Barre-Dirrie A, Reuter I, Chekmenev D, Krull M, Hornischer K, Voss N, Stegmaier P, Lewicki-Potapov B, Saxel H, Kel AE, Wingender E: TRANSFAC and its module TRANSCompel: transcriptional gene regulation in eukaryotes. Nucleic Acids Res. 2006, 34: D108-110. 10.1093/nar/gkj143PubMedCentralCrossRefPubMedGoogle Scholar
- 48.Strizhak PE, Demjanchyk I, Fecher F, Schneider FW, Muenster AF: Stochastic Resonance in a bistable chemical system: The oxidation of ascorbic acid by oxygen catalyzed by Copper(II) Ions. Angew Chem Int Ed. 2000, 39: 4573-4576. 10.1002/1521-3773(20001215)39:24<4573::AID-ANIE4573>3.0.CO;2-0.CrossRefGoogle Scholar
- 52.Goldbeter A: Biochemical oscillations and cellular rhythms: The molecular bases of periodic and chaotic behaviour. 2008, Cambridge Univ Press, CambridgeGoogle Scholar
- 55.Wilhelm T, Schuster S, Heinrich R: Kinetic and thermodynamic analyses of the reversible version of the smallest chemical reaction system with Hopf bifurcation. Nonlinear World. 1997, 4: 295-321.Google Scholar
- 58.Arnold VI: Ordinary differential equations. 1980, MIT Press, CambridgeGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.