Abstract
Background
A central question for the understanding of biological reaction networks is how a particular dynamic behavior, such as bistability or oscillations, is realized at the molecular level. So far this question has been mainly addressed in wellmixed reaction systems which are conveniently described by ordinary differential equations. However, much less is known about how molecular details of a reaction mechanism can affect the dynamics in diffusively coupled systems because the resulting partial differential equations are much more difficult to analyze.
Results
Motivated by recent experiments we compare two closely related mechanisms for the product activation of allosteric enzymes with respect to their ability to induce different types of reactiondiffusion waves and stationary Turing patterns. The analysis is facilitated by mapping each model to an associated complex GinzburgLandau equation. We show that a sequential activation mechanism, as implemented in the model of Monod, Wyman and Changeux (MWC), can generate inward rotating spiral waves which were recently observed as glycolytic activity waves in yeast extracts. In contrast, in the limiting case of a simple Hill activation, the formation of inward propagating waves is suppressed by a Turing instability. The occurrence of this unusual wave dynamics is not related to the magnitude of the enzyme cooperativity (as it is true for the occurrence of oscillations), but to the sensitivity with respect to changes of the activator concentration. Also, the MWC mechanism generates wave patterns that are more stable against long wave length perturbations.
Conclusions
This analysis demonstrates that amplitude equations, which describe the spatiotemporal dynamics near an instability, represent a valuable tool to investigate the molecular effects of reaction mechanisms on pattern formation in spatially extended systems. Using this approach we have shown that the occurrence of inward rotating spiral waves in glycolysis can be explained in terms of an MWC, but not with a Hill mechanism for the activation of the allosteric enzyme phosphofructokinase. Our results also highlight the importance of enzyme oligomerization for a possible experimental generation of Turing patterns in biological systems.
Background
The modular structure of biochemical reaction networks greatly facilitates the systematic investigation of their design principles [1,2]. In this way it is often possible to identify small functional units called network motifs [3] which convey a particular functionality. A thorough understanding of the relationship between network design and functionality is not only important for a smart modification and regulation of existing networks, but it is also essential to design novel circuits with prescribed functionality [4,5].
Regulatory properties of cellular networks arise from an interplay between positive and/or negative feedback reactions. These feedback reactions can be effective at the transcriptional level, at the posttranslational level or through allosteric interactions. For example, in transcriptional networks feed forward loops can act as a low pass filter [6] or as a foldchange detector [7] depending on the sign of the genetic interactions. Signal transduction cascades often utilize posttranslational modifications such as phosphorylation/dephosphorylation cycles to generate ultrasensitivity [8] or bistability [9]. This behavior is advantageous for cell fate decisions where irreversible switchlike transitions are required, e.g. during maturation [10] or cellcycle progression [11]. Metabolic enzymes are often regulated through allosteric interactions with positive and/or negative effector molecules. A classical example is the allosteric product activation of the glycolytic enzyme phosphofructokinase (PFK) which may lead to an oscillatory behavior of the glycolytic pathway [12,13].
So far, the relation between particular molecular reaction mechanisms and the resulting macroscopes behavior has been mainly investigated in wellmixed reaction systems where the dynamics is conveniently described by ordinary differential equations [14,15]. However, if the enzymes in reversible modification cycles are located in different cellular compartments diffusive coupling between neighboring enzyme/substrate molecules may generate steep gradients [16] resulting in frontlike wave propagation of phosphoproteins [17]. In that way spatially distributed signaling pathways may create steplike activation profiles that can affect the downstream response of the system in a threshold based manner [18]. Hence, spatial coupling can significantly alter the macroscopic behavior of biochemical reaction systems [19] and bring about new functionality to network motifs [20,21].
In reactiondiffusion systems spiral shaped concentration waves and stationary Turing patterns are among the most fascinating spatiotemporal structures. While spiral waves can occur in systems with excitable and oscillatory reaction dynamics [22,23] Turing patterns typically emerge in activatorinhibitor systems with long range inhibition [24,25]. Here, we investigate the effect of different mechanisms of product activation on the generation of such reactiondiffusion patterns in an enzymatic reaction system centered around the PFK which is a central part of the glycolytic pathway. Under wellstirred conditions this system exhibits oscillatory behavior in both cell free extracts [26,27] and in living cells [28], and diffusive coupling was shown to generate waves of glycolytic activity in yeast extracts [2931]. Recently, we have observed a novel type of spiral wave behavior in that system [32]. By increasing the overall protein concentration of the extract a transition from outward to inward rotating spiral waves (also known as antispirals) was induced. While outward propagating waves have been observed in several biological systems [29,33,34] inward rotating spiral waves were, so far, only observed in purely chemical systems [35,36].
Although we could reproduce the inward propagating waves in numerical simulations with the Goldbeter model [32] the underlying molecular mechanism for their generation is still unclear. The simulations have shown that the negative feedback on the PFK activity, as provided by its substrate ATP, is not required to generate antiwaves. Therefore, we focus here on the allosteric activation of the PFK by its product ADP. Specifically, we address the question whether the symmetry model of Monod, Wyman and Changeux (MWC) [37], as employed in the Goldbeter model, is necessary to generate inward propagating waves or whether a more simple Hill kinetics, as it was used by Sel'kov [12] to model the PFK activation, is suffcient. Since the regulatory properties of the PFK play a key role for the emergence of oscillatory behavior in glycolysis [27,38], in particular in yeast extracts [39], these simple models have been remarkably successful in describing general aspects of glycolytic oscillations [12,40].
The spatiotemporal dynamics of the two PFK effectors ADP and ATP is described by a reactiondiffusion system of the type
where D is a (diagonal) diffusion matrix and p denotes the kinetic parameters. The reaction mechanism is encoded in the form of the function f(u, p). Due to the diffusive coupling, the analysis of wave patterns in Eq. 1 is more complicated than the investigation of reaction mechanisms under wellmixed conditions. However, near an oscillatory instability due to a supercritical Hopf bifurcation the spatiotemporal dynamics of Eq. 1 is well described by the complex Ginzburg Landau equation (CGLE) [41]
whose solution types are well known [42]. Here, the complex amplitude A(x, t) describes slow spatiotemporal modulations around the unstable steady state. At the level of the CGLE the details of the molecular reaction mechanism are encoded in the dependence of the two real parameters c_{1 }= c_{1}(D, p) and c_{3 }= c_{3}(p) on the original system parameters p and D in Eq. 1. To find the mapping between the two sets of parameters is tedious, but straightforward [41] (see Methods). The transition between inward and outward propagating waves is marked by the curve c_{1 } c_{3 }= 0 [4345] where the region c_{1 } c_{3 }> 0 corresponds to inward propagating waves in Eq. 1.
By explicitly calculating the two CGLE coefficients c_{1 }and c_{3 }we show that inward propagating waves can arise in the Goldbeter model due to the sequential binding of product molecules to the allosteric enzyme as implied in the MWC mechanism. In contrast, in the limit of an in finitely large binding a finity, as implicitly assumed in the Sel'kov model, the formation of inward propagating waves is suppressed by a Turing instability. We also find a relation between enzyme cooperativity and the occurrence of inward propagating waves. However, it is not the absolute magnitude of the cooperativity which is important here (as it is for the occurrence of oscillations [40]), but the sensitivity of the cooperativity with respect to changes in the activator concentration. Finally, we observe that the sequential activation mechanism has a stabilizing effect on the wave dynamics. Together, this shows that in the presence of diffusive coupling the particular choice of a molecular mechanism can have a significant impact on the type and the stability of spatiotemporal patterns even though the dynamics under wellmixed conditions is qualitatively the same.
Model Definitions
Sel'kov Model
In the Sel'kov model it is assumed that the PFK is an oligomeric enzyme which has n independent binding sites for the product ADP (activator), but only one binding site for the substrate ATP (inhibitor) [12]. Simultaneous binding of n product molecules activates the enzyme which allows for subsequent substrate binding and conversion into product with specific rate k. Hence, the Sel'kov model distinguishes only three enzyme states: an inactive state (T_{00}) which has neither substrate nor product molecules bound and two fully activated states which can have either zero (R_{0n}) or one (R_{1n}) substrate molecule bound (cf. Figure 1A). Substrate molecules are supplied at rate ν_{i }and product molecules are used by downstream reactions with specific rate k_{d}. The inhibition of the PFK by ATP at high ATP concentrations is neglected in the Sel'kov model.
Figure 1. Reaction mechanisms describing the allosteric activation of the phosphofructokinase by its product ADP. Hilllike activation as in the Sel'kov model [12] (A) and sequential activation as in the MonodWymanChangeux mechanism [37] used in the Goldbeter model [13] (B)  shown for two ADPbinding subunits (n = 2).
Under steadystate conditions for the enzyme binding reactions the local dynamics of the PFK effectors ATP and ADP is described by the (dimensionless) set of equations [12]
where ϕ_{S }denotes the fractional saturation. Substrate (α = ATP/K_{M }) and product
MWC Model
Based on experimental evidence Goldbeter proposed an alternative approach to describe
the allosteric regulation of the PFK [13] which utilizes the MonodWymanChangeux mechanism [37]. Here, the free form of the oligomeric enzyme performs concerted transitions between
a catalytically active (R_{00}) and a catalytically inactive (T_{00}) conformation where the allosteric constant L = k^{+}/k^{ }defines the equilibrium between both conformations in the absence of any ligands (Figure
1B). The enzyme is activated by sequential binding of product molecules with dissociation
constant
Similar as in the Sel'kov model substrate molecules are supplied at rate ν_{i }and product molecules leave the system with specific rate k_{d }such that the local dynamics of ATP and ADP is described by the same set of equations as in Eqs. 3 with ϕ_{S }(Eq. 4) being replaced by (see Methods)
The parameters have the same meaning as in Eqs. 3 if the apparent dissociation constant
Compared with the original Goldbeter model we have neglected the cooperativity with respect to substrate binding and the inhibitory effect of ATP on the PFK activity (as suggested by numerical simulations [32]). With these simplifications we treat the Sel'kov and the Goldbeter model on an equal footing which allows for a direct comparison between their PFK activation mechanisms. Since our model retains the MWC mechanism for PFK activation as an essential part we shall call it the MWC model. We also remark that the PFK actually exhibits sigmoidal behavior with respect to its second substrate fructose6phosphate while it does not show any cooperativity with respect to ATP [46,47]. Hence, the simplifying assumption of a hyperbolic dependence of the PFK activity on ATP as a substrate seems to be reasonable.
Diffusion and Unified Description
The simplest way to incorporate diffusive coupling between the PFK effectors ATP and ADP is to add 'diffusion terms' in Eqs. 3 with constant (effective) diffusion coefficients. Thereby, we neglect complications arising from allosteric interactions between the PFK effectors and the enzyme which may lead to crossdiffusion terms (nondiagonal elements in the diffusion matrix D) and a dependence of the effective diffusion coefficients on the effector concentrations [48,49]. For a recent review of the effects of crossdiffusion on pattern formation see Ref. [50].
Due to the structural similarity between the two expressions in Eqs. 4 and 5 it is convenient to rewrite the effective PFK reaction rate in a unified form. The resulting reactiondiffusion equations read
where the parameter δ ≡ D_{ATP}/D_{ADP }denotes the ratio between the effective diffusion coefficients of inhibitor and activator. Length scales are measured in units of the activator diffusion length given by (D_{ADP}/k_{d})^{1/2 }= (D_{ATP}/δk_{d})^{1/2}.
Eqs. 6 and 7 will be analyzed near a supercritical Hopf bifurcation where the dynamics is well described by the CGLE in Eq. 2. We are particularly interested in the type and the stability of the emerging patterns as we change from a sequential activation mechanism (L_{M }= L > 1, ε_{M }= 1) to a Hilllike activation mechanism (L_{S }≡ 1, ε_{S }= 0). Note that the Hill mechanism leads to a factor γ^{n }in Eq. 7 while the sequential mechanism produces a factor (1 + γ)^{n}. The latter results from the (binomial) summation over the intermediate enzyme states R_{l0}, ..., R_{ln }(l = 0, 1) (see Methods).
Transition from the MWC to the Sel'kov Model
Given the structural similarity between the Sel'kov and the MWC model it will be beneficial to investigate the relation between the two models in more detail. In particular, we expect that the MWC mechanism reduces to that of the Sel'kov model as the affinity for subsequent product binding steps increases (i.e. K_{P }decreases) such that the product activation becomes more and more cooperative.
To show this explicitly we note that under the rescaling K_{P }→ εK_{P }with 0 < ε < 1 the normalized activator concentration γ = ADP/K_{P }changes as γ →γ/ε and ϕ_{M }becomes ϕ_{M }(α,γ/ε): = ϕ_{ε }(α,γ) with
Hence, ϕ_{ε }interpolates between ϕ_{M }and ϕ_{S }since ϕ_{1 ≡ }ϕ_{M }and as ε → 0 (the binding a finity increases) ϕ_{ε }approaches ϕ_{S }provided that the product L_{M }ε^{n }converges to L_{S }= 1. However, this means that in the MWC model the enzyme cooperativity, as measured by the allosteric constant L_{M }, has to become increasingly large which is in agreement with the idea that the product activation becomes more cooperative as we change from the MWC to the Sel'kov mechanism.
Formally, we can describe this transition by
This relation between the MWC and the Sel'kov model will be helpful when we analyze how the type and the stability of the spatiotemporal patterns changes as we change the PFK activation mechanism from the MWC to the Hill type.
Results
The diffusive coupling of locally oscillatory reactions as in Eqs. 6 and 7 can generate different types of reactiondiffusion wave patterns which can be broadly classified into outward and inward propagating waves [45]. Near a supercritical Hopf bifurcation the transition between these wave types occurs for c_{1 }c_{3 }= 0 (Eq. 2). Depending on the initial and/or boundary conditions these waves may appear in the form of circular or spiral shaped waves.
More complex dynamic behavior can occur near a BenjaminFeir instability which is indicated by the condition 1 + c_{1}c_{3 }< 0 [42]. In this bifurcation plane wave solutions become unstable against long wave length perturbations which may result in the occurrence of spatiotemporal chaos.
Finally, when the spatial scale separation δ becomes sufficiently large the oscillatory instability may be suppressed and stationary Turing patterns can emerge. The transition between wave dynamics and stationary patterns is indicated by the codimensiontwo TuringHopf bifurcation.
To compare the spatiotemporal dynamics of the Sel'kov and the MWC model we have calculated the two CGLE coefficients (c_{1 }and c_{3}) and the TuringHopf curve for Eqs. 6 and 7 as a function of the systems parameters L_{i}, ε_{i}, ν, q, n and δ (see Methods). Note that σ has been eliminated by the requirement for the system to be near the Hopf bifurcation.
Sequential vs. Hilllike Activation Mechanism
To decouple the two limiting prescriptions in Eq. 9 we study Eqs. 6 and 7 first in
the regime of low glycolytic flux as it is typically observed during oscillatory behavior
[51]. This regime is characterized by the conditions α_{s }= O(1) and
The parameter L_{i }can be absorbed into the definition of the new parameter combination
Figure 2. Transition from a sequential (ε_{M }= 1) to a Hilllike (ε_{S }= 0) activation mechanism. The solid line (TuringHopf (TH) bifurcation) separates wave patterns (grey shaded area) from stationary Turing patterns (white area above the TH curve). The dashed line (AS) indicates the transition from inward (dark grey) to outward (light grey) propagating waves where c_{1 } c_{3 }= 0. The dashdotted line marks the BenjaminFeir (BF) instability and the occurrence of spatiotemporal chaos nearby. Other parameters: ν = 0.5, q = 1.
As the affinity for the sequential binding of product molecules increases (ε decreases) the stability region of inward propagating waves (dark shaded area) decreases (Figure 2A and 2B). At ε = 0.1 the transition curve between outward and inward propagating waves (c_{1 } c_{3 }= 0, dashed line) has crossed the TuringHopf bifurcation line (Figure 2C). Thus, for ε ≤ 0.1 the transition to inward propagating waves occurs in the nonoscillatory regime where wave behavior (shaded area) is suppressed in favor of stationary Turing patterns. This shows that the inward propagating waves, as predicted by the CGLE, are not necessarily observable at the level of the original reactiondiffusion system (Eqs. 6 and 10). Since the binding of subsequent product molecules becomes more cooperative as ε → 0 the occurrence of inward propagating waves in the MWC model seems to be related to the sequential activation of the PFK (Figure 1B) which exhibits less cooperativity because the binding a finity (1/εK_{p}) is finite for ε = 1.
Wave Stability and Numerical Simulations
For the MWC mechanism outward propagating waves are stable even if the activator diffuses faster than the inhibitor (δ < 1). However, as ε decreases these waves become unstable as indicated by the appearance of a BenjaminFeir (BF) instability (Figure 2B, 2C and 2D, dashdotted line). The BF instability (1 + c_{1}c_{3 }< 0) marks the region in parameter space where plane waves with a wave number k = 0 become unstable to long wave length perturbations. Hence, in the region to the left of the BF curve no stable wave patterns are observable. However, since even for 1 + c_{1}c_{3 }> 0 waves with a finite wave number k ≠ 0 also can become unstable [41] there is typically a whole region of unstable wave behavior (extending to the right of the BF curve) where spatiotemporal chaos emerges (Figure 3A). Thus, increasing the cooperativity for the product activation steps (ε → 0) leads to a destabilization of the coherent wave behavior for δ ≤ 1.
Figure 3. Numerical simulations of Eqs. 6 and 7. Spatiotemporal chaos (A), spiral waves (B and D), antispiral wave (E) and Turing patterns (C and F) as indicated in the phase diagrams shown in Figure 2A and 2D. Upper panels display snapshots of 2 d simulations. Shown are normalized ATP concentrations (maximal value = white). Lower panels display spacetime plots along the dashed line in the respective upper panel (Simulation time: 22 units (AC), 44 units (DF)). Note the direction of wave propagation which is outward (away from the spiral core) for B and D, and which is inward in E. Simulations were done on a spatial grid (176 x 176) with noflux boundary conditions. Parameters: ν = 0.5, q = 1, n = 8 (AF) and L = 10^{3 }(DF). Parameter σ was chosen near the Hopf bifurcation: σ = 1770 (AC), σ = 50 (D), = 60 (E and F). Further details are given in Methods:Numerical Simulations and Table 1.
Away from the BF instability curve (δ > 1) outward propagating waves become stable even in the limit ε = 0 (Figure 3B). As δ increases further these waves turn into stationary Turing patterns (Figure 3C). In contrast, for the sequential product activation mechanism (ε = 1) there is no BenjaminFeir instability for typical numbers of PFK subunits n ≤ 8 [52] and sufficiently low values of the steady state activator concentration γ_{s }= νq (cf. Figure 4E). Hence, there is no spatiotemporal chaos in that regime. Instead, outward propagating waves are stable at low values of δ (Figure 2A and Figure 3D). As δ increases the direction of wave propagation changes from outward to inward such that antispirals become observable (Figure 3E). At sufficiently large values of δ wave behavior is suppressed by a Turing instability (Figure 3F) similar as for the Sel'kov model.
Figure 4. Transition from the MWC to the Sel'kov mechanism as described by Eq. 9. Upper panels show the Hill coefficient n_{H }(Eq. 11) as a function of the steady state activator concentration γ_{s }while the lower panels show the respective phase diagram. The solid line (TH) separates wave patterns (grey shaded area) from stationary Turing patterns. The dashed line indicates the transition from inward (dark grey) to outward (light grey) propagating waves while the dashdotted line marks the BenjaminFeir (BF) instability and the occurrence of spatiotemporal chaos. The dotted line marks the location of the maximum of the Hill coefficient. Other parameter: L = 10^{3}, n = 8, q = 1.
Inward Propagating Waves and Enzyme Cooperatively
The fact that the occurrence of inward propagating waves depends on the binding a finity for subsequent product activation steps suggests that the strength of enzyme cooperativity might play a role in this respect. The amount of cooperativity can be conveniently quantified by an effective Hill coefficient which is defined (with respect to the activator concentration) as [40]n_{H }= (γ/M)(dM/dγ ) where M ≡ ϕ/(1  ϕ). For ϕ = ϕ_{i }(Eq. 7) this quantity is explicitly given by
Positive (negative) cooperativity corresponds to values n_{H }> 1 (n_{H }< 1) while n_{H }= 1 indicates no cooperativity.
To perform the transition from the MWC to the Hill mechanism when L is not necessarily large we introduce in Eq. 8 an effective allosteric constant as L_{eff }≡ L_{M }ε^{n }= ε (L  1) + 1. This definition ensures that L_{eff }has the correct limiting behavior as required by Eq. 9, i.e. L_{eff }= L_{M }= L for ε = 1 and L_{eff }→ L_{S }= 1 as ε → 0. Note that the true allosteric constant L_{M }increases as 1/ε^{n }when ε → 0.
In Figure 4 we relate the occurrence of inward propagating waves to the properties of the effective
Hill coefficient n_{H }as described by Eq. 11. For the MWC model n_{H }exhibits a single maximum as a function of the steady state activator concentration
γ_{s }= νq (Figure 4A). While oscillatory behavior (grey shaded area) is observed on both sides of the
maximum (dotted line) of the Hill curve inward propagating waves only occur to the
left of it where dn_{H}/dγ_{s }> 0 (Figure 4E). This behavior is independent of the particular choice of the other parameters L and q (Figure 5). As ε decreases the cooperativity of product activation increases as indicated by an increase
in the maximum of the Hill curve (Figure 4B and 4C). Concomitantly, the stability region of antispiral waves rapidly shrinks and subsequently
shifts to small activator concentrations where the steepness of the Hill curve is
sufficiently large (Figure 4F and 4G). This suggests that it is not the strength of the cooperativity per se, but the
sensitivity of the Hill coefficient with respect to changes in the activator concentration
which determines whether inward propagating waves can occur or not. This is in agreement
with the fact that for the Sel'kov model, where
Figure 5. Phase diagrams similar as in Figure 4E, but for different values of L and q. The phase diagrams for the occurrence of spiral waves (light grey), antispirals (dark grey) and Turing patterns (white area above the TH curve) remain qualitatively the same independent of the particular values of the parameters L (A and B) and q (C and D). For comparison, see the case L = 10^{3 }and q = 1 shown in Figure 4E.
Discussion
Beginning in the 1960s glycolytic oscillations have become one of the best studied biochemical oscillators both in cellfree extracts [26,38,53] and in living cells [28,54]. Later it was found in studies with yeast cell populations that glycolytic oscillations represent a collective phenomenon. The oscillations in individual cells are synchronized through the exchange of metabolic intermediates such as acetaldehyde [55] or glucose [56]. At low cell densities the oscillations at the population level disappear (synchronously in all cells) indicating a quorum sensing mechanism [57]. Synchronized behavior was also observed in cellfree extracts where diffusive coupling of glycolytic enzymes can generate waves of glycolytic activity [30,31]. However, clear experimental evidence for metabolic waves in living cells remains scarce [58] although mathematical modeling supports the feasability of such waves [59].
Recently, a novel type of wave dynamics, called inward rotating spiral waves, has been observed in cellfree yeast extracts [32]. Such wave behavior has, so far, only been observed in purely chemical systems [35,36]. Here, we have investigated the molecular mechanism underlying the generation of such antispiral waves in simple glycolytic model systems which focus on the allosteric activation of the glycolytic enzyme phosphofructokinase (PFK). We have shown that in the Goldbeter model inward rotating spiral waves can arise due to the sequential activation of the PFK implied in the MonodWymanChangeux mechanism [13,37]. In the limit of an in finitely large binding a finity where the PFK activation is described by a Hill function, as in Sel'kov model [12], the capability to generate inward propagating waves is lost. This suggests that the MWC mechanism, as in Figure 1B, can not be further implied. On the other hand, as we have shown earlier [32] the capability to generate antiwaves is retained by the Goldbeter model where the cooperativity with respect to substrate binding and the allosteric inhibition by ATP are additionally taken into account. Hence, the MWC model can be regarded as a 'core' mechanism for the generation of inward propagating waves for allosteric enzyme systems with product activation.
For wellmixed reaction systems a simple Hill function is often employed to model cooperative behavior in a 'generic' way. Near the onset of oscillations choosing a Hill kinetics instead of a more complex activating function, as in the MWC model, does not lead to a qualitative change in the dynamics under wellstirred conditions. However, as we have shown, the choice of the activating function can significantly change the type and the stability of dynamic patterns in the presence of diffusive coupling. For example, the appearance of a BenjaminFeir instability in the Sel'kov model indicates the occurrence of spatiotemporal chaos which is mostly absent in the MWC model (Figure 2, 3 and 4). This suggests that the intermediate enzyme forms in the MWC model, which are only partially saturated with product molecules, can stabilize the system dynamics against long wave length perturbations.
Sel'kov and Goldbeter have shown that for the PFK mediated reaction to become oscillatory a sufficiently strong positive enzyme cooperativity is required [12,60]. However, as far as oscillations are concerned the detailed shape of the Hill coefficient curve (Eq. 11) is not important. Consequently, they occur on the ascending branch of the cooperativity curve (where dn_{H}/dγ_{s }> 0) as well as on the descending branch (where dn_{H}/dγ_{s }< 0) as long as n_{H }> 1 (Figure 4A, B, C and 4D). Interestingly, the occurrence of inward propagating waves does not seem to depend on the magnitude of the enzyme cooperativity, but on its sensitivity with respect to changes in the activator concentration. Our simulations show that the formation of inward propagating waves correlates with a positive sensitivity (dn_{H}/dγ_{s }> 0) which indicates that for the pattern forming aspects of allosteric enzyme systems more subtle enzyme properties play a role than they do for the occurrence of oscillations.
Since the glycolytic model systems in Eqs. 6 and 7 are of the substratedepletion type [14] it is not surprising that both models predict the occurrence of stationary Turing patterns if the spatial scale separation between inhibitor and activator dynamics becomes sufficiently large [49]. What is surprising is the fact that this transition already occurs for comparably small values of δ = 2, ..., 4 if the number n of enzyme subunits is sufficiently large (Figure 2A and 2D). This strong dependence on the enzyme cooperativity has been largely neglected in earlier work [61,62] which mostly focused on the case n = 2 (corresponding to muscle PFK). However, in yeast the PFK is an octamer (n = 8) for which Turing patterns are predicted to occur for δ > 4 in the MWC model and for δ > 2 in the Sel'kov model. The necessary spatial scale separation could be generated, for example, through preferential allosteric interactions of the PFK effectors with immobilized enzymes [32,63], including the PFK itself. Although Turing patterns can be systematically generated only in chemical systems yet [25] our results suggest that high oligomeric enzyme systems are promising candidates to generate such patterns also in properly designed biochemical reactiondiffusion systems.
Conclusions
In wellmixed reaction systems the systematic investigation of molecular reaction mechanisms has led to considerable insights into the design principles for the generation of a specific type of dynamic behavior such as bistability or oscillations [14,15,64]. Here, we have expanded this approach to the case of spatially extended systems. Specifically, we have demonstrated that amplitude equations are a valuable tool to investigate how the occurrence of particular spatiotemporal patterns depends on the details of the underlying molecular reaction mechanism in the presence of diffusive coupling. In that way we could provide a molecular explanation for the occurrence of inward rotating spiral waves as they were recently observed in glycolysis in cellfree yeast extracts. Our results support the view that in yeast the allosteric enzyme phosphofructokinase is activated by a MonodWymanChangeux and not by a Hill mechanism. They also highlight the importance of the number of enzyme subunits for a possible experimental generation of Turing patterns in biological systems.
Methods
Derivation of the rate law for the PFK in the MWC model
In general, if all enzyme binding reactions are in quasisteady state the effective reaction rate can be written as [65]v= ke_{0}ϕ. Here k is the intrinsic substrate conversion rate of a single enzyme subunit, e_{0 }denotes the total enzyme concentration and
is the fractional saturation function which measures the number of occupied substrate
binding sites relative to the total number of substrate binding sites. In quasisteady
state the active enzyme states R_{lm }can expressed in terms of binding constants and substrate/product concentrations.
For example, for the case n = 2 shown in Figure 1B we have R_{01 }= 2R_{00}ADP/K_{S }and R_{02 }= R_{01}ADP/2K_{S }= R_{00 }(ADP/K_{S})^{2}. Hence, the summation over the intermediate enzyme states in
Calculation of the Hopf and the Turing Instability
We begin by rewriting Eqs. 6 and 7 in the form
where the functions f_{α }and f_{γ }are given by
The function ϕ_{i }is defined as
where the Sel'kov model is characterized by ε_{S }= 0 and L_{S }= 1 while the MonodWymanChangeux model is obtained for ε_{M }= 1 and L_{M }= L > 1. In Eqs. 13 the vector p = (ν, σ , q, n, L_{i}, ε_{i}) collectively denotes the kinetic parameters appearing in the functions f_{α }and fγ.
Steady States
The unique (spatially homogeneous) steady state of Eqs. 13 is given by
For α_{s }> 0 to be positive we require that σ > ν.
Turing and Hopf bifurcation thresholds
The stability of the fixed point (α_{s}, γ_{s}) against spatiotemporal perturbations of the form δα (x, t) =α_{0 }exp (ikx + λt) and δγ(x, t) = γ_{0 }exp (ikx + λt) is determined by the characteristic polynomial
where λ(k) characterizes the temporal evolution of a spatial growth mode with wave vector k. The coefficient functions a_{0 }and a_{1 }in Eq. 15 are given by
Where
Instabilities occur if there exists a k_{c }for which Re (λ(k_{c})) > 0. The type of instability depends on whether this occurs for k_{c }= 0 (Hopf bifurcation) or for k_{c }≠ 0 (corresponding to a Turing bifurcation if, in addition, Im (λ(k_{c})) = 0).
Turing bifurcation
The critical wave number k_{c }of the most unstable mode in the Turing bifurcation is determined by da_{0}/dk = 0, and the corresponding parameter set is implicitly given by a_{0}(k_{c}) = 0.
Hence,
and the parameter set for the Turing bifurcation is described by
Hopf bifurcation
The Hopf bifurcation is determined by a_{1}(k = 0) = 0 or 1 + A  qB = 0 which is a quadratic equation for σ. The respective solution is given by
With
TuringHopf codimension2 bifurcation
In general, oscillations are observed for σ ≤ σ_{H }if σ_{H }< σ_{T }while Turing patterns emerge for σ ≤ σ_{T }if σ_{T }< σ_{H }and σ_{T }is the smallest (real) root of Eq. 17. However, if both of these codimension1 bifurcations occur simultaneously (σ_{H }= σ_{T }) a TuringHopf codimension two bifurcation takes place. An implicit expression for this bifurcation curve is obtained by using the explicit representation for σ_{H }(Eq. 18) in the expression for T (δ, p) = 0 (Eq. 17). Note that near the TuringHopf bifurcation curve it can be difficult to predict whether wave or Turing patterns are observed since both can be simultaneously stable. Alternatively, mixed mode patterns can appear near a TuringHopf bifurcation [66].
Calculation of the CGLE coefficients c_{1 }and c_{3}
Near the supercritical Hopf bifurcation the spatiotemporal dynamics of the reactiondiffusion system in Eqs. 13 is well described by the complex Ginzburg Landau equation (CGLE) [41]
Here, A(x, t) is a complex amplitude describing slow spatiotemporal modulations around the (spatially homogeneous) unstable steady state of Eqs. 13 while c_{1 }and c_{3 }are real coefficients. In general, c_{3 }= c_{3}(p) only depends on the reaction mechanism through the kinetic parameters while c_{1 }= c_{1}(p,δ ) additionally depends on the ratio of the diffusion coefficients δ = D_{α}/D_{γ}.
To determine the borderline between inward and outward propagating waves, given by c_{1 } c_{3 }= 0, we will calculate the two CGLE coefficients c_{1 }and c_{3 }as a function of the original system parameters following the approach in Ref. [41].
Calculation of c_{1}
The first CGLE coefficient c_{1 }is given by c_{1 }= d_{2}/d_{1 }where
where f_{α},_{α }≡ ∂f_{α}/∂α, etc. denote the respective partial derivate. Here and in the following all expressions have to be evaluated at the Hopf bifurcation by eliminating from the expression for A using Eqs. 16 and 18. The eigenvectors
are normalized as
Calculation of c_{3}
The calculation of c_{3 }is more tedious, but straightforward [41]. The expression for c_{3 }is given by c_{3 }= g_{2}/g_{1 }where
The 'overbar' in
while each component of N_{0 }is a thirdrank tensor given by
Here we have set (α, γ) ≡ (x_{1}, x_{2}) and i, j, k = 1, 2. Hence, in component form Eq. 20 reads
where we have used the Einstein summation convention according to which over indices appearing twice in a term has to be summed automatically  from 1 to 2 in our case. The vectors V_{0 }and V_{+ }are given by
where Id ≡ diag(1, 1) denotes the 2 × 2 identity matrix. The matrix L_{0 }and the eigenvalue λ_{0 }have been defined in Section.
Explicit expression for c_{1 }and c_{3 }in the limit of low glycolytic flux
The calculation of c_{3 }has been automatized using a computer algebra system which was also used to plot the graphs in Figure 2 and 4. In contrast to c_{1 }(Eq. 19) the output for c_{3 }is too clumsy to be displayed in a comprehensive manner. However, in the case of low glycolytic flux where Eqs. 13 can be approximated as (cf. Eq. 10)
the expression for c_{3 }considerably simplifies to
where the polynomial functions P_{i }are given by
The expression for c_{1 }is still given by Eq. 19 with the Hopf frequency
Note, that for the Sel'kov case, where ε_{i }≡ ε_{S }= 0, the coefficients c_{1 }and c_{3 }become independent of the parameter combination νq corresponding to the steady state value of the activator concentration.
Numerical Simulations
The results of numerical simulations shown in Figure 3 were generated by discretizing Eqs. 6 and 7 in space and time where the Laplacian was approximated by finite differences (fivepointscheme). The resulting set of ordinary differential equations was integrated using a 4th order RungeKutta scheme with noflux boundary conditions. The respective parameters are summarized in Table 1. The Turing patterns in Figure 3C and 3F were generated from random initial conditions chosen as
Table 1. Parameters for the Numerical Simulations shown in Figure 3.
where r is a random number equally distributed in the interval [0,1] and x, y = 1, ...,N. A similar expression was used for γ.
To generate a (anti)spiral wave as in Figure 3A, D and 3E one has note that the spiral core corresponds to a phase singularity [41]. If not created initially such a phase defect will not develop spontaneously in a spatially homogeneous medium. To simulate the spiral waves we have, thus, created a phase defect by initially imposing a spatial gradient of the inhibitor (α) along the xdirection and a second spatial gradient of the activator (γ) along the ydirection as
To generate Figure 3A and 3B we have chosen k = 1/70 while Figure 3D and 3E were generated with k= 2/3.
We remark that the physical side length of the simulation domain is given by λ_{D }· dx · N where
denotes the diffusion length of the activator, dx is the spatial step size of the discretization and N = 176 is the number of grid points which we kept fixed for all simulations. As a result, the physical dimensions of each panel in Figure 3 are different since the simulations were done for different values of the spatial scale separation δ = D_{ATP}/D_{ADP }and dx (cf. Table 1). Once specific values for the ATP diffusion coefficient D_{ATP }and the product consumption rate k_{d }are provided the physical side length is determined by (D_{ATP}/k_{d})^{1/2 }l_{s }where l_{s }= dx · N/δ^{1/2 }denotes the dimensionless side length.
Authors' contributions
RS conceived the study, performed the analytical calculations, the numerical simulations and drafted the manuscript. EMN helped to interpret the results and contributed to the manuscript. All authors read and approved the final manuscript.
Acknowledgements
RS acknowledges financial support from the Ministry of Education of SaxonyAnhalt within the Research Center 'Dynamic Systems'.
References

