View source for CellularMemory:Mathematical Models

{{DeLoache Top}}
__NOTOC__
=<center>Mathematical Models</center>=

Mathematical modeling is an important component in the construction of rationally designed gene networks. The complexity of biological systems makes necessary the use of sophisticated mathematical models to accurately predict network functionality. Models are useful in tuning the individual components of a network to increase system robustness. They also provide a basis for comparison of experimental results with expected results, allowing researchers to test the validity of their assumptions. 

=<center>Modeling Transcription Rates</center>=
Note: the following mathematical analysis was developed based on a summary of the input function of a gene in ''An Introduction to Systems Biology: Design Principles of Biological Circuits'' [[CellularMemory:References |(Alon, pgs. 241-250)]].

When dealing with gene activation and repression networks, such as those described in the common [[CellularMemory:Biological Designs |Biological Designs]] for synthetic cellular memory section of this paper, one critical component of a mathematical model is a description of the transcription rate of a gene(s). Three common models that describe transcription rate as a function of repressor or activator are, in order of increasing complexity, the [http://en.wikipedia.org/wiki/Michaelis-Menten_kinetics Michaelis-Menten] model, the [http://en.wikipedia.org/wiki/Hill_equation Hill] model, and the [http://en.wikipedia.org/wiki/MWC_model Monod-Wymann-Changeux] model. Each of these models builds on the one preceding it to paint a clearer picture of how binding occurs between two or more molecules and how that binding affects transcription rates.  

The Hill equation is used most often to model cellular memory networks. In order to describe how the Hill equation works, it is first helpful to examine a simpler model. Based on the two [[CellularMemory:Biological Designs |biological designs]] presented in the previous section, it can be reasoned that to mathematically model these designs, we must be able to describe the effect of repressor/promoter binding on transcription rates (for [[CellularMemory:Biological Designs#Mutual Repression |mutual repression]] designs) and the effect of activator/repressor binding on transcription rates (for [[CellularMemory:Biological Designs#Autoregulatory Positive Feedback |autoregulatory positive feedback]] designs). The two binding equations presented below do just that.

==Repressor/Promoter Binding==
Let's start by looking at the effect of repressor/promoter binding on transcription rate. The starting point for this proof is the [http://en.wikipedia.org/wiki/Dissociation_constant dissociation constant] for promoter and repressor binding. This constant, K<sub>d</sub>, measures the tendency for a repressor/promoter complex to fall apart into its two separate subunits. The value of K<sub>d</sub> is determined by the binding affinity of the two molecules and is written as:

[[Image:PR1.png|100px]]

where [P] represents the concentration of unbound promoter, [R] represents the concentration of unbound repressor and [PR] represents the concentration of promoter/repressor complexes. Our goal from here is to derive an equation that gives the probability of unbound promoter as a function of [R]. Because the probability of unbound promoters (or, said differently, the percentage of promoters that are not bound to a repressor) is proportional to the rate of transcription, we can easily modify the equation to give us the transcription rate as a function of [R] by multiplying by the maximal rate of transcription.

We can modify the equation above by substituting [P<sub>total</sub>] - [P] for [PR] because the concentration of unbound promoter plus the concentration of bound promoter equals the total promoter concentration:

[[Image:PR2.png|120px]]

Using simple algebra, we can now solve for the probability of unbound promoter as a function of [R]:

[[Image:PR3.png|140px]]

Multiplying by the maximal rate of transcription, M, will yield an equation for transcription rate as a function of repressor concentration:

[[Image:PR4.png|160px]]

Based on the equation above, it can be seen that the dissociation constant, K<sub>d</sub>, equals the repressor concentration at which the transcription rate is half of its maximal value. The value of K<sub>d</sub> can, therefore, easily be determined experimentally.

==Activator/Repressor Binding (The Michaelis-Menten Equation)==
In order to describe transcription rates of an autoregulatory positive feedback system, we must look at the effect of activator/repressor binding on promoter activity. This proof works much in the same way as the repressor/promoter binding equation and it will lead us in the end to the Michaelis-Menten equation. We will start with the dissociation constant, K<sub>d</sub>, for activator/repressor binding:

[[Image:RA1.png|100px]]

Here, [R] represents the concentration of unbound repressor, [A] represents the concentration of unbound activator and [RA] represents the concentration of repressor/activator complexes. Instead of solving for the probability of unbound promoter as a function of repressor (as we did above), we now need to solve for the probability of bound repressor as a function of activator concentration. Once again, the probability that a repressor is bound to an activator is proportional to the rate of transcription and can be modified to describe promoter activity as a function of [A] by multiplying by the maximal rate of transcription.
 
We can modify the equation above by substituting [R] for [R<sub>total</sub>] - [RA] because the concentration of unbound repressor is equal to the total concentration of repressor minus the concentration of bound repressor:

[[Image:RA2.png|200px]]

Using simple algebra once again, we can solve for the probability of bound repressor as a function of [A]:

[[Image:RA3.png|140px]]

Multiplying by the maximal rate of transcription, M, will yield an equation for transcription rate as a function of activator concentration:

[[Image:RA4.png|200px]]

This equation is known as the Michaelis-Menten equation. Once again, it is true that the dissociation constant, K<sub>d</sub>, equals the activator concentration at which the transcription rate is half of its maximal value. The value of K<sub>d</sub> can, therefore, easily be determined experimentally.

==The Hill Equation==

For both of the equations derived above, it can be reasoned that when high levels of repressor or activator are in their respective systems, the rate of change in transcription rate is relatively low. This is the result that we would expect, because at high levels of repressor or activator, the systems would become saturated and would be minimally affected by the addition of more repressor or activator. Unfortunately, the above equations do not accurately depict many systems when repressor or activator concentrations are low. This is because of the tendency of transcription factors to be composed of multiple subunits. While a single subunit (a monomer) can bind to its target molecule by itself, in order to achieve maximal binding affinity, it is often the case that multiple subunits (dimers, tetramers, etc.) are required. This phenomenon is referred to as the cooperativity of binding because it describes multiple activator or repressor subunits working together to bind as tightly as possible. The equations above do not take cooperativity into account, however, the Hill equation modifies them so that cooperativity can be included in the description of binding. 

To do this, each equation above that yields the probability of the promoter being unbound by repressor (the third equation for each proof), is raised to the nth power, where n is the number of subunits involved in cooperative binding (the Hill coefficient). The equations are then multiplied by the maximal rate of transcription, M, yielding the Hill equations and graphs shown below.

[[Image:HillRepgraph.png|thumb|left|600px|'''Graph of the Hill equation for a repressor with Hill coefficients of 1, 2, and 4.''']][[Image:HillRep.png|thumb|right|150px|'''Equation 1: The Hill equation for a repressor.''' M is the maximal rate of transcription, [R] is the concentration of unbound repressor, K<sub>d</sub> is the dissociation constant and is equal to the repressor concentration that yields half the maximal transcription rate, and n is the Hill coefficient.]][[Image:linebreak.png]]
[[Image:HillActgraph.png|thumb|left|600px|'''Graph of the Hill equation for an activator with Hill coefficients of 1, 2, and 4.''' ]]
[[Image:HillAct.png|thumb|150px|right|'''Equation 2: The Hill equation for an activator.'''M is the maximal rate of transcription, [A] is the concentration of unbound activator, K<sub>d</sub> is the dissociation constant and is equal to the activator concentration that yields half the maximal transcription rate, and n is the Hill coefficient.]]
[[Image:linebreak.png]]

In the graphs above, three things should be noted. First, when K<sub>b</sub> is equal to [R] or [A] (meaning that [R]/K<sub>b</sub> or [A]/K<sub>b</sub> equals 1), the rate of transcription is equal to half of the maximal value (M/2). This trend is denoted by the dotted line. Second, graphs of activators and repressors with a Hill coefficient of 1 are described by the Michaelis-Menten model (not taking cooperativity into account). Therefore, the Hill equation curves for n = 1 also represent the curves for the two relatively simple equations derived earlier in this section. Third, as n increases, the curves develop more and more [http://en.wikipedia.org/wiki/Sigmoid_function sigmoidal] (S-shaped) character, where the curves converge to two different values asymptotically. In the next section, this sigmoidal shape will be shown to be crucial in the establishment of bistability in a memory network.

==The Monod-Wymann-Changeux Equation==
It should be noted briefly that, while the Hill equation does account for cooperativity, it is not always the most accurate description of these types of biological systems. The [http://en.wikipedia.org/wiki/MWC_model Monod-Wymann-Changeux] model improves on the Hill equation by taking into account a decrease in the dissociation constant as more repressor or activator subunits are bound onto a given complex. This model, however, is not frequently used in modeling synthetic cellular memory networks, where the Hill equation appears to suffice.


=<center>Determining the Optimal Values of Parameters</center>=
The previous section presented mathematical models that are commonly used to describe how transcription rates depend on the concentration of repressors and activators. These equations are used in the mathematical modeling of almost all synthetic cellular networks, and now that we understand their origin, we can more easily understand how they are integrated into a system of equations that describes a larger gene network. The power of modeling comes in its ability to determine what values are needed for different system parameters in order to produce a working system. Because these systems of equations must be specific to the biological design, I will not describe them all in detail. Below, I will present one example of a system of equations that describes the construction of bistability in a synthetic cellular memory network. This system of equations will show that cooperativity of binding  is necessary for the construction of bistability for an autoregulatory positive feedback design. In addition to providing information about the necessity of cooperativity, mathematical models also help in determining optimal values for ribosomal binding site (RBS) strength, maximal promoter activity levels, decay rates, and many other parameters. While the derivation of these values will not be discussed explicitly in this paper, know that obtainment of these values is crucial to the rational design of functioning biological networks. 

==Cooperativity and Bistability==
[[Image:Bistability.svg.png|thumb|350px|Balls marked "1" and "3" are in the two stable positions (This image was taken from [http://en.wikipedia.org/wiki/Bistability wikipedia])]]
Both the mutual repression and the autoregulatory positive feedback designs rely on the existence of bistability in their respective systems. Bistability refers to the existence of two local minima, towards which all states of a system converge. In the illustration to the right, a ball will wind up in one of the two stable states regardless of its initial state. In a similar manner, synthetic cellular memory networks are designed to create two ''stable steady'' states, the "on" and the "off" state. In a ''steady'' state, the rate of protein decay must be equal to the rate of protein synthesis. In a ''stable steady'' state, small changes in the protein concentration will not throw the cell out of its current state. (In the illustration with the balls, ball 2 is in an unstable steady state while balls 1 and 3 are in stable steady states.)   All cells must exist in one of these two stable steady states or else be in the process of moving between them. In the [[CellularMemory:Biological Designs |Biological Designs]] section, this idea was explained in general terms. Here, we will look briefly at the mathematics behind the development of bistability in cellular memory networks.

[[Image:Cooperativity.png|thumb|350px|right|'''Cooperativity of binding leads to a bistable system.'''.]]
Using the Hill equations above to describe the rates of protein synthesis based on different levels of repressor/activator and an equation for the rate of protein decay (that arise from degradation and from dilution due to cell division), one can determine where the stable steady states of a given system lie. The graph on the right shows two different activators with different Hill coefficients, similar to the graphs shown above. The red line shows the rate of protein dilution due to cell division. In this case, the dilution rate is so high relative to degradation that effects of degradation are irrelevant. The slope of this line can be obtained from the equation:

[[Image:Pdecay.png|200px]]

where t is the rate of cell division. The points where the protein decay curve intersects the protein production curves are the steady states of the systems. Because of the sigmoidal shape of the curve with a Hill coefficient of 2, the protein decay curve intersects it at 3 different points. The curve with a Hill coefficient of 1 (and thus no cooperativity) is only intersected twice by the protein decay curve. At any given value of activator concentration, if the decay rate is higher than the production rate, then the cell will move left along the x-axis (decrease [A]) until it reaches a steady state. If the production rate is higher than the decay rate, then the cell will move right along the x-axis (increase [A]) until it reaches a steady state. Looking at these two graphs, it can be seen that the curve with a Hill coefficient of 2 has stable steady states at [A]/K<sub>b</sub> of 0 and 2. The curve with a Hill coefficient of 1 has only one stable steady state at [A]/K<sub>b</sub> of about 1.5. Thus, bistability of the curve with n=2 is dependent on the cooperativity of binding of the activator. The same is true of the mutual repression model, however, an example is not given here. 
 
[[Image:linebreak.png]]


<hr>
<center>
[[CellularMemory:Biological Designs | <Previous Section]] | [[CellularMemory:Toggle Switch | Next Section>]]
</center>