Archive for the ‘mathematical biology’ Category

Models for photosynthesis, part 2

May 22, 2015

In my previous post on this subject I discussed the question of the status of the variables in the Poolman model of photosynthesis and in the end I was convinced that I had understood which concentrations are to be considered as dynamical unknowns and which as constants. The Poolman model is a modified version of the Pettersson model and the corresponding questions about the nature of the variables have the same answers in both cases. What I am calling the Pettersson model was introduced in a paper of Pettersson and Ryde-Pettersson (Eur. J. Biochem 175, 661) and there the description of the variables and the equations is rather complete and comprehensible. Now I will go on to consider the second question raised in the previous post, namely what the evolution equations are. The evolution equations in the Poolman model are modifications of those in the Pettersson model and are described relative to those in the original paper on the former model. For this reason I will start by describing the equations for the Pettersson model. As a preparation for that I will treat a side issue. In a reaction network a reaction whose rate depends only on the concentrations of the substances consumed in the reaction is sometimes called NAC (for non-autocatalytic). For instance this terminology is used in the paper of Kaltenbach quoted in the previous post. The opposite of NAC is the case where the reaction rate is modulated by the concentrations of other substances, such as activators or inhibitors.

The unknowns in the Pettersson model are concentrations of substances in the stroma of the chloroplast. The substances involved are 15 carbohydrates bearing one or more phosphate groups, inorganic phosphate and ATP, thus 17 variables in total. In addition to ordinary reactions between these substances there are transport processes in which sugar phosphates are moved from the stroma to the cytosol in exchange for inorganic phosphate. For brevity I will also refer to these as reactions. The total amount of phosphate in the stroma is conserved and this leads to a conservation law for the system of equations, a fact explicitly mentioned in the paper. On the basis of experimental data some of the reactions are classified as fast and it is assumed that they are already at equilibrium. They are also assumed to be NAC and to have mass-action kinetics. This defines a set of algebraic equations. These are to be used to reduce the 17 evolution equations which are in principle there to five equations for certain linear combinations of the variables. The details of how this is done are described in the paper. I will now summarize how this works. The time derivatives of the 16 variables other than inorganic phosphate are given in terms of linear combinations of 17 reaction rates. Nine of these reaction rates, which are not NAC, are given explicitly. The others have to be treated using the 11 algebraic equations coming from the fast reactions. The right hand sides F_i of the five evolution equations mentioned already are linear combinations of those reaction rates which are given explicitly. These must be expressed in terms of the quantities whose time derivatives are on the left hand side of these equations, using the algebraic equations coming from the fast reactions and the conservation equation for the total amount of phosphate. In fact all unknowns can be expressed in terms of the concentrations of RuBP, DHAP, F6P, Ru5P and ATP. Call these quantities s_i. Thus if the time derivatives of the s_i can be expressed in terms of the F_i we are done. It is shown in the appendix to the paper how a linear combination of the time derivatives of the s_i with coefficients only depending on the s_i is equal to F_i. Moreover it is stated that the time derivatives of the s_i can be expressed in terms of these linear combinations.

Consider now the Poolman model. One way in which it differs from the Pettersson model is that starch degradation is included. The other is that while the kinetics for the ‘slow reactions’ (i.e. those which are not classified as fast in the Pettersson model) are left unchanged, the equilibrium assumption for the fast reactions is dropped. Instead the fast reactions are treated as reversible with mass action kinetics. In the thesis of Sergio Grimbs (Towards structure and dynamics of metabolic networks, Potsdam 2009) there is some discussion of the models of Poolman and Pettersson. It is investigated whether information about multistability in these models can be obtained using ideas coming from chemical reaction network theory. Since the results from CRNT considered require mass action kinetics it is implicit in the thesis that the systems are being considered which are obtained by applying mass action to all reactions in the networks for the Poolman and Pettersson models. These systems are therefore strictly speaking different from those of Pettersson and Poolman. In any case it turned out that these tools were not useful in this example since the simplest results did not apply and for the more complicated computer-assisted ones the systems were too large.

In the Pettersson paper the results of computations of steady states are presented and a comparison with published experimental results looks good in a graph presented there. So whay can we not conclude that the problem of modelling the dynamics of the Calvin cycle was pretty well solved in 1988? The paper contains no details on how the simulations were done and so it is problematic to repeat them. Jablonsky et. al. set up simulations of this model on their own and found results very different from those reported in the original paper. In this context the advantage of the Poolman model is that it has been put into the BioModels database so that the basic data is available to anyone with the necessary experience in doing simulations for biochemical models. Forgetting the issue of the reliability of their simulations, what did Petterson and Ryde-Pettersson find? They saw that depending on the external concentration of inorganic phosphate there is either no positive stationary solution (for high values of this parameter) or two (for low values) with a bifurcation in between. When there are two stationary solutions one is stable and one unstable. It looks like there is a fold bifurcation. There is a trivial stationary solution with all sugar concentrations zero for all values of the parameter. When the external phosphate concentration tends to zero the two positive stationary solutions coalesce with the trivial one. The absence of positive stationary solutions for high phosphate concentrations is suggested to be related to the concept of ‘overload breakdown’. This means that sugars are being exported so fast that the production from the Calvin cycle cannot keep up and the whole system breaks down. It would be nice to have an analytical proof of the existence of a fold bifurcation for the Pettersson model but that is probably very difficult to get.

