Home | About | Journals | Submit | Contact Us | Français |

**|**BMC Genomics**|**v.10; 2009**|**PMC2778663

Formats

Article sections

Authors

Related links

BMC Genomics. 2009; 10: 485.

Published online 2009 October 20. doi: 10.1186/1471-2164-10-485

PMCID: PMC2778663

Michael C Wendl: ude.ltsuw@ldnewm; Richard K Wilson: ude.ltsuw@nosliwr

Received 2009 March 20; Accepted 2009 October 20.

Copyright ©2009 Wendl and Wilson; licensee BioMed Central Ltd.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

This article has been cited by other articles in PMC.

Rare population variants are known to have important biomedical implications, but their systematic discovery has only recently been enabled by advances in DNA sequencing. The design process of a discovery project remains formidable, being limited to *ad hoc *mixtures of extensive computer simulation and pilot sequencing. Here, the task is examined from a general mathematical perspective.

We pose and solve the population sequencing design problem and subsequently apply standard optimization techniques that maximize the discovery probability. Emphasis is placed on cases whose discovery thresholds place them within reach of current technologies. We find that parameter values characteristic of rare-variant projects lead to a general, yet remarkably simple set of optimization rules. Specifically, optimal processing occurs at constant values of the per-sample redundancy, refuting current notions that sample size should be selected outright. Optimal project-wide redundancy and sample size are then shown to be inversely proportional to the desired variant frequency. A second family of constants governs these relationships, permitting one to immediately establish the most efficient settings for a given set of discovery conditions. Our results largely concur with the empirical design of the Thousand Genomes Project, though they furnish some additional refinement.

The optimization principles reported here dramatically simplify the design process and should be broadly useful as rare-variant projects become both more important and routine in the future.

Technological developments continue to dramatically expand the enterprise of DNA sequencing. In particular, the emergence of so-called "next-generation" instruments (NGIs) is opening a new chapter of genomic research [1]. If we characterize sequencing economy by the ratio of project speed to total project cost, NGIs are orders of magnitude superior to their traditional Sanger-based predecessors. Indeed, they are the first systems to demonstrate the economic feasibility of sequencing individual genomes on a large scale [2].

Future efforts will undoubtedly use NGIs to address issues in medical sequencing and personal genomics [3], but these instruments are also poised for major contributions at the population level [4,5]. For example, the Thousand Genomes Project (TGP) is focusing on comprehensive identification of variants in the human population through cohort-level whole-genome sequencing using NGIs [6,7]. One of its main goals is to discover and characterize rare single nucleotide alleles, basically those present at minor allele frequencies around 1% or less. This region was not accessible to the earlier HapMap Project [8]. Rarer instances are obviously much more difficult to find and necessitate gathering enormously larger amounts of data. Such demands will obviously extend to any future such projects one might envision, including those for model organisms, agriculturally important species, cancer genomes, infectious agents, etc.

The success of such variation projects depends upon adequately understanding the relevant process engineering issues and subsequently crafting a suitable project design. One concern in traditional single-genome sequencing is the so-called "stopping problem" [9-11]], which is the proposition of estimating what redundancy will suffice for a desired level of genomic coverage. Variation projects similarly require specification of a total, project-wide redundancy, *R*. Yet, because they necessarily involve multiple genomes, an essentially new design question also emerges. That is, how does one optimize the number of samples, *σ*, versus the redundancy allotted per sample, *ρ*, such that the probability of finding a rare variant, *P*_{v}, is maximized? The existence of such optima is intuitively clear. Heavily sequencing only a few samples will tend to miss a variant because it is unlikely to be present in the original sample set. Conversely, light sequencing of too many samples may overlook the variant by virtue of insufficient coverage for any samples actually harboring it. Somewhere between these extremes lie optimum combinations of parameters.

At present, this issue can only be addressed in *ad hoc*, fairly inefficient ways. For example, the TGP conducted both painstaking computer simulations and pilot sequencing phases involving hundreds of genomes to aid in designing the full-scale project [6,7]. While certainly informative, even such seemingly extensive data may not, by themselves, give a complete picture of optimization because combinations of the many underlying variables (Table (Table1)1) lead to an enormous solution space. We comment further on this aspect below. Existing theory is also ineffective because sequence coverage has not yet been considered [12].