Hartwell LH, Hopeld JJ, Leibler S, Murray AW: From molecular to modular cell biology.
Nature 1999, 402:C47C52. PubMed Abstract  Publisher Full Text

Stelling J, Sauer U, Szallasi Z, Doyle FJ, Doyle J: Robustness of Cellular Functions.
Cell 2004, 118:675685. PubMed Abstract  Publisher Full Text

Alon U: An Introduction to Systems Biology: Design Principles of Biological Circuits. London: Chapman and Hall/CRC; 2006.

Gardner TS, Cantor CR, Collins JJ: Construction of a genetic toggle switch in Escherichia coli.
Nature 2000, 403:339342. PubMed Abstract  Publisher Full Text

Lou C, Liu X, Ni M, Huang Y, Huang Q, Huang L, Jiang L, Lu D, Wang M, Liu C, Chen D, Chen C, Chen X, Yang L, Ma H, Chen J, Ouyang Q: Synthesizing a novel genetic sequential logic circuit: a pushon pusho switch.
Molecular Systems Biology 2010, 6:350. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Mangan S, Zaslaver A, Alon U: The coherent feedforward loop serves as a signsensitive delay element in transcription networks.
J Mol Biol 2003, 334:197204. PubMed Abstract  Publisher Full Text

Geontoro L, Shoval O, Kirschner MW, Alon U: The incoherent feedforward loop can provide foldchange detection in gene regulation.
Mol Cell 2009, 36:894899. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Goldbeter A, Koshland DE Jr: An amplied sensitivity arising from covalent modiafication in biological systems.
Proc Natl Acad Sci USA 1981, 78:68406844. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Markevich NI, Hoek JB, Kholodenko BN: Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades.
J Cell Biol 2004, 164:353359. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Ferrell JE Jr, Machleder EM: The biochemical basis of an allornone cell fate switch in Xenopus oocytes.
Science 1998, 280:895898. PubMed Abstract  Publisher Full Text

