next up previous
Next: Appendix 2 Up: The Inheritance of Previous: ACKNOWLEDGMENTS

Appendix 1

In this appendix it will be shown that for the first model discussed, tex2html_wrap_inline761 under certain assumptions is approximately tex2html_wrap_inline689. The transformation for the whole cycle is tex2html_wrap_inline829 with
eqnarray167
s is the selection coefficient, tex2html_wrap_inline833. For simplicity we assume here that tex2html_wrap_inline835. We will assume that n is sufficiently big, so that tex2html_wrap_inline837. To compute tex2html_wrap_inline839 we will write
eqnarray177
Using the binomial expansion this gives
eqnarray185
The general term in this expansion is
 eqnarray198
it can be shown that for l=2k
eqnarray207
and for l=2k+1
 eqnarray218
looking at these terms it is apparent that tex2html_wrap_inline839 will have the form
eqnarray230
Where a, b, and c are functions of s, tex2html_wrap_inline703, and n. And tex2html_wrap_inline859 will then be
eqnarray235
We wish to compute the eigenvalues of tex2html_wrap_inline861. This can be done using the determinant and the trace of the matrix. We know that
eqnarray240
(because tex2html_wrap_inline863), and
eqnarray243
also
eqnarray248
Therefore tex2html_wrap_inline865. So to compute the eigenvalues of tex2html_wrap_inline861 it is enough to know b. To find the eigenvalues we have solve the equation
eqnarray259
or
eqnarray261
The maximal eigenvalue is
 eqnarray264
The Taylor series expansion tex2html_wrap_inline871 gives
 eqnarray271
We now turn to compute b. The bound
eqnarray276
For l=2 k +1 gives, using equation (14), the following expression for b:
eqnarray298
where tex2html_wrap_inline879 is a function of n and s, decreasing in k. This can be written as
eqnarray304
When we use this expression for tex2html_wrap_inline885, and using our assumption that tex2html_wrap_inline837, we see that we can drop the last term in equation (24). To find the tex2html_wrap_inline703 with the maximal eigenvalue, we will take the derivative of equation (24).


eqnarray310
For sufficiently large n the sign of the above expression, for a constant tex2html_wrap_inline893, above tex2html_wrap_inline895 and below tex2html_wrap_inline897 is governed by the term tex2html_wrap_inline899, and is negative at tex2html_wrap_inline895, and positive at tex2html_wrap_inline897, which shows that a root exists between these two, or that a maximal eigenvalue is reached there. Thus tex2html_wrap_inline689 is a good approximation to tex2html_wrap_inline761.


next up previous
Next: Appendix 2 Up: The Inheritance of Previous: ACKNOWLEDGMENTS

Michael Lachmann