Here, we examine optimization from a more focused mathematical perspective. Our treatment accounts for sequence errors via the proxy of a variable read covering count [3,13], but it omits secondary, project-specific details like software idiosyncrasies [14], instrument-specific biases [15], and alignment issues [16]. The solution leads to a set of general, though unexpectedly simple optimization principles, which correct some earlier speculation [17] and are useful as first approximations for actual projects. Because these rules appreciably narrow the solution space, they also offer good starting points for even more targeted numerical and empirical searches that might account for secondary effects, if such are deemed necessary.

The term "rare variant" is routinely taken to mean a rare allele, although it can also mean a rare SNP genotype. Take *ϕ *to be the variant frequency, i.e. the minor allele frequency or the rare homozygous genotype frequency, as appropriate. We assume the TGP convention whereby samples are sequenced separately to uniform depths [6,7], instead of being pooled first. The general theory then encompasses the multiple-genome population sequencing problem and its subsequent design optimization.

**Theorem 1 (Allele Variants)**. Let *D*_{A }be the event that a rare allele is detected, i.e. found by the investigator in a sequenced diploid genome sample. Its probability is

(1)

where

(2)

is the coverage probability of spanning the allele's genomic position on a chromosome with at least *τ *sequence reads. Let *σ *independent, randomly-selected samples each be sequenced uniformly to haploid depth *ρ*. Then, if *K *is the random variable representing the number of samples the variant is found in and if *N *is the minimum number of observations necessary to declare the variant as being "discovered", the discovery event is defined as *K *≥ *N *and its probability is

(3)

**Theorem 2 (Genotype Variants)**. The probability of *D*_{G}, the event that a rare genotype is detected in a sample, is

(4)

and its discovery probability is again given by Eq. 3, except where *D*_{G}, replaces *D*_{A}.

Variant discovery is a constrained optimization problem [18], which can be stated as follows. Given the biological parameter *ϕ *and project-specific design parameters *R*, *σ*, *τ*, *P*_{v, min}, and *N*, maximize the objective function *P*_{v}, subject to both the equality constraint

(5)

and to the auxiliary constraint

(6)

In practical terms, we want to most efficiently discover a variant at the lowest possible cost, as represented by *R*.

Although the problem is framed in terms of finding a single variant, actual projects are apt to be specified according to discovering a certain average number of rare variants. These scenarios are equivalent, as Eq. 6 also quantifies the expected fraction of variants that will be found in the project. For example, *P*_{v, min }= 0.95 indicates finding 95%, on average, of the variants occurring at some value of *ϕ*.

Leaving aside the optimization of *ρ *versus *σ *for a moment, the least obvious of the project-specific parameters to specify is arguably *N*. Higher values may exceed the actual number of instances in the sample set, resulting in *a priori *failure of the project. We will therefore concentrate on the experimentally relevant special cases *N *= 1 and *N *= 2. The former is clearly a minimum requirement, while the latter serves to better discern between a rare population variant and a SNP that is unique to an individual sample (a "private SNP").