Models for photosynthesis

May 15, 2015

Photosynthesis is a process of central importance in biology. There is a large literature on modelling this process. One step is to identify networks of chemical reactions involved. Another is to derive mathematical models (usually systems of ODE) from these networks. Here when I say ‘model’ I mean ‘mathematical model’ and not the underlying network. In a paper by Jablonsky et. al. (BMC Systems Biology 5: 185) existing models are surveyed and a number or errors and inconsistencies in the literature are pointed out. This reminded me of the fact that a widespread problem in the biological literature is that the huge amount of data being generated these days contains very many errors. Here I want to discuss some issues related to this, concentrating on models for the Calvin cycle of photosynthesis and, in particular, on what I will call the Poolman model.

A point which might seem obvious and trivial to the mathematician is that a description of a mathematical model (I consider here only ODE models) should contain a clear answer to the following two questions. 1) What are the unknowns? 2) What are the evolution equations? One source of ambiguity involved in the first question is the impossibility of modelling everything. It is usually unreasonable to model a whole organism although this has been tried for some simple ones. Even if it were possible, the organism is in interaction with other organisms and its environment and these things cannot also be included. In practise it is necessary to fix a boundary of the system we want to consider and cut there. One way of handling the substances outside the cut in a mathematical model is to set their concentrations to constant values, thus implicitly assuming that to a good approximation these are not affected by the dynamics within the system. Let us call these external species and the substances whose dynamics is included in the model internal species. Thus part of answering question 1) is to decide on which species are to be treated as internal. In this post I will confine myself to discussing question 1), leaving question 2) for a later date.

Suppose we want to answer question 1) for a model in the literature. What are potential difficulties? In biological papers the equations (and even the full list of unknowns) are often banished to the supplementary material. In addition to being less easy to access and often less easy to read (due to typographical inferiority) than the main text I have the feeling that this supplementary material is often subjected to less scrutiny by the referees and by the authors, so that errors or incompleteness can occur more easily. Sometimes this information is only contained in some files intended to be read by a computer rather than a human being and it may be necessary to have, or be able to use, special software in order to read them in any reasonable way. Most of these difficulties are not absolute in nature. It is just that the mathematician embarking on such a process should ideally be aware of some of the challenges awaiting him in advance.

How does this look in the case of the Poolman model? It was first published in a journal in a paper of Poolman, Fell and Thomas (J. Exp. Botany, 51, 319). The reaction network is specified by Fig. 1 of the paper. This makes most of the unknowns clear but leaves the following cases where something more needs to be said. Firstly, it is natural to take the concentration of ADP to be defined implicitly through the concentration of ATP and the conservation of the total amount of adenosine phosphates. Secondly, it is explictly stated that the concentrations of NADP and NADPH are taken to be constant so that these are clearly external species. Presumably the concentration of inorganic phosphate in the stroma is also taken to be constant, so that this is also an external variable, although I did not find an explicit statement to this effect in the paper. The one remaining possible ambiguity involves starch – is it an internal or an external species in this model? I was not able to find anything directly addressing this point in the paper. On the other hand the paper does refer to the thesis of Poolman and some internet resources for further information. In the main body of the thesis I found no explicit resolution of the question of external phosphate but there it does seem that this quantity is treated as an external parameter. The question of starch is particularly important since this is a major change in the Poolman model compared to the earlier Pettersson model on which it is based and since Jablonsky et. al. claim that there is an error in the equation describing this step. It is stated in the thesis that ‘a meaningful concentration cannot be assigned to’ … ‘the starch substrate’ which seems to support my impression that the concentration of starch is an external species. Finally a clear answer confirming my suppositions above can be found in Appendix A of the thesis which describes the computer implementation. There we find a list of variables and constants and the latter are distinguished by being preceded by a dollar sign. So is there an error in the equation for starch degradation used in the Poolman model? My impression is that there is not, in the sense that the desired assumptions have been implemented successfully. The fact that Jablonsky et. al. get the absurd result of negative starch concentrations is because they compute an evolution for starch which is an external variable in the Poolman model. What could be criticised in the Poolman model is that the amount of starch in the chloroplast varies a lot over the course of the day. Thus a model with starch as an external variable could only be expected to give a good approximation to reality on timescales much shorter than one day.

The species-reaction graph

May 14, 2015

