## Abstract

The persistence phenotype is an epigenetic trait exhibited by a subpopulation of bacteria, characterized by slow growth coupled with an ability to survive antibiotic treatment. The phenotype is acquired via a spontaneous, reversible switch between normal and persister cells. These observations suggest that clonal bacterial populations may use persister cells, whose slow division rate under growth conditions leads to lower population fitness, as an “insurance policy” against antibiotic encounters. We present a model of *Escherichia coli* persistence, and using experimentally derived parameters for both wild type and a mutant strain (*hipQ*) with markedly different switching rates, we show how fitness loss due to slow persister growth pays off as a risk-reducing strategy. We demonstrate that wild-type persistence is suited for environments in which antibiotic stress is a rare event. The optimal rate of switching between normal and persister cells is found to depend strongly on the frequency of environmental changes and only weakly on the selective pressures of any given environment. In contrast to typical examples of adaptations to features of a single environment, persistence appears to constitute an adaptation that is tuned to the distribution of environmental change.

A large part of evolutionary theory is devoted to understanding population structure and dynamics in a constant environment. For many applications, such theory is reasonable because the timescales of interest (*e.g.*, the time to fixation of a beneficial allele) are shorter than those over which the environment changes in an essential way. Some questions, however, require explicit consideration of environmental change (Lewontin and Cohen 1969; Cooper and Kaplan 1982; Seger and Brockmann 1987; Haccou and Iwasa 1995; Jablonka* et al.* 1995; McNamara 1995; Sasaki and Ellner 1995; Grafen 1999; Robson* et al.* 1999). Understanding the long-term survival of species is one area in which such consideration is essential.

Many examples of bacterial mechanisms are thought to be adaptations for survival in changing environments, some of which have recently been reviewed, including the mutator phenotypes (Giraud* et al.* 2001; de Visser 2002), sporulation (Eichenberger* et al.* 2004), adaptive mutation (Rosenberg 2001), and phase variation (Hallet 2001). A conclusive demonstration of the adaptive value of any one of these mechanisms, however, has not been made. In this article we provide a quantitative connection between experiment and theory for the bacterial persistence phenotype (Moyed and Bertrand 1983; Wolfson* et al.* 1990; Korch* et al.* 2003; Balaban* et al.* 2004; Keren* et al.* 2004) and show that this particular physiological mechanism could be an adaptation to changing environments.

It has been known since the 1940s (Bigger 1944) that growing bacteria cultures cannot be completely killed by antibiotic treatment—a small fraction of cells “persist.” Remarkably, the insensitivity to antibiotics exhibited by these persister cells is nonheritable: cultures grown up from persister cells are as sensitive to the drug as the parent culture from which the persisters were derived (Moyed and Broderick 1986). Persister cells do not remain persisters indefinitely, but spontaneously switch back to the normal, nonpersistent state and regain the usual sensitivity to antibiotics. Upon switching back, they appear, according to all available experimental observation, indistinguishable from normal cells.

Bacteria can protect themselves from various stresses, including many antibiotics, at the cost of suspending their growth. In nutrient-rich environments, in the absence of such stresses, bacteria face a crucial choice between two strategies: proliferate and risk death if stress conditions are encountered or suppress growth and be protected under such conditions. Persistence represents a risk-reducing solution to the above dilemma, a kind of “insurance policy” wherein the majority of the population does proliferate quickly under growth conditions, but a small fraction significantly suppresses growth. These slow-growing persister cells can save the population from extinction during times of stress. The actual investment in such an insurance policy, namely the number of persister cells, is known to be genetically determined and could therefore be subject to evolutionary adaptation. Here, we study the trade-offs associated with changes in the fraction of persister cells.

Persistence has been a difficult phenotype to study experimentally, both because membership in the persister subpopulation changes continually and more significantly because the subpopulation is only a tiny fraction of the total population of bacteria: only 1 in 10^{5}–10^{6} cells of wild-type *Escherichia coli* are persister cells (Moyed and Bertrand 1983). An additional complication stems from the observation in Balaban* et al.* (2004) that there are at least two types of persistent cells. The *type I persisters* are cells that exhibit a very slow exit from stationary phase. The size of the type I subpopulation depends on the number of cells that have passed through stationary phase and does not increase during growth phase. The *type II persisters*, on the other hand, are formed via a phenotype-switching mechanism whereby a normal cell spontaneously becomes a type II persister, and the type II persister cell can spontaneously switch back to the normal phenotype. This switch appears to be unrelated to the exit from stationary phase. Single-cell observation of persisters has been carried out in Balaban* et al.* (2004) where the spontaneous switch of single persister cells has been observed under the microscope.