Because we have an explicitly-defined equality constraint in the form of Eq. 5, the number of design variables can be reduced by one [18]. Specifically, substituting *ρ *= *R*/*σ *into Eq. 2 allows us to write a constrained form of the coverage probability, which in turn furnishes constrained expressions for the probabilities of events *D*_{A }and *D*_{G}. It is expedient at this point to switch from the event-based notation of probability used up until now to the Eulerian (functional) convention for the calculus-based aspect of optimization. Specifically, let *f*_{τ, i}with *i * {*A, G*} represent the now-constrained probabilities of *D*_{A }and *D*_{G}. (A detailed explanation of the switch in notation appears in "Mathematical Preliminaries".) We now state the following important optimization conditions.

**Theorem 3 (Optimal Conditions)**. The optimum number of samples in a multiple-genome variation project for *N *= 1 is governed by the differential equation

(7)

and for *N *= 2 by the differential equation

(8)

In particular, the roots of these equations in *σ *indicate maxima in *P*_{v }for rare alleles and genotypes. Each setting of the independent variables has one such optimum, *σ**, which is necessarily a global optimum.

Finding rare variants is clearly an important aspect of both population and medical genetics [19]. The discovery process was not feasible before the advent of NGIs, but is now being actively prototyped through efforts like the TGP [6,7] and will likely become more routine in the future. This eventuality motivates examination of the problem from a general perspective, similar in spirit to theoretical treatments of single genomes [20]. The following sections report on both some of the broad trends across the design variable spectrum, as well as optimal conditions for the important special cases of *N *= 1 and *N *= 2.

Fig. Fig.11 shows *P*_{v }versus *σ *for variants appearing at 1% frequency for thresholds of *N *= 1 and *τ *= 2. The latter appears to have emerged as the *de facto *choice to better control for sequencing errors [3,13]. Aside from the expected trend that performance improves as more data are gathered, the curves show two notable properties. First, *σ**, the sample size at which the maximum *P*_{v }occurs, increases with the project redundancy. This dependence means that a project cannot generally be optimized by selecting *σ *in advance of other factors. Put another way, outright specification of *σ *almost certainly assures that the discovery process will not be optimal. We expand further upon this point below.

Fig. Fig.11 also shows that curves are not symmetric with respect to *σ**. The rate of drop-off of *P*_{v }for a given project-wide redundancy is much more severe for *σ *<*σ**, implying that it is better to err in sequencing too many samples rather than too few. It is interesting to examine one of the TGP sequencing pilot phases in this context, which specifies 2× data collection for each of *σ *= 180 samples [6,7]. Here, *R *= 2·180 = 360, which is one of the curves plotted in Fig. Fig.1.1. Using the above thresholds, this design yields *P*_{v }≈ 61%, whereas the optimal configuration returns *P*_{v }≈ 66% for only about 100 samples. Despite using almost twice as many samples as is optimal, this design remains relatively good, precisely because of the non-symmetric behavior.

The above discussion suggests that investigators should consider abandoning the idea of choosing *σ *outright. An earlier projection offers an interesting case study to further illustrate this point. Gibbs [17] postulated that *σ *= 2,000 samples would be a good way of discovering extremely rare variants occurring at 0.05%. (This number may simply have been an expeditious choice, as further details were not specified, nor was there any description of how this prediction was made.) Fig. Fig.22 shows the implications of such a *σ*-based design. As *R *increases, *σ** marches to the right on the abscissa, eventually passing through the pre-selected *σ *= 2,000 at around *R *= 7,000. It continues rightward, leaving our fixed sample datum in the left-side wake of the optimum (*σ *<*σ**, as mentioned above), where the associated probability is now heavily penalized. In fact, the probability stalls at a value of roughly *P*_{v }≈ 0.85, regardless of the amount of additional data poured into the project.

Although this stalling effect may initially seem counter-intuitive, its explanation is quite straightforward. If we hold *σ *fixed while letting *R *increase without bounds, then *ρ *also grows without bounds (Eq. 5). In the limit, each sample will be perfectly sequenced, i.e. *P(C) *→ 1 in Eq. 2. Discovery is then simply a function of whether or not the variant is present in the original sample set. If so, it is absolutely certain to be discovered. The corresponding probabilities are then simple special cases of the model in Thms. 1 and 2. For example, for *N *= 1 observation of a rare allele we find

(9)

which is asymptotically identical to what is obtained if coverage is not considered at all [5]. The basic problem associated with constant sample-size designs is immediately apparent in this equation. Given small *ϕ*, the exponential term decays very slowly and can only be compensated for by increasing *σ*. The challenge, of course, is to do this such that *P*_{v }attains a maximum.

We commented above that empirical prototyping and numerical simulation are unlikely to give complete insights to the general optimization problem because of the size of the solution space. Consider that the relationship between two parameters requires only a single curve on an X-Y plot, three parameters require a family of curves on one plot, four a textbook of family-type plots, and so forth. Richard Bellman, who developed the optimization technique of dynamic programming, called this phenomenon the "curse of dimensionality". Table Table11 shows that we have 8 variables in our particular problem, however, even this is somewhat misleading because it does not consider the probabilistic nature of the problem. That is, *P*_{v }can only be established as an expected value through a sufficient number of repeated trials for each particular combination of the independent variables. This is the basic tactic used in simulation.

The population model in Thms. 1 and 2 improves matters considerably, furnishing *P*_{v }explicitly in terms of (*τ*, *R*, *σ*, *ϕ*, *N*). One could march through every combination of these variables, evaluating *P*_{v }for each, and log maxima that attain given levels of *P*_{v, min}. Though this approach would be enormously more efficient than naïve brute-force simulation, the calculations needed to adequately survey the floating-point "continuum" of the real-valued variables remain basically infeasible. Consequently, we still might not expect to discern any latent general laws.

We resort instead to Thm. 3, whose roots for *N *= 1 and *N *= 2 represent optimal sample sizes, *σ**. Let us first describe some unexpected properties found among the independent variables. These are important in that they furnish a direct solution to what might be called the *weak *optimization problem. This is the proposition that relaxes the condition defined by *P*_{v, min}. In effect, weak optimization provides the optimal probability, , subject to a pre-determined R rather than a given *P*_{v, min }> 0.

Fig. Fig.33 shows *σ** versus *R *for representative parameter settings. Data collapse onto curves according to variant type. In each case, *σ** = *σ**(*R*, *τ*) and *σ** *R*. These observations, coupled with *σ** = *R*/*ρ** from Eq. 5 then imply *σ**(*R*, *τ*) = *R*/*ρ**(*τ*). In other words, *ρ** is only a function of *τ *(Table (Table2).2). This is quite a significant finding because it immediately establishes the best sample redundancy for a project. In essence, this observation indicates that optimizable designs for rare variants are based on constant values of *ρ *rather than constant values of *σ *[17].

We emphasize that the numbers in Table Table22 are not based on first-principles and are not strictly encoded in the governing equations. Rather, they are fortuitous empiricisms, restricted to the parameter values that characterize rare-variant projects. Fig. Fig.44 demonstrates that, while *ρ** does indeed only depend upon *τ *up to allele frequencies of about 1%, it becomes a more complicated function of additional variables for higher frequencies.

The case of *τ *= 1 is conspicuously absent for rare alleles in Figs. Figs.33 and and44 because its optimum sample size is not finite. Unlike the other cases, *P*_{v }approaches its maximum as *σ *→ ∞, for example

(10)

Here, we have the seemingly contradictory implication that we should spread a finite amount of sequence resources over the largest number of samples, each of which will then have a vanishingly small *ρ*. Mathematically speaking, the rate by which the per-sample *f*_{1, A }decreases precisely offsets the favorable rate of increasing sample size, whereby *P*_{v }does not asymptotically vanish. However, there will usually be good secondary reasons for limiting *σ *in practice, e.g. cost of sample procurement. Moreover, conditions approach the limiting value rather quickly, for example setting *ρ *= *R*/*σ *≤ 0.1 brings *P*_{v }very close to the expression in Eq. 10. *R *is the main factor governing discovery under these conditions and its value can be calculated for a desired *P*_{v }by simply inverting Eq. 10.

The weak solution specifies constants of *ρ** (Table (Table2),2), which simultaneously imply *σ** for any choice of *R*. These properties subsequently fix certain relationships within the general problem, so that optimization for a desired *P*_{v, min }in Eq. 6 reduces to the task of solving directly for *ϕ *(see Methods). Fig. Fig.55 shows the resulting optimal designs for *τ *= 2, a setting characteristic of recent projects [3,13]. Results are plotted for *P*_{v, min }= 95%, the same threshold set by the TGP. All curves show a special kind of log-log relationship between *ϕ *and *R** in which the slope is -1. In other words, optimal designs can be expressed as a family of log-log curves having the form *ϕ **R** = *C*(*N*, *τ*, *P*_{v, min}), where *C *is a so-called *optimization coefficient *for each combination of the variables. Of course, knowing *C *immediately enables one to compute *R** and subsequently *σ** = *R**/*ρ** for a desired *ϕ*, which is of enormous practical value for project design. Table Table33 shows *C *for the configurations having well-defined optimum redundancies, although we note that Eq. 10 also follows this form, having *C *= 3.0. *R** is indicative of the total resources a project requires, so *C *is also useful in comparing relative costs. For example, requiring two observations of a rare allele instead of just one would only be, somewhat counter-intuitively, about 60% more expensive if both schemes were to be done optimally.

Log-log plot of optimum designs, *R** vs. *ϕ*, for discovering rare genotypes and alleles at probabilities of 95% when requiring at least two read coverings (*τ *= 2).

Consider the example of the TGP, whose sizable *ad hoc *design effort was already mentioned above. For *N *= *τ *= 2 at the 95% level, Table Table33 indicates *C *= 15.8. Assuming 1% rare allele discovery, optimal processing calls for roughly 440 samples sequenced to 3.6× each, for a project total of *R *= 1580×. Given the long-standing convention of specifying *ρ *in whole units, these results largely confirm the TGP design, though in a more precise fashion. That is, TGP has only winnowed the sample size to 400-500 per population cluster, with each sample sequenced to 4× [6,7]. The associated *P*_{v }curve is relatively flat in 400 ≤ *σ *≤ 500, but this imprecision, coupled with a round value of *ρ*, still imposes a degree of cost liability. For instance, on the outer end, the project would expend 4·500 = 2000× in data, roughly 25% more than that required for 95% confidence. Project modifications are readily analyzed, for example, reaching alleles down to *ϕ *= 0.5% would simply require doubling the project: about 880 samples with *R *= 3160×. Analysis of genotypes is now similarly trivial.

Sequence variation is often called the "currency" of genetics [4] and whole-genome sequence variation projects, enabled by continuing advances in technology, will likely become both increasingly important and routine in biomedical research. Although finding common occurrences is no longer considered to be very difficult, rare ones remain challenging because of the significantly larger amounts of data that must be gathered. Process optimization has to be considered much more carefully here. We have reported a general, though remarkably simple set of optimization principles based on analyzing the population sequencing problem. Results largely confirm the design of a special case, that of the TGP, but also permit immediate analysis of a much broader set of possible project requirements. Derivation of optimal conditions for even higher *N *and/or *τ *would be a mechanical, albeit not entirely trivial extension of the mathematics shown here, but the experimental feasibility of such designs for future projects remains unclear.

Population structure is another consideration, as rare variants are likely to be associated with particular geographic regions and their sub-populations [4]. A few issues are relevant here. First, some studies target the variation underlying specific phenotypes [21], but variant discovery projects do not place strong preference on the kinds of variation that are sought. Second, *ρ** is not a function of rareness (Fig. (Fig.4),4), meaning that latent population-related differences in frequency will not ruin optimality. One should simply treat each desired sub-population separately, making no differential adjustments to per-sample redundancies. This strategy assures discovery of population-specific variants and, incidentally, is precisely what the TGP is following.

This section expands on some of the mathematical esoterica involved in establishing the theory.

This principle enables one to find the derivative of a function that itself depends on another function [22]. In essence, it establishes a product rule for the respective derivatives. For example, if *y *= *z*^{3 }and *z *= *x*^{2 }+ 1, then *dy/dx *= *dy/dz*·*dz/dx *= *3z*^{2}·2*x *= 6*x*(*x*^{2 }+ 1)^{2}. Chain Rule is used in the logarithmic differentiation process described below.

This term means that all random variables in a collection are independent of one another, i.e. they have no mutual influences or relationships, and that each has the same probability as all the others [23]. Coin flipping is a simple example. The current flip is not influenced by past ones, nor does it influence future ones, and each flip has the same probability of showing, say, "heads". This concept is the basis of ultimately establishing the binomial nature of *P*_{v }in Theorem 1.

This mathematical device employs the Chain Rule (see above) to differentiate functions whose forms render them difficult to handle using more basic rules. Proof of Theorem 3 (below) requires this treatment because the independent variable being differentiated against appears in the exponent. An illustrative example having precisely the same issue is *y *= *e*^{x}, which is readily shown by this procedure to be its own derivative. Applying Chain Rule to the logarithmic form, ln *y *= *x*, yields *y*^{-1}·*dy/dx *= 1, from which *dy/dx *= *y *= *e*^{x }immediately follows.

This aspect is complicated by the fact that the theory straddles two different branches of mathematics: probability and calculus. In the former case, notation is primarily concerned with specifying configurations of events, while in the latter, Euler's convention is used to describe functional dependence on a set of independent variables. This necessitates a change in notation as we move from the probabilistic discovery model in Thms. 1 and 2 to the calculus-based optimization process in Thm. 3.

Substituting the constraint in Eq. 5, *ρ *= *R*/*σ*, into Eq. 2, we can write the *constrained *form of the coverage probability as