In the study of chemical reaction networks important features of the networks are often summarised in certain graphs. Probably that most frequently used is the species graph (or interaction graph), which I discussed in a previous post. The vertices are the species taking part in the network and the edges are related to the non-zero entries of the Jacobian matrix of the vector field defining the dynamics. Since the Jacobian matrix depends in general on the concentrations at which it is evaluated there is a graph (the local graph) for each set of values of the concentrations. Sometimes a global graph is defined as the union of the local graphs. A sign can be attached to each edge of the local graph according to the sign of the corresponding partial derivative. In the case, which does occur quite frequently in practise, that the signs of the partial derivatives are independent of the concentrations the distinction between local and global graphs is not necessary. In the general case a variant of the species graph has been defined by Kaltenbach (arXiv:1210.0320). In that case there is a directed edge from vertex i to vertex j if there is any set of concentrations for which the corresponding partial derivative is non-zero and instead of being labelled with a sign the edge is labelled with a function, namely the partial derivative itself.

Another more complicated graph is the species-reaction graph or directed species-reaction graph (DSR graph). As explained in detail by Kaltenbach the definition (and the name of the object) are not consistent in the literature. The species-reaction graph was introduced in a paper of Craciun and Feinberg (SIAM J. Appl. Math. 66, 1321). In a parallel development which started earlier Mincheva and Roussel (J. Math. Biol. 55, 61) developed results using this type of graph based on ideas of Ivanova which were little known in the West and for which published proofs were not available. In the sense used by Kaltenbach the DSR graph is an object closely related to his version of the interaction graph. It is a bipartite graph (i.e. there are two different types of vertices and each edge connects a vertex of one type with a vertex of the other). In the DSR graph the species define vertices of one type and the reactions the vertices of the other type. There is a directed edge from species i to reaction j if species i is present on the LHS of reaction j. There is a directed edge from reaction i to species j if the net production of species j in reaction i is non-zero. The first type of edge is labelled by the partial derivative of flux j with respect to species i. The second type is labelled by the corresponding stoichiometric coefficient. The DSR graph determines the interaction graph. The paper of Soliman I mentioned in a recent post uses the DSR graph in the sense of Kaltenbach.

A type of species-reaction graph has been used in quite a different way by Angeli, de Leenheer and Sontag to obtain conditions for the montonicity of the equations for a network written in reaction coordinates.

Systems and synthetic biology in Strasbourg

March 26, 2015

This past week I was at a conference entitled ‘Advances in Systems and Synthetic Biology’ in Strasbourg. The first talk was by Albert Goldbeter and anyone who has read many of the posts on my blog will realize that I went there with high expectations. I was not disappointed. It was a broad talk with the main examples being glycolysis, circadian rhythms and the cell cycle. A lot of the things he talked about were already rather familiar. It was nevertheless rewarding to hear the inside story. There were also enough themes in the talk which were quite new to me. For instance he mentioned that oscillations have been observed in red blood cells, where transcription is ruled out. I enjoyed listening to him, perhaps even more than I did reading his book. Another talk on Monday was by Jacques Demongeot. I am sure that he is a brilliant, versatile and highly knowledgeable person. Unfortunately he made no concessions in his talk for the benefit of non-experts. He jumped into the talk without saying where it was going and I did not have the background knowledge to be able to supply that information on my own. I felt as if I was flattened by a blast wave of information and unfortunately I understood essentially nothing.

The first talk on Tuesday was by Nicolas Le Novère and it had to do with engineering-type approaches to molecular biology. This is very far from my world but gave me some fascinating glimpses as to how this kind of thing works. Incidentally, I found out that Le Novère has a blog with a number of contributions which I found enlightening. The next talk was by François Fages and was focussed on computer science issues. It nevertheless contained more than one aspect which I found very interesting. At this point I should give some background. There are influential ideas on the relation of feedback loops to the qualitative behaviour of the solutions of dynamical systems due to René Thomas. They have been developed over many years by several people and a number of them are at this conference (El Houssine Snoussi, Marcelle Kaufman, Jacques Demongeot) and today I attended a tutorial held by Gilles Bernot on related themes. The basic idea is ‘positive feedback loops are necessary for bistability, negative feedback loops for periodic solutions’. I will not get into this more deeply here but I will just mention that some of the conjectures of Thomas have been made into theorems over the years. For instance a rather definitive version of the result on multistability was proved by Christophe Soulé. In his talk Fages mentioned a recent generalization of this result due to Sylvain Soliman. In the past I had the suspicion that the interest of the conjectures of Thomas was severely limited by the fact that the hypotheses rule out certain configurations which are very widespread in reaction networks of practical importance. It seemed to me that Fages made exactly this point and was saying that the improved results of Soliman overcome this difficulty. I must go into the matter in more detail as soon as I have time. Another point mentioned in the talk was an automated way to find siphons. This is a concept in reaction networks which I should know more about and I have the impression that in a couple of cases I have discovered these objects in examples without realizing that they were instances of this general concept.