Sha W, Moore J, Chen K, Lassaletta A, Yi C, Tyson J, Sible J: Hysteresis drives cellcycle transitions in Xenopus laevis egg extracts.
Proc Natl Acad Sci USA 2003, 100:975980. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Sel'kov EE: SelfOscillations in Glycolysis.
Eur J Biochem 1968, 4:7986. PubMed Abstract  Publisher Full Text

Goldbeter A, Lefever R: Dissipative Structures for an Allosteric Model.
Biophys J 1972, 12:13021315. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Tyson JJ, Chen KC, Novak B: Sniffers, buzzers, toggles and blinkers: Dynamics of regulatory and signaling pathways in the cell.
Curr Op Cell Biol 2003, 15:221231. PubMed Abstract  Publisher Full Text

Novak B, Tyson JJ: Design principles of biochemical oscillators.
Nat Rev Mol Cell Biol 2008, 9:981991. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Brown GC, Kholodenko BN: Spatial gradients of cellular phosphoproteins.
FEBS Lett 1999, 457:452454. PubMed Abstract  Publisher Full Text

Markevich NI, Tsyganov MA, Hoek JB, Kholodenko BN: Longrange signaling by phosphoprotein waves arising from bistability in protein kinase cascades.

MunozGarcia J, Neufeld Z, Kholodenko BN: Positional information generated by spatially distributed signaling cascades.
PLoS Comput Biol 2009, 5:e1000330. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