To understand the potential advantage of spontaneous switching, we restrict our discussion to type II persistence. We fully develop the model of persistence given in Balaban* et al.* (2004), and using this framework we explain when and how persistence can confer an adaptive advantage in changing environments. To this end, we compare the population dynamics of the *hipQ* mutant strain of *E. coli* (Wolfson* et al.* 1990), which exhibits a 1000-fold higher rate of switching from normal type to persister cells, with that of wild-type *E. coli*. We find that certain types of environmental fluctuations are selective for the *hipQ* mutant, while others favor the wild type. Thus we show that persistence is an example of a biology whose adaptive advantage depends strongly on environmental changes. Finally, we discuss biological aspects that our model does not incorporate and their relation to current understanding of persistence.

## MODEL AND METHODS

### Modeling persistence:

As shown in Balaban* et al.* (2004), type II persistence can be described using a simple population genetics model. The total population of bacteria cells is divided into two subpopulations: normal cells and persister cells. At any time *t*, the number of normal cells, *n*(*t*), and persister cells, *p*(*t*), forms the population vector * x*(

*t*) = (

*n*(

*t*),

*p*(

*t*)). This vector changes in time due to the growth or decline of the two subpopulations. Such growth or decline depends on the state of the environment. When exposed to antibiotics, for example, normal cells die quickly, while persisters do not. Under typical growth conditions, on the other hand, persisters hardly grow at all, while normal cells rapidly proliferate. The characteristics of the environment are therefore an essential ingredient of our model.

The environment itself is a tremendously complex entity, and we generally ignore most of this complexity. We lump all of the intricacies of nutrient supply, toxicity, temperature, and media into a single number representing the fitness of a given type of cell in a particular environment. To simplify matters further, we consider cases where there are only two possible environments, corresponding to the presence or absence of antibiotic. We label the antibiotic environment **S** for “stress” and the antibiotic-free environment **G** for “growth.” The environment is then defined by a variable, **E**(*t*), which may take either the value **S** or **G** at any given time.

The equations governing the population vector, * x*(

*t*), are straightforward. Cells of each type (normal or persister) are assigned a growth rate that depends on the environment,

**E**(

*t*). These growth rates are labeled μ

_{n}and μ

_{p}, for normal and persister cells, respectively. Cells of each type are allowed to switch to the other type spontaneously. The rate of switching from normal to persister is labeled

*a*, and the rate of switching from persister to normal is labeled

*b*. The dynamics are therefore described by the following first-order, linear differential equations for the growth of and switching between the two subpopulations 1where the dot denotes differentiation with respect to

*t*. In matrix notation, these equations are written more compactly as 2where the environment variable

**E**(

*t*) appearing above is a matrix of the form 3The switching rates

*a*and

*b*were experimentally found to be independent of the presence or absence of antibiotic (Balaban

*et al.*2004), so we assume that these values remain constant in time. The growth rates μ

_{n}and μ

_{p}depend on conditions: μ

_{n}is positive under growth conditions and negative under antibiotic conditions, while μ

_{p}is small in both environments.

The two possible values of **E**(*t*), namely **S** and **G**, are matrices of the form given in Equation 3, with the appropriate values of μ_{n}, μ_{p}, *a*, and *b*. The switching rates *a* and *b* are markedly different between wild-type *E. coli* and the mutant *hipQ* strain. The experimentally measured values of the matrices **S** and **G** for each strain are given in Table 1. When discussing a particular strain, we label the matrices **S** and **G** with subscripts corresponding to the wild-type or *hipQ* strain: **S**_{wt}, **G**_{wt}, **S**_{hip}, and **G**_{hip}.

In our model, the changing environment is characterized by a pair of numbers (*t*_{g}, *t*_{s}), where *t*_{g} is the duration of growth and *t*_{s} is the duration of stress. The pair (2, 1), for example, corresponds to environmental change in which bacteria are allowed to grow for 2 hr, followed by 1 hr of antibiotic, followed again by 2 hr of growth and 1 hr of antibiotic, and so forth indefinitely. We thus consider periodically changing (cyclic) environments and do not allow for true randomness in their durations. As explained in the discussion, the periodic case is sufficiently general for our purposes.