On Wednesday there was an extended presentation by Oliver Ebenhöh. One speaker had cancelled and Oliver extended his presentation to fill the resulting extra time. I felt that listening to the presentation was time well spent and I did not feel my attention waning. He explained many things related to plant science and, in particular, the use of starch by plants. One key topic was the way in which a particular enzyme acts on chains of glucose monomers (generalization of maltose, which is the case of two units). It creates a kind of maximal entropy distribution of different lengths. The talk presented both a theoretical analysis and precise experimental results. The theoretical part involved an application of elementary thermodynamic ideas. I liked this and it brought me to a realization about my relation to physics. In the past I have been exposed to too much theoretical physics of a very pure kind, remote from applications to phenomena close to everyday life. It was refreshing to see basic physical ideas being applied in a down to earth way to the analysis of real experiments, in this case in biology.

In his talk on Thursday Joel Bader talked about his work on engineering yeast in such a way as to find out which combinations of genes are essential for survival. The aim is to look for a kind of minimal genome within yeast. One of the techniques of gathering information is to do a random recombination using a Cre-Lox system and looking to see which of the mutants produced are viable. The analysis of these experiments leads to consideration of self-avoiding or non-self-avoiding random walks and at this point I had a strange feeling of deja vu. A few weeks ago I gave a talk in the Hausdorff colloquium in Bonn. In this event two speakers are invited on one afternoon and their themes are not necessarily correlated. On the day I was there the other speaker was Hugo Duminil-Copin and he was talking about self-avoiding random walks, a topic which I knew very little about. Now I was faced with (at least superficially) similar ideas in the context of DNA recombination. At the end of his talk Bader spent a few minutes on a quite different topic, namely bistability in the state of M. tuberculosis. I would have liked to have heard more about that. He is collaborating on this together with Denise Kirschner whose work on modelling tuberculosis I have discussed in a previous post.

This meeting had the advantages of relatively small conferences (in this case of the order of 50 participants) and has served the purpose of opening new perspectives for me.

SIAM Conference on the Life Sciences in Charlotte

August 7, 2014

This week I have been attending the SIAM Conference on the Life Sciences in Charlotte. Here I want to mention some highlights from my personal point of view. First I will mention some of the plenary talks. John Rinzel talked about mathematical modelling of certain perceptual phenomena. We are all familiar with the face-vase picture which switches repeatedly between two forms. I had never considered the question of trying to predict how often the picture switches. Rinzel presented models for this and for other related auditory phenomena which he demonstrated in the lecture. I find it remarkable that such apparently subjective phenomena can be brought into such close connection with precise mathematical models. Kristin Swanson talked about her work on modelling the brain cancer known as glioma and its various deadly forms. I had heard her talk on the same theme at the meeting of the Society for Mathematical Biology in Dundee in 2003. Of course there has been a lot of progress since then. This was long before I started this blog but if the blog had existed I would certainly have written about the topic. I will not try to resurrect the old stories from that distant epoch. Instead I will just say that Kristin is heavily involved in using computer simulations to optimize the treatment (surgery, radiotherapy, chemotherapy) of individual patients. One of the main points in her talk this week is that it seems to be possible to divide patients into two broad categories (with nodular or diffuse growth of the tumour) and that this alone may have important implications for therapeutic decisions. Oliver Jensen talked about a multiscale model for predicting plant growth, for instance the way in which a root manages to sense gravity and move downwards. This involves some very sophisticated continuum mechanics which the speaker illustrated by everyday examples in a very effective and sometimes humorous way. The talk was both impressive and entertaining. Norman Mazer talked about the different kinds of cholesterol (LDL, HDL etc.). According to what he said lowering LDL levels is an effective means for avoiding risks of cardiovascular illness but the alternative strategy of raising HDL levels has not been successful. He explained how mathematical modelling can throw light on this phenomenon. My understanding is that the link between high HDL level and lower cardiovascular risks is a correlation and not a sign of a causal influence of HDL level on risk factors. The last talk was by James Collins, a pioneer of synthetic biology. The talk was full of good material, both mathematical and non-mathematical. Maybe I should invest some time into learning about that field.

There was one very interesting subject which was not the subject of a talk at the conference (at least not of one I heard – it was briefly referred to in the talk of Collins mentioned above) but was a subject of conversation. It is a paper called ‘Paradoxical Results in Perturbation-Based Signaling Network Reconstruction’ by Sudhakaran Prabakaran, Jeremy Gunawardena and Eduardo Sontag which appeared in Biophys. J. 106, 2720. It suggests that the ways in which biologists deduce the influence of substances on each other on the basis of experiments are quite problematic. The mathematical content of the paper is rather elementary but its consequences for the way in which theoretical ideas are applied in biology may be considerable. The system studied in the paper is an in vitro reconstruction of part of the MAP kinase cascade and so not so far from some of my research.

