Team:Buenos Aires/Project/Model

From 2012.igem.org

Revision as of 20:02, 26 September 2012 by Vparasco (Talk | contribs)

Contents

Modelling a synthetic ecology

To gain insight into the behavior of our crossfeeding design, to understand which parameters of the system are important, and to study the feasibility of the project, we decided to implement a model of the system. We found this interesting per se, as the model we need is that of a microbial community and ecology.

The mathematical modeling of ecological system is an active field of research with a very rich and interesting history; from the works of Lotka and Volterra, who modeled predator-prey dynamics with ordinary differential equations, to Robert May’s chaotic logistic maps. In fact a lot of synthetic systems of interacting bacteria created in recent years were used to study these sort of models.

The crossfeeding model

In the crossfeeding design, each strain produces and releases to the medium an aminoacid the other strain(s) need to grow. The growth rate of each strain depends on the aminoacid (AA) concentration of those AA it can’t produce. In turn these concentrations depend on the abundance of the other strains. Therefore the growth of the strains is interdependent.

For simplicity and to be consistent with the experimental work, we decided to model two interacting strains, one that produces tryptophan (Trp) but requires histidine (His), and another that produces His but requires Trp.

We decided to use ordinary differential equations to model the system. This is a normal approach when studying population dynamics of this kind.

The model has four variables:

  • [Nhis-] : the concentration of histidine dependent (Trp producing) yeast cells, in cells per ml
  • [Ntrp-] : the total amount of tryptophan dependent (His producing) yeast cells, in cell per ml
  • [his]: the concentration of histidine in the medium, in molecules per ml
  • [trp]: the concentration of tryptophan in the medium, in molecules per ml.

To build the model we did the following assumptions:

  • The growth rate of each strain depends on the concentration in the medium of the AA they can’t produce. As the concentration of this AA in the medium increases, so does the growth rate of the strain, until it settles at the growth rate observed in optimal conditions (doubling time of 90 min for yeast).
  • There is a maximal density of cells the medium can support (carrying capacity)
  • Each cell has a fixed probability of dying per time interval
  • Each cell releases to the medium the AA it produces at a fixed rate
  • Each strain only consumes the AA it doesn't produce
  • The system reaches steady state.

Bsas2012-model1.png (model)