van Albada SB, ten Wolde PR: Enzyme localization can drastically affect signal amplification in signal transduction pathways.
PLoS Comput Biol 2007, 3:19251934. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Kholodenko BN: Spatially distributed cell signaling.
FEBS Lett 2009, 583:40064012. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Kholodenko BN, Hancock JF, Kolch W: Signalling ballet in space and time.
Nat Rev Mol Cell Biol 2010, 11:414426. PubMed Abstract  Publisher Full Text

Mikhailov AS: Foundations of Synergetics I. Distributed Active Systems. 2nd edition. Berlin: Springer; 1991.

Kapral R, Showalter K, (Eds): Chemical Waves and Patterns. Dordrecht, The Netherlands: Kluwer; 1995.

Meinhardt H, Gierer A: Pattern formation by local selfactivation and lateral inhibition.
Bioessays 2000, 22:753760. PubMed Abstract  Publisher Full Text

Horváth J, Szalai I, Kepper PD: An Experimental Design Method Leading to Chemical Turing Patterns.
Science 2009, 324:772775. PubMed Abstract  Publisher Full Text

Chance B, Hess B, Betz A: DPNH oscillations in a cellfree extract of S. carlsbergensis.
Biochem Biophys Res Commun 1964, 16:182187. Publisher Full Text

