# Team:Paris/Analysis/Math+Sim

(Difference between revisions)
 Revision as of 14:56, 27 October 2008 (view source)m (→System analysis)← Older edit Latest revision as of 03:18, 30 October 2008 (view source)YannLC (Talk | contribs) (→Oscillations) (39 intermediate revisions not shown) Line 1: Line 1: {{Paris/Menu}} {{Paris/Menu}} -
+ {{Paris/Header|Mathematical Analysis and Simulations}} -
Mathematical analysis and simulations
+ {{Paris/Section_contents_analysis}} -
+ = FIFO = = FIFO = - * In order to go further into the details of mathematical analysis of the FIFO, let us remind you the set of equations used and the corresponding network (note that you can have an explanation on the way they have been built on the [[Team:Paris/Network_analysis_and_design/Core_system/Model_construction|Model Construction]] page): + * In order to go further into the details of mathematical analysis of the FIFO, let us remind you the genetic network that has been designed to produce a First In - First Out behaviour and the result of the corresponding model :

- [[Image:Subsystem1.jpg|400px|left]] + - [[Image:FliA_dynamics.jpg|right]] + [[Image:FIFO.png|400px|left]][[Image:essai_with_fliAbis.jpg|500px|center]] - [[Image:CFP.jpg|right]] + - [[Image:YFP.jpg|right]] + Here is the set of equations used for the numerical simulations, with the parameters found in bibliographical studies (note that you can have an explanation on the way they have been built on the [[Team:Paris/Network_analysis_and_design/Core_system/Model_construction|Model Construction]] page): - [[Image:RFP.jpg|right]] + + [[Image:FliA_dynamics.jpg|center]] + [[Image:CFP.jpg|center]] + [[Image:YFP.jpg|center]] + [[Image:RFP.jpg|center]] where CFP, YFP, and RFP will be denoted below as respectively Z1,Z2 and Z3. where CFP, YFP, and RFP will be denoted below as respectively Z1,Z2 and Z3. We have implemented this system using Matlab (see the [[Team:Paris/Modeling/BOB/Simulations/Codes#FIFO|corresponding codes]]) We have implemented this system using Matlab (see the [[Team:Paris/Modeling/BOB/Simulations/Codes#FIFO|corresponding codes]]) -
-
-
-
-
-
-
-
-
-
* Then, in order to obtain simulations of the expected FIFO behaviour, we set ideal conditions, by imposing flhDC as a step function, equal to one then to zero. * Then, in order to obtain simulations of the expected FIFO behaviour, we set ideal conditions, by imposing flhDC as a step function, equal to one then to zero. Line 31: Line 24: [[Image:FlhDC_Test_FIFO_decresc.jpg|center]] [[Image:FlhDC_Test_FIFO_decresc.jpg|center]] - * We saw during the overall description of the [[Team:Paris/Network_analysis_and_design/Core_system|core system]] that '''without FliA''', the FIFO would presumably not work. We then simulated a first system, where [FliA] stays to zero value to confirm that qualitative conclusion : + * We then simulated a first system, where [FliA] stays to zero value to confirm the qualitative conclusion that '''without FliA''' the FIFO would presumably not work :

- [[Image:essai_without_fliA.jpg|600px|center]]
+ [[Image:essai_without_fliAbis.jpg|600px|center]]
Indeed, we may see that there is a LIFO behavior rather than the FIFO we expect... Indeed, we may see that there is a LIFO behavior rather than the FIFO we expect... - * Then, we simulated the entire system (that means '''with FliA'''), to check if we had + For a qualitative understanding of what is going on with and without FliA : + {{Paris/Toggle|Qualitative reasoning about the FIFO|Team:Paris/FIFO}} + + * The main differences that appear between the entire system (that means '''with FliA''') and the sparse on ('''without FliA'''), are the following : ** the lasting burst due to FliA (more important for Z3 than for Z2, and more important for Z2 than Z1) in the increasing phase. ** the lasting burst due to FliA (more important for Z3 than for Z2, and more important for Z2 than Z1) in the increasing phase. - ** the effect of fliA which maintained the concentrations to their maximum (more important for Z3 than for Z2, and more important for Z2 than Z1) in the decreasing phase. We have obtained the following curves, which are in perfect agreement with the theoretical definition of a 'FIFO' process : + ** the effect of fliA which maintained the concentrations to their maximum (more important for Z3 than for Z2, and more important for Z2 than Z1) in the decreasing phase. We have obtained the following curves, which are in perfect agreement with the theoretical definition of a 'FIFO' process as previously shown. -
+ - [[Image:essai_with_fliA.jpg|600px|center]]
+ * FliA enables the curves to cross, and adds a delay on the genes that are most affected, with gives a better observability of the FIFO behavior. * FliA enables the curves to cross, and adds a delay on the genes that are most affected, with gives a better observability of the FIFO behavior. = Oscillations = = Oscillations = * In addition to the previous FIFO system, we will add a negative feedback on FlhDC promoter to observe oscillations. Thus, we obtained the following network and the corresponding equations (notice that we decide to model in a single arrowthe process through which that EnvZ repress FlhDC): * In addition to the previous FIFO system, we will add a negative feedback on FlhDC promoter to observe oscillations. Thus, we obtained the following network and the corresponding equations (notice that we decide to model in a single arrowthe process through which that EnvZ repress FlhDC): - [[Image:Core_system.jpg|400px|center]] + [[Image:Reseauoscillfinal.png|400px|center]]

[[Image:eqn_flhDC.jpg|center]] [[Image:eqn_flhDC.jpg|center]] Line 61: Line 56:

Nonetheless, there are two questions we could focus on: Nonetheless, there are two questions we could focus on: - * Is it possible to prove theoretically that it will not produce oscillations ? For detailled answers : [[Team:Paris/Network_analysis_and_design/Core_system/Mathematical analysis and simulations/Mathematical_analysis|mathematical analysis]]. + * Is it possible to prove theoretically that it will not produce oscillations ? For detailled answers : - * Does this result depend on the integration methods used ? For more detailled considerations : [[Team:Paris/Network_analysis_and_design/Core_system/Mathematical analysis and simulations/Integration_methods|Impact of integration methods]]. + {{Paris/Toggle|mathematical analysis|Team:Paris/Network_analysis_and_design/Core_system/Mathematical_analysis_and_simulations/Mathematical_analysis}} + * Does this result depend on the integration methods used ? For more detailled considerations : + + {{Paris/Toggle|Impact of integration methods|Team:Paris/integration}} + Finally, the logical continuation of the process will be to try to improve the biological system in order to find oscillations. This will be described in the part below, as well as in the section [[Team:Paris/Network_analysis_and_design/System_improvements|System Improvements]]. Finally, the logical continuation of the process will be to try to improve the biological system in order to find oscillations. This will be described in the part below, as well as in the section [[Team:Paris/Network_analysis_and_design/System_improvements|System Improvements]]. - = System analysis = + = System interactions analysis = - Simulations of the core system displayed above reveal that it does not exhibit an oscillatory behavior. In this section we use the model of the core system to try to figure out the contribution of some key characteristics of the network topology on the dynamic of the system. This analysis is done by successively simulating altered forms of the system. + Simulations of the core system displayed above reveal that it does not exhibit an oscillatory behavior. In this section we use the model of the core system to try to figure out the contribution of some key characteristics of the network topology on the dynamics of the system. This analysis is done by successively simulating altered forms of the system. The following table lists the different forms of the system considered and their respective outcome : The following table lists the different forms of the system considered and their respective outcome : Line 81: Line 80: |- style="background: #dddddd;" |- style="background: #dddddd;" | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system0.png|center|150px]]Core system (without modifications). | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system0.png|center|150px]]Core system (without modifications). - | style=" background: #ffffff; text-align:center;" |[[Image:Core0.png|240px|center]] + | style=" background: #ffffff; text-align:center;" |[[Image:Core0.png|280px|center]] | style=" text-align:center;" |[[Image:orgsad.gif‎]] | style=" text-align:center;" |[[Image:orgsad.gif‎]] | Non oscillating system. | Non oscillating system. |- style="background: #dddddd;" |- style="background: #dddddd;" | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system1.png|center|150px]]Removing the activation of envZ via FlhDC. | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system1.png|center|150px]]Removing the activation of envZ via FlhDC. - | style=" text-align:center;" |[[Image:Core1.png|240px|center]] + | style=" text-align:center;" |[[Image:Core1.png|280px|center]] | style=" text-align:center;" |[[Image:Orgstar.gif]] | style=" text-align:center;" |[[Image:Orgstar.gif]] - | Non oscillating system. Activation of envZ via FlhDC has a negative effect on the presence of oscillations. This interaction creates a 'shortcut' in the loop, diminishing the effect of Flia in the system. This interaction is already low in the core system, its deletion thus has a moderate positive effect. + | Non oscillating system. Activation of envZ via FlhDC has a negative effect on the presence of oscillations. This interaction creates a 'shortcut' in the negative loop, diminishing the delay between FlhDC and EnvZ. Notice that without this shortcut EnvZ increases after Flia. This interaction is already low in the core system, its deletion thus has a moderate positive effect. |- style="background: #dddddd;" |- style="background: #dddddd;" | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system2.png|center|150px]]Removing the auto-activation of flia | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system2.png|center|150px]]Removing the auto-activation of flia - | style=" text-align:center;" |[[Image:Core2.png|240px|center]] + | style=" text-align:center;" |[[Image:Core2.png|280px|center]] |style=" text-align:center;" | [[Image:Orgstar.gif]][[Image:Orgstar.gif]] |style=" text-align:center;" | [[Image:Orgstar.gif]][[Image:Orgstar.gif]] - | Damped oscillations. Auto-activation of Flia slows its dynamic. For oscillations to appear, different species need to have comparable time scales : oscillations are much more easier without Flia auto-activation. + | Damped oscillations. Auto-activation of Flia slows down its dynamics. Without this auto-activation the slope of Flia is similar to the slope of FlhDC. For oscillations to appear, different species need to have comparable time scales : oscillations are much more easier without Flia auto-activation. |- style="background: #dddddd;" |- style="background: #dddddd;" | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system3.png|center|150px]]Enhancing the inhibition of FlhDC via envZ | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system3.png|center|150px]]Enhancing the inhibition of FlhDC via envZ - | style=" text-align:center;" |[[Image:Core5.png|240px|center]] + | style=" text-align:center;" |[[Image:Core5.png|280px|center]] | style=" text-align:center;" |[[Image:Orgstar.gif]] | style=" text-align:center;" |[[Image:Orgstar.gif]] - | Non oscillating system. A stronger inhibition slightly improves the behavior of the system. + | Non oscillating system. This variant consist in decreasing the threshold value of EnvZ above which flhDC is inhibited. A lower threshold slightly improves the behavior of the system. This value of this parameter is unknown and can thus be used as control to obtain oscillations. |- style="background: #dddddd;" |- style="background: #dddddd;" | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system4.png|center|150px]]Combining three modifications all together. | style="background: #D4E2EF; text-align:center;"|[[Image:Core_system4.png|center|150px]]Combining three modifications all together. - | style=" text-align:center;" |[[Image:Core4.png|240px|center]] + | style=" text-align:center;" |[[Image:Core4.png|280px|center]] |style=" text-align:center;" | [[Image:Orgstar.gif]][[Image:Orgstar.gif]][[Image:Orgstar.gif]] |style=" text-align:center;" | [[Image:Orgstar.gif]][[Image:Orgstar.gif]][[Image:Orgstar.gif]] | Damped oscillations with greater amplitude. Combining the three previous variants provides the best possible behavior. | Damped oscillations with greater amplitude. Combining the three previous variants provides the best possible behavior. Line 107: Line 106: - The core system can only provide damped oscillations. In particular, auto-activation of flia and activation of envZ by FlhDC both have serious negative effects on oscillations. But these actions are required for the FIFO behavior of the system. + The core system cannot provide oscillations. Even with the alternatives examined above it can only show damped oscillations. Moreover, despite its negative effects on oscillations, activation of envZ by FlhDC should not be removed as it is required for the FIFO behavior of the system. - + - In the next section, we examine significant topology improvements of the core system that are potentially better for oscillations and that preserve FIFO required interactions. + - + - = Navigator = + + In the [[Team:Paris/Network_analysis_and_design/System_improvements/Description|next section]], we examine significant topology improvements of the core system that are potentially better for oscillations and that preserve FIFO required interactions. -
[[Team:Paris/Network_analysis_and_design/Core_system|Back to the overall presentation of our system and model]]
-
[[Team:Paris/Network_analysis_and_design/Core_system/Mathematical_analysis_and_simulations#FIFO|Top of the page]]
-
[[Team:Paris/Network_analysis_and_design/Core_system/Mathematical_analysis_and_simulations/Mathematical_analysis|Mathematical analysis]] [[Team:Paris/Network analysis and design/Core system/Mathematical analysis and simulations/Integration methods|Effects of integration methods]]
+ {{Paris/Navig|Team:Paris/Analysis}}

## Latest revision as of 03:18, 30 October 2008

Mathematical Analysis and Simulations

# FIFO

• In order to go further into the details of mathematical analysis of the FIFO, let us remind you the genetic network that has been designed to produce a First In - First Out behaviour and the result of the corresponding model :

Here is the set of equations used for the numerical simulations, with the parameters found in bibliographical studies (note that you can have an explanation on the way they have been built on the Model Construction page):

where CFP, YFP, and RFP will be denoted below as respectively Z1,Z2 and Z3. We have implemented this system using Matlab (see the corresponding codes)

• Then, in order to obtain simulations of the expected FIFO behaviour, we set ideal conditions, by imposing flhDC as a step function, equal to one then to zero.

• We then simulated a first system, where [FliA] stays to zero value to confirm the qualitative conclusion that without FliA the FIFO would presumably not work :

Indeed, we may see that there is a LIFO behavior rather than the FIFO we expect...

For a qualitative understanding of what is going on with and without FliA :

↓ Qualitative reasoning about the FIFO ↑

#### Which gene goes were?

• The key element to understand is that fliA stands as an accelerator. The first influence is caused by flhDC, and fliA gives the last burst. fliA also has a great influence in the fading phase, since it introduces a delay. This is what determined our choice in the order of fliL, flgA and flhB. We wanted to put in first the gene that was the least influenced by fliA, and in the end the gene the most influenced by fliA.

• In fact, this enabled us to force the curves into crossing themselves. In addition, the delay imposed by fliA in the decreasing phase, would permit us to widen the delays between the first and the last gene expression, thus getting better conditions to observe the FIFO in the wet lab.
• The main differences that appear between the entire system (that means with FliA) and the sparse on (without FliA), are the following :
• the lasting burst due to FliA (more important for Z3 than for Z2, and more important for Z2 than Z1) in the increasing phase.
• the effect of fliA which maintained the concentrations to their maximum (more important for Z3 than for Z2, and more important for Z2 than Z1) in the decreasing phase. We have obtained the following curves, which are in perfect agreement with the theoretical definition of a 'FIFO' process as previously shown.
• FliA enables the curves to cross, and adds a delay on the genes that are most affected, with gives a better observability of the FIFO behavior.

# Oscillations

• In addition to the previous FIFO system, we will add a negative feedback on FlhDC promoter to observe oscillations. Thus, we obtained the following network and the corresponding equations (notice that we decide to model in a single arrowthe process through which that EnvZ repress FlhDC):

If you want more details about the way we have built them, you can go to the model construction page.

If one tries to draw simulations of this system, he will obtain this kind of results :

In a nutshell : It does not work !
Nonetheless, there are two questions we could focus on:

• Is it possible to prove theoretically that it will not produce oscillations ? For detailled answers :
↓ mathematical analysis ↑

### Understanding the dynamics

• Theory introduction

The classical approach consists in finding the equilibrium state, by setting

Then, we evaluate the jacobian matrix, so as to put the system under its linearized form:

Where [EnvZ]* represents the equilibirum state of [EnvZ] and :

which gives :

Then, we want to find the eigenvalues of the jacobian matrix, because they make us understand the behavior of the system. Here is the theoretical explanation :

The λ and γ coefficients make the convergence. In our case they are negative terms, which explains the fact that we have a quick convergence for the system. Ideally, it could be convenient to find which parameter influence this coefficient, so as to play with it and be able to propose a better control of the convergence.
The μ coefficient is responsible for the oscillations. In fact, in another base, with only real matrix, this would beget cosinuses and sinuses terms. Furthermore, it is strongly linked to the period of the oscillations.

• What about the periods
We can evaluate a value of the period we would have obtained without damping. Indeed, we have:
With the parameters presented in the array before, we have evaluated the equilibrium values by solving

We obtained three solutions :

-0.2382 - 0.6139i

-0.2382 + 0.6139i

0.4764

We are only interested in positive real solutions. We can note that 0.4764 corresponds well to the experimental equilibrium value. Then we evaluated the eigenvalues for the jacobian :

-1.0159 + 0.5042i

-1.0159 - 0.5042i

-0.1111

We can note that the λ and γ coefficient are negative, which corroborates the fact that we obtain a convergence.

Finally for
since μ=0.5042 we find a theoretical period of Ttheoretical=12.4617.
• Understanding the attenuation

Furthermore, this theoretical study helps us understand that reducing the attenuation is tough. In fact, whatever the base in which you consider a matrix, the trace is conserved. Here, we obtain :

Since λ and γ are assumed (thanks to simulations) to be negative, we cannot avoid to have their sum to be (with absolute value) superior to 2. The only chance we have would be that the weight goes in the λ parameter because this parameter plays a role in the third dimension, in which we are not interested. However, for every simulation we made, we found the opposite. Trying to evaluate with non-numerical calculus does not provide relevant material.

However, we now know that βFliA influences the attenuation. We ran a simulation with βFliA=0.02

This confirms what we saw previously. In this second case, the system is therefore less attenuated, and some very tiny damped oscillations can be observed.

Last but not least, one should not forget that we chose a normalized interpretation of the system. Thus, even though the attenuation phenomenon remains unchanged, the tiny oscillations we see may indeed be observable.

• Does this result depend on the integration methods used ? For more detailled considerations :
↓ Impact of integration methods ↑

### Impact of simulation methods

This section wil just be made of some simulations to show the influence of the solver used. Indeed, when it comes to detect oscillations, some weird phenomenon can just be produced by simulation algorithms' aterfact. We have just obtained the following curves for the same initial system of ODEs.

• Numerical simulations with Euler algorithm

(The second picture is just a zoom, as defined by the red box)

• Numerical simulations with variable-step methods

(The second picture is just a zoom, as defined by the red box)

One can notice that some oscillations seem to occur in the second case, which is not the case in simulations made with constant step. Therefore, the precise tuning of the algorithm used have to be undertaken in order to avoid false detection of oscillations.

Finally, the logical continuation of the process will be to try to improve the biological system in order to find oscillations. This will be described in the part below, as well as in the section System Improvements.

# System interactions analysis

Simulations of the core system displayed above reveal that it does not exhibit an oscillatory behavior. In this section we use the model of the core system to try to figure out the contribution of some key characteristics of the network topology on the dynamics of the system. This analysis is done by successively simulating altered forms of the system.

The following table lists the different forms of the system considered and their respective outcome :

 Description Simulation Evaluation Interpretation Core system (without modifications). Non oscillating system. Removing the activation of envZ via FlhDC. Non oscillating system. Activation of envZ via FlhDC has a negative effect on the presence of oscillations. This interaction creates a 'shortcut' in the negative loop, diminishing the delay between FlhDC and EnvZ. Notice that without this shortcut EnvZ increases after Flia. This interaction is already low in the core system, its deletion thus has a moderate positive effect. Removing the auto-activation of flia Damped oscillations. Auto-activation of Flia slows down its dynamics. Without this auto-activation the slope of Flia is similar to the slope of FlhDC. For oscillations to appear, different species need to have comparable time scales : oscillations are much more easier without Flia auto-activation. Enhancing the inhibition of FlhDC via envZ Non oscillating system. This variant consist in decreasing the threshold value of EnvZ above which flhDC is inhibited. A lower threshold slightly improves the behavior of the system. This value of this parameter is unknown and can thus be used as control to obtain oscillations. Combining three modifications all together. Damped oscillations with greater amplitude. Combining the three previous variants provides the best possible behavior.

The core system cannot provide oscillations. Even with the alternatives examined above it can only show damped oscillations. Moreover, despite its negative effects on oscillations, activation of envZ by FlhDC should not be removed as it is required for the FIFO behavior of the system.

In the next section, we examine significant topology improvements of the core system that are potentially better for oscillations and that preserve FIFO required interactions.