Mathematical Models

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.

Modeling Transcription Rates

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 (Alon, pgs. 241-250).

When dealing with gene activation and repression networks, such as those described in the common Biological Designs for synthetic cellular memory section of this paper, mathematical models are mainly used to model 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 Michaelis-Menten model, the Hill model, and the 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 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 mutual repression designs) and the effect of activator/repressor binding on transcription rates (for 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 dissociation constant for promoter and repressor binding. This constant, K_d, measures the tendency for a repressor/promoter complex to fall apart into its two separate subunits. The value of K_d is determined by the binding affinity of the two molecules and is written as:

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_total] - [P] for [PR] because the concentration of unbound promoter plus the concentration of bound promoter equals the total promoter concentration:

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

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

Based on the equation above, it can be seen that the dissociation constant, K_d, equals the repressor concentration at which the transcription rate is half of its maximal value. The value of K_d 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_d, for activator/repressor binding:

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_total] - [RA] because the concentration of unbound repressor is equal to the total concentration of repressor minus the concentration of bound repressor:

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

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

This equation is known as the Michaelis-Menten equation. Once again, it is true that the dissociation constant, K_d, equals the activator concentration at which the transcription rate is half of its maximal value. The value of K_d 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 refers to 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 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 equations are then multiplied by the maximal rate of transcription, M, yielding the Hill equations shown on the right.

Equation 1: The Hill equation for a repressor. M is the maximal rate of transcription, [R] is the concentration of unbound repressor, K_d is the dissociation constant and is equal to the repressor concentration that yields half the maximal transcription rate, and n is the coefficient of cooperativity.

Equation 2: The Hill equation for an activator.M is the maximal rate of transcription, [A] is the concentration of unbound activator, K_d is the dissociation constant and is equal to the activator concentration that yields half the maximal transcription rate, and n is the coefficient of cooperativity.

• Michaelis-Menton model doesn't take cooperativity into account.
• The Hill equation accounts for cooperativity of binding, but is not a completely accurate description at very low concentrations of repressor/activator.
• The Monod, Changeux, and Wymann model is the most accurate model of these three, but is not commonly used because of its increased complexity and the fact that the hill equation accurately describes most situations.

The Monod-Wymann-Changeux Equation

Cooperativity and Bistability

Show how Michaelis-Menton is the same as the hill equation when n=1 and then show what happens as n increases. (graph in book)

Determining the Values of Funcational Parameters

Put text here.

Quantitative Part Characterization

Put text here.