q-bio0511048/paper.tex
1: %accepted after alteration to reference order 12.10.2005
2: %resubmitted 9.9.2005
3: %submitted
4: \documentclass[pre,twocolumn,showpacs,preprintnumbers,amsmath,amssymb]{revtex4} % Physical Review E
5: \usepackage{amsmath}
6: \usepackage{graphicx}% Include figure files
7: \usepackage{dcolumn}% Align table columns on decimal point
8: \usepackage{bm}% bold math
9: 
10: \def\max{\mathrm{max}}
11: \def\lmax{l_{\mathrm{max}}}
12: \def\d{\mathrm{d}}
13: 
14: 
15: \begin{document}
16: \title{Gompertz mortality law and scaling behaviour of the Penna model}
17: \author{J.~B.~Coe$^{1,*}$ and Y.~Mao$^{2}$}
18: \affiliation{$^1$Biomathematics \& Statistics Scotland\\
19: James Clerk Maxwell Building, The King's Building, Edinburgh, EH9 3JZ
20: $^2$School of Physics and Astronomy, University of Nottingham, University Park, Nottingham NG7 2RD, United Kingdom}
21: \thanks{ J.~B.~C.~is also affiliated to the Institute of Evolutionary Biology, University of Edinburgh and the Department of Physics and Astronomy, University of Edinburgh.}
22: 
23: \pacs{87.23.-n, 87.10.+e}
24: 
25: \begin{abstract}
26: The Penna model is a model of evolutionary ageing through mutation
27: accumulation where traditionally time and the age of an organism are
28: treated as discrete variables and an organism's genome by a binary bit
29: string.  We reformulate the asexual Penna model and show that a universal
30: scale invariance emerges as we increase the number of discrete genome
31: bits to the limit of a continuum. The continuum model, introduced by Almeida and Thomas in [Int.~J.~Mod.~Phys.~C, {\bf 11}, 1209 (2000)]
32: can be recovered from the discrete model in the limit of infinite bits coupled with a
33: vanishing mutation rate per bit. Finally, we show that scale
34: invariant properties may lead to the ubiquitous Gompertz Law for
35: mortality rates for early ages, which is generally regarded as being
36: empirical.
37: \end{abstract}
38: 
39: \maketitle
40: 
41: \section{Introduction}
42: The Penna model was devised in 1995 by T.~J.~P.~Penna \cite{Penna} to
43: model the process of evolutionary ageing through mutation
44: accumulation. The idea that natural selection would permit behaviour
45: such as ageing is initially baffling: it would seem that survival of
46: the fittest would remove any such detrimental behaviour. Medawar
47: proposed \cite{medawarAgeing} that certain genes may be age specific
48: in their effects; if such genes are harmful and are activated late on
49: in the reproductive life of an organism, natural selection against
50: them will be much weaker than if they had become active earlier in the
51: organism's life. Given the existence of such genes, it can be
52: anticipated that harmful genetic conditions will become more common as
53: an organism ages giving rise to increasing mortality rates with
54: age. The Penna model is a means to model the evolution of an
55: age-structured population under the influence of age-specific harmful
56: mutations \cite{stauffer}.
57: 
58: Traditionally, mortality rates are known to rise exponentially for
59: early ages, giving rise to the Gompertz law \cite{gompertzLaw} of
60: mortality.  More recent experiments using much larger sample
61: populations have shown that the mortality rate for advanced ages is
62: seen to slow substantially giving rise to a mortality plateau or peaks
63: \cite{mortPlat1,mortPlat2,mortPlat3,mortPlat4}. It has been shown that
64: a modified Penna model while continuing to show Gompertz growth in
65: mortality rates at early ages can also exhibit a mortality plateau at
66: advanced ages \cite{Coe_Mao_Cates}.
67: 
68: The original Penna model is discrete in nature, with time represented
69: by an integer and an organism's genome by a bit-string. 
70: Each $0$ on the bit-string represents a healthy site; each $1$ is a harmful
71: mutation which becomes active once the organism reaches age $x$ where $x$ is the 
72: index of the site on the bit-string. Having activated $T$ harmful mutations
73: an organism dies.
74: The bit-string is taken to be finite in length (usually 32 bits) and each newborn
75: organism has a number of mutations $M$ introduced into the bit-string. These mutations
76: are taken to be harmful so can only turn healthy sites into unhealthy ones - a mutation
77: on an unhealthy site is ignored. This assumption is relaxed in \cite{posMut} where
78: a small rate of positive mutation is allowed: we confine ourselves here to the case of only
79: harmful mutations.
80: 
81: Scaling behaviour was considered by Malarz \cite{stringlength} who investigated the
82: effects of different bit string lengths on the Penna model. Malarz inquired as to whether
83: large bit strings were required or whether one could expect, after appropriate scaling of other
84: parameters, one would get the same results for different genome lengths. Investigating the effects
85: of string length through simulation, Malarz was unable to find scaling in the Penna model.
86: 
87: Almeida et al.~\cite{AlmeidaContPenna} later considered a continuous Penna model and
88: for certain mutation regimes were able to find simple scaling relations. To obtain such scaling
89: the authors decoupled the string-length and mutation rate so that the probability of finding
90: a given number of mutations in a given string length was given by a poisson distribution.
91: They also observed that the Penna model is able to sustain a maximum possible lifespan in steady-state,
92: which we call $\lmax$: if the imposed string length is greater than $\lmax$ then it will have no effect on
93: the properties of the population; if it is less than $\lmax$ then the imposed string length will
94: impose a maximum lifespan on the population and the distribution will be accordingly altered.
95: The authors suggested that the size of timesteps in a discrete Penna model may have an effect on scaling behaviour
96: but did not investigate the size or nature of this effect.
97: 
98: Brigatti et al.~\cite{ref2} investigated scaling in a sexual Penna model through simulation and 
99: suggested that results from the continuum model of Almeida et al.~\cite{AlmeidaContPenna} were
100: not readily mapped onto the discrete model employed in simulation. Scaling effects in the sexual model were
101: also investigated by Laszkiewicz et al.~\cite{Laszkiewicz} through simulation.
102: 
103: %The effect due
104: %to different string lengths has been investigated by computer
105: %simulation for the asexual Penna model, where no universal scaling was
106: %found \cite{stringlength}.
107: %%which may be attributed to the
108: %%string length relative to the maximum sustainable length $l_{max}$ \cite{Coe_Mao_Cates}.
109: %Previous work considered a continuum asexual Penna model to which a
110: %steady-state solution could be obtained both numerically
111: %\cite{AlmeidaContPenna} and analytically
112: %\cite{Analytical_solution}. Further, the continuum asexual Penna model
113: %was found to exhibit a universal scaling behaviour
114: %\cite{AlmeidaContPenna} in contrast to the discrete case
115: %\cite{stringlength}.  Most recently, universality has also been
116: %observed for sexual Penna models through computer simulations
117: %\cite{ref2}.
118: 
119: In this paper we extend our previous analytical solution of the asexual model
120: \cite{Coe_Mao_Cates,Analytical_solution} to examine the scaling
121: behaviour. We show that the scale invariance emerges as we increase
122: the number of discrete genome bits, and that the scaling becomes exact
123: in the continuum case, which can be regarded as the limit of infinite
124: genome bits coupled with a vanishing mutation rate per bit. 
125: This establishes a clear relationship between the distribution, parameters and scaling behaviour
126: of the continuum model of Almeida et al.~and those of the traditional discrete model.
127: Finally, we use scale invariance to analytically show that at early ages
128: mortality rates grow exponentially in accordance with the
129: Gompertz law \cite{gompertzLaw} which, for the lack
130: of a general proof, is still generally regarded as being empirical
131: \cite{rose}.
132: 
133: 
134: \section{A continuous Penna model}
135: The asexual Penna model can be reformulated
136: \cite{AlmeidaContPenna,Analytical_solution} so that rather than
137: considering discrete timesteps, time is treated as a continuous
138: variable, $t$. The bit-string of an organism is replaced by an axis
139: representing the genome: position $x$ on the genome is examined at age
140: $x$. Harmful mutations are then represented by $\delta$ functions along
141: the genome. After accumulating $T$ $\delta$ functions an organism dies.
142: 
143: For our analytical solutions, we concern ourselves primarily with
144: $T=1$ as generalizing a $T=1$ solution for a continuous model will be
145: no more difficult than generalizing a discrete $T=1$ model, as done
146: previously \cite{Coe_Mao_Cates}.  In the continuum Penna model an
147: organism reproduces at a constant rate $b$ and dies at age $x$ where
148: its genome has its first harmful mutation ($\delta$ function) at position
149: $x$.
150: 
151: An organism can be characterised by its age $x$ and its genetic
152: lifespan $l$ (the position on the genome of the first harmful
153: mutation). Neither $x$ nor $l$ are constrained to be integers.
154: $n(x,l)$ is now a density of organisms so that the number of organisms
155: with age and genetic lifespan in the range $x\to x+\d x$ and $l\to
156: l+\d l$ is given by $n(x,l)\d x \d l$.  The probability of giving
157: birth in time $\d t$ is given by $b \d t$, the probability of a
158: mutation being introduced in length $\d l$ is given by $\beta \d l$.
159: These definitions are consistent with the discrete Penna model where
160: sites can be interpreted as infinitessimal lengths of genome and
161: timesteps as infinitessimal units of time.  The probability of no
162: mutations occuring in length $\d l$ is $1-\beta \d l$ which is
163: $e^{-\beta \d l}$ for infinitessimal $\d l$.
164: 
165: Newborn organisms may be produced as unmutated copies of organisms
166: with equal genetic lifespan, or as mutated copies of naturally longer
167: lived organisms.  An equation can then be constructed for the
168: production of new organisms within the population for the
169: infinitesimal time period of $t$ to $t'=t+\d t$
170: \begin{eqnarray}
171: &&n(0,l)_{t'}\d t\,\d l = b \d t \d l\; e^{-\beta l} \int_{0}^{\infty} \d x\, n(x,l)_t \nonumber\\
172: &+& b \d t\, \beta \d l \;e^{-\beta l} \int_{0}^{\infty}\d x \int_l^\infty \d l' n(x,l')_t
173: \end{eqnarray}
174: where subscripts $t$ and $t'$ denote time.
175: %As $x$, $l$ and $t$ all vary as time, 
176: At steady-state, the subscripts may be dropped, the above equation can
177: be simplified and an %into a population density equation and a recursive
178: expression obtained \cite{Coe_Mao_Cates,Analytical_solution} for the
179: relative sizes of population densities (see Fig.~\ref{figContPM1}).
180: \begin{eqnarray}
181: \frac{n(l+x)}{n(l)}&=&\frac{l+x}{l}\frac{e^{\beta l}-bl}{e^{\beta(l+x)}-b(l+x)}\nonumber\\
182: &\times&\exp \left[ {\int_{l}^{l+x}\frac{\beta bl'}
183: {bl'-e^{\beta l'}}\d l'} \right].
184: \end{eqnarray}
185: 
186: For a steady-state to exist there must be a longest lived
187: sub-population which is self-sustaining, {\it i.e.} not reliant on
188: mutated births.  No other sub-population can be self-sustaining if the
189: population is to remain bounded, as shorter-lived organisms can always
190: be created by mutated copies of longer-lived ones. For the
191: longest-lived sub-population to be self-sustaining, each organism must
192: produce one perfect copy of itself during its lifetime
193: \begin{eqnarray}
194: l_{\mathrm{max}}be^{-\beta l_{\mathrm{max}}}=1.
195: \end{eqnarray}
196: All other populations, with $l<l_{max}$, gain from mutated births of
197: the longest lived, so unmutated birth per individual must, on average,
198: be less than unity 
199: \begin{equation}
200: l \; be^{-\beta l}<1 \quad
201: \quad  \forall \quad l<l_{max}.
202: \label{eq:trouble}
203: \end{equation}
204: These conditions can be combined to give \cite{Analytical_solution}
205: \begin{eqnarray}
206: l_{\mathrm{max}}&\leq&\frac{1}{\beta}\\
207: b&=&\frac{1}{l_{\mathrm{max}}}e^{\beta l_{\mathrm{max}}}.
208: \label{eq:trouble2}
209: \end{eqnarray}
210: In the discrete Penna model the probability of no mutation for $1$
211: site or bit is $1-m$ where $m$ is the mutation rate per site. The
212: probability for $l$ sites without mutations would be $(1-m)^{l}$.  In
213: the limit of $m \to 0$, $(1-m)^l \approx e^{-ml}$ and therefore $m$
214: play the same role as $\beta$ in the continuous case, where the
215: probability of no mutations in genome length $l$ is $e^{-\beta l}$.
216: Thus we can identify the continuum Penna model as the limit of the
217: discrete model as the mutation rate per site tends to zero.  For
218: vanishingly small units of discretization, a discrete model becomes a
219: continuous one. A measure of the extent of discretization is the size
220: of one of the discrete units divided by the total size of the system;
221: for the Penna model this is $\frac{1}{l_\max}$. As the extent of
222: discretization gets smaller, $l_\max$ tends to infinity which implies
223: a vanishing mutation rate. Thus, the two limits of mutation rate
224: tending to zero, and of increasingly fine grained discretization, are
225: identical.
226: \begin{figure}
227: \begin{center}
228:  \includegraphics[width=3in]{graph30Cont.eps}
229:  \caption{\label{figContPM1}A plot of genetic lifespan distribution for a discrete ($\times$) and continuous Penna model with $l_{\mathrm{max}}=30$.}
230: \end{center}
231: \end{figure}
232: 
233: \section{Scaling properties}
234: 
235: We examine the discrete and continuous Penna models in turn to examine how they behave under rescaling. Informed
236: by this behaviour we interpret the continuous model as the limit of a discrete model with a vanishingly small
237: mutation rate.
238: 
239: \subsection{The discrete Penna model}
240: 
241: The traditional asexual Penna model has one unit of discretization for each unit of time.
242: It is possible to rescale the discrete Penna model so that each unit of time is broken up into several timesteps.
243: This can be done by taking a Penna model with a maximum lifespan of $a l_\max$ and rescaling $l$ so that, in
244: the rescaled time units, the model has maximum lifespan $l_\max$ and $a$ distinct timesteps in one unit of time.
245: For example, an $l_\max=30$ model could be rescaled to give an $l_\max=15$ model with two timesteps per unit of time.
246: %(see Fig.~\ref{figRescaledLm30}).
247: %\begin{figure}
248: %\begin{center}
249: % \includegraphics[width=3in]{graphpennaAnalysis_Lm30_a1_2.eps}
250: % \caption{\label{figRescaledLm30}A simple Penna model with $l_\max=30$ can be rescaled to be an $l_\max=15$ model
251: %with $2$ timesteps per unit of time.}
252: %\end{center}
253: %\end{figure}
254: %one timestep becomes a fraction of the time interval
255: %we wish to consider. Conventionally between $t=0$ and $t=1$ we have one timestep; instead we could consider $a$
256: %timesteps, reducing the size of our units of discretization. To describe an $l_\max=30$ Penna model in terms of
257: %half timesteps we can take an $l_\max=60$ model and use each of its units of discretization as a half timestep.
258: 
259: %To uniquely identify a Penna population by its maximum lifespan 
260: When discussing rescaled Penna models we require that the steady-state conditions
261: are invariant under rescaling. For a population with $l_\max=60$, the steady-state conditions should be the
262: same regardless of how many timesteps one unit of time has been broken up into. 
263: %For example, the population could be an unscaled $l_\max=60$ model with $1$ discretization unit per time
264: %interval, a rescaled $l_\max=30$ model with one unit of discretization every $2$ time intervals or an $l_\max=120$ 
265: %model with two units of discretization every time interval. We adopt the notation $n_{[l_\max,a]}(l)$ to represent
266: %a population with maximum genetic lifespan $l_\max$ and $a$ units of discretization per time interval. 
267: %A conventional Penna population, where no re-scaling has taken place, is written as $n_{[l_\max,1]}(l)$.
268: For steady-state conditions to be invariant under rescaling the population with genetic lifespan $l_\max$ must
269: be self-sustaining and all other populations partly dependent on mutation. The first condition can be
270: written as:
271: \begin{equation}
272: bl_\max e^{-\beta l_\max}=1
273: \end{equation}
274: A model rescaled by a factor $a$ will allow $n(l_\max-\frac{1}{a})$ to
275: exist, where $a$ gives the number of units of discretization per time
276: interval.  The same conditions, equation
277: (\ref{eq:trouble}-\ref{eq:trouble2}), apply as before.
278: %We require that this population must be partly reliant on mutated births,
279: %\begin{equation}
280: %b(l_\max-\frac{1}{a}) e^{-\beta (l_\max-\frac{1}{a})}>1
281: %\end{equation}
282: %For this condition to be general $a$ is allowed to take any value giving
283: %\begin{equation}
284: % (l_{\mathrm{max}}-\delta)be^{-\beta (l_{\mathrm{max}}-\delta)}<1,
285: %\end{equation}
286: %where $\delta$ is arbitrarily small. These are the same conditions for steady-state in a continuous Penna model:
287: %\begin{eqnarray}
288: %l_{\mathrm{max}}&\leq&\frac{1}{\beta}\\
289: %b&=&\frac{1}{l_{\mathrm{max}}}e^{\beta l_{\mathrm{max}}}.
290: %\end{eqnarray}
291: A population is then identified by the largest (unscaled) value of $l_\max$ it can sustain. When steady-state 
292: is required to be robust under rescaling of the model a population can be uniquely identified by the maximum
293: genetic lifespan it can maintain.
294: 
295: For rescaled models to be the same they should give the same
296: population sizes at comparable points up to an arbitrary scaling
297: factor.  If the discrete Penna model is scale invariant, it should be
298: possible to rescale a model to obtain an
299: unscaled model with shorter $\lmax$. For instance: an $\lmax=30$ model
300: with scaled by a factor of $2$ will have a rescaled maximum lifespan of
301: $15$; if the Penna model is scale invariant this rescaled model will, at comparable points
302: give identical results to an unscaled $\lmax=15$ model (up to a constant
303: normalisation factor for finite size scaling). Where $n_{30}$ denotes
304: a model with unscaled maximum lifespan $30$, we require that
305: $n_{30}(2l) / n_{15}(l)$ is constant. In a general case for models to
306: be identical after scaling we require that
307: \begin{equation}
308: n_{a\lmax}(al)
309: \propto n_{\lmax}(l).
310: \end{equation}
311: This can be satisfied, eliminating the constant of proportionality by
312: \begin{equation}
313:   \frac{n_{a\lmax}(al+a)}{n_{a\lmax}(al)}
314: =\frac{n_{\lmax}(l+1)}{n_{\lmax}(l)}.
315: \end{equation}
316: In the case of $a=2$ we require that
317: \begin{equation}
318: \frac{n_{[l_\max,2]}(l+1)}{n_{[l_\max,2]}(l+\frac{1}{2})}\frac{n_{[l_\max,2]}(l+\frac{1}{2})}{n_{[l_\max,2]}(l)}
319: =\frac{n_{[l_\max,1]}(l+1)}{n_{[l_\max,1]}(l)}.
320: \end{equation}
321: 
322: \begin{figure}
323: \begin{center}
324:  \includegraphics[width=3in]{graphScalingTrio.20-1.200-10.2000-100.eps}
325:  \caption{\label{figScalingTrio}A plot of genetic lifespan distribution for 
326: an unscaled Penna model with $\lmax=20$ ($+$), a model with $\lmax=200$ scaled down by a factor of $10$ ($\times$) and a model with $\lmax=2000$ scaled down by a factor of $100$ ($\circ$). Only comparable points have been shown.}
327: \end{center}
328: \end{figure}
329: 
330: For a Penna model to have $l_\max$ a factor of $a$ greater,
331: the mutation rate and birth rate must be a factor of $a$ smaller. If the parameters of the model
332: which is rescaled are labelled as $l'$, $\beta'$, $m'$ and $b'$; then scaled and unscaled parameters
333: are related by:
334: \begin{eqnarray}
335: l'&=&al\\
336: l_\max'&=&a l_\max\\
337: \beta'&=&\frac{\beta}{a}\\
338: %\beta'&=&\frac{m}{a}\\
339: b'&=&\frac{b}{a}.
340: \end{eqnarray}
341: 
342: Application of these scaling rules; the recursion relation between successive sub-populations at steady-state;
343: and our condition for scale invariance of the model gives a relation, in terms of
344: birth and mutation rate, which must be satisfied for the discrete model to be scale invariant.
345: %Recall that for the simple Penna model a recursion relation was derived for relative sizes of successive 
346: %sub-populations.
347: %For an unscaled model we have the recursion relation
348: %\begin{equation}
349: %\frac{n(l+1)}{n(l)}=\frac{l+1}{l}\frac{ e^{\beta l} - bl }{ e^{\beta(l+1)} - b(l+1)e^{-\beta}}.
350: %\end{equation}
351: %For a scaled model successive sub-populations are related by:
352: %\begin{equation}
353: %\frac{n(l+\frac{1}{a})}{n(l)}=\frac{l+\frac{1}{a}}{l}
354: %\frac{ e^{\beta l} - bl }{ e^{\beta(l+\frac{1}{a})} - b(l+\frac{1}{a})e^{-\beta/a}}.
355: %\end{equation}
356: 
357: For a rescaling by a factor of $2$ we require that
358: \begin{eqnarray}
359: &&\frac{ e^{\beta l} - bl }{ e^{\beta(l+\frac{1}{2})} - b(l+\frac{1}{2})e^{-\beta/2}}.
360: \frac{ e^{\beta l+\frac{1}{2}} - b(l+\frac{1}{2}) }{ e^{\beta(l+1)} - b(l+1)e^{-\beta/2}}\nonumber\\
361: &&=
362: \frac{ e^{\beta l} - bl }{ e^{\beta(l+1)} - b(l+1)e^{-\beta}}.
363: \end{eqnarray}
364: 
365: This equality cannot be satisfied due to the factor of $e^{-\beta/2}$ on the bottom of the recursion relation.
366: As such, the discrete Penna model does not exhibit scale invariance. 
367: In the limit of a vanishing mutation rate: $e^{-\beta}$ approaches unity, 
368: the differences between scaled and unscaled models vanish and the discrete model will become scale invariant.
369: Fig.\ \ref{figScalingTrio} confirms that the scaled results of the discrete model do approach a limiting `master curve'.
370: This limit is the same as that which gives the continuous model, so we expect to find the continuous model
371: to be scale invariant. Note, only comparable points have been plotted and
372: distributions have been normalized so $\sum_l a^{-1} n(l) = 1$ where $a$ is the
373: scale factor. 
374: %This normalisation factor is necessary for finite size scaling and approaches unity in the infinite continuum limit.
375: 
376: 
377: \subsection{The continuous Penna model}
378: 
379: As in the discrete Penna model, we identify a population by the largest value of $l_\max$ it can sustain. This
380: value is no longer constrained to be an integer and can be simply expressed as $l_\max=\frac{1}{\beta}$. 
381: Rescaling of a continuous Penna model is carried out in much the same way as in the discrete case: $l_\max$ is
382: divided by a scale factor $a$ and the new model has a correspondingly reduced maximum lifespan. In the continuous
383: model time is not broken into distinct timesteps, but is treated as a continuum: as a result 
384: rescaling will not alter
385: the number of timesteps in one unit of time. 
386: %For continuous models to be identical no annihilation step is needed,
387: %simple rescaling should suffice as there are no excess points to remove. 
388: If a continuous model is to be invariant
389: under rescaling by a factor $a$, through similar reasoning as in the discrete case,
390: \begin{equation}
391: \frac{n_{a\lmax}(al+ax)}{n_{a\lmax}(al)}
392: =\frac{n_{\lmax}(l+x)}{n_{\lmax}(l)}.
393: \end{equation}
394: Upon substitution of the steady-state relation for continuous Penna model populations, this is satisfied by
395: \begin{eqnarray}
396: &&\frac{l+x}{l}\frac{e^{\beta l}-bl}{e^{\beta(l+x)}-b(l+x)}\nonumber\\
397: &&\times\exp\left[{\int_{l}^{l+x}\frac{\beta bl'}{bl'-e^{\beta l'}}\d l'}\right]\nonumber\\
398: &=&\frac{al+ax}{al}\frac{e^{\beta' al}-b'al}{e^{\beta'(al+ax)}-b'(al+ax)}\nonumber\\
399: &&\times\exp\left[{\int_{al}^{al+ax}\frac{\beta'b'al'}{b'al'-e^{\beta' al'}}\d al'}\right]
400: \end{eqnarray}
401: The mutation rate and birth rate in the rescaled model are labelled $\beta'$ and $b'$. If, by rescaling the model by 
402: a factor $a$, the maximum lifespans are to be the same then the mutation and birth rates must be 
403: related by: $\beta'=\beta/a$, 
404: $b'=b/a$. After this substitution the continuous model is clearly scale invaraint as both sides of the equation give
405: \begin{eqnarray}
406: \frac{l+x}{l}\frac{e^{\beta l}-bl}{e^{\beta(l+x)}-b(l+x)}\exp\left[{\int_{l}^{l+x}\frac{\beta bl'}
407: {bl'-e^{\beta l'}}\d l'}\right].
408: \end{eqnarray}
409: 
410: It has been shown that in the limit of a vanishing mutation rate coupled with an infinite maximum lifespan, 
411: the discrete model becomes a continuous one. In other words, for a vanishing mutation rate, the discrete model becomes
412: scale invariant. As the limits of a vanishing mutation rate and maximum genetic lifespan tending to infinity are 
413: equivalent, approximate scale invariance becomes more realistic for discrete Penna models of increasingly large $\lmax$. 
414: 
415: \section{Mortality rates}
416: 
417: Early age Penna mortality rates display the exponential growth predicted by the Gompertz law.
418: Using our analytical solution to the simple Penna model we evaluate the growth exponent $\gamma$
419: where the mortality rate at age $x$ is proportional to $e^{\gamma x}$. Evaluation of the Gompertz growth
420: rate in terms of Penna model parameters will facilitate the fitting of Penna parameters to real world data.
421: Throughout we assume that any model has adopted the maximum genetic lifespan allowed by its mutation rate.
422: 
423: Recall that for the simple discrete Penna model the mortality rate is given by 
424: \begin{eqnarray}
425: {M}(x)=\frac{n(x)/x}
426: {\sum_{l=0}^\infty n(l)/l}.
427: \end{eqnarray}
428: %For a Gompertz law growth in mortality rate at early ages ${M}(x)=Ae^{\gamma x}$, which implies
429: %\begin{eqnarray}
430: %\frac{{M}(x+1)}{{ M}(x)}=e^\gamma.
431: %\end{eqnarray}
432: Using the steady state recursion relation from the simple Penna model, the ratio between successive mortality
433: rates can be evaluated analytically
434: \begin{eqnarray}
435: %\frac{M(x+1)}{M(x)}&=&\frac{n(x+1)/(x+1)}{\sum_{l=x+1}^\infty n(l)/l}\nonumber\\
436: %&\times&\frac{\sum_{l'=x}^\infty n(l')/l'}{n(x)/x}\\
437: %\frac{M(x+1)}{M(x)}&=&\frac{e^{\beta x}-bx}{e^{\beta (x+1)}-b(x+1)e^\beta}\nonumber\\
438: %&\times&\frac{\sum_{l'=x}^\infty n(l')/l'}{\sum_{l=x+1}^\infty n(l)/l}\\
439: \frac{M(x+1)}{M(x)}&=&\frac{e^{\beta x}-bx}{e^{\beta (x+1)}-b(x+1)e^\beta}\nonumber\\
440: &\times&\left[\frac{n(x)/x}{\sum_{l=x+1}^\infty n(l)/l} + 1\right].\label{mortalityRatio}
441: \end{eqnarray}
442: To usefully exploit this expression, we consider the limit of small $x$, and small $\beta$ where 
443: the Penna model becomes scale invariant; numerical evaluation of the summation term
444: and predicted scaling behaviour can be used to simplify equation (\ref{mortalityRatio}).
445: Numerically, we find for $x \ll l_{max}$
446: \begin{equation}
447:   \frac{n(x)/x}{\sum_{l=x+1}^\infty n(l)/l}\simeq \frac{1}{l_{max}}.
448: \label{numericalMortalityResult}
449: \end{equation}
450: Crucially, if the Penna model exhibits universality as discussed earlier, this result remains valid for
451: {\it all} values of $\lmax$. Therefore, noting the continuous Penna
452: model result $\lmax=1/\beta$ and $b=\beta e$, in the regime of small $x
453: \ll \lmax$, a first order expansion of equation (\ref{mortalityRatio})
454: leads to
455: \begin{eqnarray}
456: %\frac{M(x+1)}{M(x)}&=&\frac{1+\beta x-\beta ex}{1+\beta (x+1)-\beta e(x+1)}\nonumber\\
457: %&&\times\Bigg(\frac{1}{\lmax} + 1\Bigg)\\
458: %\frac{M(x+1)}{M(x)}&=&(1+\beta x-\beta ex)(1-\beta (x+1)\nonumber\\
459: %&&+\beta e(x+1))(1+\beta)\\
460: %\frac{M(x+1)}{M(x)}&=&(1+\beta x-\beta ex-\beta (x+1)+\beta e(x+1)+\beta).\\
461: \frac{M(x+1)}{M(x)}&\approx&e^{b}
462: \end{eqnarray}
463: %Thus to first order in $\beta$, in the limit $x/\lmax\to 0$
464: which then implies
465: \begin{equation}
466: M(x) \propto e^{b x},
467: \end{equation}
468: namely the Gompertz law, which states that the mortality rate
469: increases exponentially at early ages. Furthermore, it predicts that
470: the exponential coefficient of the Gompertz growth rate is given
471: by $b$, the birth rate. In Fig.~\ref{figGompertz}, we compare this
472: birth rate with the exponential Gompertz coefficients, extracted by taking the difference between the logs of mortality
473: rates at ages $x=2$ and $x=1$ for each population.
474: 
475: 
476: \begin{figure}
477: \begin{center}
478:  \includegraphics[width=3in]{graphGompertzGrowthRate.eps}
479:  \caption{\label{figGompertz}The exponential coefficient of Gompertz growth in mortality rate estimated
480: from early age mortality rates ($\times$) is plotted against the maximum lifespan 
481: the population can sustain ($\lmax$). The dashed line gives the birth rate at each value of $\lmax$.}
482: \end{center}
483: \end{figure}
484: 
485: Our approximation depends on $x \ll \lmax$, therefore, deviation from
486: Gompertz behaviour at later ages (large $x$) is expected as the numerical approximation, 
487: equation (\ref{numericalMortalityResult}), breaks down as $x$
488: increases. Similarly, as shown in Fig.~\ref{figGompertz}, for small
489: values of $\lmax$ this approximation works less well but for
490: larger values of $\lmax$ it becomes increasingly accurate. 
491: 
492: 
493: \section{Conclusion}
494: We have shown by means of exact analytic solution that, in the asexual
495: Penna model, a universal scale invariance emerges as we increase the
496: number of genome bits/sites, with the invariance becoming exact in the
497: limit of the continuum model. In addition, we have built on this
498: result and shown that scale invariance may be employed to derive an 
499: analytical expression for the Gompertz law of mortality, which has been generally
500: regarded as empirical. 
501: %The scaling property discussed here will undoubtedly have further implications of interest.
502: 
503: \acknowledgements{
504: The authors would like to thank Krzysztof Malarz for helpful discussion.
505: This work has been financially supported by the Schiff foundation 
506: and the EPSRC under grant number GR/TR11777/01.
507: 
508: This paper is dedicated to Freddie Mao, a recent addition to the Mao family.
509: }
510: 
511: \begin{thebibliography}{99}
512: 
513: \bibitem{Penna}T.~J.~P.~Penna, {\it J.~Stat.~Phys.} {\bf 78}, 1629 (1995).
514: \bibitem{medawarAgeing}P.~B.~Medawar, {\it An Unsolved Problem of Biology} (H.~K.~Lewis, London, 1952).
515: \bibitem{stauffer}D.~Stauffer, {\it Biological Evolution and
516:   Statistical Physics} (Springer, Berlin, 2002).
517: \bibitem{gompertzLaw}B.~Gompertz, {\it Phil. Trans. Roy. Soc. London } {\bf 123}, 513 (1825).
518: \bibitem{mortPlat1} Vaupel, J.~W.~et al, {\it Science}, {\bf 280}, 855 (1998).
519: \bibitem{mortPlat2} J.~W.~Curtsinger, H.~H.~Fukui, D.~R.~Townsend and J.~W.~Vaupel, {\it Science}, {\bf 258}, 461 (1992).
520: \bibitem{mortPlat3} Mueller, L.~and Rose, M.~R., {\it Proc.~Natl.~Acad.~Sci.~USA}, {\bf 93}, 15294 (1996);
521: \bibitem{mortPlat4}Watcher, K.~W., {\it Proc.~Natl.~Acad.~Sci.~USA}, {\bf 96}, 10544 (1999).
522: \bibitem{Coe_Mao_Cates}J.~B.~Coe, Y.~Mao and M.~E.~Cates, {\it Phys.~Rev.~Lett.}, {\bf 89} 288103 (2002).
523: \bibitem{posMut}J.~B.~Coe, Y.~Mao and M.~E.~Cates,{\it Phys.~Rev.~E}, {\bf 70}, 21907 (2004).
524: \bibitem{stringlength} Malarz, K., {\it Int.~J.~Mod.~Phys.}, 11, 309 (2000).
525: \bibitem{AlmeidaContPenna}R. M. C. Almeida and G. L. Thomas {\it Int.~J.~Mod.~Phys.~C}, {\bf 11}, 1209 (2000).
526: \bibitem{ref2}E.~Brigatti, J.~S.~Sa Martins and I.~Roditi, {\it Euro.~Phys.~J.~B}, {\bf 42}, 431 (2004).
527: \bibitem{Laszkiewicz} A.~Laszkiewicz, S.~Cebrat, D.~Stauffer, q-bio 0411051 (2004).
528: \bibitem{Analytical_solution}J.~B.~Coe and Y.~Mao, {\it Phys.~Rev.~E}, {\bf 67}, 61909 (2003).
529: \bibitem{rose}M.~Rose, {\it Evolutionary Biology of Aging} (Oxford University Press, New York, 1991).
530: 
531: 
532: \end{thebibliography}
533: 
534: \end{document}
535: 
536: 
537: 
538: 
539: 
540: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
541: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
542: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
543: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
544: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
545: 
546: