Originally published as Genetics Published Articles Ahead of Print on February 4, 2007.

Genetics, Vol. 176, 327-342, May 2007, Copyright © 2007
doi:10.1534/genetics.106.065037

Test of Genetical Isochronism for Longitudinal Samples of DNA Sequences

Human Genetics Center, School of Public Health, University of Texas, Houston, Texas 77030

1 Corresponding author: Human Genetics Center, School of Public Health, University of Texas, P.O. Box 20186, 1200 Herman Pressler, Houston, TX 77030.
E-mail: yunxin.fu{at}uth.tmc.edu

Manuscript received August 18, 2006. Accepted for publication January 31, 2007.

ABSTRACT

Longitudinal samples of DNA sequences, the DNA sequences sampled from the same population at different time points, have increasingly been used to study the evolutionary process of fast-evolving organisms, e.g., RNA virus, in recent years. We propose in this article several methods for testing genetical isochronism or detecting significant genetical heterochronism in this type of sample. These methods can be used to determine the necessary sample size and sampling interval in experimental design or to combine genetically isochronic samples for better data analysis. We investigate the properties of these test statistics, including their powers of detecting heterochronism, assuming different evolutionary processes using simulation. The possible choices and usages of these test statistics are discussed.


LONGITUDINAL samples, or serial samples, are samples taken at a series of time points from the same population. Strictly speaking, almost all DNA sequence samples in population genetics studies are longitudinal samples, since the sequence sample from different individuals is most likely taken at different times, although the time interval between samplings may be small. In most cases, such samples can be safely regarded as a sample taken at a single time point, which simplifies analysis of the data. The justification of such a convention is that the sampling interval is so small that the possible mutations accumulated on the sequences studied within the sampling intervals are negligible. In other words, these samples are genetically isochronic. However, for organisms with a very high mutation rate, e.g., RNA virus, caution must be taken in the sampling intervals because the genetic change within the samples may be significant. In fact, for fast-evolving organisms, samples are purposely taken at different time points to keep track of the change in the population. Several new statistical methods have been developed for analyzing longitudinal DNA samples (reviewed by DRUMMOND et al. 2003).

Important questions with regard to the experimental design include how large a sample size and how long a sampling interval is needed for conducting a meaningful genetic analysis. Sample sizes that are too small may render the study useless and sampling intervals that are too long may lead to loss of important information from the population. Furthermore, very short sampling intervals may be unnecessary and cost ineffective.

Because genetic difference is the primary information in such studies, genetical isochronism is a suitable criterion for guiding experiment design. A test of genetical isochronism along with simulation can show the probability of detecting the desired genetic change within samples with given sample sizes, sampling intervals, and evolutionary models. Such tests can also be used to guide the combination of genetically isochronic samples to obtain a larger "single sample" in the data analysis. The increased sample size and reduced parameter space will in general lead to more powerful analysis.

SEO et al. (2002b) studied the optimal experimental design specially for estimating mutation rate and divergence time using longitudinal samples. The purpose of the present article is to develop general statistical tests for detecting genetical heterochronism (i.e., deviation from genetical isochronism). Assuming a fixed genealogy of the samples, such a test can be built under a likelihood framework (e.g., RAMBAUT 2000; DRUMMOND et al. 2001; RODRIGO et al. 2003). However, the genealogy of the samples is usually unknown and not easy to infer with accuracy, so that a general test based on summary statistics without assumption of genealogies may be desirable. The tests proposed in this article are based on two groups of summary statistics of longitudinal samples, one of which is the average nucleotide difference between two sequences between and within samples, and the other is the number of private mutations within samples. Different linear combinations of these summary statistics were used to construct test statistics. Besides the permutation approach we also used simulation to determine the critical values of the tests. For each combination of test statistics and critical values, the test powers with different sample sizes and sampling intervals under different evolutionary models were investigated. Finally, the choices of test statistics and critical values under different circumstances are discussed.


CONSTRUCTING STATISTICAL TESTS

Genetical isochronism:

Define genetical isochronism as the genetic equivalence of two statuses of the same population at two successive time points, which is due to the time interval being relatively small such that the gene frequencies were not changed significantly by mutation and/or genetic drift, so that genetical isochronism is a statistical concept. If the two statuses of the population are significantly different, they are genetically heterochronic. Let G be a measure of the difference of gene frequencies between two samples taken at different time points in a population; then the null hypothesis of the test of isochronism is G = 0 and the alternative hypothesis is G > 0.

Two-sample model:

Suppose there are two samples taken from an evolving haploid population at times t0 and t0 + t, respectively, where t is the sampling interval in generations. Let n1 and n2 be the sizes of samples taken at t0 and t0 + t, respectively. Define the population mutation rate {theta} = 2Neµ, where Ne is the effective population size and µ is the mutation rate per gene site per generation, both assumed to be constant.

Test statistics based on the average nucleotide difference between two sequences between and within samples:

Let {Pi}i (i = 1, 2) be the average number of nucleotide differences between two sequences from sample i. Let {Pi}12 be the average nucleotide differences between two sequences, one from sample 1 and the other from sample 2. That is,

Formula
where Formula is the nucleotide difference between the ith sequence of sample k and the jth sequence of sample l.

The expectations of {Pi}1, {Pi}2, and {Pi}12 under the neutral Wright–Fisher model are

Formula

Formula

Formula
where E( ) stands for mathematical expectation (e.g. DRUMMOND and RODRIGO 2000; FU 2001).

Here testing genetical isochronism is equivalent to testing the null hypothesis of µt = 0. It is easy to see that the expectations of both ({Pi}12{Pi}1) and ({Pi}12{Pi}2) are equal to µt and that the expectations of any linear combination of ({Pi}12{Pi}1) and ({Pi}12{Pi}2) are equal to 0 under the null hypothesis. The above analyses result in the following form of test statistics by standardizing a linear combination of ({Pi}12{Pi}1) and ({Pi}12{Pi}2),

Formula 1(1)
where

Formula 2(2)
is the variance of Formula 2 under the null hypothesis of µt = 0 (see APPENDIX A).

Three particular values of c, 1, 0, and Formula 2 are of interest. The first two correspond to Formula 2 and Formula 2

Since the expectation of Formula 2 equals µt, a significant positive value of Dc is taken as evidence of heterochronism, which corresponds to the one-tail test of the alternative hypothesis of Dc > 0 vs. Dc = 0.

Test statistics based on the number of private mutations within samples:

Define the number of private mutations within a sample as the number of sites that are only polymorphic in that sample but are monomorphic in the other sample. Let Kp(i) (i = 1, 2) be the number of private mutations of sample i. WAKELEY and HEY (1997) showed that the expectations of Kp(1) and Kp(2) under the null hypothesis are

Formula 3(3)

Formula 4(4)
where Formula 4

If the sampling interval is big, both samples will tend to contain more mutations that are "private" to that sample. In other words, the expectations of both Kp(1) and Kp(2) will be larger than their expectations under the null hypothesis of no sampling interval. So both Kp(1) and Kp(2) and their linear combinations can be used to test genetical isochronism. Therefore we consider a group of tests of the form

Formula 5(5)
Five particular values of c, 1, 0, 0.5, Formula 5 and Formula 5 are of interest.

For example, if c = 1 or 0, (5) is simplified to Formula 5 or Formula 5

Formula 5 is the variance of Formula 5 under the null hypothesis. There is no simple formula for Formula 5 However, it can be calculated with the formulas

Formula 6(6)

Formula 7(7)

Formula 8(8)

Formula 9(9)

Formula 10(10)

Formula 11(11)

Formula 12(12)

Formula 13(13)

Formula 14(14)

Formula 15(15)
where Formula 15 is the number of mutations whose frequency is i in sample 1 and j in sample 2, and {delta} is an index variable such that it takes the value 1 if conditions in parentheses are true and takes the value 0 otherwise [see APPENDIX B for derivation of (13)]. The test of genetical isochronism is equivalent to the one-tail test of the alternative hypothesis of Tc > 0 vs. Tc = 0.


DETERMINING THE LEVEL OF SIGNIFICANCE

Simulation:

Although all the test statistics proposed in this article are in standardized form, their distributions do not follow a normal distribution or other standard distributions under the null hypothesis, which is similar to the tests for single sample (e.g., see FU and LI 1999). Furthermore, when such statistics are applied, an estimation of {theta} is needed to replace {theta} in formulas (2), (3), (4), and (13). Therefore simulation has to be used to determine the critical values of these tests. However, the standardization does help to minimize the effect of {theta}, n1, and n2 on the test statistics and will lead to more accurate and stable estimation of critical values using interpolation (see below).

To obtain the critical values of Dc's and Tc's, we first simulated independent samples under the null hypothesis with a large number of combinations of {theta}, n1, and n2. We chose 40 different n1 [n1 = 5 (5) 100 (10) 300, i.e., 5, 10, 15, ..., 100, 110, ..., 300], 40 different n2 [n2 = 5 (5) 100 (10) 300] and 46 different {theta} [{theta} = 0.2 (0.1) 1 (0.2) 3 (0.5) 4 (1) 20 (5) 50 (10) 80]. For each of the parameter sets, 20,000 independent samples were simulated using the coalescent algorithms (e.g., HUDSON 1983). From each sample, all test statistics were calculated with {theta}'s in formulas (2), (3), (4), and (13) replaced by Watterson's estimator (WATTERSON 1975) Formula 15 where K is the total number of polymorphic sites when combining samples 1 and 2. The empirical critical values for each parameter set can be easily determined from the empirical distribution. For example, the critical value of a given test with a 5% significance level is the 95th percentile of the empirical distribution of that test statistic after ascending sorting. The critical values of other combinations of parameters can be obtained by interpolating the values from the big table obtained above.

Permutation:

Permutation or shuffling has been widely used in data analysis for conducting tests without assumption of normality of the test statistics (e.g., EWENS and GRANT 2005). The procedure of permutation is easy to conduct: (1) combine sample 1 and sample 2 into a big sample; (2) randomly pick n1 sequences from the big sample to form a pseudosample 1 and let the remaining n2 sequences be pseudosample 2 (each one of such a shuffle is called a permutation); (3) from pseudosamples 1 and 2, calculate some specified test statistics; (4) repeat the process above from step 2 for a large number of times (20,000 times in our tests); and (5) the empirical critical values can be obtained similar to that of simulation.

The rationale behind the procedure is as follows. In the procedure of permutation, each test statistic estimated from each permutation has the same probability. If the null hypothesis is true, the actual observed value of the test statistic should have only probability {alpha} to be among the 100{alpha}% most extreme values. On the other hand, if the alternative hypothesis is true, the random permutation will tend to shift the distribution of the test statistic estimated from each permutation to that expected under the null hypothesis, which will make the actual observed value of the test statistic more likely to be among the extreme values.


POWERS OF THE TESTS
Since the main purpose of this research is to develop guidelines for experimental design, we are mostly interested in the effects of n1, n2, {theta}, and µt on the power of the tests. For each combination of parameters, 5000 independent samples were simulated using coalescent algorithms, which assume a neutral Wright–Fisher model with constant population size. Each test was applied to the simulated samples and the frequency of successful detections by a given test was used as an estimate of its power.

Figure 1 shows the powers of the tests (Dc's and Tc's) using the critical values determined by simulation, with different n1, n2, and µt and fixed {theta} = 10. Figure 2 shows the powers of the same tests with {theta} = 40. Figures 3 and 4 show the powers of the tests using the critical values determined by permutation, corresponding to the same parameters of Figures 1 and 2, respectively. Figure 5 shows the minimum sample sizes (assuming n1 = n2) needed to achieve 50 or 90% power using Formula 15 and Formula 15 (which are identical to Formula 15 and Formula 15 in this case) with a 5% significance level. For example, to achieve 50% detection power using Formula 15 with a 5% significance level, we need a minimum sample size n1 = n2 = 16 for a population with {theta} = 5 or n1 = n2 = 101 for a population with {theta} = 100.


Figure 1
View larger version (29K):
In this window
In a new window
Download PPT slide
 