In the equation for the temporal evolution of each population we take the growth rate as a Hill function of the amount of AA to which the strain is auxotrophic (it can't produce). The function captures the increase of the growth rate with the relevant AA concentration, until it reaches a plateau at the maximal growth rate, that corresponds to a doubling time of 90 minutes (doubling time = ln(2)/kmax). These functions are of the form

Bsas2012-modeling-eq1.png(1)

where Kaa is the effective concentration of AA at which half maximal growth rate is obtained, and l is the Hill coefficient, that describes how "steep" the curve is.

The term (1+(Nhis+Ntrp)/Cc) of the model accounts for other factors, not explicit in our model that can limit the concentration of cells in a given volume (carrying capacity), enabling the population to reach equilibrium. We included a term related to cell death (- death Ntrp), which is makes biologically sense (cell do die) and is critical for a correct behavior of the model.

The terms in the equations for the evolution of each [AA] in the medium are the fluxes of AA entering and leaving the medium. The first term (Ptrp*Nhis-) is a measure of the AA produced and exported in the form of peptides by a cell, for example the rate of tryptophan secretion by the histidine dependent cell.

The second term is the flux leaving the medium and entering the auxotrophic cells. Each cell has a more or less fixed amount of each amino acid, which we call d. If a cell is to replicate itself and cannot produce and amino acid, it will have to absorb it from the medium. Therefore the flux of AA entering the cell, is d divided by the doubling time τ (the time it takes to "construct" a new cell). One of the hypotheses built into our model is that τ will vary greatly with the concentration of nutrients available. We've used

Bsas2012-modeling-eq2.png(2)

The amount of AA entering the cells that produce it was considered negligible. This means that a cell that produces Trp doesn't import it from the medium in significant quantities. This is likely to hold when AA concentrations are limiting.

Steady State Solution

The 4 equations in the model were equaled to zero and the non-linear algebraic system solved using Mathematica to find their equilibrium values.

Here we change the notation a little bit to two generic strains a and b where population Na produces amino acid a and requires b, and population Nb produces b and requires a. We are interested in the value of the cell populations in equilibrium, or more importantly the fraction of each population in steady state. Thus a change was made to more convenient variables: the sum of both population and a strain's fraction.

Nt = Na + Nb

Xa = Na / Nt

Only 3 fixed points were found for the system (See Appendix). There are some solutions for which it isn't true that the four variables reach a steady state (SS) or equilibrium. There are initial conditions for which the AA concentrations will not stop growing! So caution is required when assuming steady state.

  • In the first solution we found the culture doesn't thrive, for example because one strain was missing or the initial density was to low.
  • The second one has no biological relevance since it yields negative concentrations for the Amino Acids.
  • The third one is the significant one (see equations below). However for some parameters the concentrations of Nt and AA can be negative, therefore restricting the parameter space in which the model works.


Bsas2012-modeling-eqsol3.png(3)

Regulation

Note that the fraction of each strain in the community is a function of the AA secretion rates (pa and pb) and the amount of AA required to "construct" a cell (da and db).

Bsas2012-modeling-eq4.png (4)

For positive values of d and p the range of the function is (0; 1), consistent with what we expect for a fraction.

The fraction of each strain in the culture in equilibrium are regulated by the production and export of each AA – represented in the model through pa and pb. These fractions are independent of initial conditions! This means that the system auto-regulates itself, as intended.

In fact we need only know the ratio between these two parameters to control it: Bsas2012-modeling-eq5.png(5)

The next figure illustrates how the mole fraction x_a varies with the variable ε.

Bsas2012-modeling-fig1.png

 Figure 1. Mole fraction x_a as a fuction of the ratio of protein export for values of D=0.1,1,10 (colors).

To programme the percentage we need a second set of biobricks that can sense an external stimulus and transduce this signal to modify ε. The range of percentages we can control is determined by the range of ε accessible with this second device and the ratio D that is set for any two A.A.

Parameters

The parameter estimation process is shown in Parameter selection(linked)

Parameters selected
Value Units
kmax 0.4261 1/hr
K his 2.588e16 AA/ml
K trp 1.041e16 AA/ml
n his 1.243
n trp 1.636
Cc 3.0 10^7 cell/ml
death 3 to 7 days
p his p 2.16e8 AA/ cell hr
p trp p ε 2.16e8 AA/ cell hr
d his 6.348e8 AA/cell
d trp 2.630e7 AA/cell
 Table 1.

Model Analysis

The standard procedure when studying the temporal evolution of a non-linear system is to try to determine all the possible types of trajectories in the phase space. First the nullclines and fixed points(FP) are found; then the latter are classified according to their stability; in the same way as a linear system (**). The goal is to qualitatively draw the trajectories for any initial conditions to see how the variables evolve.

How is this behavior governed by the model’s parameters?

How do the trajectories change as the parameters vary? Does any new FP or close orbit appear?


There was a major difficulty in the analysis of the model because of the dimension of the problem - 4 variables. The analytical results yielded by the usual tools (nullclines, system linearization) could not be simplified so that all the relevant properties of the system could be understood in terms of the parameters.
We obtained the 4x4 Jacobian - evaluated in the FP - and later its eigenvalues. The expression found for them, a function of the relevant parameters, is too long and can’t be simplified in a way that reveals changes in stability, etc.
Besides that, we couldn’t do a visual analysis of the nullclines to have a qualitative idea of what goes on.
  1. A very common way to proceed in such a case is to reduce the model, ideally to a two-dimensional system. Sometimes one of the variables varies so slowly or that much faster than the ones we are interested in, that it can be considered constant when studying the dynamics of the rest. This is a standard procedure in the study of chemical reactions called Quasi Steady State Approximation.
  2. We also noticed that the Hill coefficients are similar to one. So we explored the possibility of approximating them to one; is there a relevant change or not?
(**)Phase Plane review.

QSSA: Model Reduction

Knowing that initially the variation of AA in the medium is much faster than the yeast populations'.

Bsas2012-modeling-eq15.png(6)

We supposed that it reaches SS before the other. Therefore taking dAAj/dt=0, we rewrote the AminoAcids as a function of (Na,Nb) in a reduced 2x2 model for the evolution of the populations.

Bsas2012-modeling-eq16.png(model_aprox)

Thus a phase portrait for the nullclines and trajectories was drawn.

Bsas2012-modeling-fignull.png

Figure 2. Phase portrait for the reduce model.
Although the reduced model presents the same fixed point, it’s a saddle point.
What does that mean? Pick any point for the plane; those are your initial conditions for the concentration of each population. Now to see how the community evolves with time follow the arrows - like a particle in a flow. No matter how close to the FP we start, the community is overtaken by one of the two strains.
  • Only by taking i.c. along the stable manifold –direction marked between red arrows for clarification in Figure 2 – do we reach the FP we wanted as t → ∞.
  • The stable FP are {Na → Nt, Nb → 0} and {Na → 0, Nb → Nt}.
This phase portrait is the one we'd expect for two species competing for the same resources. The Principle of Competitive Exclusion states that they can't typically coexist.
This is not a representation of auxotrophic community! Somehow we've landed on a Lotka-Volterra example.
The linearization of the set of ODEs around the FP yields instability regardless of the parameters. One of the eigenvalues is always positive.
{2death; death (1-√((pb pa)/(db da))/death)}
There is no agreement between the predictions found here and our simulations, that usually reach a non-trivial SS. We won’t pursue this reduction any further.

Simulations

Initially we relied on numerical simulations (NS) to explore possible behaviors.
To run the simulations all that is left is to choose values {p, ε, i.c.}.
  • Since this is merely a framewok we have taken values p from a log scale from -3 to 1.
  • ε was ranged from 0.0001 to 4; which varies the fraction of each population from 10% to 90%.
  • Cells’ initial concentration (i.c.c.): dilutions from 1:10000 to 10x of the carrying capacity (Cc).
  • AAs’ initial concentration: null, unless stated otherwise.

Die or thrive?

Some basic properties were observed by simplifying the system; we wanted to check that our model was sound.

Bsas2012-modeling-eq6.png(8)

where we can define Bsas2012-modeling-eq7.png (9)

Bsas2012-modeling-fig3.5.png

Figure 3.
The condition for culture growth is λ > 1. This ratio λ between two rates determines whether the system is able to produce and absorbed the nutrients needed for the cell cycle before its death. If it doesn’t hold the culture dies, ie the model predicts a negative amount of cells; which doesn’t make sense.
The other condition is related to extracellular AAs. Let’s define

Bsas2012-modeling-eq8.png(10)

The concentration of extracellular AAs is positive only if δ < 1. In fact as δ → 1 the concentration should tend to ∞ because δ = 1 is a vertical asymptote. This ratio δ between two rates is related to our proposed regulation; if the amount of nutrients produced exceeds the required one for a 90 minutes cycle, the medium is saturated. Then the regulation fails.

Parameter Space and Solutions

Uniting the conditions for λ and δ we see that in general p and ε must be bound for our solution to make sense (i.e. all concentrations > 0):

Bsas2012-modeling-eq14.png(11)


Bsas2012-modeling-fig3.png

Figure 4.  Regions in the parameter space that present different types of solutions. Only in Region III both conditions are true.
Now, let’s classify these regions numerically to see whether the ideas we just presented are supported. Taking random values from each region we found that all four variables are always positive, instead each region is associated with a different kind of solution. The conditions shape the behavior, not the existence of a solution.
Taking AA(t=0)=0:
I. The culture doesn’t grow, it decays with varying velocities for any initial concentration of cells (i.c.c.). This is consistent with solution 1, where Nt= 0 as t → ∞.


II. The extracellular AA keep growing and the medium is saturated. The culture reaches equilibrium for every i.c.c. no matter how low.
The growth rate tends to the theoretical 90 min and the AA dependence disappears from the equations for each population. Remarkably the mole fraction is still independent of the i.c.c.


III. The four variables reach SS. The mole fraction is solely dependent on ε according to the formula on equation (5). The total population of the community (Nt) is the same as in Region II.
This is the region where the auxotrophy leads to regulation of the community. However the culture doesn’t grow for all i.c.c. – will get back to this point shortly.

Conclusions

Some conclusions we've drawn from these NS:
  1. We had postulated that the solution doesn’t hold in II and expected a dramatic change in the system’s behavior. However there is a smooth transition between II and III. For a fixed ε we can step from III into II by increasing p. Once we cross the threshold we notice that the total population of the community does not vary from one region to the next and though the AA continues to grow over time (and accumulate) it does so slowly; more so than we'd expect for a vertical asymptote.
  2. More so, the formula (5) is a good approximation for the mole fraction in the II close to the limit between regions; the difference between the two increases gradually as pgets further away from its threshold value. The formula is not true in II; thus regulation fails.
  3. There’s no pointed change caused by the asymptote, in fact the two regions can’t be distinguished experimentally through a strain's mole fraction measurement in each side of the frontier; so small is the difference between the values across.
  4. Taking into account that the threshold is based on estimations; perhaps is safer to choose points well inside Region III to ensure proper regulation. This has a cost, for a fixed percentage the production and export of AAs is now lower and the dynamic of the culture slower.


The test that started this analysis: under which initial conditions do the populations thrive or die, has to be understood in terms of Figure 4, not merely the conditions for λ associated with Figure 3.

We noticed that the culture’s survival in region III is also dependent on the Ks even though is not explicit in any formula so far. Rather for a fixed value of K there is a i.c.c. threshold below which the culture doesn’t prosper. This effect is noticeable when the percentage desired restricts the p values allowed to the lower end of the range.
This is reasonable considering that they introduce another time scale. Not only have the cells to produce and absorb the required amounts of AA before they die, their ability to grow is restricted by the concentration of AA in the medium.
The cells must produce enough amino acids so that [AA] is of the order of K in the same time frame to insure their prosperity.

Hill effect

How are the dissociation constants relevant when they haven't appear so far?
Originally we took both Hill coefficients equal to one in our NS, is close enough, right?
Well, the whole system didn’t seem viable; it took over 100 hours for the fastest cultures to grow. Now using the fitted coefficients; the time scale becomes reasonable again.


Bsas2012-modeling-fig5.png

 Figure 5. Evolution in time of two cultures that only differ in the i.c.c. with both Hill coef = 1(left); and  both Hill coef > 1(right). 
  • When n_ hill =1 only the culture with higher i.c.c. reaches a non-trivial SS. The other slowly dies.
  • There is no clear difference between the cases with high and low i.c.c. for n_ hill =1.5. Note that they reach SS faster as well.
The survival of an auxotrophic community is dependent on both the apparent dissociation constants (Ks) and the Hill coefficient as shown clearly on Figure 5. There are two effects related to Hill parameters K and n_hill here:
Shorter time scale to SS.
Larger subspace of i.c.c. that lead to SS.
So when creating an auxotrophy, pick a nutrient with an appropriate Hill coefficient and K. Check the range of allowed i.c.c. estimating the values of the rest of the parameters. We could say that the model is more stable as more sets of initial conditions are susceptible of regulation.
Our case is similar to the one shown in figure 5 with both hill coefficients → 1. Region III is less sensitive to variations in the i.c.c. and therefore the actual Region III resembles the theorical one in Figure 4. When n_hill=1 is much smaller.

Relaxation time

Not only are we interested in predicting the fraction of each strain in the culture, we need this control within a time frame or the system is irrelevant.
Let’s call Τ the time it takes one of the populations to reach 90% of its SS value (relaxation time). We rely again on numerical simulations to obtain those set of parameters where Τ is less than 65 hours, for example.
Creating a mesh we explored the parameter space (p, ε) for different initial conditions i.c.c. to visualize when the model’s prediction and the numerical result of the simulations for the mole fraction in SS differ in an amount lower than the given error; before 65 hours. We won’t limit the mesh to Region III only.
We’ve taken 5% of the value as error; considering it an accurate estimation of an experimental measure’s precision.
For each set of conditions (p, ε,i.c.c.) we test the agreement between the proposed regulation and the NS.
The first two graphs in Figure 6 are different orientations in space of a binary test, a blue dot indicates the points in this space where the error is smaller than 5%. Connecting the dots we see a pattern. This area in the parameter space where we can control the community through regulation has the same shape as Region III, although they don't overlap perfectly.
The green bubble's size in the third graph is a measure of the error in each point for the same NS; it ranges from 0.6 to 4%.
Some points well within Region III don't happen to comply with the established time limit. However there are enough points to see that all percentages are accessible with the model for the chosen precision. It's not necessary now, but a closer look at specific sections is possible with a higher point density matrix.

Bsas2012-modeling-fig6b.png

Bsas2012-modeling-fig6bb.png

Figure 6. Scatter plot of the conditions under which the modeled auxotrophy leads to community control in under 65 hours with  a 5% precision.

Oscillations

Damp oscillations are observed!!
This interesting effect was found while doing random searchs through our paramater space. It appears if:
  • the initial concentration of AA in the medium are of the order of the Ks and
  • the parameters that regulate the production and export of AA are from region II in Figure 4 and
  • we work with the approximate model where both n_hill= 1.

Bsas2012-modeling-fig7.png

 Figure 7. Evolution of the two populations in the community vs time when the conditions above are met. Both populations fluctuate with time in such a way that Nt remains constant. 
We were unable to numerically find parameters where the oscillation period was shorter.

Model Transformation: a new analysis

Let’s review what we’ve learned so far from our system.

  • Seems stable,
  • capable of oscillations,
  • there are two cases with a stable population and a defined mole fraction for each strain, one where the AAs are in SS and one where they aren’t.
  • The set of i.c. for which the culture thrives is dependent on the Ks.

Yet all this information is not so trivial to find – especially the oscillations discovery was a fluke.

There had to be a transformation where all these properties were more accessible or evident.

What we did so far was to write the results in more convenient variables.

Now we will try to find a transformation to a new set of variables, whose evolution is simpler to study and write a new set of ODEs for them.

For instance the AAs only appear as the argument of Hill functions, so why not just work with those rations. We defined:

Bsas2012-modeling-eqt1.jpg (12)

This is better because now ξ is constant when:

  1. AAa reachs steady state.
  1. Na exports more that could Nb possibly adsorb and AAa accumulates in the medium. For AAi >> Ki the ratio ξ → k_max.

The same argument is valid for μ.

Then we take the obvious choices to describe the percentage of each and the total population of the community.

Bsas2012-modeling-eqt2.jpg (13)

Now we must find differential equations that describe their dynamic.

For example: Bsas2012-modeling-eqt3.jpg (14)

and

Bsas2012-modeling-eqt4.jpg (15)

The new set of ODEs with m,j >1 is:

Bsas2012-modeling-eqt6.jpg (transf_model)

The model with m=j=1 is in the Appendix.

  • The AAs can be zero, so can the new variables. Rewriting the equation we see that each ratio is elevated to 2- (s+1)/s > 0 for s > 1; so the variables are not really in the denominator.
  • χ stop growing (is constant) if and only if μ = ξ, n can’t equal 1 since n=1 doesn’t satisfy the DE for n.
  • This system has 4 solutions. The only physical one, is the one we already know: equation (3) in the old variables.
  • If ξ = k_max, the culture again reaches a SS, but the fraction χ is indeterminate.

Here’s the great improvement over the old variables. The SS for χ, ξ and μ is independent of n; i.e. the conditions for which their DE equal zero. This means that the nullclines are independent as well. Now we have a reduction in the system's dimension. Same SS as 4x4 but this 3x3 system can be analyzed visually,

  • We can represent the vector field eq in space and track a trajectory that starts at (χ0, ξ0, μ0)
  • We can plot the nullclines, see where they meet and do a quick stability test by checking the sign of the vector field around the FP.

Bsas2012-modeling-fig9.jpg

Figure 8. Nullclines for the reduced model in the new variables χ, ξ and μ.

Stability of the regulation.

Let’s directly go to the linearization of our 3 ODEs close to the FP. We said that n wasn’t relevant to the location of the fixed point, but now we have to consider it while examining the eigenvalues.

Once again the expresion for the three eigenvalues γ is very long. We replace the mayority of the parameters with the value we estimated, and n for its SS value - this is not always the case.

We are in condition to study the stability of the FP when we vary p_a and p_b. The results are shown vs variables p and ε in figure 10.

The FP is not stable if at least one of the eigenvalues is positive.

Bsas2012-modeling-fig10.jpg

Figure 9. Visual aid to determine how the eigenvalue's sign changes with model's parameters p and ε.

Since the three eigenvalues are negative, it's a stable node for this set of parameters.

There are however some points for which there's no value plotted. Taking (p, ε) from that region we obtain complex eigenvalues.

Oscillations Revised

The oscillations in Figure 7 correspond to the model where the Hill coefficients are set to 1. Though we tried, we couldn't manually find a set of parameters and i.c. for which the model with the correct Hill coef. presents oscillations.

Is this always the case? Could we find the answer using the new variables?

We found a tendency by sampling random values p,ε from the region where the eigenvalues are complex and i.c. χ0, ξ0, μ0. The next example is representative of our findings:

  1. γ= {-0.0414142, -0.0351138 - 0.0715694 I, -0.0351138 + 0.0715694 I} with m,j =1
  1. γ with m,j >1

There is a bifurcation that leads to stable trajectories in the second case; we haven't found it.

The next figure shows some of the i.c. for which damp oscillations exist in the first case.

Bsas2012-modeling-fig11.jpg

Figure 10. Oscillations in the fraction of each population when the AAs are initially saturated.

Figure 10 presents the oscillations obtained for χ0 = 0.3, 3, 9 in black,red and blue. We varied the initial total population through n0= 1:2,1:20,1:200 for each χ0 and found little variance in such case.

The more distintive characteristics of the oscillations are

  1. AA must be initally saturated.
  2. Huge period!
  3. Dependance with the initial fraction χ0 but not on the intial dilution n0.

Parameter selection

We've estimatated values for all the parameter in the model to check is viability.

  • The Ks found in the equations are related to the concentration of AAs in the medium required to reach half the maximum rate of growth. Curves OD vs [AA](t=0) were measured experimentally for each amino acid and the data fitted to a Hill equation (16) using MATLAB’s TOOLBOX: Curve Fitting Tool.

Bsas2012-modeling-eqfit.png(16)

This data from Growth dependence on the Trp and His concentrations(link) and the best fit obtained for each are shown below on Figure 11.

Bsas2012-modeling-fig aux.png

Figure 11. Single strain culture's OD after a number of hours vs the initial concentration of AA in the medium (dilutions 1:X).
The data's best fit is also shown.

The values taken from the fits are

His-  :

      K_dil =     0.3279  
      ODmax =      62.53  
      n =          1.243
 R-square: 0.9376  

Trp-  :

      K_dil =     0.1770
      ODmax =      57.46  
      n =          1.636  
 R-square: 0.9905


The results were then converted to the units chosen for the simulations.

K = K_dil * [AA 1x] # Avog / (Molar mass AA), where [AA 1x] = 0.02 mg/ml

    • K trp= 0.1770 * 5.88e16 AA / ml.
    • K his= 0.3279 * 7.8e16 AA / ml.


  • The competition within a strain and with the other where taken as equal. The system's general carrying capacity taken in the model is the one often used here[ref], in a lab that works with these yeast strains:
    • Cc= 3e7 #cell/ml.


  • The death rate was taken between 3 and 7 days.


  • The rate of “production and export” was given a top value (P_MAX) 1% of the maximum estimated number of elongation events for a yeast cell per hour. Our model does not explicitly include time as a variable, that means that the production is switched ON all the time.
Elongation events (peptidil transferase reactions):  6e6  1 / cell sec [ref]
P_MAX = 2.16e8 1/ cell hour 

These parameters will be regulated experimentally (ε , p) to alter the fraction between populations.

    • p trp = p* ε*2.16e8 AA / cell hour
    • p his = p*2.16e8 AA / cell hour

where p < 1 controls the fraction of the top value and ε the ratio between the export of each amino acid.


  • d is the total number of amino acids in a yeast cell –same as the ones needed to create a daughter -per cell:

d = # A.A. per cell = (mass of protein per yeast cell [ref]) * relative abundance of AA * # Avog / AA's molar mass.


    • d trp= 2.630e7 AA / cell
    • d his= 6.348e8 AA / cell

Appendix

Model : SS solution

1. Nt -> 0

2. Bsas2012-modeling-eqsol1.png

3. Bsas2012-modeling-eqsol3.png

Transformed Model: SS

Steady state

1. Sol2

2. Sol3

3. sol4

4. The model obtained when m=j=1 differs:


However the solutions remain.

References