Hess B, Boiteux A, Krüger· J: Cooperation of Glycolytic Enzymes.
Adv Enzyme Regul 1969, 7:149167. PubMed Abstract  Publisher Full Text

Danø S, Sørensen PG, Hynne F: Sustained Oscillations in Living Cells.
Nature 1999, 402:320322. PubMed Abstract  Publisher Full Text

Mair T, Müller SC: Travelling NADH and Proton Waves during Oscillatory Glycolysis in vitro.
J Biol Chem 1996, 271(2):627630. PubMed Abstract  Publisher Full Text

Bagyan S, Mair T, Dulos E, Boissonade J, DeKepper P, Müller· SC: Glycolytic oscillations and waves in an open spatial reactor: Impact of feedback regulation of phosphofructokinase.
Biophys Chem 2005, 116:6776. PubMed Abstract  Publisher Full Text

Bagyan S, Mair T, Suchorski Y, Hauser MJB, Straube R: Spatial Desynchronization of Glycolytic Waves as Revealed by KarhunenLoeve Analysis.
J Phys Chem B 2008, 112:1433414341. PubMed Abstract  Publisher Full Text

Straube R, Vermeer S, Nicola EM, Mair T: Inward Rotating Spiral Waves in Glycolysis.
Biophys J 2010, 99:L4L6. PubMed Abstract  Publisher Full Text