(11)

which now depends upon *τ*, *R*, and *σ*. In turn, this expression is substituted into Eqs. 1 and 4 to obtain constrained probabilities for events *D*_{A }and *D*_{G}, respectively, with dependence now extending to *ϕ*, as well. From here on, let us consider these event probabilities simply as mathematical functions. For example, *f*_{1, G }is the expression obtained by setting *τ *= 1 in Eq. 11, squaring it, and multiplying by *ϕ*, i.e. it is the constrained probability of the event *D*_{G }originally introduced in Eq. 4. Under this notation, we can then easily represent *all *such functions universally by writing them in a form *f*_{τ, i }= *f*_{τ, i }(*ϕ*, *R*, *σ*), where *i * {*A*, *G*}. This is the convention we follow in both Thm. 3 (above) and its proof (below).

Roots are values of the independent variable which cause a function to vanish, i.e. to be equal to zero. For example, *y *= *x*^{2 }- 9 can be factored as *y *= (*x *+ 3) (*x *- 3), showing that *x *= ±3 are the roots for which *y *= 0. This concept is relevant to the proof of Theorem 3 (below) because maxima within the *P*_{v }family of functions occur at roots in *σ *of the first derivatives. Roots play a similar role in solving Eqs. 15 and 16.

**Theorem 1**: Let *A*_{j }and *C*_{j }be the events, respectively, that an allele variant exists on chromosome *j *in a sample at location *x *and that *x *is spanned (covered) by at least *τ *sequence reads. The detection event is *D*_{A }= (*A*_{1 }∩ *C*_{1}) (*A*_{2 }∩ *C*_{2}). Given the presumed IID (see "Mathematical Preliminaries") nature of alleles and coverage with respect to chromosomes, *ϕ *= *P*(*A*_{1}) = *P*(*A*_{2}) and *P*(*C*) = *P*(*C*_{1}) = *P*(*C*_{2}), from which Eq. 1 follows directly. Eq. 2 is a corollary of diploid covering theory [24]. Finally, with respect to any given sample, *D*_{A }is a Bernoulli process: an allele is either detected, or it is not. Given uniform *ρ *for each sample and the random selection of presumably independent genomes, the process is IID. The distribution of detected variants is then binomial [23], from which Eq. 3 follows directly.