To compare persistence of the wild-type and *hipQ* strains, we need to solve Equation 2 and obtain the dependence of the population size on the environmental changes. In a cycling environment with durations (*t*_{g}, *t*_{s}) the solution of Equation 2 is obtained using the matrix exponential of the environment variable **E**(*t*). The result takes the form 4where the dots indicate that the pattern repeats a certain number of times that depend on the value of *t*. It can be shown (see below) that the population vector eventually grows (or decays) at a single rate given by the highest eigenvalue of the matrix *e*^{tsS}*e*^{tgG}. We call this rate the long-term fitness of the strain and denote it by λ_{1}. Note that the order of the matrices, λ_{1} or λ_{1}, does not matter since the eigenvalues are the same. When two strains coexist in a changing environment, each strain eventually grows at the rate given by its long-term fitness. The strain with the larger long-term fitness grows faster and would take over the population.

Our model assumes that all growth (or decay) is exponential. Incorporation of nonexponential growth would render the analysis more difficult, but would allow the inclusion of stationary phase in the description, as well as the type I persistence mechanism (this type of persistence is associated with the exit from stationary phase). Such modeling awaits deeper biological understanding about the interaction between the mechanisms governing the two known types of persistence, as well as a more detailed physiology of persistence.

### Computation of long-term fitness:

Suppose by time *t* exactly *q* cycles of growth and stress have occurred. Then the solution of Equation 2, given by Equation 4, can be rewritten as follows: 5Naturally if the order of environments is initially reversed, we would have a slightly different expression in which *e*^{tgG} and *e*^{tsS} are exchanged. As *q* becomes large, the growth rate of the population vector will be completely dominated by the highest eigenvalue of the matrix *e*^{tsS}*e*^{tgG}. To see this, we diagonalize the bracketed matrix in Equation 5, letting λ_{1} and λ_{2} be the two eigenvalues and **M** be the matrix of eigenvectors: 6If λ_{1} is the larger of the two eigenvalues, then for large *q* the population vector grows exponentially as (λ_{1})* ^{q}*. Note that the quantity

*t − qt*

_{g}

*− qt*

_{s}is always less than

*t*

_{g}+

*t*

_{s}, so it does not grow with

*q*and therefore does not affect the population growth rate. The long-term fitness is thus given by λ

_{1}.

### Stochastic simulation:

The stochastic description of persistence considers Equation 1 as a discrete Markov process in continuous time (Bharucha-Reid 1960). For each strain, wild type or *hipQ*, there are four independent processes, each with a prescribed rate: (1) growth of normal cells, μ_{n}; (2) growth of persisters, μ_{p}; (3) normal cell to persister switching, *a*; and (4) persister to normal cell switching, *b*. The population vector for each strain is (*n*(*t*), *p*(*t*)) as before, except that population sizes are now whole numbers. Since each cell can undergo growth or switching independently, the rate of each process at the population level is given by the single-cell rate times the population size. Simulation is performed by iterated cycles of four steps (Gillespie 1977):

*The time of the next event is computed*. This is done by calculating the total rate of all processes, which is λ_{tot}=*n*(*t*)(μ_{n}+*a*) +*p*(*t*)(μ_{p}+*b*), and then randomly choosing the time of the next event,*t*_{next}, from the exponential distribution, λ_{tot}*e*^{−tλtot}*dt.**The type of event is computed*. One of the four events given above occurs at the time*t*_{next}. The probability of each event is proportional to the rate of its process. The total rate, λ_{tot}, is therefore the appropriate normalization, giving the following probabilities for the occurrence of each type of event: μ_{n}·*n*(*t*)/λ_{tot}, μ_{p}·*p*(*t*)/λ_{tot},*a*·*n*(*t*)/λ_{tot}, and*b*·*p*(*t*)/λ_{tot}. These probabilities are computed, and the event type is randomly selected from this distribution.*The population vector is updated to reflect the change*. If one of the growth processes occurs, then*n*(*t*) or*p*(*t*) is incremented by one. If a switching process occurs, then one component is decreased, and the other is increased, by one.*Population size is rescaled, if necessary*. If the total population size,*N*_{tot}, which counts all cells of both strains, exceeds some upper limit,*N*_{max}, the population is rescaled to a smaller size,*N*. The rescaling is done by assigning to_{i}*n*(*t*) and*p*(*t*) a random value sampled from a Poisson distribution having mean*n*(*t*)*N*/_{i}*N*_{tot}and*p*(*t*)*N*/_{i}*N*_{tot}, respectively.