FIGURE 1.—

Powers of Dc's and Tc's with 5% significance level determined by simulation ({theta} = 10). T0.5, Formula 15 and Formula 15 are identical when n1 = n2.

 

Figure 2
View larger version (26K):
In this window
In a new window
Download PPT slide
 
FIGURE 2.—

Powers of Dc's and Tc's with 5% significance level determined by simulation ({theta} = 40). T0.5, Formula 15 and Formula 15 are identical when n1 = n2.

 

Figure 3
View larger version (29K):
In this window
In a new window
Download PPT slide
 
FIGURE 3.—

Powers of Dc's and Tc's with 5% significance level determined by permutation ({theta} = 10). T0.5, Formula 15 and Formula 15 are identical when n1 = n2.

 

Figure 4
View larger version (26K):
In this window
In a new window
Download PPT slide
 
FIGURE 4.—

Powers of Dc's and Tc's with 5% significance level determined by permutation ({theta} = 40). T0.5, Formula 15 and Formula 15 are identical when n1 = n2.

 

Figure 5
View larger version (25K):
In this window
In a new window
Download PPT slide
 
FIGURE 5.—

Minimum sample sizes, assuming n1 = n2 = n, needed to achieve 50 or 90% power using Formula 15 and T0.5 (T0.5, Formula 15 and Formula 15 are identical when n1 = n2) with 5% significance level.

 
The results can be summarized as follows:

  1. The test power is positively correlated with µt, that is, the larger the µt the higher the power. On the other hand, {theta} is negatively correlated with the test power, i.e., the larger the {theta} the lower the test power.
  2. The larger the total sample size the higher the test power, which is true for all test statistics. However, the effects of n1 and n2 on different test statistics are quite different. If total sample size is fixed, T0 and D1 have higher powers when n1 > n2 than when n2 > n1. On the contrary, T1 and D0 have higher powers when n1 < n2 than when n2 < n1. D1 and D0 have higher powers when n1 = n2 than when n1 > n2 or when n1 < n2. Formula 15 has higher power than T1 and T0 when n1 = n2, but its power is in between those of T1 and T0 when n2 > n1 or n2 < n1. The powers of Formula 15 and Formula 15 are consistently better than those of both T1 and T0. The power Formula 15 is higher than that of D1 and D0 in general.
  3. Formula 15 and Formula 15 are the most powerful test statistics in general. Formula 15 is also quite powerful when n1 = n2. Especially when µt is relatively large, e.g., the quantity is comparable to {theta}, it can be the most powerful test statistic under such a condition.
  4. In general, tests using critical values determined by permutation are slightly more powerful than those using the critical values determined by simulation. This is largely because they consider the sampling variation but not the evolutionary variation (see DISCUSSION). But there are some exceptions; e.g., T1 may be slightly less powerful using the critical values from permutation rather than using those from simulation, especially when n1 < n2 and/or with population growth (see DISCUSSION).


AN EXAMPLE
Here we use longitudinal samples of env genes of human immunodeficiency virus (HIV)-1 from RODRIGO et al. (1999) to illustrate the use of the tests developed in this article. These longitudinal samples were taken from an AIDS patient over a course of 3 years. After the first blood sample was taken from the patient, four other blood samples were taken 7, 22, 23, and 34 months later. From each blood sample, between 8 and 15 DNA sequences of a 0.65-kb region of HIV env gene were obtained. The summary of their sample is listed in Table 1 of RODRIGO et al. (1999).


View this table:
In this window
In a new window

 
TABLE 1

The values and P-values of test statistics for sample 1 vs. sample 2

 
Consider sample 1 and sample 2 first. We have Formula 15 Formula 15 Formula 15 Formula 15 Formula 15 Formula 15 Formula 15 and Formula 15 Then we obtained Formula 15 which replaces {theta} in formulas (2), (3), (4), and (13), and calculated the test statistics (Table 1). Finally, we used permutation and simulation to get the empirical distributions of the test statistics and then obtained the empirical P-values (Table 1).

