Abstract
In growing populations, the fate of mutations depends on their competitive ability against the ancestor and their ability to colonize new territory. Here we present a theory that integrates both aspects of mutant fitness by coupling the classic description of one-dimensional competition (Fisher equation) to the minimal model of front shape (KPZ equation). We solved these equations and found three regimes, which are controlled solely by the expansion rates, solely by the competitive abilities, or by both. Collectively, our results provide a simple framework to study spatial competition.
Propagating fronts are a ubiquitous feature of spatially extended systems. Examples include the spread of an invasive species in an ecosystem [1], the spread of a ferromagnetic phase across a magnet [2], the spread of a high fitness allele through a population [3], or even the propagation of a flame front [4]. These and other applications have stimulated a sustained effort to construct and analyze coarse-grained models of traveling reaction-diffusion waves [1, 5–8]. By now, we have a general understanding of one-dimensional waves, but two and higher dimensions pose numerous challenges because of the interplay between the dynamics along the wave front and the shape of the wave front itself.
Growing microbial colonies provide an excellent experimental system to study the two-way coupling between the shape of the colony edge and the spatial distribution of different genotypes in the population [9–11]. At the same time, microbial colonies also serve as useful model systems for tumor growth and geographic expansions of plants and animals [12]. Hence, the spatial competition between two different genotypes has garnered much recent attention [13, 14].
Although many approaches have been put forward to describe how microbes colonize surfaces, we are still lacking a simple, but general framework to describe competition during colony growth. Most computational studies rely on numerical simulations of complex microscopic models, and therefore can draw few general conclusions about possible outcomes of spatial competition [15–17]. To a certain extent, this challenge has been recently addressed by theoretical studies using either field-theory [18] or geometric-optics [11, 13, 19] approaches to describe morphologies of colonies with two competing species. These theoretical models, however, are agnostic to the mechanism of competition and assume the knowledge of emergent properties, such as the invasion velocity of the mutant. In consequence, their utility is rather limited because they cannot, for example, predict the winner of the competition given the microscopic qualities of the mutant and the ancestor. Thus, there is a need for a tractable model that can integrate the microscopic dynamics with the changes in the colony shape during spatial competition.
To construct such a model, we focused on growth on rich solid media so that one can neglect nutrient diffusion [20] and complex hydrodynamics [21, 22]. Under these assumptions, the state of the colony is well-described by two quantities: the spatial extent or “height” of the colony and mutant fraction , which change along the colony front (-coordinate) and with time [18]. For simplicity, we consider only planar fronts, where is simply the distance by which the colony expanded from the inoculation site. Thus, we treat the colony edge as a thin interface. This is a reasonable approximation because the growth region extends only a few cell widths into the colony, and any successful mutant has to emerge near the colony edge; otherwise it is crowded out of the growth zone and remains trapped in the colony bulk [23].
The dynamical equations for , and emerge naturally as generalization the well-studied limits of the Fisher-Kolmogorov-Petrovsky-Piskunov (FKPP) equation [3, 7] for one dimensional competition (no variation in ) and the Kardar-Parisi-Zhang (KPZ) equation [24] for interface growth (no variation in ).
The KPZ equation is a continuum limit of the classic Eden model of colony growth [25]. It has been quite successful at describing both deterministic and stochastic patterns in microbial colonies [26] including those observed during two-species competition [23]. The KPZ equation can also be viewed as a phenomenological model based on gradient expansion similar to its justification for surface growth phenomena [24, 26]. The dynamical equation for reads
(1) |
where the first two terms express the isotropic expansion of the colony with velocity along the local normal to the front, the third term encodes curvature relaxation, and the fourth term accounts for the difference in the expansion velocities of the mutant and the ancestor [18]. We used a linear interpolation between the two velocities because most of our result are obtained “to the first order” in the differences between the two competitors. Higher order terms (such as ) are similarly ignored.
Assuming that the mutant has a selective advantage , the dynamics of the mutant fraction is described a modified FKPP equation [3, 7]:
(2) |
where the first term accounts for differences in local reproduction rates, the second accounts for spatial rearrangements due to motility or population fluxes generated by the expansion dynamics, and the third is our addition to describe “passive” changes in due to the motion of a tilted interface [18, 27, 28]. Indeed, a tilted front advances along its normal, so it moves both vertically and horizontally. The horizontal velocity advects , which manifests in the term proportional to in the equation above; see Fig. 2 in the SI [29] for an illustration.
Without the coupling to , the FKPP equation is the classic model of spatial competition between two genotypes in one dimension. Its asymptotic solutions are known as traveling waves because they have the form , where is the invasion velocity of the mutant. In the following, we determine how the coupling between and affects by solving Eqs. (1) and (2) numerically using MATLAB’s pdepe (for codes, please visit [38]). We then develop an analytical theory that not only quantitatively matches the simulations, but also provides deep insights into the existence of three distinct regimes of spatial competition.
The solutions of the FKPP equation are broadly classified into so-called “pulled” and “pushed” waves depending on how the selective advantage depends on mutant frequency . Pulled waves are dominated by the dynamics at leading edge, and the invasion velocity can be obtained by linearizing the FKPP equation for small ; the resulting ‘Fisher velocity’ is given by (see Refs. [1, 3, 7, 8]). In contrast, the velocity of pushed waves depends on the values of at all , and cannot be, in general, computed analytically except for some exactly solvable models such as with [30, 31]. For this model, pushed waves occur for with ; the waves are pulled for . Behavior for is analyzed by changing variables from to .
We assume that the mutant has a local fitness advantage , and first consider pulled waves with . The emergence of a traveling wave of is apparent in Fig. 1(a). The corresponding , however, is not a simple traveling wave (Fig. 1(b)). The colony front is composed of a curved portion dominated by the ‘mutant’ and a flat front dominated by the ‘ancestor’. While the transition point between these two regimes advances with the same velocity , the overall shape of the curved portion depends on both time and the co-moving coordinate because the growth dynamics encoded by persist even after the mutant displaces the ancestor.
To understand how the invasion velocity is affected by the coupling to height, we computed it numerically at different values of . For , the equations are effectively decoupled because genetic variation along the front does not create any disturbances in the front shape, which remains for all . Mutant is faster than the ancestor when and slower otherwise. While the latter case may seem paradoxical, it has actually been observed experimentally [19].
Simulation results are shown in Fig. 2, with different markers denoting different values of . We immediately observe that the data falls into two regimes: For small , the invasion velocity is a constant, which depends on . For large , the situation is reversed: the velocity depends on , but not on . Thus, there appears to be two distinct regimes: one mediated by local competition described by the FKKP equation, and one mediated by the expansion rates in the KPZ equation.
We tested this hypothesis by comparing solutions of the uncoupled FKKP and KPZ equations to the results in Fig. 2. For small , there is perfect agreement between the observed values of and the expected Fisher velocity . In hindsight, this may not be too surprising since pulled waves are controlled by the dynamics at the leading edge, where is flat and the coupling term is the FKPP equation vanishes. However, the influence of growth velocity differences manifests dramatically in the shape of the front, which changes from a V-shaped dent at negative to a composite bulge for positive ; see Fig. 2.
For large , the simulations match
(3) |
which can be obtained from the KPZ equation by analogy with the equal-time argument in Ref. [11] and the geometric theory in Ref. [19]. In this regime, the mutant forms a circular bulge [39] of radius , while the ancestor has a flat front at height . These two curves intersect at point whose -coordinate moves with velocity . The transition between the –dependent and –dependent invasion velocities occurs at a critical value of when the velocity of the circular bulge exceeds the Fisher velocity. This agrees with the general observation that a faster moving solution typically controls the behavior of a traveling wave [8].
The above results for pulled waves are surprising from both mathematical and biological perspectives. Mathematically, it is surprising that the invasion velocity is controlled by only one of the equations, i.e. there is no two-way coupling. Biologically, it seems counter-intuitive that, no amount of disadvantage in the expansion velocity can overcome the competitive advantage . To see whether these conclusion hold more generally, we carried out equivalent simulations for pushed waves with . The results are shown in Fig. 3.
Compared to pulled waves, there are three regimes. One regime occurs for large and corresponds to a mutant assuming a circular bulge morphology invading at . This regime is completely analogous to what we described for pulled waves above.
In addition, there are two new regimes at near zero and at large negative . The dynamics in the latter regime depends on whether Eq. (2) describes propagation into an unstable state (, the mutant has a competitive advantage at any ) or into a metastable state (, the mutant needs a critical density to out-compete the ancestor).
For ( is stable), the invasion speed changes sign when becomes sufficiently negative. In this case, the ancestor invades a more competitive mutant because it has a much larger expansion velocity. The invasion proceeds with a circular bulge of the ancestor which must advance with velocity .
When ( is unstable), the invasion velocity remains positive for all values of , and eventually becomes constant. The value of this limiting velocity matches , which is the velocity that one would obtain by linearizing Eq. (2). This behavior is identical to what we found for pulled waves, in Fig. 2, so, in effect, the slower expansion rate of the mutant converted its invasion of the ancestor from pushed to pulled.
The other new regime occurs for near zero. In contrast to pulled waves, the invasion velocity exhibits a dependence on both and . We will now analyze this new dynamics using perturbation theory.
To find how depends on both and , we will treat the coupling between the dynamics of and , i.e. the term in Eq. (2), using an approach detailed in Refs. [32–35]. The scale of the perturbation is thus set by the maximal front slope which we denote .
The perturbative scheme proceeds as follows: In the absence of coupling, the invasion profile of a mutant fraction ( is ) is the solution of the standard one-dimensional Fisher equation, which are known exactly for certain . We can use the solution of the standard one-dimensional invasion problem to obtain the correction to due to nontrivial morphological changes associated with mutant sectors. Substituting into Eq. (1) leads to a non-linear differential equation whose solution provides the first order profile . As described in the SI [29] the non-linear equation can be solved exactly via a Cole-Hopf transformation, resulting in a complicated form for that depends on and . Qualitatively, this height profile is a sigmoidal curve that changes from in the region , to as . The limiting slope can be obtained from Eq. (1) by setting (see [29] for details).
(4) |
After substituting into Eq. (2), the methodology described in Refs. [32–36] can be used to compute the first order correction to the invasion velocity, leading to the correction
(5) |
where is the unperturbed velocity for .
To coefficient in Eq. (5) is a ratio of integrals that depend on the function (see SI [29]). In general, the solution is complex, but it can be simplified in two limiting cases.
By setting , equation for becomes first order, and its solution simplifies the evaluation of all downstream integrals. This limit corresponds to the geometric description in which the profile simply advances along the local normal without further relaxation, yielding . The case captures the qualitative changes in including the transition to pulled waves at , where must vanish. Thus, our theory recapitulates the finding that the invasion speed becomes insensitive to the morphology when the wave becomes pulled.
The insensivity of pulled waves to morphology is a general finding of our perturbative approach. To demonstrate this, consider the dynamics of the tail of any pulled wave (with arbitrary ), which follows a linearized Eq. (2) about in the co-moving frame:
(6) |
The zeroth order solution travels at a speed and the profile has a tail which is asymptotic to as . The correction to the invasion velocity (see SI) is a ratio of integrals, with the denominator being . Substitution of the asymptotic profile shape immediately shows that this integral diverges, and thus the correction to the invasion speed vanishes for any pulled wave.
Another useful approximation is obtained by neglecting the nonlinear term in Eq. (1), which is justified for small because . In this case, we have to evaluate the downstream integrals numerically, but obtain a perfect agreement with the simulations at least when is small; see Fig. 4. Our perturbation theory, as well as the model described in this work, rests on the assumption of small slopes in the height field allowing a gradient expansion description of the colony expansion. In terms of our three velocities, this requires
We can use perturbation theory to estimate the location of the transition from a right-moving wave (mutant taking over) to the left-moving wave (ancestor taking over). This occurs when , i.e for . Beyond this point, simulations show that jumps discontinuously (when ) from to the value corresponding to a left-moving circular arc as discussed above.
Although we have not studied stochastic versions of Eqs. (1) and (2), we anticipate no major qualitative changes due to noise. Our focus is largely on sector morphologies formed by selective forces between strains, which have characteristic lengths scaling linearly with time, overshadowing noise-induced, sublinearly scaling fluctuations. As such, long-term ballistic sector motion should render noise corrections irrelevant, though it may cause minor quantitative alterations to invasion velocity values [36, 37]. For pulled waves, noise might also induce qualitative changes, such as a non-zero reflecting noise strength.
Microbes, cancer cells, and invasive species often spread across space forming a continuous two-dimensional populations. Here, we couple a model of surface growth (KPZ equation) to a model of competition (generalized FKPP equation). The combined model faithfully describes recent observations of nontrivial colony morphologies near emerging mutants [11, 19]. Moreover, it elucidates how colonization rate and local competitive strength affects the fate of the mutation. We find that mutant takeover relies on whether the FKPP equation allows for pulled waves, driven by growth dynamics at low mutant densities, or pushed waves, influenced by growth dynamics across the entire mutant-ancestor interface.
For pulled invasions, we found that the mutant with a positive selective advantage always wins regardless of the value of . For small , the invasion velocity depends only on , while for large , it is given by the geometric theory and depends on only. For pushed waves propagating into an unstable state , the mutant always wins as well, but its invasion velocity could depend on both and . The competitive outcome, however, could be different for pushed waves propagating into a metastable state. If , the mutant that would invade in a strictly one-dimensional population, i.e. without coupling to morphology, could lose during colony expansion. Specifically, a large negative reverses the direction of invasion. Simulations with a different selection coefficient further suggest invasion reversal is only possible when is an unstable fixed point - see SI [29].
These intricate interplay between local competition and global expansion rates are supported by numerical simulations and analytical perturbation theory. Taken together our results not only elucidate many subtleties associated with mutant establishment, but also pave the way for a more parsimonious and universal description of evolutionary and ecological processes in growing populations that is also very amenable to theoretical analyses.
Supplementary Material
Acknowledgments
K.S.K was supported by the NIGMS grant 1R01GM138530-01. M.K. acknowledges support from NSF through grant DMR-2218849. D.W.S. is supported by the MathWorks School of Science fellowship. H.L. is supported by Sloan Foundation through grant G-2021-16758.
Contributor Information
Daniel W. Swartz, Department of Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA
Hyunseok Lee, Department of Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA.
Mehran Kardar, Department of Physics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA.
Kirill S. Korolev, Department of Physics, Graduate Program in Bioinformatics and Biological Design Center, Boston University, Boston, Massachusetts 02215, USA
References
- [1].Murray JD, Mathematical biology: I. An introduction (Springer, 2002). [Google Scholar]
- [2].Eisler V, Maislinger F, and Evertz HG, SciPost Physics 1, 014 (2016). [Google Scholar]
- [3].Fisher RA, Annals of eugenics 7, 355 (1937). [Google Scholar]
- [4].Zeldovich YB and Barenblatt G, Combustion and flame 3, 61 (1959). [Google Scholar]
- [5].Panja D, Physics Reports 393, 87 (2004). [Google Scholar]
- [6].Tang MM and Fife PC, Archive for Rational Mechanics and Analysis 73, 69 (1980). [Google Scholar]
- [7].Kolmogorov A, Petrovskii I, and Piskunov N, Moscow university bull (1937).
- [8].Van Saarloos W, Physics reports 386, 29 (2003). [Google Scholar]
- [9].Golding I, Cohen I, and Ben-Jacob E, Europhysics Letters 48, 587 (1999). [Google Scholar]
- [10].Hallatschek O and Nelson DR, Theoretical population biology 73, 158 (2008). [DOI] [PubMed] [Google Scholar]
- [11].Korolev KS, Müller MJ, Karahan N, Murray AW, Hallatschek O, and Nelson DR, Physical biology 9, 026008 (2012). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [12].Gidoin C and Peischl S, Bulletin of Mathematical Biology 81, 4761 (2019). [DOI] [PubMed] [Google Scholar]
- [13].Hallatschek O and Nelson DR, Evolution: International Journal of Organic Evolution 64, 193 (2010). [DOI] [PubMed] [Google Scholar]
- [14].Excoffier L, Foll M, Petit RJ, et al. , Annual Review of Ecology, Evolution and Systematics 40, 481 (2009). [Google Scholar]
- [15].Nadell CD, Foster KR, and Xavier JB, PLOS Computational Biology 6, e1000716 (2010), ISSN 1553–7358, publisher: Public Library of Science, URL https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1000716. [DOI] [PMC free article] [PubMed] [Google Scholar]
- [16].Ghaffarizadeh A, Heiland R, Friedman SH, Mumenthaler SM, and Macklin P, PLoS computational biology 14, e1005991 (2018). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [17].Metzcar J, Wang Y, Heiland R, and Macklin P, JCO clinical cancer informatics 2, 1 (2019). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [18].Horowitz JM and Kardar M, Physical Review E 99, 042134 (2019). [DOI] [PubMed] [Google Scholar]
- [19].Lee H, Gore J, and Korolev KS, Proceedings of the National Academy of Sciences 119, e2108653119 (2022). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [20].Golden A, Dukovski I, Segrè D, and Korolev KS, Physical Biology 19, 056005 (2022). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [21].Atis S, Weinstein BT, Murray AW, and Nelson DR, Physical review X 9, 021058 (2019). [Google Scholar]
- [22].Farrell F, Hallatschek O, Marenduzzo D, and Waclaw B, Physical review letters 111, 168101 (2013). [DOI] [PubMed] [Google Scholar]
- [23].Kayser J, Schreck CF, Gralka M, Fusco D, and Hallatschek O, Nature ecology & evolution 3, 125 (2019). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [24].Kardar M, Parisi G, and Zhang Y-C, Physical Review Letters 56, 889 (1986). [DOI] [PubMed] [Google Scholar]
- [25].Halpin-Healy T and Zhang Y-C, Physics reports 254, 215 (1995). [Google Scholar]
- [26].Barabási A-L and Stanley HE, Fractal concepts in surface growth (Cambridge university press, 1995). [Google Scholar]
- [27].George AB and Korolev KS, PLOS Computational Biology 14, e1006645 (2018), ISSN 1553–7358, publisher: Public Library of Science, URL https://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1006645. [DOI] [PMC free article] [PubMed] [Google Scholar]
- [28].Chu S, Kardar M, Nelson DR, and Beller DA, Journal of theoretical biology 478, 153 (2019). [DOI] [PubMed] [Google Scholar]
- [29].See Supplemental Material at [URL will be inserted by publisher] for an illustration explaining the origin of the advective contribution to the FKPP equation, an exact solution of the KPZ equaion in the co-moving frame via a Cole-Hopf transformation, the details of our perturbative approach to calculating the wavespeed, and extended data showing the result of numerical simulation for alternative selection coefficients.
- [30].Fife PC and McLeod JB, Archive for Rational Mechanics and Analysis 65, 335 (1977). [Google Scholar]
- [31].Roques L, Garnier J, Hamel F, and Klein EK, Proceedings of the National Academy of Sciences 109, 8828 (2012). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [32].Meerson B, Sasorov PV, and Kaplan Y, Physical Review E 84, 011147 (2011). [DOI] [PubMed] [Google Scholar]
- [33].Paquette G, Chen L-Y, Goldenfeld N, and Oono Y, Physical review letters 72, 76 (1994). [DOI] [PubMed] [Google Scholar]
- [34].Mikhailov A, Schimansky-Geier L, and Ebeling W, Physics Letters A 96, 453 (1983). [Google Scholar]
- [35].Rocco A, Casademunt J, Ebert U, and van Saarloos W, Physical Review E 65, 012102 (2001). [DOI] [PubMed] [Google Scholar]
- [36].Birzu G, Hallatschek O, and Korolev KS, Proceedings of the National Academy of Sciences 115, E3645 (2018). [DOI] [PMC free article] [PubMed] [Google Scholar]
- [37].Brunet E and Derrida B, Physical Review E 56, 2597 (1997). [Google Scholar]
- [38]. https://github.com/dancewartz/BacteriaGrowth .
- [39].Since the KPZ equation approximates isotropic growth only to first order, the height field actually has a parabolic shape: .
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.