In addition to these four steps, the environment obeys the periodicity fixed by *t*_{g} and *t*_{s}, so the rates of the four processes at a given time depend, as in Table 1, on the conditions occurring at time *t*. In all simulations we used the parameter values given in Table 1, with *b*_{hip} = 10^{−4}.

## RESULTS

### Large populations—the deterministic limit:

The long-term fitness of the wild-type strain and of the *hipQ* mutant is computed using λ_{1} and λ_{1}, respectively. These fitness values depend on the changes of environment, manifested by the duration of growth, *t*_{g}, and the duration of antibiotic stress, *t*_{s}. For a given type of changing environment specified by (*t*_{g}, *t*_{s}), we wish to know which strain has higher fitness. We therefore compute the curve in the (*t*_{g}, *t*_{s}) plane for which wild type and *hipQ* have equal fitness. The curve is given by the equation 7which implicitly gives the dependence of *t*_{s} on *t*_{g}. We plot the curve of equal fitness in Figure 1. The curve separates the plane into two parts. Below the curve, wild type has higher fitness than *hipQ*, while above the curve the situation is reversed.

By performing an asymptotic expansion of the fitness values, for large values of *t*_{g}, we found that the curve asymptotically grows linearly with *t*_{g}. We do not provide the details of this computation as it is lengthy and not particularly illuminating, giving the result 8where . Here, we have used superscripts g and s to indicate the environment; for example μ^{s}_{n} refers to the killing rate of normal cells under stress conditions. Using this expression in the equation of the equal fitness curve (7), we find that Equation 7 is linear in *t*_{g} and *t*_{s}, for large durations, and that the slope of the line is −, which is ∼*a*_{hip}/*b*_{wt} = 0.01 (when values in Table 1 are used).

As noted in Table 1, the value of the switching rate *b*_{hip} is poorly determined. To assess the effect of this parameter on the fitness, we used the upper-bound value of *b*_{hip} when plotting the curve of equal fitness in Figure 1 and the lower bound in the Figure 1 inset. The main effect of decreasing the value of *b*_{hip} is to increase the size of the region of wild-type superiority. Using Equation 8, we see that when *b*_{hip} is small, changing its value by an order of magnitude will effect a change of the *hipQ* fitness mainly through the log(*b*) term. Since this term is positive, decreasing *b*_{hip} will decrease the fitness of *hipQ* and therefore increase the region in which wild type wins.

It is also interesting to plot the ratio of growth rates of the two strains as a function of *t*_{g} and *t*_{s}. This is shown in Figure 2, plotted on a logarithmic scale. This quantity indicates how quickly the fitter strain would win a hypothetical competition between the two strains. We see that in the region below the line of equal fitness in Figure 2A, wild type wins, but only by a bit, while above the line, *hipQ* wins by an order of magnitude or more, depending on the environmental durations. This is because in this region of very short antibiotic durations, the fitness difference between the two strains is well approximated by the difference in growth rates of normal cells in the absence of antibiotic. This difference is *a*_{hip} − *a*_{wt}, which is therefore only 10^{−3} in favor of wild type.

### Small populations—the stochastic limit:

The fitness ratio shown in Figure 2 plays an important role in determining the sensitivity of the results to changes in population size. To determine how small population sizes affect the deterministic results, we ran stochastic simulations in which the growth and switching rates given by the matrices **G** and **S** determined the stochastic replication and switching times for a finite population of cells. The simulation is described in model and methods. At every time *t*, the simulation records the number of normal and persister cells for each strain. The population size is always kept smaller than a given size, consistent with the idea of a limiting resource.

In Figure 3A, we show a sample stochastic trajectory, for a population of size 10^{5}, in the changing environment given by (*t*_{g}, *t*_{s}) = (20, 2.5). The simulation begins with equal numbers of wild-type and *hipQ* cells. In this particular simulation, after the fourth round of stress, the normal cells of both wild type and *hipQ* are completely killed (Figure 3A, event b). The *hipQ* mutant, however, has generated a handful of persisters during the growth phase, while wild type has not. These persisters are able to grow slowly during the subsequent growth phase and are not completely killed during stress. Eventually the *hipQ* persisters reach a population size of 10^{4}, at which point the total rate of switching back to the normal cell type is 10^{4}* b*_{hip}, which is 1. We see that a switch occurs at this point (*t* = 125 hr), and the *hipQ* normal cell population thereafter reestablishes itself.

Due to stochastic fluctuations, the result of competitions between wild type and *hipQ* for small population sizes may differ from the deterministic case. In the stochastic simulation of Figure 3A, *hipQ* wins because it is able to generate a few persisters that allow it to survive a particularly calamitous antibiotic episode (event b), while wild type does not. In the deterministic case, shown in Figure 3B, wild type wins every time because its population is never completely wiped out by antibiotic, and therefore its small fitness advantage over *hipQ* guarantees eventual victory. To study the deviation of finite populations from the deterministic limit, we ran stochastic competitions at *t*_{g} = 20 for various values of *t*_{s}. Each competition was repeated 100 times, and the fraction of wild-type wins was computed. The results, for three different population sizes, are shown in Figure 4.

We find that for finite population sizes, the line of equal fitness shifts in favor of *hipQ*. That is, the amount of stress at which wild type has a 50% chance of winning is strictly less than that in the deterministic case shown by the dotted line in Figure 4. To understand this effect, note that a population of size 10* ^{n}* will be completely killed by antibiotic within hr. Without persisters, a population of size 10

^{4}, for example, cannot survive >2.4 hr of stress. During the growth phase, the wild type will have produced ∼10

^{4}

*a*

_{wt}= 0.01 persisters, meaning that 99% of the time there will be no persisters, while

*hipQ*will produce 10

^{4}

*a*

_{hip}= 10 persisters. In this case

*hipQ*is far more likely to survive than wild type, as seen in Figure 4.

At what population size can we expect the line of equal fitness to coincide with the deterministic line at *t*_{s} = 3.9? We note that persisters in antibiotic die at a rate of μ^{s}_{p} per hour, meaning that we need at least exp persisters to survive *t*_{s} hr of antibiotic. Wild type will produce this number of persisters when its population size is on the order of exp*/a*_{wt} ≈ 10^{6}−10^{7}, while *hipQ* produces this number already at smaller sizes. We thus expect population sizes of order 10^{7} to be nearly deterministic. We can see in Figure 4 that this estimate is in good agreement with the rate of approach of the point of equal fitness on the curves with *N* = 10^{4}, 10^{5}, and 10^{6} toward the dotted line. Stochastic simulations with *N* = 10^{7} are, unfortunately, prohibitively long for us to gather meaningful statistics.