Lechleiter J, Girard S, Peralta E, Clapham D: Spiral Calcium Waves Propagation and Annihilation in Xenopus laevis Oocytes.
Science 1991, 252:123126. PubMed Abstract  Publisher Full Text

Davidenko JM, Pertsov AV, Salomonsz R, Baxter W, Jalife J: Stationary and drifting spirl waves of excitation in isolated cardiac muscle.
Nature 1992, 355:349351. PubMed Abstract  Publisher Full Text

Vanag VK, Epstein IR: Inwardly Rotating Spiral Waves in a ReactionDiffusion System.
Science 2001, 294:835837. PubMed Abstract  Publisher Full Text

Shao X, Wu Y, Zhang J, Wang H, Ouyang Q: Inward Propagating Chemical Waves in a SinglePhase ReactionDiffusion System.
Phys Rev Lett 2008, 100:198304. PubMed Abstract  Publisher Full Text

Monod J, Wyman J, Changeux JP: On the nature of allosteric transitions: A plausible model.
J Mol Biol 1965, 6:306329. Publisher Full Text

Hess B, Boiteux A: Oscillatory Phenomena in Biochemistry.
Annu Rev Biochem 1971, 40:237258. PubMed Abstract  Publisher Full Text

Madsen MF, Danø S, Sørensen PG: On the mechanisms of glycolytic oscillations in yeast.
FEBS J 2005, 272:26482660. PubMed Abstract  Publisher Full Text

