The Evolution of Ageing
Formal models of ageing via damage accumulation
Feb 2024 - Present
Supervisors: Prof. Hanna Kokko
Consider a cohort consisting of \(M\) independent, non-interacting organisms. Each organism has \(N\) sub-systems capable of failure. Within the \(i\)th organism, \(F^{(i)}_t\), the number of failed sub-systems at time \(t\), follows a density-dependent birth-death process on \(\{0,1,2,\cdots,N\}\) with transition rates \(F \to F \pm 1 \textrm{ at rate } Nr_{\pm}(F/N)\), corresponding to stochastic failure and repair of failed sub-systems. This defines the individual-level dynamics. At the population level, one of two variants are considered. In the non-conservative model, an individual with \(F \in \{0,1,2,..,N\}\) failures is chosen to die at rate \(\mu(F/N)\). Thus, the population-level dynamics consist of individuals disappearing from the population at a rate equal to their mortality hazard. In the conservative model, an individual chosen for death is instantaneously replaced by a copy of another individual, chosen uniformly at random from the population of \(M\) organisms, ensuring that the total population size remains constant. Thus, in the latter case, the population-level dynamics are described by a Moran process with selection and Death-birth updating. We can reframe this as a sub-probability measure-valued stochastic process with state variable
\[\xi^{M,N}_t(\cdot) = \frac{1}{M}\sum\limits_{i=1}^{M}\delta_{f^{(i)}_t}(\cdot)\]where \(f^{(i)}_t = F^{(i)}_t/N\) is a rescaled version of the individual-level process governing failure dynamics. The stochastic process \(\{\xi^{M,N}_t\}_{t \geq 0}\) tracks the proportion of individuals in the population having a proportion \(f = F/N\) failed sub-systems, and takes values in the space of sub-probability measures on \(\{0,\frac{1}{N},\frac{2}{N},\ldots,1\}\).
If we first take \(M \to \infty\) (very large cohort size) and then use a diffusion approximation on \(N\) by neglecting terms of \(\mathcal{O}(N^{-2})\), it can be shown that the stochastic process \(\{\xi^{M,N}_t\}_{t \geq 0}\) converges to a deterministic measure \(P(f,t)\) described by the Fokker-Planck-Kolmogorov type PDE
\[\frac{\partial P(f,t)}{\partial t} = -\frac{\partial}{\partial f}\{r(f)P(f,t)\} + \frac{1}{2N}\frac{\partial^2}{\partial f^2}\{\tau(f)P(f,t)\} - \left(\mu(f) - \mathbb{1}_{R}\int\limits_0^1\mu(x)P(x,t)dx\right)P(f,t)\]where \(r(f) = r_{+}(f) - r_-(f), \tau(f) = r_{+}(f) + r_-(f)\), and \(\mathbb{1}_{R} = 1\) if we are considering the model with instantaneous replacement and 0 otherwise. The PDE is conservative in the former case and non-conservative in the latter. Curiously, from a stochastic process perspective, the PDE above with \(\mathbb{1}_{R} = 0\) is precisely the Kolmogorov forward equation for a well-known stochastic process called diffusion with killing with instantaneous killing rate \(\mu\). The PDE with \(\mathbb{1}_{R} = 1\) describes the conditional probability density of this same stochastic process conditioned on non-absorption/survival. Furthermore, on biological grounds, we are able to argue that we often expect \(r(f)\) to take the form \(r(f) = \lambda(1-f)(\phi + kf)\) for positive constants \(\lambda, \phi, k\). Similar equations with \(\phi = k = 1\) appear in multi-level selection theory and the evolution of cooperation literature if we interpret mortality as a negative payoff. We are currently writing up much of these results as a manuscript.
There are also other scaling limits of \(\{\xi^{M,N}_t\}_{t \geq 0}\) that are biologically interesting and natural. For instance, for a closely related model arising in multi-level selection theory, Luo and Mattingly 2017 have characterised the limit \(M\to\infty, N\to \infty, N/M \to \theta < \infty\) using martingale techniques. For senescence, the most biologically pertinent limit is \(N \to \infty, M < \infty\) (very large number of sub-systems within each organism, limited cohort size), but in this limit, the process is a scary measure-valued branching process on the space of sub-probability measures on \([0,1]\) that I don’t really understand yet :(