For population sizes <10^{4}, both wild type and *hipQ* have a high probability of extinction even when antibiotic stress is relatively short. Competitions at such small sizes are not particularly meaningful because both populations are dying on average, unless very short durations of stress are used. In such cases *t*_{s} is close to 0, and we can roughly assume that both populations are under conditions of growth, so that the fitness of normal wild-type cells is μ^{g}_{n} − *a*_{wt} and of normal *hipQ* cells is μ^{g}_{n} − *a*_{hip}. The fitness difference is thus ∼10^{−3} in favor of wild type. We know from the diffusion approximation in population genetics (Roughgarden 1996) that stochastic effects become important when population size times the fitness difference is smaller than one. As population size decreases to order of 10^{3}, the fitness difference between wild type and *hipQ* will become insignificant, and we will find that each strain wins ∼50% of the time. This trend is seen clearly in Figure 4 for the *N* = 10^{4} curve at low values of *t*_{s}. When we ran 100 simulations using *N* = 10^{3} at *t*_{s} = 0, wild type won 51 times.

### Optimal switching rates:

Having established that certain types of environmental change can be selective for one strain over another, we would like to know in which type of cycling environment each strain is optimal. Optimality, here, refers solely to the persistence mechanism and, more specifically, to the switching parameters *a* and *b*. We consider a specific changing environment, fixed by the pair (*t*_{g}, *t*_{s}), and we tune the parameters *a* and *b* to maximize the long-term fitness. The optimization is carried out by setting to zero the partial derivatives of the long-term fitness with respect to *a* and *b*, and , and solving for *a* and *b*. Using the approximation given in Equation 8, we obtain the following result: 9