**Theorem 2**: Let *G *represent the existence of a rare genotype in a sample. Since both alleles must be discerned, the detection event is *D*_{G }= *G *∩ *C*_{1 }∩ *C*_{2}. Because coverage of *x *is not a function of whether the genotype is actually present and *vice versa, G *and *C*_{1 }∩ *C*_{2 }are independent, whereby Eq. 4 follows directly.

**Theorem 3**: The optimization problem is cast by substituting the single-sample detection probability, *f*_{τ, i }(see "Mathematical Preliminaries"), into the project-wide discovery probability, *P*_{v}(*K *≥ *N*) in Eq. 3. Noting that *f*_{τ, i }and *P*_{v }are both functions of *σ *(among other variables), but omitting the functional notation, this process gives

(12)

for the special cases of interest, *N *= 1 and *N *= 2, respectively.

Roots in *σ *of the first derivatives of these equations are a necessary condition in identifying the extrema of *P*_{v}[22]. Their forms require us to use logarithmic differentiation. (This procedure and the concept of roots are both outlined in the "Mathematical Preliminaries" section above.) Setting the resulting derivatives equal to zero gives the corresponding characteristic equations

and

for *N *= 1 and *N *= 2, respectively. In general, *P*_{v }≠ 1 in either case, so the conditions must instead be satisfied by the terms in square brackets. Eqs. 7 and 8 follow directly.

The fact that there is only a single, global optimum, *σ**, for each case is a consequence of *P*_{v }being a unimodal function in *σ*. In general, *P*_{v }vanishes monotonically for *σ *>*σ** because *P*(*C*) → 0, and consequently *f*_{τ, i }→ 0, as *σ *is increased under finite values of *R*. The exception is *f*_{1, A}, for which *P*_{v }asymptotically approaches a maximum (Eq. 10).