Table 2 shows the P-values of Formula 15 using the critical values determined by simulation and permutation for all pairwise comparisons of the samples. Most of them are <0.05, and therefore most pairs of samples can be regarded as significant deviation from genetical isochronism. However, all tests involving sample 5 based on simulation are not significant while all those based on permutation are significant or marginally significant. This may be due to the fact that the sample size of sample 5 is only eight and is the smallest one of all. With such a small sample size, Formula 15 based on simulation may be just lack of enough power as that based on permutation. This may be compounded by the possibility that the mutation rate changed after the third sampling time because of drug treatment (DRUMMOND et al. 2001).


View this table:
In this window
In a new window

 
TABLE 2

P-values of Formula 15 for pairwise comparisons of samples

 
This example reveals the issues of sample size in experimental design. If one wants to study the evolution of HIV via longitudinal samples of env genes, the sampling interval of 1 year with sample size ~20 is sufficient for a relatively conservative design.


DISCUSSION
In this article we proposed and studied two forms of test statistics for testing genetical isochronism, using critical values based on two different approaches, simulation and permutation. We showed that the tests with critical values determined by permutation are slightly more powerful than those determined by simulation. The permutation approach also has other advantages: no parameters need to be estimated (indeed no standardization is needed), and it is relatively fast for a small number of tests and easy to program. However, caution must be taken when using the permutation approach. There are two levels of variation in samples that will affect statistical tests. One level is due to the stochastic nature of evolution, that is, the variation of different replications (i.e., the resulting populations) of the same evolution process. The second level is due to the sampling process, that is, the variation of different samples from the same population. The permutation approach effectively assumes that the two samples are taken from the same population, thus taking into consideration only the second level of variation. The result is that the variances of test statistics are smaller than those from the simulation approach. Nevertheless, it provides the lower bound of the total variance. On the other hand, simulation considers both levels of variation, which makes it more conservative than permutation. Because of these differences, both approaches are useful. We suggest using critical values from simulation as the standard for experimental design, in which the evolution process is the subject of research. As to the application for combining genetically isochronic samples in data analysis, passing tests with critical values from permutation can be used as a prerequisite because it is more powerful in detecting heterochronism.

T0.5, Formula 15 and Formula 15 are linear combinations of T1 and T0 with different weighting. T0.5 puts equal weights on T1 and T0, while Formula 15 and Formula 15 put higher weight on T1 than on T0 when n1 < n2 and higher weight on T0 than on T1 when n1 > n2. Since T0 has a higher power than T1 when n1 > n2 while T1 has a higher power than T0 when n1 < n2, the strategy of putting more weight on the more powerful test statistic successfully makes the powers of composite test statistics Formula 15 and Formula 15 better than or at least as good as T1, T0, and T0.5. Similarly, Formula 15 can also be regarded as a linear combination of D1 and D0 with higher weight on D1 than on D0 when n1 > n2 and higher weight on D0 than on D1 when n1 < n2. The same weighting strategy makes its power higher than D1 and D0 in general. There are infinite possible linear combinations of T1 and T0 with different weighting. It is possible to construct more powerful test statistics than Formula 15 and Formula 15 However, the power of the test statistic depends on many factors, e.g., n1, n2, µt, and {theta}. The task of looking for the most powerful test statistic in general may be extremely hard. Our limited experience showed that the performances of Formula 15 and Formula 15 were quite good in most cases we studied. The same is true for Formula 15 Other than looking for a single test statistic that is powerful in all situations, an alternative is to combine different test statistics to form a multidimensional test that could be more powerful than any single one of them by taking account of their different performances under different situations.

In this article we presented several methods for testing genetical isochronism from two samples at two time points. Extending them to samples from multiple time points is of practical value. One possible approach is to form a test statistics vector consisting of all pairwise test statistics and testing the significance of deviation of the observed vector from its expectation. A multivariate normal distribution may be assumed and the variance and covariance matrix of such a vector should be calculated. Alternatively, we could define a new global test statistic, such as the sum of the squares of all pairwise test statistics, and use simulation to obtain the distribution of such a global test statistic under the null hypothesis. In such a simulation, multiple samples will be taken from the same population other than just two samples. There are many ways to define such a global test statistic and finding a powerful one will be a challenge.