Goldbeter A: Biochemical Oscillations and Cellular Rhythms: The molecular basis of periodic and chaotic behaviour. Cambrdige: Cambridge University Press; 1996.

Kuramoto Y: Chemical Oscillations, Waves, and Turbulence. Berlin: Springer; 1984.

Aranson IS, Kramer L: The world of the complex GinzburgLandau equation.
Rev Mod Phys 2002, 74:99143. Publisher Full Text

Gong Y, Christini DJ: Antispiral Waves in ReactionDiffusion Systems.
Phys Rev Lett 2003, 90(8):088302. PubMed Abstract  Publisher Full Text

Brusch L, Nicola EM, Bär M: Comment on Antispiral Waves in ReactionDiffusion Systems".
Phys Rev Lett 2004, 92:089801. PubMed Abstract  Publisher Full Text

Nicola EM, Brusch L, Bär M: Antispiral Waves as Sources in Oscillatory ReactionDiffusion Media.
J Phys Chem B 2004, 108:1473314740. Publisher Full Text

Blangy D, Buc H, Monod J: Kinetics of the allosteric interactions of phosphofructokinase from Escherichia coli.
J Mol Biol 1967, 31:1335. Publisher Full Text

Nissler K, Kessler R, Schellenberger W, Hofmann E: Binding of fructose6phosphate to phosphofructokinase from yeast.
Biochem Biophys Res Commun 1977, 79:973978. PubMed Abstract  Publisher Full Text