Among the parallel sessions those which were most relevant for me were one entitled ‘Algebra in the Life Sciences’ and organized by Elisenda Feliu, Nicolette Meshkat and Carsten Wiuf and one called ‘Developments in the Mathematics of Biochemical Reaction Networks’ organized by Casian Pantea and Maya Mincheva. My talk was in the second of these. These sessions were very valuable for me since they allowed me to meet a considerable number of people working in areas close to my own research interests, including several whose papers were well known to me but whom I had never met. I think that this will bring me to a new level in my work in mathematical biology due to the various interactions which took place. I will not discuss the contents of individual talks here. It is rather the case that what I learned form them will flow into my research effort and hence indirectly influence future posts in this blog. I feel that this conference has gained me entrance into a (for me) new research community which could be the natural habitat for my future research. I am very happy about that. The whole conference was an enjoyable and stimulating experience for me. I noticed no jet lag at all but I must be suffering from a lack of sleep due to the fact that the many things going on here just did not leave me the eight hours of sleep per night I am used to.

 

 

Breaking waves in Madrid

July 19, 2014

Last week I was at the 10th AIMS Conference on Dynamical Systems, Differential Equations and Applications in Madrid. It was very large, with more than 2700 participants and countless parallel sessions. This kind of situation necessarily generates a somewhat hectic atmosphere and I do not really like going to that type of conference. I have heard the same thing from many other paople. There is nevertheless an advantage, namely the possibility of meeting many people. To do this effectively it is necessary to proceed systematically since it is easy to go for days without seeing a particular person of interest. This aspect was of particular importance for me since I am still at a relatively early stage in the process of entering the field of mathematical biology and I have few contacts there in comparison to my old field of mathematical relativity. In any case, the conference allowed me to meet a lot of interesting people and learn a lot of interesting things.

The first plenary talk, by Charles Fefferman, was on a subject related to a topic I was interested in many years ago. I learned that a lot has happened since I last thought about this. The attempt to model a body of fluid with a free surface leads to considerable mathematical difficulties. When I started working on dynamical models for this kind of situation few people seemed to be interested in proving theorems on the subject. The source of my interest in the subject was the influence of Jürgen Ehlers, who always had a clear vision of what were the important problems. In this way I found myself in the position of a pioneer in a certain research area. Being in that situation has the advantage of not being troubled by strong competition. On the other hand it can also mean that whatever you achieve can be largely ignored and it is not the best way to get wide recognition. Often finishing mathematical research directions gets more credit than starting them. This could no doubt be compensated by suitable advertizing but that was never my strong point. This is a configuration which I have often found myself in and in fact, comparing advantages and disadvantages, I do not feel I need to change it. Coming back to the fluids with free surface, this is now a hot topic and played a prominent role at the conference. When I was working on this the issue of local existence in the case of inviscid fluids was still open. A key step was the work of Sijue Wu on water waves. I learned from the talk of Fefferman that this has been extended in the meantime to global existence for small data. The question which is now the focus of interest is formation of singularities (i.e. breakdown of classical solutions) for large data. Instead of considering the breaking of one wave the idea is to consider two waves which are approaching each other while turning over until they meet. There are already analytical results on parts on this process by Fefferman and collaborators and they plan to extend this to a more global picture by using a computer-assisted proof. Another plenary was by Ingrid Daubechies, who talked about applications of image processing to art history. I must admit that beforehand the theme did not appear very attractive to me but in fact the talk was very entertaining and I am glad I went to hear it.

I gave a talk on my recent work with Juliette Hell on the MAPK cascade in a session organized by Bernold Fiedler and Atsushi Mochizuki. I found the session very interesting and the highlight for me was Mochizuki’s talk on his work with Fiedler. The subject is how much information can be obtained about a network of chemical reactions by observing a few nodes, i.e. by observing a few concentrations. What I find particularly interesting are the direct connections to biological problems. Applied to the gene regulatory network of an ascidian (sea squirt) this theoretical approach suggests that the network known from experimental observations is incomplete and motivates searching for the missing links experimentally. Among the many other talks I heard at the conference, one which I found particularly impressive concerned the analysis of successive MRT pictures of patients with metastases in the lung. The speaker was using numerical simulations with these pictures as input to provide the surgeon with indications which of the many lesions present was likely to develop in a dangerous way and should therefore be removed. One point raised in the talk is that it is not really clear what information about the tissue is really contained in an MRT picture and that this could be an interesting mathematical problem in itself. In fact there was an encouragingly (from my point of view) large number of sessions and other individual talks at the conference on subjects related to mathematical biology.

The conference took place on the campus of the Universidad Autonoma somewhat outside the city. A bonus for me was hearing and seeing my first bee-eater for many years. It was quite far away (flying high) but it gave me real pleasure. I was grateful that the temperatures during the week were very moderate, so that I could enjoy walking through the streets of Madrid in the evening without feeling disturbed by heat or excessive sun.

The Higgins-Selkov oscillator

May 14, 2014