Although we constructed the test statistics under the assumption of constant population size, these tests can also be used under different evolutionary models. We also investigated the test powers assuming sudden population growth or shrinkage at the sampling point of sample 1 (data not shown). Compared to the powers with constant population size, T0 becomes less powerful with a decrease in population size in the second sample, while most of the other tests become more powerful, especially Formula 15 On the contrary, most tests become less powerful with an increase of population size in the second sample while T0 becomes more powerful.

As to the choice of test statistics, we suggest either Formula 15 or Formula 15 as the first choice, since they are the most powerful test statistics in most cases we studied. When there are evidences of population growth, T0 can be added as a supplement. On the other hand, when there are evidences of population shrinkage, Formula 15 can be added as a supplement if n1 {approx} n2.

As shown in box 1 in DRUMMOND et al. (2003) and in this study, the power of tests is positively related to µt and negatively related to {theta}. This effect can be understood by examining one of the tests. Take D1, for example: the numerator is Formula 15 whose expectation is µt under the alternative hypothesis. Obviously, the larger the µt, the larger the departure from 0, which is expected under the null hypothesis. The denominator is standard deviation (SD) of Formula 15 under the null hypothesis. Using (2), it is easy to show that the quantity is

Formula 15
which is a monotone increasing function of {theta}. The larger the {theta}, the larger the SD of Formula 15 which makes the deviation from 0 statistically less significant. For other test statistics, µt and {theta} will increase or decrease their power in a similar way as for D1.

When conducting tests, we choose to use Watterson's estimator Formula 15 to replace {theta} for calculating the test statistics. Other estimators of {theta} can also be used, e.g., Tajima's estimator (TAJIMA 1983), Fu's BLUE estimator (FU 1994), and maximum-likelihood estimators (FELSENSTEIN 1992; GRIFFITHS and TAVARE 1994; KUHNER et al. 1995). {theta} can also be estimated without assuming the null hypothesis, that is, be estimated directly from longitudinal samples, e.g., likelihood-based methods developed by DRUMMOND et al. (2002) and SEO et al. (2002a). However, these maximum-likelihood-based methods are quite time consuming and other assumptions of evolution process, e.g., constant population size, still need to be made. If the assumed evolution process is true, a more accurate estimator will increase the test power while retaining the false positive rate. However, when we are not very sure about the true evolution process, a relatively conservative test with a slightly larger estimation of {theta} is desired, and Watterson's estimator Formula 15 seems to be a good choice in this case. This is again similar to the case of a test for a single sample.

Although we constructed the simulation under the assumption of a neutral Wright–Fisher model with constant population size, the same test framework can also be used for testing genetical isochronism under other evolutionary models. The same Tc's and Dc's can still be used as indicators of deviation from genetical isochronism. However, their expectations and variances are now different from those used here. If these expectations and variances cannot be calculated easily under the null hypothesis with the new evolutionary model, or not many comparisons are needed, direct simulation under the null hypothesis with the new evolutionary model can be used to obtain the empirical distribution of Formula 15 and Formula 15 and the critical values or P-values of the tests can be estimated.

The tests we presented in this article are designed for detecting genetical heterochronism. However, significant test results may be caused by other departures from the null hypothesis, such as population substructure. Vice versa, significant tests for population substructure may also be caused by genetical heterochronism. For example, ACHAZ et al. (2004) directly applied HUDSON et al.'s (1992) tests, which were designed for testing population substructure, to longitudinal samples of HIV-1 populations and interpreted the significant results as evidence of genetical heterochronism.


APPENDIX A
To derive (2), we begin with decomposing Formula 15

Formula A1(A1)

Formula A1 and Formula A1 concern only the information of single samples. Their formulas are known since the seminal work of TAJIMA (1983):

Formula A2(A2)

Formula A3(A3)

To compute Formula A3 we decompose it further:

Formula A4(A4)
Under the null hypothesis t = 0,

Formula A5(A5)
and