Wagner J, Keizer J: Effects of Rapid Buffers on Ca^{2+ }Diffusion and Ca^{2+ }Oscillations.
Biophys J 1990, 67:447456. Publisher Full Text

Strier DE, Dawson SP: Role of complexing agents in the appearance of Turing patterns.
Phys Rev E 2004, 69:066207. Publisher Full Text

Vanag VK, Epstein IR: Crossdiffusion and pattern formation in reactiondiffusion systems.
Phys Chem Chem Phys 2009, 11:897912. PubMed Abstract  Publisher Full Text

Hess B, Boiteux A: Oscillatory Phenomena in Biochemistry.
Annu Rev Biochem 1971, 40:237258. PubMed Abstract  Publisher Full Text

Kopperschläger G, Bär J, Nissler K, Hofmann E: Physicochemical Parameters and Subunit Composition of Yeast Phosphofructokinase.
Eur J Biochem 1977, 81:317325. PubMed Abstract  Publisher Full Text

Pye K, Chance B: Sustained sinusoidal oscillations of reduced pyridine nucleotide in a cellfree extract of Saccharomyces carlsbergensis.
Proc Natl Acad Sci USA 1966, 55:888894. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Chance B, Estabrook RW, Gosh A: Damped sinusoidal oscillations of cytoplasmic reduced pyridine nucleotide in yeast cells.
Proc Natl Acad Sci USA 1964, 51:12441251. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Richard P, Bakker BM, Teusink B, Van Dam K, Westerhoff HV: Acetaldehyde mediates the synchronization of sustained glycolytic oscillations in populations of yeast cells.
Eur J Biochem 1996, 235:238241. PubMed Abstract  Publisher Full Text

Danø S, Madsen MF, Sørensen PG: Quantitative characterization of cell synchronization in yeast.
Proc Natl Acad Sci USA 2007, 104:1273212736. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

De Monte S, d'Ovidio F, Danø S, Sørensen PG: Dynamical quorum sensing: Population density encoded in cellular dynamics.
Proc Natl Acad Sci USA 2007, 104:1837718381. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Petty HR, Worth RG, Kindzelskii AL: Imaging Sustained Dissipative Patterns in the Metabolism of Individual Living Cells.
Phys Rev Lett 2000, 84:27542757. PubMed Abstract  Publisher Full Text

Slaby O, Lebiedz D: Oscillatory NAD(P)H Waves and Calcium Oscillations in Neutrophils? A Modeling Study of Feasibility.
Biophys J 2009, 96:417428. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Goldbeter A: On the role of enzyme cooperativity in metabolic oscillations: Analysis of the Hill coefficient in a model for glycolytic oscillations.
Biophys Chem 1977, 6:9599. Publisher Full Text

Goldbeter A: Patterns of Spatiotemporal Organization in an Allosteric Enzyme Model.
Proc Natl Acad Sci USA 1973, 70:32553259. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Strier DE, Dawson SP: Turing patterns inside cells.
PLoS ONE 2007, 2(10):e1053. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

Hunding A, Sørensen PG: Size adaption of Turing prepatterns.
J Math Biol 1988, 26:2739. PubMed Abstract

Kholodenko BN: Cellsignaling dynamics in time and space.
Nat Rev Mol Cell Biol 2006, 7:165176. PubMed Abstract  Publisher Full Text  PubMed Central Full Text

CornishBowden A: Fundamentals of Enzyme Kinetics. 3rd edition. London: Portland Press; 2004.

Walgraef D: SpatioTemporal Pattern Formation: With Examples from Physics, Chemistry and Materials Science. 1st edition. Berlin: Springer; 1997.