Optimal conditions are described by constants of *ρ**, which can be substituted into the single-sample probability to obtain an optimized . For *N *= 1, we can then derive the following expression, valid for both alleles and genotypes, directly from Eq. 12

(14)

where constants *λ*_{τ }and *β*_{τ }are given in Table Table2.2. This equation describes the relationship between *ϕ *and *R *under optimal conditions when given user-specified values of *τ *and *P*_{v, min}. For *N *= 2, we cannot readily obtain an explicit optimization rule from Eq. 13. Instead, we cast the relationship as a root-finding problem in *ϕ *for genotypes as

(15)

and for alleles as

(16)

That is, given *τ*, *R*, and *P*_{v, min }the values of *ϕ *under which the process is optimal are the roots of Eqs. 15 and 16.

Eqs. 7 and 8 depend upon partial derivatives of *f*_{τ, i}. For rare alleles and genotypes, i.e. *i * {*A*, *G*}, we follow standard rules of differentiation [22] to obtain

(17)

Note that an equation for *f*_{1, A }is absent because the case of *τ *= 1 for rare alleles does not have a well-defined optimum (Eq. 10).

Eqs. 7, 8, 15, and 16 all depend upon the concept of finding the roots of an equation. (See "Mathematical Preliminaries" above.) Although none is readily factorable, they can be solved by the bisection algorithm, which is straightforward to apply, has reasonably good convergence behavior, and is extremely robust [25].

NGI: next-generation sequencing instrument; TGP: Thousand Genomes Project.

MCW conceived and constructed the mathematical theory and wrote the paper. Both authors approved the final manuscript.

The authors wish to thank Ken Chen, Li Ding, Elaine Mardis, and John Wallis for comments on the draft manuscript, as well as the referees for their suggestions related to making the mathematical content more accessible. This work was partially supported by grant HG003079 from the National Human Genome Research Institute (R. K. Wilson, PI).