Formula A6(A6)
where Formula A6 is the difference between sequence i of sample 1 and sequence j of sample 2. Since there is no order structure in either sample 1 or sample 2, i and i' are just two randomly picked sequences from sample 1, and j and j' are just two randomly picked sequences from sample 2, so that

Formula A7(A7)
Under the null hypothesis, Formula A7 has the same statistical property as Formula A7 or Formula A7 so that in the remaining text of APPENDIX A we just write it as Formula A7 regardless of where sequence i or j comes from. According to TAJIMA (1983),

Formula A8(A8)

Formula A9(A9)

Formula A10(A10)
Combining (A4)–(A10), we have

Formula A11(A11)

Similarly, we can get

Formula A12(A12)

Formula A13(A13)

Formula A14(A14)
and

Formula A15(A15)

Formula A16(A16)

Formula A17(A17)
Combining (A5), (A8)–(A10), and (A12)–(A17), we have

Formula A18(A18)

Formula A19(A19)

Formula A20(A20)
Combining (A2), (A3), (A11), and (A18)–(A20) with (A1), we finally get (2).


APPENDIX B
FU (1995) showed, for a single sample,

Formula 1(B1)
where Formula 1 is the number of mutations whose frequency is i. {delta} is an index variable so that it takes the value 1 if all conditional statements in parentheses are true and takes the value 0 otherwise. Define state k as the time period in history during which the sample has exactly k ancestral sequences. Then Formula 1 is number of mutations accumulated on one of the ancestral sequences during state k, and {varsigma}'k is number of mutations accumulated on another ancestral sequence during state k,

Formula 2(B2)

Formula 3(B3)

Formula 4(B4)

Formula 5(B5)
is the probability that an ancestral sequence at state k has i descendants in the sample,w

Formula 6(B6)
is the probability that two randomly chosen ancestral sequences at state k are of size i and j in the sample,

Formula 7(B7)
is the probability that an ancestral sequence at state k and one of its descendant sequences at state k' (k' > k) are of size i and j, respectively, in the sample, and

Formula 8(B8)
is the probability that an ancestral sequence at state k and one of its nondescendant sequences at state k' (k' > k) are of size i and j, respectively, in the sample.

Extending (B1) for two samples under null hypothesis, we have

Formula 9(B9)
where Formula 9 is the number of mutations whose frequency is i in sample 1 and j in sample 2.

Formula 9 is the probability an ancestral sequence at state k has i descendants in sample 1 and j descendants in sample 2.

Formula 9 is the probability that one ancestral sequence at state k has i descendants in sample 1 and j descendants in sample 2 while at the same time another ancestral sequence at state k has l descendants in sample 1 and m descendants in sample 2.

Formula 9 is the probability that an ancestral sequence at state k has i descendants in sample 1 and j descendants in sample 2 while at the same time one of its descendant sequences at state k' (k' > k) has l descendants in sample 1 and m descendants in sample 2.

Formula 9 is the probability that an ancestral sequence at state k has i descendants in sample 1 and j descendants in sample 2 while at the same time one of its nondescendant sequences at state k' (k' > k) has l descendants in sample 1 and m descendants in sample 2.

After some algebra, we can simplify (B9) to (13).


ACKNOWLEDGEMENTS
We thank Bruce Walsh and two anonymous reviewers for their wonderful comments and suggestions. This work was supported by National Institutes of Health grants GM60777 and GM50428.


LITERATURE CITED

ACHAZ, G., S. PALMER, M. KEARNEY, F. MALDARELLI, J. W. MELLORS et al., 2004 A robust measure of HIV-1 population turnover within chronically infected individuals. Mol. Biol. Evol. 21: 1902–1912.[Abstract/Free Full Text]

DRUMMOND, A., and A. G. RODRIGO, 2000 Reconstructing genealogies of serial samples under the assumption of a molecular clock using serial-sample UPGMA. Mol. Biol. Evol. 17: 1807–1815.[Abstract/Free Full Text]

DRUMMOND, A., R. FORSBERG and A. G. RODRIGO, 2001 The inference of stepwise changes in substitution rates using serial sequence samples. Mol. Biol. Evol. 18: 1365–1371.[Abstract/Free Full Text]

