Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 45 / 3 / i / Solution

Use standard diploid coalescent time units of $2N_e$ generations, where $N_e$ is the fixed effective population size, and take $n\ge 2$. In the neutral Kingman's coalescent, each unordered pair of ancestral lineages merges at rate one. With $j$ lineages, the next coalescence time therefore has an exponential distribution with rateThe memoryless construction and the Markov property make these epoch durations independent. During epoch $j$ there are $j$ branches, each of duration $T_j$, so the total branch length of a neutral coalescent isBy linearity of expectation,The ancestral branch above the sample's most recent common ancestor is excluded: mutations there would be shared by all sampled chromosomes and would not create segregating sites.