Abstract
Using game theory, we provide mathematical proof that if a species of asexually reproducing microbes is not characterized by maximum variability in competitive abilities among its individual organisms, then that species is vulnerable to replacement by competitors. Furthermore, we prove that such maximally variable species are neutral towards each other in competition for limited resources; they coexist. Our proof is constructive: given one species which does not possess maximum variability, we construct a second species with the same (or lower) mean competitive ability which can outcompete the first, in the sense that its expected value in competition is positive, whereas the expected value of the nonmaximally variable species is negative. Our results point towards the mechanistic underpinnings for the frequent observations that (1) microbes are characterized by large intraspecific variability and that (2) the number of extant microbe species is very large.
Introduction
The problem addressed here is the inexplicably high taxonomic and phenotypic diversity observed among and within microbe species (e.g., plankton). Microbes are the key engines of fundamental biological processes and show immense phenotypic variability within species in terms of physiological, demographic, or morphological characteristics (i.e., traits). Henceforth, we call this characteristic intraspecific variability. A fundamental conundrum arises because selection should favor individuals that maximize fitness (i.e., winner takes it all) and thus minimize intraspecific variation. This conundrum is well documented in the literature. Enabled by recent advances in measurement capacity, key traits subject to selection show surprising diversity. A nonexhaustive list of examples of highly variable traits includes elemental composition, morphology, physiology, and behavior (Boyd et al. 2013; Moal et al. 1987; Rynearson and Virginia Armbrust 2004; Fredrickson et al. 2011; Kiørboe 2013; MendenDeuer and Montalbano 2015). Such intraspecific variability has even been documented in marine metazoa (Morozov et al. 2013). Moreover, demonstrable variation among clonal individuals has shown intraspecific variability enhances species dispersal rates, cell encounters, and population distributions (MendenDeuer 2010). Recent empirical data confirm that variations in motility at the strain level manifest themselves in different population distributions (Harvey et al. 2015). Such intraspecific variability may enhance species survival and coexistence and has been suggested to be adaptive based on model simulations (MendenDeuer and Rowlett 2014). Observations of intraspecific variability in marine microbes are not restricted to artificial laboratory settings. Satellite observations show the distribution of a species of photosynthetic plankton persisting for months, over hundreds of kilometers along the North American west coast (Du et al. 2011; White et al. 2014). Laboratory experimentation on this plankton species documents intraspecific variability in physiology and movement behaviors (MendenDeuer and Montalbano 2015) that provide explanatory power for the species persistence documented with satellite observations. Thus, in the laboratory and ocean immense intraspecific, variability is demonstrable but difficult to explain theoretically.
Beyond the tremendous intraspecific physiological and behavioral variability discussed above, there is also an astonishing observable taxonomic diversity within marine microbes. This vast diversity of species occupies all branches on the tree of life (Rynearson and Palenik 2011). Recent investigations have shown that although thousands of species have already been described and discovered, many if not most marine microbes are yet to be identified (de Vargas et al. 2015; Worden et al. 2015). Although the number of planktonic species is unknown, the likely number of species exceeds most if not all other groupings of organisms. Using data collected globally, researchers estimated that there may be around 150,000 eukaryotic plankton species (de Vargas et al. 2015). Moreover, if prokaryotic species are to be included, there are likely millions of species of marine microbes and their total number may not be knowable (Ward 2002).
Here, we introduce game theory for microbes, which aims to understand the mechanistic underpinnings that yield the observable diversity in species and behaviors. The model interpolates between microscopic, individual level competition and macroscopic, species level survival. Justified by observations, species are characterized by intraspecific variability, manifested in different distributions of their competitive abilities. To avoid trivial outcomes, the mean competitive ability is restricted to have a maximum value of 1/2. This can also be interpreted as assuming species are equally limited by energy and resources, when the species is assessed cumulatively. Species do vary in their trait distributions, which imparts different degrees of intraspecific variability from degenerate (= invariant) distributions to the uniform distribution with maximal variability. Species are represented by specific distributions that do not change over time but individuals’ competitive abilities are chosen at random within each fixed cumulative distribution. Randomization of individual competitive abilities over time within a species represents competition in a dynamic system, where species are characterized by multiple physiological, behavioral, and morphological traits, that can impart changing degrees of fitness as a function of the particular abiotic and biotic conditions.
We have rigorous mathematical proof (see Appendices A & B) that according to the rules governed by this game theory, only those species that possess maximal variability among individual organisms have a unique quality: there is no other species with the same (or lower) mean competitive ability which has positive expected value in competition. In other words, there is no species that can outcompete the maximally variable species. On the other hand, for any species which does not possess maximal variability among individual organisms, in the proof of Theorem 1, we explicitly construct a species with the same (or lower) mean competitive ability which has positive expected value in competition, whereas the original species has negative expected value. The maximally variable species is the only species, which does not have such vulnerability. Moreover, in Proposition 1, we prove that such maximally variable species are neutral towards each other in competition for limited resources; they coexist.
Over time, if species tend toward maximum variability, then they simultaneously tend towards neutral coexistence. In this sense, we provide a plausible mathematical explanation for two widely documented but poorly understood characteristics of microbes: (1) enormous intraspecific variability and (2) tremendous biodiversity.
This work is organized as follows. In “Game theory for microbes”, we introduce our game theoretic model for microbes. This sets the stage for our mathematical results, which are presented in “Theoretical model and main results”. We end with “Concluding remarks”. The complete, rigorous mathematical proofs of the results presented in “Theoretical model and main results” are contained in Appendices A and B.
Game theory for microbes
The mathematics behind our approach is noncooperative game theory. This is justified by the lack of evidence that individual microbes communicate in such a way as to create coalitions or to cooperate. Biofilms are, however, an exception (Flemming et al. 2016). Competition occurs between individuals. The outcome of competition between individuals, no matter how biologically complex, can be reduced to three possibilities: win, lose, or draw (see Fig. 1). Due to the asexual reproduction of microbes, cumulative success of individuals in competition can be interpreted as population increase, cumulative losses lead to population decrease, and cumulative draws to neither gains nor losses.
In the game theoretic approach to examine competition on the level of species, we assume that each species is comprised of several individual organisms. Each individual has a competitive ability, which is not necessarily constant, but may change from one round of competition to the next. The competitive ability (CA) is represented by a number between 0 and 1. We assume that the species as a whole has a mean competitive ability (MCA), which does not exceed 1/2. The range of both the competitive abilities as well as the mean competitive abilities was chosen arbitrarily and our results are independent of the choice of specific values. At each round of competition, individual organisms are randomly put in pairs. The organism with the higher CA doubles, while the organism with the lower CA perishes; in case of equal CAs, both organisms simply persist. The magnitude of difference in CA between competitors is irrelevant.
A key, and we think novel, feature of our model is that the individual CAs are variable, depending on the distribution of CAs for a given species. Thus, the assembly of the individuals in a species represent the distribution of CAs, and their collective mean CA is equal to the species’ MCA. This situation is representative of genetically identical individuals that temporarily differ in competitive ability, due to for example their recent exposure to resources or metabolic demands, the particular state in their life cycle and such. Finally, competition in a dynamic system requires the nature of the competition to vary, for example, competition may be with respect to resource acquisition in one round, and predator defence in another. Thus, individuals that were superior relative to the mean in one round may be inferior within the next round.
This model applies to any arbitrary number of simultaneously competing species, with arbitrary (not necessarily equal) population sizes. Each species does not compete in a series of tournaments against all its competitors, but rather, it is competing against all other species simultaneously. So, our model shows how each species will fare in competition with any arbitrary number of other species.
Samesame but different
For each MCA value, there are numerous ways to assign the individual CAs, which have this same MCA value. We term this “samesame but different.” We recall the definition of strategic behavior distribution (SBD) from MendenDeuer and Rowlett (2014) specified to this setting. Here, an SBD is defined to be a particular way to assign CAs to individuals such that the MCA is equal to a fixed value. Interestingly, SBDs having the same MCA, nonetheless have dramatically different ecological repercussions depending on the particular characteristics of the SBD.
Largely, in order to reduce complexity, it is common to assume that variation among individuals and even species can adequately be represented by a mean or maximal response (e.g., Eppley (1972)). In this case, that would correspond to all individuals being equal and having CA always equal to the MCA. We refer to this degenerate SBD as the invariant SBD. We shall see in the proof of our main result that it is easily susceptible to invasion by a competing SBD, which also has MCA less than or equal to 1/2.
In general, we use here SBDs, which are neither purely deterministic nor purely probabilistic. The SBDs are not purely deterministic, because the CA of each individual is in general nonconstant. For example, we define the bimodal SBD to select half of the organisms of the species to have CA = 1, and the remaining half to have CA = 0. Any oddmanout gets 0 or 1 with probability 1/2. However, this selection occurs at each round of competition, so an organism which had CA = 0 in the first round of competition could have CA = 1 in the second round of competition. Moreover, for an organism, which had CA = 1 and succeeded in a round of competition and thereby replicates, both it and its clone could have either CA = 1 or CA = 0 in the next round of competition. Thus, the model is not deterministic. On the other hand, the model is also not purely probabilistic in the sense that each individual is not assigned its CA = 1 or 0 each with probability 1/2 , with the probabilities of each individual being independent. If that were the case, then it would be possible, but unlikely, that at a specific round of competition, all individuals had CA = 0. In our model, as long as the number of individuals is at least two, this is impossible. Thus, the SBDs we use are neither purely deterministic nor purely probabilistic. This fluidity of differences among individuals requires the species under consideration to be an asexually reproducing microbial species. This restricts our results to microbes, because asexual reproduction will quickly regenerate individuals with identical genetic capacity within the SBD of the species, and thus offset losses due to an inferior CA.
Below, to determine the success or lack thereof of defined SBDs, we use this game theoretic model to compute the expected value of SBDs in competition. A positive expected value implies population growth. A negative expected value implies population decrease. An expected value of 0 implies stable population abundance, neither increase or decrease.
Theoretical model and main results
The competitive abilities are selected from the values:
where the number M above is an integer greater than or equal to 6. Here, it is convenient to introduce the notation
For a species, A, comprised of N_{A} total individual organisms, for 0 ≤ x_{j} ≤ 1, we define n_{A}(x_{j}) so that
is the probability that an individual organism has competitive ability (CA) equal to x_{j}. We are interested in the expected value of A in competition with species B. In fact, our model works equally well if we consider B to be all other species, which compete with A for limited resources, because we do not require the total number of organisms, N_{A} and N_{B}, respectively, to be equal. We do assume that N_{A} and N_{B} are both positive.
Expected value in competition
We assume that organisms are randomly paired to compete. Then, we compute the probability that the organisms in species A, which have competitive ability equal to x_{i} compete with an inferior organism by first counting all of the organisms of species B, which have lower CA:
The probability of competing with such an organism is given by dividing by the total number of organisms of species B,
In a similar way, we compute the probability of competing with a superior organism is as follows:
Since we do not assume N_{A} and N_{B} are equal, some organisms might not compete at all. If N_{A} < N_{B} then only N_{A} organisms out of the total N_{B} organisms in species B actually compete, so the probability that an organism from species B competes is \(\frac {N_{A}}{N_{B}}\). In this case, all organisms from species A compete. If N_{B} < N_{A}, then only N_{B} organisms out of the total N_{A} organisms in species A compete, so the probability that an organism from species A competes is \(\frac {N_{B}}{N_{A}}\). In this case, all organisms from species B compete. So, in general, we define as follows:
Then, the probability that an organism from species A actually competes is as follows:
and the probability that an organism from species B actually competes is as follows:
Hence, the expected value for the competition of the organisms in species A with competitive ability x_{i} is as follows:
The expected value for species A in competition with species B is then calculated by summing the expected value for all competitive abilities:
The competition has a zerosum dynamic,
To see why this is true, we use the above considerations to compute:
It is then straightforward to compute that
and similarly
Hence,
This zerosum dynamic may be interpreted for competition for limited resources. Furthermore, we impose the energy and resource constraint corresponding to the assumption that the MCA does not exceed 1/2. The MCA is computed by taking the average of all competitive abilities, so we define as follows:
Then, the constraint is that for both species
The uniform SBD
Our first result shows that a certain SBD, known as the uniform SBD, is neutral in competition to all other SBDs, which have the same MCA as that of the uniform SBD. At the same time, we also show that the uniform SBD has positive expected value in competition with any SBD, whose MCA is less than the MCA of the uniform SBD.
Proposition 1
Let A be a species with MCA at most \(\frac {1}{2}\). Let U be the uniform SBD, which is the unique SBD having n_{A}(x_{i}) equal and positive for all i = 0, … , M. Then, \(\operatorname {MCA}(U) = \frac {1}{2}\), and
with equality if and only if the MCA of species A is equal to \(\frac {1}{2}\). We note that this is independent of the number of organisms in species A and species U.
Logical argumentation
To see why this is true, we use the definition of E[A, U] to write out this expected value; see Eq. 3 in Appendix A. At first, the expression may look complicated, but using the definition of the uniform SBD, as done in Eq. 4 of Appendix A, the expression simplifies. With these mathematical manipulations and resulting simplifications, the expression for the expected value of species A in competition with the uniform species U becomes
Above, N_{c} is the number of competing organisms, which we recall is the smaller of N_{A} and N_{U}. The number M is how we have defined the competitive values, as the numbers \(0, \frac {1}{M}, \frac 2 M\), and up to \(1 = \frac M M\). In the parentheses, we see 2MCA(A). By the constraint on the MCA, we know that \(\operatorname {MCA} (A) \leq \frac {1}{2}\), so 2MCA(A) ≤ 1. Consequently,
This shows that E[A, U] ≤ 0. Next, if \(\operatorname {MCA}(A) < \frac {1}{2}\), then
If instead, \(\operatorname {MCA} (A) = \frac {1}{2}\), then 2MCA(A) − 1 = 0, and consequently the expression for E[A, U] is zero.
Nonexploitable strategies
Here, we introduce a new definition which is a generalization of an evolutionary stable strategy. Recall that an evolutionary stable strategy (ESS), A, must satisfy for all other strategies, B,
Definition 1
A strategy, A, is a nonexploitable strategy, abbreviated NES, if and only if
Lemma 1
Every ESS is also an NES in our setting.
Logical argumentation
We start by assuming that A is an ESS. By the definition of an ESS, E[A, A] ≥ E[B, A] for all strategies, B. Due to the zerosum dynamic, E[A, A] = 0. So, this means that
By the zerosum dynamic,
so
Since E[B, A] ≤ 0, it follows that − E[B, A] ≥ 0. Therefore,
This holds for all strategies, B. We use the zerosum dynamic once more to see that
We therefore see that the definition for A to be an NES holds true. Hence, we see that every ESS is also an NES, but we shall see below that not every NES is an ESS.
The unique NES
Our main theorem proves that (1) there is no ESS in our setting, but (2) the uniform SBD is the unique NES.
Theorem 1
Let A be a species comprised of N ≥ 4 individual organisms and which has MCA less than or equal to 1/2. Assume that M ≥ 6. Then, there are two mutually exclusive possibilities:

1.
A is the uniform SBD.

2.
There is an SBD for a species B comprised of at most N individuals which has MCA less than or equal to 1/2 and which has positive expected value in competition with species A.
Therefore, we conclude:

1.
There is no SBD for species with at least N ≥ 4 individual organisms and which has MCA less than or equal to 1/2 which is an ESS.

2.
The unique NES is the uniform SBD.
Strategy of the proof
We have already demonstrated for the uniform SBD, U, that E[B, U] ≤ 0 for any SBD, B, which has MCA less than or equal to \(\frac 1 2\). So, the task at hand is to understand species, A, which are not uniform. We therefore begin by assuming that A is not the uniform SBD. We then proceed with several straightforward steps.
First simplification
We begin by making a simplifying observation. If \(\operatorname {MCA}(A) < \frac {1}{2}\), then we have shown that the uniform species has positive expected value in competition with species A. So, in that case, the theorem is proven. To complete the proof, we can henceforth assume that \(\operatorname {MCA}(A) = \frac {1}{2}\).
Pairs of CAs
The next idea is to look at the number of organisms at pairs of competitive abilities, starting with the lowest CA = 0 together with the highest CA = 1. We look at n_{A}(x_{0}) and n_{A}(x_{M}). There are three possibilities: either n_{A}(x_{0}) > n_{A}(x_{M}) , n_{A}(x_{0}) < n_{A}(x_{M}), or n_{A}(x_{0}) = n_{A}(x_{1}).