DRUMMOND, A. J., G. K. NICHOLLS, A. G. RODRIGO and W. SOLOMON, 2002 Estimating mutation parameters, population history and genealogy simultaneously from temporally spaced sequence data. Genetics 161: 1307–1320.[Abstract/Free Full Text]

DRUMMOND, A. J., O. G. PYBUS, A. RAMBAUT, R. FORSBERG and A. G. RODRIGO, 2003 Measurably evolving populations. Trends Ecol. Evol. 18: 481–488.[CrossRef]

EWENS, W. J., and G. R. GRANT, 2005 Statistical Methods in Bioinformatics: An Introduction. Springer, New York.

FELSENSTEIN, J., 1992 Estimating effective population size from samples of sequences: a bootstrap Monte Carlo integration method. Genet. Res. 60: 209–220.[Medline]

FU, Y. X., 1994 A phylogenetic estimator of effective population-size or mutation-rate. Genetics 136: 685–692.[Abstract]

FU, Y. X., 1995 Statistical properties of segregating sites. Theor. Popul. Biol. 48: 172–197.[CrossRef][Medline]

FU, Y. X., 2001 Estimating mutation rate and generation time from longitudinal samples of DNA sequences. Mol. Biol. Evol. 18: 620–626.[Abstract/Free Full Text]

FU, Y. X., and W. H. LI, 1999 Coalescing into the 21st century: an overview and prospects of coalescent theory. Theor. Popul. Biol. 56: 1–10.[CrossRef][Medline]

GRIFFITHS, R. C., and S. TAVARE, 1994 Simulating probability-distributions in the coalescent. Theor. Popul. Biol. 46: 131–159.[CrossRef]

HUDSON, R. R., 1983 Testing the constant-rate neutral allele model with protein-sequence data. Evolution 37: 203–217.[CrossRef]

HUDSON, R. R., D. D. BOOS and N. L. KAPLAN, 1992 A statistical test for detecting geographic subdivision. Mol. Biol. Evol. 9: 138–151.[Abstract]

KUHNER, M. K., J. YAMATO and J. FELSENSTEIN, 1995 Estimating effective population size and mutation rate from sequence data using Metropolis-Hastings sampling. Genetics 140: 1421–1430.[Abstract]

RAMBAUT, A., 2000 Estimating the rate of molecular evolution: incorporating non-contemporaneous sequences into maximum likelihood phylogenies. Bioinformatics 16: 395–399.[Abstract/Free Full Text]

RODRIGO, A. G., E. G. SHPAER, E. L. DELWART, A. K. N. IVERSEN, M. V. GALLO et al., 1999 Coalescent estimates of HIV-1 generation time in vivo. Proc. Natl. Acad. Sci. USA 96: 2187–2191.[Abstract/Free Full Text]

RODRIGO, A. G., M. GOODE, R. FORSBERG, H. A. ROSS and A. DRUMMOND, 2003 Inferring evolutionary rates using serially sampled sequences from several populations. Mol. Biol. Evol. 20: 2010–2018.[Abstract/Free Full Text]

SEO, T. K., J. L. THORNE, M. HASEGAWA and H. KISHINO, 2002a Estimation of effective population size of HIV-1 within a host: a pseudomaximum-likelihood approach. Genetics 160: 1283–1293.[Abstract/Free Full Text]

SEO, T. K., J. L. THORNE, M. HASEGAWA and H. KISHINO, 2002b A viral sampling design for testing the molecular clock and for estimating evolutionary rates and divergence times. Bioinformatics 18: 115–123.[Abstract/Free Full Text]

TAJIMA, F., 1983 Evolutionary relationship of DNA-sequences in finite populations. Genetics 105: 437–460.[Abstract/Free Full Text]

WAKELEY, J., and J. HEY, 1997 Estimating ancestral population parameters. Genetics 145: 847–855.[Abstract]

WATTERSON, G. A., 1975 Number of segregating sites in genetic models without recombination. Theor. Popul. Biol. 7: 256–276.[CrossRef][Medline]

Communicating editor: J. B. WALSH