- Mardis ER. The impact of next-generation sequencing technology on genetics. Trends in Genetics. 2008;24:133–141. [PubMed]
- Quail MA, Kozarewa I, Smith F, Scally A, Stephens PJ, Durbin R, Swerdlow H, Turner DJ. A large genome center's improvements to the Illumina sequencing system. Nature Methods. 2008;5:1005–1010. doi: 10.1038/nmeth.1270. [PMC free article] [PubMed] [Cross Ref]
- Ley TJ, Mardis ER, Ding L, Fulton B, McLellan MD, Chen K, Dooling D, Dunford-Shore BH, McGrath S, Hickenbotham M. DNA sequencing of a cytogenetically normal acute myeloid leukaemia genome. Nature. 2008;456:66–72. doi: 10.1038/nature07485. [PMC free article] [PubMed] [Cross Ref]
- Chakravarti A. Population genetics -- Making sense out of sequence. Nature Genetics. 1999;21:56–60. doi: 10.1038/4482. [PubMed] [Cross Ref]
- Zwick ME, Cutler DJ, Chakravarti A. Patterns of genetic variation in Mendelian and complex traits. Annual Review of Genomics and Human Genetics. 2000;1:387–407. doi: 10.1146/annurev.genom.1.1.387. [PubMed] [Cross Ref]
- Kaiser J. A plan to capture human diversity in 1000 genomes. Science. 2008;319:395. doi: 10.1126/science.319.5862.395. [PubMed] [Cross Ref]
- Siva N. 1000 genomes project. Nature Biotechnology. 2008;26:256. [PubMed]
- Gibbs RA, Belmont JW, Boudreau A, Leal SM, Hardenbol P, Pasternak S, Wheeler DA, Willis TD, Yu F, Yang H. A haplotype map of the human genome. Nature. 2005;437:1299–1320. doi: 10.1038/4371233a. [PubMed] [Cross Ref]
- Wendl MC, Waterston RH. Generalized gap model for bacterial artificial chromosome clone fingerprint mapping and shotgun sequencing. Genome Research. 2002;12:1943–1949. doi: 10.1101/gr.655102. [PubMed] [Cross Ref]
- Wendl MC, Barbazuk WB. Extension of Lander-Waterman theory for sequencing filtered DNA libraries. BMC Bioinformatics. 2005;6 doi: 10.1186/1471-2105-6-245. article no. 245. [PMC free article] [PubMed] [Cross Ref]
- Wendl MC. Random covering of multiple one-dimensional domains with an application to DNA sequencing. SIAM Journal on Applied Mathematics. 2008;68:890–905. doi: 10.1137/06065979X. [Cross Ref]
- Li B, Leal SM. Discovery of rare variants via sequencing: Implications for association studies [abstract] Genetic Epidemiology. 2008;32:702.
- Wheeler DA, Srinivasan M, Egholm M, Shen Y, Chen L, McGuire A, He W, Chen YJ, Makhi-jani V, Roth GT. The complete genome of an individual by massively parallel DNA sequencing. Nature. 2008;452:872–876. doi: 10.1038/nature06884. [PubMed] [Cross Ref]
- Chen K, McLellan MD, Ding L, Wendl MC, Kasai Y, Wilson RK, Mardis ER. PolyScan: An automatic indel and SNP detection approach to the analysis of human resequencing data. Genome Research. 2007;17:659–666. doi: 10.1101/gr.6151507. [PubMed] [Cross Ref]
- Harismendy O, Ng PC, Strausberg RL, Wang X, Stockwell TB, Beeson KY, Schork NJ, Murray SS, Topol EJ, Levy S. Evaluation of next generation sequencing platforms for population targeted sequencing studies. Genome Biology. 2009;10 doi: 10.1186/gb-2009-10-3-r32. article no. R32. [PMC free article] [PubMed] [Cross Ref]
- Whiteford N, Haslam N, Weber G, Prügel-Bennett A, Essex JW, Roach PL, Bradley M, Neylon C. An analysis of the feasibility of short read sequencing. Nucleic Acids Research. 2005;33 doi: 10.1093/nar/gni170. article no. e171. [PMC free article] [PubMed] [Cross Ref]
- Gibbs R. Deeper into the genome. Nature. 2005;437:1233–1234. doi: 10.1038/4371233a. [PubMed] [Cross Ref]
- Vanderplaats GN. Numerical Optimization Techniques for Engineering Design. New York NY: McGraw-Hill; 1984.
- Fearnhead NS, Wilding JL, Winney B, Tonks S, Bartlett S, Bicknell DC, Tomlinson IPM, Mortensen NJM, Bodmer WF. Multiple rare variants in different genes account for multifactorial inherited susceptibility to colorectal adenomas. Proceedings of the National Academy of Sciences. 2004;101:15992–15997. doi: 10.1073/pnas.0407187101. [PubMed] [Cross Ref]
- Lander ES, Waterman MS. Genomic mapping by fingerprinting random clones: A mathematical analysis. Genomics. 1988;2:231–239. doi: 10.1016/0888-7543(88)90007-9. [PubMed] [Cross Ref]
- Halushka MK, Fan JB, Bentley K, Hsie L, Shen NP, Weder A, Cooper R, Lipshutz R, Chakravarti A. Patterns of single-nucleotide polymorphisms in candidate genes for blood-pressure homeostasis. Nature Genetics. 1999;22:239–247. doi: 10.1038/10297. [PubMed] [Cross Ref]
- Courant R. Differential and Integral Calculus. I. New York NY: Interscience; 1937.
- Feller W. An Introduction to Probability Theory and Its Applications. 3. New York NY: John Wiley & Sons; 1968.
- Wendl MC, Wilson RK. Aspects of coverage in medical DNA sequencing. BMC Bioinformatics. 2008;9 doi: 10.1186/1471-2105-9-239. article no. 239. [PMC free article] [PubMed] [Cross Ref]
- Hamming RW. Numerical Methods for Scientists and Engineers. New York NY: McGraw-Hill; 1962.

Articles from BMC Genomics are provided here courtesy of **BioMed Central**

PubMed Central Canada is a service of the Canadian Institutes of Health Research (CIHR) working in partnership with the National Research Council's national science library in cooperation with the National Center for Biotechnology Information at the U.S. National Library of Medicine(NCBI/NLM). It includes content provided to the PubMed Central International archive by participating publishers. |