Abstract
Mathematical models of fundamental biological processes play an important role in consolidating theory and experiments, especially if they are systematically developed, thoroughly characterized, and well tested by experimental data. In this work, we report a detailed bifurcation analysis of a mathematical model of the mammalian circadian clock network developed by Relogio et al. [16], noteworthy for its consistency with available data. Using one- and two-parameter bifurcation diagrams, we explore how oscillations in the model depend on the expression levels of its constituent genes and the activities of their encoded proteins. These bifurcation diagrams allow us to decipher the dynamics of interlocked feedback loops, by parametric variation of genes and proteins in the model. Among other results, we find that REV-ERB, a member of a subfamily of orphan nuclear receptors, plays a critical role in the intertwined dynamics of Relogio’s model. The bifurcation diagrams reported here can be used for predicting how the core-clock network responds—in terms of period, amplitude and phases of oscillations—to different perturbations.
Introduction
In the last two decades, there has been tremendous progress in understanding how circadian oscillations are generated and how rhythmicity is sustained in the cells and tissues of many species of animals, plants and fungi [1-7]. It has been established that in all these organisms, core clock genes constitute a ‘circadian network’ that generates endogenous oscillations by repression of the transcription of these clock genes by their own proteins, i.e., by delayed negative-feedback in the transcription-translation-repression loop. Mathematically, these robust rhythms arise as limit cycle oscillations at Hopf bifurcation points [8-10]. Different research groups have implemented this general mechanism in their own unique models of circadian clocks [11-14].
In systems biology, mathematical models are of special utility if they explain a vast amount of experimental data and can be investigated by analytic tools [15]. Recently, Relogio et al. developed a mathematical model of the mammalian circadian-clock network [16], expressed as a set of 19 ordinary differential equations (ODE’s), including 76 kinetic parameters.
The mammalian circadian-clock network drives ∼24 h rhythms in the activity of a heterodimeric transcription factor, CLOCK/BMAL, which drives the expression of other clock genes, including PERIOD (PER), CRYPTOCHROME (CRY), REV-ERBα and β (REV), and RORa, b and c (ROR). PER/CRY heterodimers bind to and inhibit CLOCK/BMAL, whereas ROR acts as an activator and REV acts as a repressor of transcription of the BMAL gene. Different models of the mammalian circadian clock join together these feedback loops in different ways. Some models view the PER/CRY loop as the master oscillator, with the REV and ROR loops providing fine-tuning and robustness to the oscillations [11-13, 17, 18]. In Relogio’s model, on the other hand, the feedback loops are not hierarchical, but rather they orchestrate the rhythm synergistically. Understanding the dynamics of interlocked negative and positive feedback loops, such as the loops present in the mammalian circadian-clock network, is an important and challenging problem [13, 14, 19, 20].
The main goals of this work are:
To explore the dynamics of a comprehensive model of the circadian rhythm in mammalian cells (Relogio et al. [16]); a model that has been shown already to be in good agreement with a plethora of experimental data.
To use bifurcation analysis [21] to disentangle the dynamics of the interlocked feedback loops in Relogio’s model.
To show how the period, phase and amplitude of circadian oscillations depend on key parameters, namely the maximal rates of expression of five key clock genes (PER, CRY, REV, ROR, BMAL).
To use two-parameter bifurcation diagrams to study the interactions between changing levels of expression of pairs of clock genes.
To provide a foundation for future understanding of circadian control networks, as yet unknown or underappreciated players (see, e.g., [22]) are discovered. In addition, our analysis of the dynamics of the circadian network may be a valuable resource for determining optimal rhythmic signals for the daily synchronization of a variety of cellular processes, especially synchronization of the cell division cycle by the circadian clock [23-25].
Because many future applications of molecular systems biology to human physiology and medicine (e.g., the analysis of clinical data) will require comprehensive mathematical models that describe multiple interlocking control networks in the cell [25-28], we suggest that bifurcation analysis, as practiced here, will be a useful tool for assessing the dynamical properties of these networks within the broader physiology of mammalian cells [29, 30].
Methods
Relogio et al. Model of the Mammalian Circadian Clock Network
In Figure 1 we show the wiring diagram of the circadian clock network proposed by Relogio et al. for the murine circadian clock in a single cell [16]. The central node of the network is a heterodimeric transcription factor, CLOCK/BMAL, the yellow box in the center of Figure 1. The mRNAs transcribed from the core clock genes (PER, CRY, BMAL, REV, and ROR) are represented by blue oval boxes in the nucleus. Clock proteins in the cytoplasm are shown as purple boxes. PER and CRY proteins form multimeric complexes and enter into the nucleus, where they interact with CLOCK/BMAL. The PER/CRY complex represses CLOCK/BMAL-activated transcriptions, thereby creating a delayed negative-feedback loop in the transcription-translation process. We will refer to this delayed negative-feedback loop as the ‘PC loop’, and we will refer to the PER/CRY heterodimeric complex hereafter as the ‘PC complex’. The PC complex is degraded at night, releasing its inhibitory effect on CLOCK/BMAL, to allow a fresh restart of the transcription of clock genes [16].
ROR and REV proteins in the nucleus can bind to the promoter region of the BMAL gene and modulate the expression of Bmal mRNA. In doing so, ROR acts as an activator, and REV acts as a repressor. Following Relogio et al. [16], we will refer to these feedback effects as the ‘RBR loop’. An important feature of Relogio’s model is that the RBR loops can generate and maintain oscillations autonomously. When the PC loop is maintained constitutively active (non-oscillatory), sustained oscillations continue to be generated by the RBR loops (see the simulations in Fig. 3B of Ref. [16]). Furthermore, when REV (or ROR) is overexpressed, circadian rhythmicity can be lost (see the simulations in Fig. 3C and Fig. 6A-B of Relogio et al.) [16, 31]. These in silico predictions of the model were confirmed by RORa and REV-ERBα overexpression in a human osteosarcoma cell line, U2OS (see Fig. 7 of Ref. [16]).
Keep in mind that the RBR loops are the union a REV loop (a negative-feedback transcription-translation loop) and a ROR loop (a positive-feedback transcription-translation loop). We shall make this distinction later.
Numerical methods
The differential equations of Relogio’s model are provided in Suppl. Text S1. The variables of the model are listed in Suppl. Table S1, and WT (wild type) parameter values are provided in Suppl. Table S2. Numerical simulations of the model were carried out in Mathematica [32] and bifurcation diagrams were calculated using AUTO [33].
Bifurcation diagrams
We use one- and two-parameter bifurcation diagrams to characterize the dependence of solutions of Relogio’s differential equations (S1-S19 in Suppl. Text S1) on the values of certain kinetic parameters in the model equations. In a one-parameter bifurcation diagram, the chosen kinetic parameter is plotted as the independent variable (the horizontal axis) and some indicator of the output of the model is plotted as the dependent variable (the vertical axis). Typically, the magnitude of a dynamic variable in the model is chosen as the dependent variable, in which cases the one-parameter bifurcation diagram shows the asymptotic behavior of this molecular component as a function of changes in the chosen kinetic parameter. In particular, the diagram shows how the steady-state value of the dynamic variable changes with the kinetic parameter and how the amplitude of any periodic solutions, bifurcating from the steady state, changes with the kinetic parameter. The diagram also indicates whether the steady states and periodic solutions are asymptotically stable or unstable.
We also use one-parameter bifurcation diagrams to indicate how the period of oscillatory solutions depends on a parameter value and how the phases of oscillatory components change, relative to one another, as the parameter value changes. In this way, we can use one-parameter bifurcation diagrams to succinctly summarize how the amplitude, period and phase of oscillations depend on the values of the kinetic parameters in a dynamical model of circadian rhythms.
We use two-parameter bifurcation diagrams to characterize the domain of oscillations on the plane of two chosen bifurcation parameters. We calculate period distributions inside the oscillatory domains and mark the regions of different periods with different symbols.
In complex mathematical models of biochemical reactions, involving multiple feedback loops, many different types of bifurcations and complex chaotic dynamics are expected [6]. In mammalian circadian systems, complex oscillations involving second and third harmonics have been observed [34]. Our simulations indicate that multiple harmonics and quasi-periodic dynamics are possible in Relogio’s model, Suppl. Fig. S1. In this work, we restrict ourselves to rhythmic dynamics generated by Hopf bifurcations.
Results
One-Parameter Bifurcation Diagrams
Previously, Relogio’a model was used successfully to simulate a variety of experimental conditions [16, 35, 36]. In this section, we extend simulations and predictions of Relogio’s model using bifurcation analysis, to show how principal characteristics of rhythmic dynamics (period, amplitude and phase) respond to continuous modulations of bifurcation parameters (primarily the maximum rates of expression of the core clock genes).
Modulations of PER expression
The one-parameter bifurcation diagram in Figure 2 shows how the amplitude of periodic solutions depend on the transcription rate of Per mRNA, V1max. All other parameters are fixed at WT values (Supplementary Table II). In the interval V1max ∈ [0.142, 1.63], the model displays stable limit cycle oscillations with a circadian period. Notice that, at V1max ≈ 0.25, there is a significant decrease of Per mRNA amplitude, due to multiple repressions exerted on the transcription of the PER gene. As reported in Ref. [16], there are small amplitude oscillations of long period (T ≈ 50 h) at small values of V1max. The two oscillatory domains in Figure 2 are separated by stable steady-state solutions. In Suppl. Fig. S2 we plot bifurcation diagrams of two other models of mammalian circadian rhythms and show that the small amplitude oscillations of long period are specific to Relogio’s model.
The period vs transcription rates
Rhythmic dynamics in a circadian network can be characterized by the period, amplitude, and phase of oscillations. The period is common to all variables, while the amplitudes and phases vary from one component to another. The solid lines in Figure 3 show that the oscillation period changes non-monotonically with changing transcription rates of the core clock genes, Vimax,i = 1..5. An interesting feature in Figure 3 is that, as the transcription rates of the core clock genes increase, the period of the circadian rhythm eventually decreases, except for ROR gene transcription. The exceptional behavior of ROR indicates that the network reacts differently to Ror mRNA production than to increases of other mRNAs, presumably because ROR protein mediates the only positive feedback loop in the model.
Period vs mRNA degradation rates
Figure 4 shows how the period of oscillation changes with modulations of mRNA degradation rates. Period increases as the degradation rates of Per and Cry mRNAs increase above their WT values and decreases as the degradation rates of mRNAs in the RBR loops increase above their WT values. In the case of Rev, the period change is limited to a narrow interval [23h, 23.7h], whereas the period change is much more pronounced for variations in the degradation rates of Ror and Bmal. An interesting feature for Bmal is that the period is no longer “circadian” for small values of dy5.
Phase relations vs transcription rates
We define the phase of oscillations as the time when mRNA level of a core clock gene reaches its maximum level, relative to the phase of a reference mRNA. Figure 5 shows that phases do not change significantly with modulations of transcription rates. In general, the phase of Cry is most sensitive to changes of the transcription rates. The phase of Bmal changes moderately with changes of transcription rates of the RBR loop. With changing rate of transcription of the PER gene, the phases of Ror and Bmal are locked, but the phases of Rev and Cry change slightly. With changing rate of transcription of the REV gene, the phase of Ror is locked, but the phases of Bmal, Rev and Cry change slightly.
Amplitudes vs transcription rates
Figure 6 shows the changes of the maximum amplitudes of oscillations, Amax,with the change of transcription rates. The amplitudes of Per and Ror do not change significantly in Figure 6, indicating robustness of these oscillatory variables. By contrast, the amplitude of Ror is sensitive to modulations of transcription rates. The amplitude of Cry is sensitive to V2max(cry), as well as to modulations of the positive feedback loop V4max(Ror) and V5max(Bmal). The amplitude of Bmal decreases at large values of transcription rates.
Modulations of all transcription rates
Experimental data on α-amanitin-treated and actinomycin D-treated fibroblast cells reported by Dibner et al. [37] showed that mammalian circadian oscillators are resilient to large fluctuations of transcription rates. Indeed, a general reduction of transcription rates of all mRNAs leads to oscillations with reduced period and amplitude. Interestingly, circadian rhythm models based on a delayed negative feedbacks loop (e.g., the Goodwin [8] and Leloup-Goldbeter [13] models) display similar features when the transcription rates of all mRNAs are reduced. We found that Relogio’s model displays similar modulations of period and amplitude, when all transcription rates are down-regulated. However, period and amplitude are initially increased and then reduced if the transcription rates are increased from WT values (see Suppl. Fig. S3).
Interactions between the circadian clock and RAS/MAPK signaling networks
The dynamics of period, amplitude, and phases, obtained by bifurcation analysis can be used for practical purposes. Experimental data about the interactions between RAS/MAPK and the core clock network can be simulated using Relogio model. The RAS/MAPK signaling pathway may disrupt normal functioning of the core clock network by modulating the circadian period [35, 36]. It is known that changes in RAS expression alter directly the dynamics of BMAL expression [35]. Therefore, perturbation of the core clock network by RAS signaling has been studied by introducing a parameter ktt, which modulates the strength of the transcription factor CLK:BMAL (variable x1) for the expression of every clock gene [35, 36]. We refer to the S1 text of Ref. [36] for the definition of ktt. In Figure 7 we show how period, Per’s amplitude, and phases of oscillation change with ktt. The WT value of ktt = 1.
Notice qualitative similarities between the periods in Figure 3A and Figure 7A, as well as between Per’s amplitude in Figure 6A and Figure 7B. Recall that Figure 3A and Figure 6A show the network’s response to the modulation of Per’s transcription rate, whereas Figure 7A-B show the RAS/MAPK pathway’s interference on Bmal’s transcriptional activation. The period change in Figure 7A is similar to the period change in Figure 3A where V1max (transcription rate of Per) is modulated, suggesting that BMAL activates strongly the transcription rate of Per mRNA. Interestingly, the changes of oscillation phases with ktt are similar to phase changes in Figure 5E, where V5max (the transcription rate of Bmal) is modulated.
Figure 7 suggests that by monitoring the changes in the expression patterns of a given clock gene caused by modulations from other pathways in the cell, qualitative changes in the period, amplitudes, and phases of oscillations can be inferred from bifurcation diagrams in Figure 3-6. As an example, an antisense transcript, Per2AS, of the PER2 gene may depress the transcription rate of its sense counterpart, Per2 [35]. Figure 6A shows how the level of Per2 will be reduced when V1max is depressed. Furthermore, according to Figure 3A, the period of oscillation is expected to increase, but according to Figure 5A, the phases of oscillations are expected to change slowly. Detailed simulations of a mathematical model describing molecular interactions between sense and antisense transcripts are in agreement with these assessments [35].
It was reported that the effects of RAS modulations on the core clock network can be described qualitatively by modulations of a single parameter, kt2 [35]. Supplementary Fig. S4 shows the changes of period, amplitude (Per), and phases of oscillations with changing values of kt2 (Eq. (S12)). The main difference between modulations by ktt and kt2 is in changes of Cry phase.
Two-Parameter Bifurcation Diagrams
Although many different mathematical models have been proposed for mammalian circadian rhythms [14], to the best of our knowledge, detailed parameter “portraits” of these models are scarce, despite the importance of the stability and robustness of circadian rhythms against simultaneous perturbations of multiple genes and feedback loops. In this section, we study the stability of oscillatory domains in Relogio’s model with simultaneous modulations of a pair of parameters specifying interaction strengths between selected genes and feedback loops.
Interactions between Bmal and Per
Figure 8 shows a two-parameter bifurcation diagram of Relogio’s model for V1max (Per) and V5max (Bmal), transcription rates of a repressor and activator, respectively. The solid lines in Figure 8 are the loci of the four Hopf bifurcation points in Figure 2. Stable oscillations are found inside the solid curves. We marked the large oscillatory domain in Figure 8 with symbols of different colors to show how the period of oscillation depends on the values of these two parameters. In the simulations, we fixed all other parameters at WT values. Inside the small ellipse shown in Figure 8, we found the small-amplitude, long-period oscillations shown in Figure 2 by red symbols. The horizontal dashed line in Figure 8 shows that as V1max increases, oscillations are replaced by stable, steady state solutions at V1max ≈ 1.63. The oscillations outside the black lines are slowly damped. Although we do not focus on damped oscillations in this work, they may well be relevant to the generation of robust circadian rhythms by global synchronization of populations of coupled damped oscillators [38].
Period locking in the PC loop
Figure 9A shows a two-parameter bifurcation diagram on the parameter plane (V1max, V2max), the transcription rates of Per and Cry. The solid red curves in Figure 9A show the loci of Hopf bifurcation points HB1 and HB4 in Figure 2. Symbols of different colors denote the period of oscillations. An interesting feature of Relogio’s model is that the period of oscillation can be locked within a narrow interval, if either V1max or V2max is modulated alone. This can be seen, for example, by following the vertical dashed line in Figure 9, above the horizontal dashed line. In the case of V1max’s modulation, V2max must be set to a lower value than its WT value, in order to observe period-locking over a wide range of V1max values.
Figures 9B-C provide insight into period-locking in Relogio’s model. These panels show how the maximum amplitudes of x2 (nuclear phosphorylated PER/CRY complex), x3 (nuclear unphosphorylated PER/CRY complex) and PC = x2 + x3 (PC pool) change with changes of V1max and V2max. With respect to increasing values of V2max (panel B), x2 level increases (blue lines) and x3 level decreases (red lines), so that PC level is compensated (black lines). Consequently, the repression of core-clock genes by PC changes little with increasing V2max. Thus, slow changes of PC restrain the period within a narrow interval. Figure 9C shows a similar compensation of PC, when V1max is modulated, for V2max = 0.75.
Interactions between PC and REV loops
In Figure 10 we explore the interplay of the negative-feedback transcription-translation loops, PC and REV. To this end, we introduce a new parameter αpc, PC = αPC(x2 + x3), to modulate the activity of PER/CRY in the nucleus: αPC is used to boost PC activity up or turn down relative to the WT value, αPC = 1. The blue curve in Figure 10A shows the locus of HB1 points (see Figure 2) on the (VSmax,, αPC) parameter plane. The periods of oscillations for in different regions are marked by different symbols. Note that some of the symbols are outside of the blue lines because of All other parameters are fixed at WT values. Interestingly, the black symbols obtained by simulations reveal that there is another domain of oscillations on (V3max, αPC), where the period is T > 32 h. Because nuclear protein REVN directly represses Cry, the PC loop is down regulated with the increase of V3max. As a result, REVN releases PC’s repression of Bmal, allowing the RBR loops to generate slow oscillations shown in Figure 10A.
In Figure 10B we show the continuation of the bifurcation point HB2 in Figure 2. Blue and purple symbols mark oscillation periods at Because , the amplitude of Per oscillations is low. Black symbols in Figure 10B show that besides the oscillatory domain inside the loci of HB2, there are two separate domains of slow oscillations on (V3max, αPC). As the lower domain of slow oscillations persist at αPC ≈ 0, here the strength of PC loop is negligible compared to REV’s repression. As for the upper slow domain, though αPC is strong in this region, V3max is even stronger; hence, the RBR loops can independently generate slow oscillations.
The red curve in Figure 10C show the continuation of the bifurcation point HB3 in Figure 2. The amplitude of Per oscillations is small because. Interestingly, at larger values of V3max and/or αPC, oscillations with a circadian period emerge in Figure 10C, blue symbols. However, the amplitude of Per oscillations is again small due to.
We note that the loci of the bifurcation point HB4 has similar features as the loci of the bifurcation point HB3. In Suppl. Figs. S5-S6, we explore interactions between the PC and ROR loops, and the REV and ROR loops, respectively. Taken together, our two-parameter bifurcation diagrams show that interlocked feedback loops generate multiple domains of oscillations in Relogio’s model.
The Role of the REV Feedback Loop
Recent ChIP data show that the REV loop plays a critical role in the core clock [39]. In addition, WT levels of RevErbα and RevErbβ protect circadian clock and normal metabolic functions, while the double knockouts lead to clear non-rhythmic phenotypes [40, 41]. Previous theoretical work by Relogio et al. [16] showed that, in the intertwined dynamics of their model, the REV loop plays a dominant role in balancing positive and negative interactions.
The goal of this subsection is to uncover the critical role of the REV negative-feedback loop in the generation of sustained oscillations, by clamping certain genes near their mean values [14, 16], which allows us to fix some state variables at constant levels, thereby reducing the number of ODEs in the model. For example, when the state variable x6 (nuclear protein, RORN) is fixed near its mean WT level (, which means that Ror mRNA was clamped near its mean expression level, Ror = 3.8), the network is rhythmic. Furthermore, if we clamp PC (x4 + x3) near its mean level (PC ≈ 1.7, which means that Per and Cry mRNAs were clamped near their mean expression levels, Per = 1.1 and Cry = 4.8), the system is still rhythmic [16], see Suppl. Fig. S7. However, if PC is clamped at more than +20% from its mean level, the system becomes non-oscillatory. Note that with the double clamping of PC and x6, the original model, composed of 19 ODE’s, is reduced to 7 ODE’s describing the state variables in the REV-BMAL loop only (Eqs. (S21-27)). Although such an overly simplified model cannot serve for modeling experimental data, it is helpful for uncovering the role of the REV loop.
For appropriately chosen fixed values of PC and x6, Eqs. (S21-27) display oscillatory dynamics. In Figure 11, we plot a bifurcation diagram on (V3max, V5max), for and PC0 = 2.04. The black line shows the locus of Hopf bifurcation points in the reduced model. For the sake of comparison, we plot in Figure 11 (dashed green line) the locus of Hopf bifurcation points HB1 in the full model. The oscillatory domains in the reduced and full models exhibit similar shapes. Moreover, as Suppl. Fig. S8 shows, the REV-BMAL loop can drive circadian oscillations independently of the PC and ROR loops.
Constitutive expression of REV. Previous experimental studies of the circadian clock in mammalian cells have investigated by effects of constitutively expressing the core clock genes CRY, BMAL, and PER1 [42-44]. It was reported in Ref. [16] that when REV is constitutively expressed (when REVN level is held constant at ), the circadian rhythm is lost. (Note that when , Relogio’s model reduces to a system of 16 ODEs.) If is further increased, the reduced model recovers oscillatory dynamics [16], because of the effects of on the balance of positive and negative feedbacks in the system. The goal of this subsection is to use two-parameter bifurcation diagrams to reveal dynamic transformations in the network, when REV is constitutively expressed.
First of all, to illustrate the effects of constitutively expressed REV, we choose to modulate two parameters that control the strength of the PC loop (Figure 12), namely, V5max, the maximum rate of expression of Bmal mRNA, and c, the Hill exponent for PC’s repression of Per mRNA synthesis in Eq. (S11). The dashed green curve in Figure 12 shows the locus of HB1 and HB2 (see Figure 2) on the(c, V5max)parameter plane. Inside the dashed green line, Relogio’s model displays oscillatory dynamics with a circadian period. Dashed black lines in Figure 12 mark WT values of c and V5max When , the reduced model displays a steady-state solution. We found that if the transcription rate of Bmal is reduced from its WT value, an oscillatory domain emerges, shown by the blue solid line in Figure 12. In this domain the period (T > 35 h) is larger than circadian. Because the domain of slow oscillations is persistent at c = 0, the role of the PC loop can become negligible in this region.
There is yet another oscillatory domain, shown by the solid black line in Figure 12, at larger values of c. Because at larger values of c the repression of PER gene expression by PC is stronger, the PC loop recovers its intensity in this domain. Here the period of the oscillations (∼20 h) is smaller than circadian. These oscillations persist even if the BMAL-ROR loop becomes constitutive
The recovery of oscillations dampened by constitutive expression of REV suggests that the balance of positive and negative regulations in the network of interlocked loops is critical for maintaining the circadian rhythm. When REV is constitutively overexpressed , the synergy of interlocked loops is lost and the balance of positive and negative regulations is shifted towards the dominance of positive regulation. To recover oscillatory dynamics, either the intensity of the positive feedback needs to be weakened (decreasing V5max) or the intensity of the negative feedback needs to be strengthened (increasing c). Thus, the critical role of the REV loop in Relogio’s model is in interfacing and synergizing positive and negative regulations of the multiple interlocked loops.
Deformation of oscillatory domains. The core-clock network interacts with other pathways in the cell and responds to global regulatory signals in the organism. Depending on how an external signal modulates the core clock network, rhythmic dynamics can be distorted; hence, the underlying oscillatory domains can be deformed. Such dynamic transformations of the core clock network can be studied by bifurcation analysis.
In this subsection, we illustrate deformations of an oscillatory domain in Relogio’s model when the REV loop is modulated by internetwork interactions, for example, by interactions with the cell cycle network. We consider two hypothetical modulations, both acting on the variable x1 (nuclear protein REVN).
Hypothetical modulation #1: we assume in Eq. (1) that as a result of external perturbations, the production of nuclear protein REVN can be increased or decreased by a factor βx5,
Hypothetical modulation #2: we assume in Eq. (2) simultaneous perturbation of the rates of production and degradation of REVN, so that the parameter βx5 now modulates the time scale of x5,
In both cases, the WT value of βx5 = 1.
In the first case, we replaced the ODE for x5 (Eq. (S6)) in Relogio’s model with Eq. (1). Figure 13 shows the two-parameter bifurcation diagram on (V1max, βx5). The green dashed curve shows the locus of Hopf bifurcation points HB1 and HB2 in Figure 2; the mauve dashed line shows the locus of Hopf bifurcation points HB3 and HB4 in Figure 2. Inside the mauve and green lines, there are two separate oscillatory domains with slow and circadian oscillations, respectively. Both domains shrink and disappear with changing values of βx5.
Next, we replace Eq. (S6) with Eq. (2). The two black, solid curves in Figure 13 show the loci of the Hopf bifurcation points HBi, i = 1..4, in Figure 2. In contrast to the mauve and green lines, there is a single domain inside the black curves. At small values of βx5 and V1max, or at large βx5 but small V1max, the black lines are almost parallel to each other. In these regions, there are only two intersections of the oscillatory domain with a horizontal line. Clearly, the domain of oscillation is larger for the solid curves; remarkably, its size increases with an increase of βx5, above the intersections of dashed lines. Note that emergent domains of oscillations are also possible in Figure 13, similar to the slow oscillations shown in Figure 10 by black symbols.
In order to effectively synchronize cellular processes, the core clock network must be resilient to various perturbations. As Figure 13 shows, robustness of the rhythm in the network against parametric modulations can be characterized by deformation of an oscillatory domain. The dashed lines in Figure 13 show that oscillatory domains may shrink if the perturbation modulates the production of REVN in Eq. (1). But the solid lines in Figure 13 show that if the processes counterbalancing such a perturbation can be activated, as in Eq. (2), the size of a circadian domain can be increased. As enlargement of an oscillatory domain typically implies enhancement of the rhythm’s robustness, modulations from other pathways in the cell may strengthen the synergy of the feedback loops. Interestingly, the interactions between core clock and cell cycle networks is interfaced by the REV loop [23, 25] which plays a critical role in the synergy of the interlocked loop.
Discussion
Comprehensive mathematical models of fundamental biological processes, such as circadian rhythms or cell cycle controls, play important roles in molecular systems biology. Bifurcation analysis is a powerful tool for qualitative characterization of these mathematical models [21, 45]. For a model with many variables and parameters, bifurcation analysis can be very informative and also very challenging. In this paper, we have used bifurcation analysis to decipher the roles of interlocked feedback loops in a model of the mammalian circadian-clock network, namely, a model proposed by Relogio et al. [16].
Our bifurcation diagrams show how the period, amplitudes and phases of the mammalian circadian rhythm depend on levels of expression of the core clock genes and other principal parameters in Relogio’s model. In principle, any of these predictions can be tested experimentally by varying the rates of expression of core clock genes up or down from WT values by standard techniques of molecular genetics. If we can control the expression of two or more of these genes simultaneously, then we can test the model’s predictions—contained in two-parameter bifurcation diagrams (e.g., Figures 8 and 9)—of the effects of interactions between pairs of genes. Relogio et al. [16] have already considered some of these predictions in light of experimental results, but there is much that can and should be done in the future by way of experimental testing of the interactions of the feedback loops of the mammalian circadian clock.
Admittedly, our current understanding of the mammalian circadian-clock network is incomplete. Bioinformatics studies have revealed more than 40 genes that directly interact with the core clock genes [46]. Together, these known and yet-to-be-discovered clock genes will form an extended clock network. As the extended network comes into focus and detailed mathematical models are developed, the consequences of the feedback and feed-forward loops in the network will become ever harder to recognize and understand. We propose that one- and two-parameter bifurcation diagrams, as presented in this work, will be essential in revealing the dynamic changes of period, amplitude and phase of oscillations, as well as deformations of oscillatory domains in the circadian clock network, in dependence on rates of gene expression and other crucial quantitative features of the genetic control system (e.g., protein stability, feedback intensities, etc.). The parameters whose modulations cause qualitative changes in network dynamics will identify genetic components and feedback loops that may be susceptible to pharmaceutical interventions, in cases of circadian dysrhythmias.
With the present array of circadian-clock models, we can already see how such analytical tools may be useful. Depending on how an oscillatory model is built and parameterized, the mechanisms generating oscillations can be different. Unlike previous models of circadian oscillations, which rely chiefly on a single negative-feedback transcription-translation loop (the classical Goodwin-type mechanism of oscillation [12]), the circadian rhythm in Relogio’s model is driven by three synergetic feedback loops [16]. Our bifurcation analysis shows that (similar to the Goodwin mechanism) the PC loop can display a single Hopf bifurcation point as the vertical line in Figure 9 shows. The persistence of oscillations with the increase of Cry’s transcription rate is consistent with the Cry overexpression phenotype retaining the circadian rhythmicity. On the other hand, a bifurcation diagram of the REV-BMAL-ROR (RBR) loops typically displays a second Hopf bifurcation point as the horizontal line in Figure 8 shows, due to the positive feedback exerted on REV. Such behavior is consistent with the reported aperiodic dynamics for gene overexpression in the RBR loops [16]. Thus, the mechanism of interlocking loops explains overexpression phenotypes in mice, by combining contrasting dynamics: Cry overexpression retains rhythmicity, gene overexpression in the RBR loops loses rhythmicity [16].
In Relogio’s model, the RBR loops play a special role. Oscillations persist if the PC loop is non-oscillatory (x4 = const, x3 = const), but they damp out if the RBR loops are non-oscillatory. It was reported that when REV is constitutively expressed , WT oscillations are damped out [16]. However, we find that, even with constitutively overexpressed REV , oscillations are possible at different values of the parameter c (see Figure 12). These oscillations are generated by the PC and RBR loops independently in two separate domains. In the first domain, oscillations are slow and persistent even if the PC loop is constitutive. In the second domain, oscillations are rapid and persistent even if the BMAL and ROR loops are constitutive. Thus, it is the REV loop that enables the synergy of positive and negative feedback loops to generate robust circadian rhythms in Relogio’s model.
Our bifurcation diagrams suggest that the mammalian core clock network operates by balancing the activities of interlocked feedback loops and if the balance is lost there are multiple mechanisms for generating rhythmic dynamics. In Relogio’s model, if circadian rhythms are lost due to modulations of the PC loop, then the RBR loops can generate stable, slow oscillations. Interestingly, in a different model of circadian rhythms [12], when the transcription rates of Per1 and Per2 are zero, the system becomes non-rhythmic if all other parameters are at their WT values. However, if REV is overexpressed, stable, fast oscillations can be generated (Suppl. Fig. S9). Therefore, a critical question arises from predictions of the Relogio and Mirsky et al models as to whether different mechanisms of oscillations can be activated in experimental systems. We suppose that the question can be answered by an experiment where transcription rates of multiple repressor genes can be modulated. The knock down of repressors in the PC loop, e.g., Per1 and Per2, can induce arrhythmic dynamics [1]. Then if REV is overexpressed, for example by activating CLOCK/BMAL expression or by constitutive REV overexpression [16], the circadian rhythm can be revived due to the existence of multiple oscillatory mechanisms in the network, as mathematical models of interlocked feedback loops predict.
In extended models, the circadian core clock network is integrated to other pathways in the cell, which can themselves display autonomous oscillation [23, 25, 27, 32, 36]. A plethora of oscillatory mechanisms and domains of oscillations are possible in such models. Intuitively, the size, shape, and number of oscillatory domains can be indicators of robustness of rhythmic dynamics. But how the interplay of different oscillatory mechanisms is regulated and how complex networks integrate oscillatory domains are still unknown and remain major goals of future studies [13].
Author Contributions
Designed research (DB) and (JJT); performed research (DB); visualization (DB); wrote the manuscript (DB) and (JJT).
Acknowledgements
Financial Assistance from the Department of Biological Sciences and the College of Science at Virginia Tech is gratefully acknowledged. DB was partially supported by a grant from the Mongolian Foundation for Science and Technology. DB is thankful to Dr. Angela Relogio for explaining the results published in [16]. DB is also grateful to Prof. Kh. Namsrai for stimulating discussions.