In a previous post I wrote about glycolytic oscillations and mentioned a mathematical model for them, the Higgins-Selkov oscillator. Higgins introduced this as a chemical model while Selkov also wrote about some mathematical aspects of modelling this system. When I was preparing my course on dynamical systems I wanted to present an example where the existence of periodic solutions can be concluded by using the existence of a confined region in a two-dimensional system and Poincare-Bendixson theory. An example which is frequently treated in textbooks is the Brusselator and I wanted to do something different. I decided to try the Higgins-Selkov oscillator. Unfortunately I came up against difficulties since that model has unbounded solutions and it is hard to show that there are any bounded solutions except a stationary solution which can be calculated explicitly. For the purposes of the course I went over to considering the Schnakenberg model, a modification of the Higgins-Selkov oscillator where it is not hard to see that all solutions are bounded.

More recently I decided to try to finally find out what happens with the Higgins-Selkov oscillator itself. Reading Selkov’s paper I originally had the impression that he had proved the essential properties of the solutions. This turned out to be mistaken. One obstacle for me was that Selkov cited a theorem from a famous Russian textbook of Andronov et. al. and I did not know what the theorem was. An English translation of the book exists in the university library here but since Selkov only cites a page number I did not know how to find the theorem. I was able to get further when Jan Fuhrmann got hold of a copy of the page in question from the Russian original. This page has an easily identifiable picture on it and this allowed me to identify the corresponding page of the English translation and hence the theorem. I found that, as far as it is applicable to the oscillator problem this was something I could prove myself by a simple centre manifold argument. Thus I realized that the results quoted by Selkov only resolve some of the simpler issues in this problem.

At this stage I decided to follow the direction pointed out by Selkov on my own. The first stage, which can be used to obtain information about solutions which tend to infinity, is to do a Poincare compactification. This leads to a dynamical system on a compact subset of Euclidean space. In general it leads to the creation of new stationary points on the boundary which are not always hyperbolic. In this particular example two new stationary points are created. One of these has a one-dimensional centre manifold and it is relatively easy to determine its qualitative nature. This is what Selkov was quoting the result of Andronov et. al. for. The other new stationary solution is more problematic since the linearization of the system at that point is identically zero. More information can be obtained by transforming to polar coordinates about that point. This creates two new stationary points. One is hyperbolic and hence unproblematic. The linearization about the other is identically zero. Passing to polar coordinates about that point creates three new stationary points. One of them is hyperbolic while the other two have one-dimensional centre manifolds. The process comes to an end. When trying this kind of thing in the past I was haunted by the nightmare that the process would never stop. Is there a theorem which forbids that? In any case, in this example it is possible to proceed in this way and determine the qualitative behaviour near all points of the boundary. The problem is that this does not seem to help with the original issue. I see no way in which, even using all this information, it is possible to rule out that every solution except the stationary solution tends to infinity as t tends to infinity.

Given that this appeared to be a dead end I decided to try an alternative strategy in order to at least prove that there are some parameter values for which there exists a stable periodic solution. It is possible to do this by showing that a generic supercritical Hopf bifurcation occurs and I went to the trouble of computing the Lyapunov coefficient needed to prove this. I am not sure how much future there is for the Higgins-Selkov oscillator since there are more modern and more complicated models for glycolysis on the market which have been studied more intensively from a mathematical point of view. More information about this can be found in a paper of Kosiuk and Szmolyan, SIAM J. Appl. Dyn. Sys. 10, 1307.

Finally I want to say something about the concept of feedback, something I find very confusing. Often it is said in the literature that oscillations are related to negative feedback. On the other hand the oscillations in glycolysis are often said to result from positive feedback. How can this be consistent? The most transparent definition of feedback I have seen is the one from a paper of Sontag which I discussed in the context of monotone systems. In that sense the feedback in the Higgins-Selkov oscillator is definitely negative. An increase in the concentration of the substrate leads to an increase in the rate of production of the product. An increase in the concentration of the product leads to an increase of the rate of consumption of the substrate. The combination of a positive and a negative sign gives a negative loop. The other way of talking about this seems to be related to the fact that an increase in the concentration of the product leads to an increase in the reaction rate between substrate and product. This is consistent with what was said before. The difference is what aspects of the system are being regarded as cause and effect, which can lead to a different assignment of the labels positive and negative. The problem as I see it is that feedback is frequently invoked but rarely defined, with the implicit suggestion that the definition should be obvious to anyone with an ounce of understanding. I seem to be lacking that ounce.

Proofs of dynamical properties of the MAPK cascade

April 3, 2014

The MAP kinase cascade, which I mentioned in a previous post, is a biochemical network which has been subject to a lot of theoretical and experimental study. Although a number of results about mathematical models for this network have been proved, many widely accepted results are based on numerical and/or heuristic approaches. Together with Juliette Hell we set out to extend the coverage of rigorous results in this area. Our first results on this can be found in a paper we just posted on q-bio.