1.
In the first case, if n_{A}(x_{0}) > n_{A}(x_{M}), we define species B to have n_{B}(x_{0}) = N/2 and n_{B}(x_{M}) = N/2, where N is the total number of organisms as in the theorem. Then, we compute the expected value of B in competition versus A in Eq. 8 of “B.2 Pairs of CAs”,
$$E[B,A] = \frac{n_{A} (0)  n_{A} (1)}{2} > 0.$$So, in this case, we have found a species B which has MCA at most \(\frac {1}{2}\) (in fact equal to \(\frac {1}{2}\)), and the same number of organisms as species A, but which has positive expected value in competition versus species A.

2.
In the second case, n_{A}(x_{0}) < n_{A}(x_{M}). Here, we define B with
$$n_{B} (x_{j}) := \left\{\begin{array}{ll} 0 & x_{j} = 0 \\ 0 & x_{j} = 1 \\ \frac{N}{M1} & \text{ otherwise.} \end{array}\right. $$We compute in “B.2 Pairs of CAs” that
$$E[B,A] = \frac{1}{M1} \left( n_{A}(x_{M})  n_{A}(x_{0}) \right) > 0,$$since n_{A}(x_{M}) > n_{A}(x_{0}).

3.
In the third case, n_{A}(x_{0}) = n_{A}(x_{M}). In this case, we do not do anything, but instead proceed to look at n_{A}(x_{1}) and n_{A}(x_{M− 1}).
Pairbypair
We look next at n_{A}(x_{1}) and n_{A}(x_{M− 1}). There are the same three cases as above. In the first and second cases, we can define a species B, which has \(\operatorname {MCA}(B) \leq \frac {1}{2}\), and the total number of organisms of species B does not exceed N. If \(n_{A}\left (\frac {1}{M} \right ) > n_{A} \left (1  \frac {1}{M} \right )\), we define the species B to have \(n_{B} (x_{1}) = \frac N 2\) and \(n_{B} (x_{M1}) = \frac N 2\). Then, we compute in “B.3 Pairbypair” that the expected value of B in competition versus A is as follows:
On the other hand, if n_{A}(x_{1}) < n_{A}(x_{M− 1}), then we define
In “B.3 Pairbypair,” we show that the number of organisms in species B is N, and the MCA of species B is \(\frac {1}{2}\). We compute there that
In the last case, n_{A}(x_{1}) = n_{A}(x_{M− 1}), we do not do anything, just look at the next pair, looking at n_{A}(x_{2}) and n_{A}(x_{M− 2}). In this way, we continue pairbypair.
Second simplification
There are now two mutually exclusive possibilities: either at some step we found a pair which is lopsided, that is n_{A}(x_{k}) ≠ n_{A}(x_{M−k}) for some k = 0, 1, …. Once we reach such a pair, we show in “B.4 Second simplification” how to construct the species B, which has E[B, A] > 0. So, in all such cases, the theorem has been proven. It therefore only remains to consider the case when
for all k.
Exploiting nonuniformity
We are now reduced to the case where n_{A}(x_{k}) = n_{A}(x_{M−k}) holds for all k. That means that the SBD is symmetric around the competitive ability \(\frac {1}{2}\). However, we assumed that A is notuniform. This means that the numbers n_{A}(x_{k}) cannot all be identical. So, some of the n_{A}(x_{k}) are larger, and some are smaller. It is precisely this lack of uniformity which allows us to find a weakness and exploit it with species B. The details of this process are contained in “B.5 Exploiting nonuniformity”.
Concluding remarks
Evolution, or survival of the fittest, in the case of microbes must be approached from a different perspective in comparison to macroorganisms. Rather than assessing the fitness of individual microbes and applying evolution to individuals interpreted as representing a species, we propose that it is more fitting to consider cohorts of individuals that collectively but not individually represent the entire species. Individual microbes do not always behave in a way that maximizes fitness, nor does loss of an individual necessarily result in the loss of the genotype, because asexual reproduction yields multiple clones and can rapidly increase the abundance of specific clones or replace lost individuals representing a particular clone. Thus, loss of individuals can have no consequence for the species as a whole, suggesting a very different risk distribution compared to sexually reproducing organisms, where the species as a whole may nonetheless survive and remain variable with respect to their trait distribution. Thus, we analyze evolutionary fitness of species by interpolating between the individuallevel competitions and the specieslevel growth or attrition.
As we are investigating competition among species, if one species has a positive expected value, implying population growth, the other species has a negative expected value, implying population decrease. Presuming that species evolve so as to minimize vulnerability to invasion and attrition by other species, rather than to maximize fitness, then all species of microbes which survive would evolve to the uniform SBD. Obviously, the rate of change in the SBD will be influenced by the environmental conditions, the presence of cooccurring species and to what degree SBDs are similar or overlap with cooccurring species (e.g., character displacement). Irrespective of any external factors, the uniform SBD is the unique SBD, which contains the maximal variability among its individuals. Moreover, it is the unique SBD, which is not vulnerable to replacement by species with other SBDs with the same (or lower) MCA. There are two mutually exclusive options: evolve towards the uniform SBD or risk vulnerability to invasion.
Interestingly, the uniform SBD is also neutral in competition with all other SBDs, which have the same mean competitive ability. Thus, our second result shows that the uniform SBD coexists with all other SBDs, which have the same MCA. Hence, it predicts that microbes, which evolve to the uniform SBD, simultaneously evolve to coexist. We therefore have discovered a plausible mathematical explanation for two prevalent characteristics of microbes, which until now have been inexplicable in the context of competition theory: (1) maximal variability of traits among individuals of a single species and (2) coexistence of virtually limitless different species of microbes. For multicellular organisms, intraspecific variability has been suggested to be an important characteristic in the management of biodiversity (Des Roches et al. 2018). Our results imply that a quantification of the trait distributions of microbial organisms is essential to understand processes that drive ecosystem functioning, including ocean ecosystems and the global carbon cycle.
References
Boyd PW, Rynearson TA, Armstrong EA, Fu F, Hayashi K, Hu Z, Hutchins DA, Kudela RM, Litchman E, Mulholland MR, Passow U, Strzepek RF, Whittaker KA, Yu E, Thomas MK (2013) Marine phytoplankton temperature versus growth responses from polar to tropical waters—outcome of a scientific communitywide study. PLOS ONE 8(5):1–17
de Vargas C, Audic S, Henry N, Decelle J, Mahé F, Logares R, Lara E, Berney C, Le Bescot N, Probert I, Carmichael M, Poulain J, Romac S, Colin S, Aury JM, Bittner L, Chaffron S, Dunthorn M, Engelen S, Flegontova O, Guidi L, Horák A, Jaillon O, LimaMendez G, Lukes J, Malviya S, Morard R, Mulot M, Scalco E, Siano R, Vincent F, Zingone A, Dimier C, Picheral M, Searson S, KandelsLewis S, Acinas SG, Bork P, Bowler C, Gorsky G, Grimsley N, Hingamp P, Iudicone D (2015) Not, Fabrice; Ogata, Hiroyuki; Pesant, Stephane; Raes, Jeroen; Sieracki, Michael E.; Speich, Sabrina; Stemmann, Lars; Sunagawa, Shinichi; Weissenbach, Jean; Wincker, Patrick; Karsenti, Eric. Eukaryotic plankton diversity in the sunlit ocean. Science 348(6237)
Des Roches S, Post DM, Turley NE, Bailey JK, Hendry AP, Kinnison MT, Schweitzer JA, Palkovacs EP (2018) The ecological importance of intraspecific variation. Nature Ecology Evolution 2:57–64
Du X, Peterson W, McCulloch A, Liu G (2011) An unusual bloom of the dinoflagellate Akashiwo sanguinea off the central Oregon USA, coast in autumn 2009. Harmful Algae 10(6):784–793
Eppley RW (1972) Phytoplankton growth in the sea. Fish Temperature Bull 70(4):1063–1085
Flemming HC, Wingender J, Szewzyk U, Steinberg P, Rice SA, Kjelleberg S (2016) Biofilms: an emergent form of bacterial life. Nat Rev Micro 14(0):563–575
Fredrickson KA, Strom SL, Crim R, Coyne KJ (2011) Interstrain variability in physiology and genetics of Heterosigma akashiwo (Raphidophyceae) from the west coast of North America. J Phycol 47(1):25–35
Harvey E, MendenDeuer S, Rynearson T (2015) Persistent intraspecific variation in genetic and behavioral traits in the raphidophyte, Heterosigma akashiwo. Front Microbiol 6:1277
Kiørboe T (2013) Zooplankton body composition. Limnol Oceanogr 58(5):1843–1850
MendenDeuer S (2010) Inherent high correlation of individual motility enhances population dispersal in a heterotrophic, planktonic protist. PLoS Comput Bio 6(10):e1000942
MendenDeuer S, Montalbano AL (2015) Bloom formation potential in the harmful dinoflagellate Akashiwo sanguinea: clues from movement behaviors and growth characteristics. Harmful Algae 47:75–85
MendenDeuer S, Rowlett J (2014) Many ways to stay in the game: individual variability maintains high biodiversity in planktonic microorganisms. J Royal Soc Inter 11(95):20140031
Moal J, MartinJezequel V, Harris RP, Samain JF, Poulet SA (1987) Interspecific and intraspecific variability of the chemical composition of marine phytoplankton. Oceanol Acta 10:339–346
Morozov A, Pasternak AF, Arashkevich EG (2013) Revisiting the role of individual variability in population persistence and stability. PLOS ONE 8(8):1–12
Rynearson TA, Palenik B (2011) Learning to read the oceans. Adv Mar Biol 60:1–39
Rynearson TA, Virginia Armbrust E (2004) Genetic differentiation among populations of the planktonic marine diatom Ditylum brightwellii (Bacillariophyceae). J Phycol 40(1):34–43
Ward BB (2002) How many species of prokaryotes are there?. Proc National Academy Sci 99(16):10234–10236
White AE, WatkinsBrandt KS, McKibben SM, Wood AM, Hunter M, Forster Z, Du X, Peterson W (2014) Largescale bloom of Akashiwo sanguinea in the Northern California current system in 2009. Harmful Algae 37:38–46
Worden AZ, Follows MJ, Giovannoni SJ, Wilken S, Zimmerman AE, Keeling PJ (2015) Rethinking the marine carbon cycle: factoring in the multifarious lifestyles of microbes. Science 347(6223)
Acknowledgements
Julie Rowlett is grateful to Ksenia Fedosova, Philip Gerlee, and Jeffrey Steif for stimulating discussions and insightful comments. Many thanks to Medet Nursultanov for carefully checking the proofs and for suggesting the SBDs defined in Eqs. 18 and 20. We are also grateful to Edvin Wedlin for suggesting the term “nonexploitable strategy,” NES. Constructive feedback by three anonymous reviewers has improved a prior version of this manuscript.
Funding
Susanne MendenDeuer was supported through the National Aeronautics and Space Administration (award #NNX15AL2G).
Author information
Affiliations
Corresponding author
Appendices
Appendix A: Proof of Proposition 1
We compute the expected value,
where above N_{u} denotes the total number of uniform organisms, and n_{u}(x_{j}) denotes those with competitive ability equal to x_{j}. Similarly, we use N_{A} to denote the total number of organisms of species A, and
is the number of competing organisms. By definition of the uniform SBD,
Similarly,
Hence,
The last inequality follows because \(\operatorname {MCA}(A) \leq \frac {1}{2}\). So, we see that equality holds if and only if \(\operatorname {MCA}(A) = \frac {1}{2}\).
Appendix B: Proof of Theorem 1
Let A be a species comprised of N individual organisms. Let \(x_{k} = \frac {k}{M}\) for 0 ≤ k ≤ M, and n_{A}(x_{k}) be the number of organisms of species A with competitive ability x_{k}.
B.1 First simplification
If the MCA of A is less than \(\frac {1}{2}\), then the uniform SBD has MCA equal to 1/2, and by Proposition 1,
So, we may henceforth assume that the MCA of species A is in fact equal to 1/2. We shall prove the result by an induction argument. In this argument, we will be considering pairs of competitive abilities, (x_{k}, x_{M−k}). To begin, we consider the SBD in which species A has half of its organisms with competitive ability equal to 0, and the other half with competitive ability equal to 1. In case N is odd, any “odd man out” has competitive ability 0 or 1 each with probability 1/2. We call this the bimodal SBD.
In this case, we define species B to have
Then, we compute that the MCA of this species is
We have used above the assumption that M and N are both greater than or equal to 4. We compute the expected value
Henceforth, we may assume that the SBD of species A is not the bimodal SBD. By this assumption, n_{A}(0) and n_{A}(1) cannot both be equal to N/2. It will now be convenient to introduce the notation
Moreover, we will henceforth assume that M is even. Were M not even, we would simply make the partition twice as fine. Then, we use the constraint that the MCA is equal to \(\frac {1}{2}\) to compute:
Rearranging,
Grouping the terms on the left gives
Hence, we obtain the rather useful identity that
B.2 Pairs of CAs
We proceed to look at n_{A}(0) and n_{A}(1). If
If this is the case, we compute the expected value of B in competition against A is
Hence, the bimodal species satisfies the statement of the theorem in competition against species A.
If on the other hand we have
We then compute the expected value of A in competition versus B. Since both species have N organisms total, E[A, B] = −E[B, A], so this computation actually yields both values. The n_{A}(1) individuals with CA equal to 1 always win, whereas the n_{A}(0) individuals with CA equal to 0 always lose. Hence, they contribute
We now compute the expected value from the other individuals. For this, we recall the notation (5). For an individual of species A with CA equal to \(\frac {1}{2} + \frac k M\), we count that there are
individuals of species B, which have strictly higher competitive abilities. We similarly count that there are
individuals of species B, which have strictly lower competitive abilities. Hence, the expected value from the individuals of species A with CA equal to \(\frac {1}{2} + \frac k M\) is
By the symmetry in the definition of species B, for an individual of species A with CA equal to \(\frac {1}{2}  \frac k M\), these numbers are switched, so we compute the expected value is
We therefore compute the total expected value,
Now, we see that (6) is quite useful:
Recall that by definition (5)
Hence,
So, in case n_{A}(0) and n_{A}(1) are unequal, or in case A is the bimodal SBD, we have proven the theorem.
B.3 Pairbypair
We now proceed inductively. Assume that n_{A}(0) and n_{A}(1) are identical. We now consider
If these are unequal, in the same way as above, we can construct a species, B, which has higher expected value in competition. In case \(n_{A}\left (\frac {1}{M} \right ) > n_{A} \left (1  \frac {1}{M} \right )\), we define the species B to have its organisms equally distributed at \(\frac {1}{M}\) and \(1\frac {1}{M}\). By the same calculation as above, we compute the expected value
On the other hand, if
we define
Then, we compute that the number of organisms in species B is
Moreover, so defined the MCA of species B is \(\frac {1}{2}\). In species, A, the n_{A}(1) organisms with CA equal to one always win, whereas the n_{A}(0) organisms with CA equal to 0 always lose. Hence, their cumulative contribution to E[A, B] is zero. We therefore compute
Since n_{A}(x_{1}) − n_{A}(x_{0}) = 0,
By (6), this is
Hence, we have computed that
where the final inequality follows from (10) together with the observation that \(\frac {M2}{M3} > 1\).
We continue by induction. We assume that n_{A}(x_{j}) = n_{A}(x_{M−j}) for all j = 0, … , k − 1. Then, if n_{A}(x_{k}) > n_{A}(x_{M−k}), we define
Similar to our previous calculations,
If on the other hand we have n_{A}(x_{k}) < n_{A}(x_{M−k}), we define
We compute that species B has N organisms and its MCA is \(\frac {1}{2}\). Similar to our previous calculations, we compute
Above, we have used the assumption that n_{A}(x_{j}) = n_{A}(x_{M−j}) for all j = 0, … , k − 1. By (6),
where the last inequality follows since n_{A}(x_{M−k}) > n_{A}(x_{k}) and \(\frac {M2k}{M2k1} > 1\).
B.4 Second simplification
We therefore see that at the k th step, if n_{A}(x_{k})≠n_{A}(x_{M−k}), we can construct a species B such that E[B, A] > 0. So, we can now reduce to the case in which
In other words, the SBD of species A is symmetric about the competitive value \(\frac {1}{2}\). In the notation (5),
B.5 Exploiting nonuniformity
At this point, we assume that the species A does not have the uniform distribution. This means that the values \(\{n_{k} \}_{k = 0}^{M/2}\) are not all equal. So, there is at least one k, or perhaps several, for which n_{k} (and by symmetry, also n_{−k}) has the maximum value. These will be used, together with the assumption that the distribution is not uniform to construct the species, B. First, assume
This means that n_{A}(0) and n_{A}(1) are maximal. For the uniform distribution, denote by n_{U} = n_{U}(x_{k}) the number of organisms of competitive ability x_{k}, noting that it is the same for all k, hence,
However, since species A is not uniform, and n_{A}(0) = n_{A}(1) is maximal,
This will be important in our calculation of the expected value for species, B, defined below. We set
We first verify that the species, B, has at most N organisms:
Next, we verify that the MCA of species, B, is at most \(\frac {1}{2}\),
So, we define
Then, species B has MCA precisely equal to \(\frac {1}{2}\). We must show that this is consistent with the necessary condition that ε_{0} ≤ ε_{1}:
So, we will choose ε_{0} > 0 sufficiently small so that \(\varepsilon _{0} \leq \frac {1}{2(M1)}\). Since M is fixed, this is certainly possible.
Since the total number of organisms of species A is N = N_{A}, whereas the total number of organisms of species B is
we see that
We therefore calculate the expected value
By symmetry, n_{A}(0) = n_{A}(1) = n_{A}(x_{M}), so we have
We recall the definition of ε_{1} in (13) to write
Hence,
Thus,
Clearly,
since M > 0. So, we must show that
which is equivalent to
At this point, we recall the inequality (12), which implies
Hence,
So, it is sufficient to demonstrate the inequality
Since n_{A}(0) is fixed and positive, we can achieve this inequality by simply taking ε_{0} > 0 sufficiently small. Specifically, we demand that
This argument is for the case that the SBD of A is symmetric about \(\frac {1}{2}\), is not the uniform SBD, and we have Eq. 11. For the general case in which the SBD of A is symmetric about \(\frac {1}{2}\) and is not the uniform SBD, let
First, we assume that \(j < \frac {M}{2}  1\). Then, we define the SBD of B quite similarly as in the case of Eq. 11. Specifically, we let
We similarly require
to ensure that the species B has at most N organisms. To guarantee that the MCA is \(\frac {1}{2}\) we compute
We check that this is consistent with the requirement that ε_{0} ≤ ε_{1}:
We note that this is the same as Eq. 13 in case j = 0. Above, we see that it is important that we have made the assumption that \(j<\frac {M}{2}  1\). This guarantees that
Since j ≥ 0 and M ≥ 4, it is always possible to choose ε_{0} to satisfy these conditions, and to define ε_{1} as in Eq. 15. So, the species B has at most N organisms and has MCA equal to \(\frac {1}{2}\). We proceed to compute its expected value in competition with species A.
Here, it is convenient to recall the notation (5), as we will also use the symmetry n_{k} = n_{−k} to assess the expected value. So, in the notation of Eq. 5,
We can simplify
as well as
Hence,
We note that by the definition of Eq. 5 and by the symmetry of the SBD of A,
Similarly,
By the definition of n_{k} in Eq. 5, we also see that
So, we have computed
We see that setting j = 0, we obtain the same result as in that particular case. It is essentially the same argument for \(j = 0, 1, \ldots , \frac {M}{2}  2\); however, it is useful for applications involving studying particular SBDs to complete the proof for all cases \(j = 0, 1, \ldots , \frac {M}{2}  2\). By the assumption (14) on j, and since A is not the uniform SBD,
At this point, we recall the definition of ε_{1}, Eq. 15, computing
We also compute
Hence, we see that
Since M > j, so M − j > 0, we see that
It is convenient to group the terms with ε_{0} all together, so we must show that
By Eq. 16, and since j > 0,
We therefore see that
Hence, it is enough to prove that we can choose ε_{0} > 0 sufficiently small so that
Well, this can be achieved by simply demanding that
Finally, we consider the last remaining cases. We still have the assumptions that A is not the uniform SBD, and that its SBD is symmetric about \(\frac {1}{2}\). In these cases, we have j defined as in Eq. 14 satisfying
We first handle the case \(j=\frac {M}{2}\). When this is the case, by the definition of Eq. 14, using (5), we note that we have the inequality
Then, we define the species B to have
We calculate the MCA of species B:
Since the distribution of A is symmetric about the point \(\frac {1}{2}\), we compute the expected value (using the notation (5))
Above, we have used (17).
In the very last case, we have j defined in Eq. 14 with
Then, by the definition of j, the symmetry of the distribution of A, and using the notation (5),
In this case, we shall exploit this by defining
We compute the MCA:
We compute the expected value
We have the above inequality from Eq. 19.
Consequently, if A does not have the uniform SBD, we have shown how to construct a species B with \(\operatorname {MCA}(B) \leq \frac {1}{2}\), and with N_{B} ≤ N_{A}, such that
As we have computed in Eq. 2, this implies that
Consequently,
Hence, no such SBD, A, is an NES. Since all ESS are NES, no such SBD is an ESS. Moreover, the uniform SBD is also not an ESS, because
However, we have proven in the proposition that for all SBDs with MCA less than or equal to \(\frac {1}{2}\),
Hence, U is the unique NES.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
MendenDeuer, S., Rowlett, J. The theory of games and microbe ecology. Theor Ecol 12, 1–15 (2019). https://doi.org/10.1007/s1208001803841
Received:
Accepted:
Published:
Issue Date:
Keywords
 Microbes
 Ecology
 Game theory
 Competition
 Phenotypic variability
 Fitness