We checked this solution numerically and found that in the region of parameters relevant to *E. coli* (Table 1), the error in the approximate optimal values of *a* and *b* given in Equation 9 is 5%. Since *R*_{−} ≈ 0.22 for wild type, and *R*_{−} ≈ 0.27 for *hipQ*, we find that for times longer than a few hours, approximate 1/*t* relations hold: *a* ≈ 1/*t*_{g} and *b* ≈ 1/*t*_{s}. This type of result was seen also in different models, analytically in Lachmann and Jablonka (1996) and numerically in Thattai and van Oudenaarden (2004).

## DISCUSSION

We have analyzed the model of persistence first presented in Balaban* et al.* (2004) in the deterministic, large-population dynamics of Equation 2, using the concept of long-term fitness, as well as in the stochastic regime of small population size. Our central conclusion is that the type of environmental change, more than the specifics of any given environment, selects one strain over another. If persistence is an adaptation whose particulars, such as switching rates, have been significantly evolved, then it appears that the switching rates are largely determined by the way in which the environment changes. This is clear from the result that the optimal values of *a* and *b* are determined mostly by the durations *t*_{g} and *t*_{s}, which specify how often the environment changes, and only negligibly by the parameters μ_{n} and μ_{p}.

In particular, we find that the *hipQ* strain appears to be optimal for conditions in which antibiotic stress is frequent and intense (at least 10 times as frequent as growth conditions), while wild type is optimal when antibiotics are rarely encountered (∼1 day of antibiotic every 100 years). It is important to note that these numbers are only rough estimates and are probably best considered as order-of-magnitude estimates. The reason for this is that the measurements of switching rates are all made under laboratory conditions, rather than in the natural environments of *E. coli*. The type of antibiotic, the nature of its presentation to the cells, as well as many other external factors may affect the switching rates of the persistence mechanism. For this reason we do not believe that any inferences about the natural environment of *E. coli* may be made from the optimal durations determined above.

In modeling environmental change, we limited our treatment to regular, periodic changes. It would be more realistic to model the environmental durations as random variables with some characteristic probability distribution. Calculation of the population fitness in such a setting is significantly more complex and will be presented in a future publication. We find that when environmental durations are long enough [specifically, for *t*_{g}, *t*_{s} ≫ 1/(μ_{n} − μ_{p})], the long-term fitness does not depend on the particular form of randomness of the environment (E. Kussell and S. Leibler, unpublished results), but rather, for the case of two environments, it depends simply on their mean durations. Our conclusions for periodically changing environments therefore remain valid even when environmental durations are taken to be random variables, provided that these durations are not too short. The fixed values of *t*_{g} and *t*_{s} can then simply be replaced by average durations, *t̅*_{g̅} and *t̅*_{s̅}.

Practically nothing is known about interactions between the mechanism of persistence and other survival mechanisms such as sporulation, adaptive mutation, heat shock, phase variation, and the mutator phenotypes. Is there cross-talk between these networks? Is the persistence mechanism upregulated in reponse to certain cues? Our model does not account for these possibilities, nor is there presently enough understanding of the relevant physiology to allow meaningful modeling. The model presented here incorporates all of the known physiology of persistence and remains simple enough for a complete analysis.

The stochastic treatment of the model identified the range of population sizes for which the deterministic results hold. We showed that the deterministic conclusions are valid for population sizes >10^{7}. If the difference between the long-term fitnesses of the two strains, given in Figure 2, is large, then the deterministic results will hold for much smaller population sizes. Since the fitness difference shown in Figure 2 is a strictly increasing function of the environmental durations *t*_{g} and *t*_{s} (when these durations are not too short), we conclude that 10^{7} is a rough upper bound on the population size above which a deterministic description should hold. As this number is not an unreasonable population size for *E. coli*, it appears that the deterministic description of persistence should be sufficient for the purpose of quantifying its adaptive advantage over long timescales.

We have examined the bacterial persistence mechanism within a theoretical framework to demonstrate that its adaptive value is directly related to the distribution of environmental changes. As such, it is a rather unique example in which the particular spectrum of environments is selective, rather than the particular features of any given environment. The ability to test rigorous theory in this system leads us to believe that a deeper understanding of adaptations to changing environments, and phenotype switching in particular, will emerge from its study.

## Acknowledgments

We thank Gerard Ben Arous, Andrew Murray, and Jack Merrin for many fruitful discussions, as well as members of our laboratory. E.K. thanks the Alfred P. Sloan foundation for support.

## Footnotes

Communicating editor: D. Charlesworth

- Received August 29, 2004.
- Accepted January 10, 2005.

- Genetics Society of America