The system of equations which is fundamental for this work is that of Huang and Ferrell discussed in my previous post on the subject. I call it the MM-MA system (for Michaelis-Menten via mass action). When this system can be reduced to a smaller system by means of a quasistationary approximation the result will be called the MM system (for Michaelis-Menten) (cf. this post). With a suitable formulation the MM system is a singular limit of the MM-MA system. The MAPK cascade consists of three coupled layers. The first main result of our paper concerns the dual futile cycle, which can be thought of as the second layer of the cascade in isolation (cf. this post). We proved that the MM system for the dual futile cycle exhibits a generic cusp bifurcation and hence that for suitable values of the parameters there exist two different stable stationary solutions (bistability). Using the fact that this system is a singular limit of the system arising from the MM-MA description of the same biological system we then used geometric singular perturbation theory (cf. this post) to conclude that the MM-MA system also shows bistability.

The second main result concerns the system obtained by truncating that of Huang-Ferrell by keeping only the first two layers. It is subtle to find a useful quasistationary approximation for this system and we were put on the right track by a paper of Ventura et. al. (PLoS Comp. Biol. 4(3):e1000041). This allowed us to obtained an MM system which is a limit of the MM-MA system in a way which allows geometric singular perturbation theory to be applied. This leads to the following relative statement: if the MM system for the truncated MAPK cascade has a hyperbolic periodic solution then the same is true for the MM-MA system. To get an absolute statement it remains to prove the existence of periodic solutions of the MM system, which in this case is of dimension three. That there are solutions of this kind is indicated by numerical work of Ventura et. al.

The Hopf-Hopf bifurcation and chaos in ecological systems

February 11, 2014

This post arises from the fact that there seems to be some constructive interference between various directions I am pursuing at the moment. The first has to do with the course on dynamical systems I just finished giving. This course was intended not only to provide students in Mainz with an extended introduction to the subject but also to broaden my own knowledge. I wrote lecture notes for this in German and having gone to the effort of producing this resource I thought I should translate the notes into English so as to make them more widely available. The English version can be found here. Both versions are on the course web page. The second thing is that I will be organizing a seminar on bifurcation theory next semester and I want it to achieve a wide coverage, even at the risk that its waters, being broad, may be shallow (this is paraphrase of a quote I vaguely remember from Nietzsche). The connections between these two things are that I treated simple bifurcation theory and a little chaos in the course and that going further into the landscape of bifurcations necessarily means that at some point chaos rears its ugly head. The third thing is the fact that it has been suggested that the MAPK cascade, a dynamical system I am very interested in from the point of view of my own research, may exhibit chaotic behaviour, as described in a paper of Zumsande and Gross (J. Theor. Biol. 265, 481). This paper attracted my attention when it appeared on arXiv but it is only now that I understood some of the underlying ideas and, in particular, that the Hopf-Hopf bifurcation plays a central role. This in turn led me to a paper by Stiefs et. al. on chaos in ecological systems (Math. Biosci. Eng. 6, 855). They consider models with predator-prey interaction and a disease of the predators.

A Hopf-Hopf (or double Hopf) bifurcation arises at a stationary point where the linearization has two pairs of non-vanishing purely imaginary eigenvalues. Of course it is necessary to have a system of at least dimension four in order for this to occur. The subset of parameter space where it occurs has codimension two and lies at the intersection of two hypersurfaces on which there are Hopf bifurcations. For this system there is an approximate normal form. In other words the system is topologically equivalent to a system given by simple explicit formulae plus higher order error terms. The dynamics of the model system ignoring error terms can be analysed in detail. For simple bifurcations a system in approximate normal form is topologically equivalent to the model system. For the Hopf-Hopf bifurcation (and for the simpler fold-Hopf bifurcation with one zero and one pair of non-zero purely imaginary eigenvalues) this is no longer the case and the perturbation leads to more complicated dynamics. For instance, a heteroclinic orbit in the model system can break as a result of the perturbation. A lot of information on these things can be found in the book of Kuznetsov. In the paper on ecological systems mentioned above a Hopf-Hopf bifurcation is found using computer calculations and this is described as ‘clear evidence for the existence of chaotic parameter regions’. My understanding of chaos is still too weak to be able to appreciate the precise meaning of this statement.

Using computer calculations Zumsande and Gross find fold-Hopf bifurcations in the MAPK cascade (without explicit feedback) indicating the presence of complex dynamics. If chaos occurs in the ecological system and the MAPK cascade what biological meaning could this have? Ecosystems can often be thought of as spatially localized communities with their own dynamics which are coupled to each other. If the dynamics of the individual communities is of a simple oscillatory type then they may become synchronized and this could lead to global extinctions. If the local dynamics are chaotic this cannot happen so easily and even if a fluctuation which is too big leads to extinctions in one local community, these can be avoided in neighbouring communities, giving the ecosystem a greater global stability. One point of view of chaos in the MAPK cascade is that it is an undesirable effect which might interfere with the signalling function. It might be an undesirable side effect of other desirable features of the system. In reality MAPK cascades are usually embedded in various feedback loops and these might suppress the complex  behaviour in the free cascade. Zumsande and Gross investigated this possibility with the conclusion that the feedback loops tend to make things worse rather than better.

Monotone dynamical systems

December 29, 2013

In previous posts I have written a little about monotone dynamical systems, a class of systems which in some sense have simpler dynamical properties than general dynamical systems. Unfortunately this subject was always accompanied by some confusion in my mind. This results from the necessity of a certain type of bookkeeping which I was never really able to get straight. Now I think my understanding of the topic has improved and I want to fix this knowledge here. There are two things which have led to this improvement. One is that I read an expository article by Eduardo Sontag which discusses monotone systems in the context of biochemical networks (Systems and Synthetic Biology 1, 59). The other is that I had the chance to talk to David Angeli who patiently answered some of my elementary questions as well as providing other insights. In what follows I only discuss continuous dynamical systems. Information on the corresponding theory in the case of discrete dynamical systems can be found in the paper of Sontag.

Consider a dynamical system \dot x=f(x) defined on an open subset of R^n. The system is called monotone if \frac{\partial f_i}{\partial x_j}\ge 0 for all i\ne j. This is a rather restrictive definition – we will see alternative possibilities later – but I want to start in a simple context. There is a theorem of Müller and Kamke which says that if two solutions x and y of a monotone system satisfy x_i(0)\le y_i(0) for all i then they satisfy x_i(t)\le y_i(t) for all i and all t\ge 0. This can be equivalently expressed as the fact that for each t\ge 0 the time t flow of the dynamical system preserves the partial order defined by the condition that x_i\le y_i for all i. This can be further reexpressed as the condition that y-x belongs to the positive convex cone in R^n defined by the conditions that the values of all Cartesian coordinates are non-negative. This shows the way to more general definitions of monotone flows on vector spaces, possibly infinite dimensional. These definitions may be useful for the study of certain PDE such as reaction-diffusion equations. The starting point is the choice of a suitable cone. This direction will not be followed further here except to consider some other simple cones in R^n.

A monotone system in the sense defined above is also sometimes called cooperative. The name comes from population models where the species are beneficial to each other. Changing the sign in the defining conditions leads to the class of competitive systems. These can be transformed into cooperative systems by changing the direction of time. However for a given choice of time direction the competitive systems need not have the pleasant properties of cooperative systems. Another simple type of coordinate transformation is to reverse the signs of some of the coordinates x_i. When can this be used to transform a given system into a monotone one?. Two necessary conditions are that each partial derivative of a component of f must have a (non-strict) sign which is independent of x and that the derivatives are symmetric under interchange of their indices. What remains is a condition which can be expressed in terms of the so-called species graph. This has one node for each variable x_i and an arrow from node i to node j if \frac{\partial f_j}{\partial x_i} is not identically zero. If the derivative is positive the arrow bears a positive sign and if it is negative a negative sign. Alternatively, the arrows with positive sign have a normal arrowhead while those with negative sign have a blunt end. In this way the system gives rise to a labelled oriented graph. To each (not necessarily oriented) path in the graph we associate a sign which is the product of the signs of the individual edges composing the path. The graph is said to be consistent if signs can be associated to the vertices in such a way that the sign of an edge is always the product of the signs of its endpoints. This is equivalent to the condition that every closed loop in the graph has a positive sign. In other words, every feedback in the system is positive. Given that the other two necessary conditions are satisfied the condition of consistency characterizes those networks which can be transformed by changes of sign of the x_i to a monotone system. A transformation of this type can also be thought of as replacing the positive orthant by another orthant as the cone defining the partial order.

Next I consider some examples. Every one-dimensional system is monotone. In a two-dimensional system we can have the sign patterns (+,+), (-,-) and (+,-). In the first case the system is monotone. In the second case it is not but can be made so by reversing the sign of one of the coordinates. This is the case of a two-dimensional competitive system. In the third case the system cannot be made monotone. A three-dimensional competitive system cannot be made monotone. The species graph contains a negative loop. Higher dimensional competitive systems are no better since their graphs all contain copies of that negative loop.

A general message in Sontag’s paper is that consistent systems tend to be particularly robust to various types of disturbances. Large biochemical networks are in general not consistent in this sense but they are close to being consistent in the sense that removing a few edges from the network make them consistent. This also means that they can be thought of as a few consistent subsystems joined together. Since biological systems need robustness this suggests a topological property which biochemical networks should have compared to random networks. Sontag presents an example where this has been observed in the transcription network of yeast.

A more sophisticated method which can often be used to obtain monotone systems from systems of chemical reactions by a change of variables has been discussed in a previous post. The advantage of this is that together with other conditions it can be use to show that generic solutions, or sometimes even all solutions, of the original system converge to stationary solutions.


Follow

Get every new post delivered to your Inbox.

Join 41 other followers