 Article
 Figures and data
 Abstract
 eLife digest
 Introduction
 Results
 Discussion
 Appendix 1:Resourcelimited growthmodel
 Appendix 2: Population dynamics of metabolic strategies
 Appendix 3: Optimization over network topologies
 Appendix 4: The analytically solvable minimum model
 Appendix 5: Optimal strategies within metabolic classes
 Appendix 6: The selection of cartels for generic growth functions
 Appendix 7: Benefit of microbial consortia
 References
 Decision letter
 Author response
 Article and author information
 Metrics
Abstract
Metagenomics has revealed hundreds of species in almost all microbiota. In a few wellstudied cases, microbial communities have been observed to coordinate their metabolic fluxes. In principle, microbes can divide tasks to reap the benefits of specialization, as in human economies. However, the benefits and stability of an economy of microbial specialists are far from obvious. Here, we physically model the population dynamics of microbes that compete for steadily supplied resources. Importantly, we explicitly model the metabolic fluxes yielding cellular biomass production under the constraint of a limited enzyme budget. We find that population dynamics generally leads to the coexistence of different metabolic types. We establish that these microbial consortia act as cartels, whereby population dynamics pins down resource concentrations at values for which no other strategy can invade. Finally, we propose that at steady supply, cartels of competing strategies automatically yield maximum biomass, thereby achieving a collective optimum.
https://doi.org/10.7554/eLife.22644.001eLife digest
Microbes are found in virtually every environment on Earth. Like other organisms, microbes grow by using enzymes to convert nutrients into proteins, DNA and other molecules that make up their cells. Together, these chemical transformations define the “metabolism” of a microbe.
In any given environment, there is almost always a diverse variety of microbes living together. Different microbes in these communities will use different combinations of enzymes to exploit the available nutrients, and members of wellstudied communities have been found to work together to make the most of the nutrient source. This is remarkable because one might expect competition between microbes to select for a single “best” microbe, rather than diverse communities.
The economic concept of “division of labor” suggests that if microbes divide chemical tasks between each other, they will use the available resources more efficiently. The concept provides a possible explanation for metabolic diversity amongst microbes, yet it remains to be shown whether microbial communities actually benefit from a division of labor.
Here, Taillefumier et al. used mathematical models to reveal that even in a uniform environment, metabolic competition generally leads to the steady coexistence of distinct microbes, collectively called a “consortium”. In a consortium, distinct microbes organize themselves to create a communitylevel metabolism that best exploits the nutrients present. The models showed that while growing, a consortium depletes the available pool of nutrients to such low levels that only members of the consortium can survive. The findings suggest that the benefit of metabolic diversity stems from the ability of a consortium to automatically deplete nutrients to levels at which no other microbes can invade.
Taillefumier et al. propose that consortia that arise naturally under conditions where there is a steady supply of nutrients produce the maximum mass of microbes. Future experiments that analyze the impact of fluctuating nutrient supply may help us to understand the benefit of metabolic diversity in realworld microbial communities.
https://doi.org/10.7554/eLife.22644.002Introduction
Microbial diversity is ubiquitous. Every gram of soil or liter of seawater contains hundreds or more microbial species (Daniel, 2005). In humans, the gut microbiome comprises at least $500$ microbial species (Lozupone et al., 2012). These diverse microbial communities are widely credited with division of labor, collectively reaping the benefits of specialization by dividing tasks among different organisms. In a few wellstudied cases, microbial communities have been observed to coordinate their metabolic fluxes. For instance, depleting the pool of external resources available to a microbial community can lead to the establishment of mutualism via the exchange of metabolic byproducts between species (Hillesland and Stahl, 2010). Shotgun sequencing has begun to unveil the biochemical networks at work in complex environmentally sampled communities (Tyson et al., 2004; Gill et al., 2006), and reconstructing the genomes of member species suggests that microbial communities exploit metabolic interdependencies to adapt to their environment (Wrighton et al., 2014; Hug et al., 2015). However, the lack of knowledge about gene functions and gene distributions in individual cells hinders the interpretation of this data (Cordero and Polz, 2014).
There are also serious conceptual challenges to understanding diversity in metabolically competing microbial communities. For instance, the emergence of diversity in ‘consumerresource’ models is limited by the competitive exclusion principle: at stationary state, the number of coexisting species cannot exceed the number of available resources (Hardin, 1960; Levin and Equilibria, 1970). This principle severely limits diversity in models that consider a few resources as in the case of the ‘paradox of the plankton’ (Petersen, 1975). Another essential challenge is understanding the persistence of microbial diversity in the face of potentially more fit metabolic variants; these reinforce the challenge posed by the competitive exclusion principle: in consumerresource models, a fitter strain colonizes a niche at the expense of those already present by depleting the pool of essential resources, generally leading to a collapse in diversity (Shoresh et al., 2008).
The above conceptual challenges call for a physicallybased model for competing metabolic strategies. However, classical consumerresource models generally prescribe the rate of biomass production via phenomenological functions of the abundances of essential resources without explicit conservation of fluxes (Liebig, 1840; Monod, 1950). Here, we introduce a fluxconserving physical model for microbial biomass production to address two intertwined questions: Can metabolic competition leads to microbial division of labor? And what efficiencies can microbes achieve via such a division of labor?
Considering that biomass (primarily protein [Simon and Azam, 1989; Feijó Delgado et al., 2013]) results from the assembly of building blocks (amino acids or amino acid precursors), we explicitly model the fluxes associated with the metabolic processing of these building blocks, including enzymemediated import and conversion (Almaas et al., 2004). Different metabolic strategies — or cell types — are defined by specific distributions of these enzymes, which collectively satisfy a budget constraint. The population dynamics of different cell types is governed by competition for external building blocks that are steadily supplied in a spatially homogeneous environment. We consider that the system is constantly subjected to colonization attempts by other cell types, possibly leading to invasion of the already present microbial population. For fixed external concentrations of building blocks we therefore seek uninvadable strategies, i.e. optimal cell types that achieve the fastest possible growth rate. Metabolic division of labor stably emerges if competitive population dynamics leads to the coexistence of jointly optimal cell types with distinct strategies, which we refer to as a microbial ‘consortium’.
In human economies, consortia that avoid competition by controlling prices are called ‘cartels’. At fixed buildingblock supply, we find that metabolic competition between microbes similarly leads to the emergence of a kind of cartel that controls resource availability via population dynamics. Specifically, cartels avoid competition by pinning down resource concentrations at values for which no other strategy can outcompete the cartel’s members. We employ optimization principles from transportnetwork theory to elucidate the structure of these cartels, relating the metabolic strategies of their constituent cell types to the hierarchy of external buildingblock availabilities. This analysis illustrates how division of labor among distinct metabolic types can be predicted from optimization principles. Finally, we propose that cartels also yield maximum biomass, constituting a microbial example of Adam Smith’s ‘invisible hand’ leading to collective optimal usage of resources. In this regard, microbial cartels improve on human cartels insofar as pricefixing by the latter generally leads to nonoptimal use of resources.
Model
In this section, we present a model for the population dynamics of cell types metabolically competing for external resources (see Figure 1). Importantly, biomass production is governed by a physical model that respects flux conservation.
Resourcelimited growth model
As cellular growth is primarily due to protein biosynthesis, we consider biomass production to result from the incorporation of building blocks (amino acids or amino acid precursors) into biologically functional units (proteins). Specifically, we assume that biomass production requires $p$ types of building blocks and we denote by ${b}_{i}$, $1\le i\le p$, the concentration of block $i$ in cellular biomass. To maintain the stoichiometry of building blocks in biomass, microbes that grow at rate $g$ incorporate block $i$ at rate $g{b}_{i}$. As the incorporation of building blocks is limited by the internal availability of free building blocks, we model the growth rate as a function $g({c}_{1},\mathrm{\dots},{c}_{p})$, where ${c}_{i}$ is the internal concentration of block $i$. To obtain a plausible functional form for $g({c}_{1},\mathrm{\dots},{c}_{p})$, we consider the rate of incorporation of a building block to be proportional to its concentration. We also consider that building blocks are sequentially incorporated into biomass (e.g. via protein elongation). Then the time to produce a unit of biomass (e.g. a protein) is the sum of the incorporation times for each type of block $i$, which we take to be proportional to ${b}_{i}/{c}_{i}$, the ratio of the buildingblock concentration in cellular biomass to the internal free buildingblock concentration. The growth rate, which is proportional to the inverse of this time, therefore has the form
where $\gamma $ is a rate constant. For simplicity, we consider that all microbes use the same molecular machinery and buildingblock stoichiometry to produce biomass. Thus, we consider that the rate function $g({c}_{1},\mathrm{\dots},{c}_{p})$ is universal, independent of the metabolic strategy used by a microbe to accumulate building blocks. As defined by Equation (1), $g({c}_{1},\mathrm{\dots},{c}_{p})$ is an example of a growthrate function satisfying the biologically relevant requirements that more internal resources yield faster growth, i.e. $g({c}_{1},\dots ,{c}_{p})$ is an increasing function of its arguments, and that the relatively scarcest resources are the most growthrate limiting, i.e. $g({c}_{1},\mathrm{\dots},{c}_{p})$ has the property of diminishing returns. Importantly, our analysis and conclusions hold for all growthrate functions that satisfy these natural requirements.
In order to accumulate block $i$ internally, a microbe can import block $i$ from the external medium or produce it internally via conversion of another building block $j$. Thus, to produce biomass, microbes can substitute resources for one another. We allow all possible imports and conversions. The quantitative ability of a microbe to import and convert building blocks constitutes its ‘metabolic strategy’, and corresponds to the cell’s expression of the enzymes that mediate buildingblock import and conversion. For simplicity, we assume that metabolic fluxes are linear in both enzyme and substrate concentrations. This assumption corresponds to enzymes operating far from saturation, which is justified during resourcelimited growth. Specifically, denoting the external concentration of block $i$ by ${c}_{i}^{\mathrm{ext}}$, the enzymemediated fluxes associated with import and conversion of block $i$ have the form ${\alpha}_{i}{c}_{i}^{\mathrm{ext}}$ and ${\kappa}_{ji}{c}_{i}$, respectively, where ${\alpha}_{i}$ and ${\kappa}_{ji}$ are enzymatic activities, which are proportional to the number of enzymes dedicated to each metabolic process. In addition to these active fluxes, we include passive transport of building blocks across cell membranes via facilitated diffusion (Pi et al., 1991; Wehrmann et al., 1995). For simplicity, we model passive transport via a single leakage rate $\beta $, yielding a net influx $\beta ({c}_{i}^{\mathrm{ext}}{c}_{i})$ for building block $i$. As cells can only devote a certain fraction of their resources to the production of enzymes, we require the enzymatic activities of each microbe to satisfy a budget constraint,
where $E$ denotes the total enzyme budget. The metabolic strategy of a cell type $\sigma $ is specified by a set of enzyme activities $\{{\alpha}_{i,\sigma},{\kappa}_{ij,\sigma}\}$ that satisfy the budget constraint Equation (2).
Note that for given external buildingblock concentrations, a cell type is ‘optimal’, i.e. achieves the fastest growth rate, if no other cell type can achieve the same growth rate with a lower enzyme budget. If such a cell type existed, allocating the saved enzyme budget to importing more building blocks would yield a new cell type with higher internal buildingblock concentrations, and thereby faster growth.
Our model considers a very simplified coarsegrained description of metabolic pathways. In reality, the details of biochemistry play an important role in determining metabolic efficiency. While our modeling framework can be easily generalized to realistic metabolic networks, capturing the complexity of real metabolic pathways is not the purpose of the present analysis, which aims at general principles. Indeed, because our model is anchored in flux conservation, we expect our results concerning the emergence and benefit of division of labor in microbial communities to hold independent of specific pathway biochemistry.
Conservation of building blocks
We consider various cell types $\sigma $ growing in a homogeneous environment of volume $V$. We denote the dimensionless population count of cell type $\sigma $ by ${n}_{\sigma}$ and the total population count by $N={\sum}_{\sigma}{n}_{\sigma}$. In the volume $V$, we consider that the $p$ building blocks are steadily supplied at rates ${s}_{i}$ (concentration/time) and can be lost, e.g. via degradation and/or diffusion out of the volume, at a rate $\mu $. Each cell type processes building blocks according to its own metabolic strategy. Conservation of internal building block $i$ for cell type $\sigma $ prescribes the dynamics of the internal concentration ${c}_{i,\sigma}$ (see Appendix 1),
where the only nonlinearity is due to the growth function $g$. Populations of the various cell types exchange building blocks with the external resource pool via import and passive transport, and also via biomass release upon cell death (Simpson et al., 2007; Schütze et al., 2013). Conservation of extracellular building block $i$ prescribes the dynamics of the external concentration ${c}_{i}^{\mathrm{ext}}$ (see Appendix 2),
with celltypespecific fluxes
where $\delta $ is the rate of cell death (assumed constant) and $f$ is the fraction of biomass released upon cell death. Percell fluxes ${\varphi}_{i,\sigma}$ contribute to changing the external concentration ${c}_{i}^{\mathrm{ext}}$ via a geometric factor $v/(VNv)$, the ratio of the average individual cellular volume $v$ to the total extracellular volume $VNv$. As intuition suggests, the smaller the number of cells of a particular type, the less that cell type impacts the shared external concentration via metabolic exchanges.
Competitive population dynamics
The inverse of the cellular death rate $\delta $, i.e. the lifetime of a cell, is much larger than the timescales associated with metabolic processes such as buildingblockdiffusion, conversion, and passive/active transport. This separation of timescales justifies a steadystate approximation for the fastvariables: ${\dot{c}}_{i,\sigma}=0$ and ${\dot{c}}_{i}^{\mathrm{ext}}=0$. With this approximation, Equations (3) and (4) become fluxbalance equations for building blocks. Solving Equation (3) with ${\dot{c}}_{i,\sigma}=0$ yields the internal concentrations ${c}_{i,\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$ as functions of the external concentrations. In turn, solving Equation (4) with ${\dot{c}}_{i,\sigma}=0$ and using the functions ${c}_{i,\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$ yields the external concentrations ${c}_{i}^{\mathrm{ext}}(\{{n}_{\sigma}\})$, as well as the growth rates of cell types ${g}_{\sigma}(\{{n}_{\sigma}\})$, as functions of the populations of cell types. Hence, the population dynamics of the cell types is described by a system of ordinary differential equations
which are coupled via the external concentrations. Note that the population dynamics is driven and dissipative: building blocks are constantly both supplied to and lost from the external media, while cell death leads to loss of building blocks because only a fraction of biomass is recycled $(f<1)$. In particular, we expect the dissipative character of the dynamics to drive the microbial population toward a stationary state, with at most $p$ coexisting cell types due to the competitive exclusion principle (Hardin, 1960; Levin and Equilibria, 1970).
The population dynamics prescribed above can be simulated by standard numerical methods. If the number of distinct strategies initially introduced exceeds the number of resources, then over time some cell types will become ‘extinct’, i.e. ${n}_{\sigma}<1$. We exploit this property to simulate competition between distinct cell types: whenever a cell type $\sigma $ is driven to extinction, we replace it with another randomly sampled strategy ${\sigma}^{\prime}$ with ${n}_{{\sigma}^{\prime}}=1$. If the already present cell types are not optimal, newly introduced cell types ${\sigma}^{\prime}$ may increase in population at the expense of those present. In any case, we continue to introduce new cell types over the time course of the dynamics. The closer to optimality the already present cell types are, the smaller the probability that a new random strategy will successfully colonize. Eventually, at long times, the surviving population will consist entirely of optimal cell types and will no longer change. It is this final population that concerns us; we only simulate metabolic competition to gain insight into the final optimized population, which is independent of the specific dynamics of the simulation.
In the following, we characterize the enzyme distributions $\{{\alpha}_{i},{\kappa}_{ij}\}$ of the cell types that are present in the final population established via competitive population dynamics for equal stoichiometry (${b}_{i}=1$). This characterization requires us to define the ‘metabolic class’ of each cell type in terms of its set of utilized enzymes. In particular, two strategies $\sigma $ and ${\sigma}^{\prime}$ belong to the same metabolic class $\mathcal{M}$ if and only if ${\alpha}_{i}=0\iff {\alpha}_{i}^{\prime}=0$ and ${\kappa}_{ij}=0\iff {\kappa}_{ij}^{\prime}=0$, where ${\alpha}_{i}$, ${\alpha}_{i}^{\prime}$, ${\kappa}_{ij}$, and ${\kappa}_{ij}^{\prime}$ are enzyme activities. We will show that metabolic competition leads to the emergence of consortia of cell types belonging to specific metabolic classes. In our analysis, the term ‘consortium’ designates a community of distinct cell types that cannot be invaded, or equivalently, that cannot be outgrown by any other cell types at specific fixed supply rates. In particular, consortia are composed of cooptimal cell types. The term ‘cartels’ refer to special communities that, in addition of being consortia, can also pin down buildingblock concentrations at fixed values for a range of different supply rates. Such cartels comprise at least as many distinct cell types as there are resources.
Results
Numerical results
In this section, we demonstrate the possibility of stable coexistence at steady supply rates by simulating competitive population dynamics subject to continual invasion by new metabolic variants. We consider that coexistence is stable when a population of distinct cell types can resist invasion by any other metabolic variants. In our simulations, cell types have distinct metabolic strategies defined by randomly chosen enzyme distributions $\{{\alpha}_{i}$, ${\kappa}_{ji}\}$ satisfying the budget constraint Equation (2), with the universal growthrate function Equation (1) and uniform biomass stoichiometry (${b}_{i}=1$).
First, we show that competitive population dynamics with the continual introduction of new cell types leads to a stationary state with fixed buildingblock availability and with fixed populations of distinct cell types. Second, we show that these final cell types achieve optimal growth given the fixed buildingblock supply rates. Third, we show that final, optimal populations generally consist of consortia of distinct cell types and that a consortium of identical cell types can emerge for different buildingblock supplies.
Competitive dynamics leads to stationary states
We simulated the population dynamics Equation (6) subjected to continual invasion by metabolic variants and found that metabolic competition leads to stationary states. In our simulations, the volume of the colony $V$ is chosen so that the carrying capacity is $\approx V/v={10}^{5}$ cells and the dynamics is simulated for a duration of ${10}^{5}/\delta $, i.e. on the order of ${10}^{5}$ generations. Figure 2 shows three independent simulations for $p=3$ and supply rates ${s}_{1}=11,{s}_{2}=9,{s}_{3}=0$, starting with $24$ different initial metabolic strategies for each simulation. While $3$ types may coexist for extended periods according to the competitive exclusion principle, the $21$ other types have populations ${n}_{\sigma}$ that decay exponentially until extinction, i.e. until ${n}_{\sigma}\le 0.9999$. Upon extinction, a new type is introduced at ${n}_{\sigma}=1$.
To begin each simulation, the $24$ randomly chosen cell types $\sigma $ are introduced at low population (${n}_{\sigma}=1$) in the volume $V$ where the building blocks are abundantly supplied (${c}_{i}^{\mathrm{ext}}\simeq {s}_{i}/\mu $). Cellular growth quickly depletes the external concentrations of building blocks, until the overall population of cell types nears carrying capacity. At this point, the external buildingblock concentrations plummet to low values for which the growth rate of each cell type approximates the fixed death rate, i.e. ${g}_{\sigma}\approx \delta $. This is when metabolic competition begins in earnest. From this point on, in each simulation, the external buildingblock concentrations tend to the same stationary values, with the two externally provided building blocks $1$ and $2$ stabilizing at numerically identical values and building block $3$ stabilizing at a lower concentration.
As external buildingblock concentrations approach their stationary values, virtually all newly introduced metabolic variants quickly become extinct because randomly chosen cell types are unable to compete with those already present. As a result, new cell types are continually introduced, for a total of more than ${10}^{9}$ different cell types during each simulation. Among these introduced metabolic variants, only a cell type that improves on an already present (nearly optimal) one can invade, and displace the existing cell type. In particular, for each displacement event, we find that the invading and invaded cell types employ almost identical distributions of enzymes and always belong to the same metabolic class. Moreover, during displacement events, the external buildingblock concentrations are only marginally perturbed, while the overall population of the invaded and invading strategy (e.g. the sum of crossing curves) is nearly constant. This behavior indicates convergence toward a stationary state with fixed buildingblock availability and with fixed populations of cell types. We confirmed the generality of this convergent behavior with additional simulations over a broad range of different supply rates.
Cell types achieve optimal growth at stationary state
Our numerical simulations indicate that competitive population dynamics subjected to continual invasion leads to the emergence of stationary states. To show that these stationary states emerge independently of how metabolic variants are introduced, we developed an iterative optimization algorithm that yields stationary states without relying on random sampling of cell types. Specifically, the algorithm iterates two optimization steps: First, given distinct cell types $\sigma $, the algorithm implements a NewtonRaphson scheme to compute the steadystate external buildingblock concentrations ${c}_{i}^{\mathrm{ext}}$ and the steadystate populations ${n}_{\sigma}$ within a relative precision ${10}^{11}$. Second, given external buildingblock concentrations ${c}_{i}^{\mathrm{ext}}$, the algorithm adapts a gradientbased constrainedoptimization algorithm (Wächter and Biegler, 2006) to compute the strategies of the cell types ${\sigma}^{\prime}$ which locally optimize cellular growth rate. Provided the growth rate of a locally optimal cell type ${\sigma}^{\prime}$ exceeds the previous steadystate growth rate by a relative difference ${g}_{{\sigma}^{\prime}}/\delta 1>\u03f5={10}^{9}$, we initiate a new iteration with a set of starting cell types made of the union of the surviving cell types of the previous iteration $\{\sigma {n}_{\sigma}\ge 1\}$ and the newly optimized cell type $\{{\sigma}^{\prime}{g}_{{\sigma}^{\prime}}>\delta \}$ with ${n}_{{\sigma}^{\prime}}=1$. The algorithm halts when no cell type ${\sigma}^{\prime}$ can grow at a rate that exceeds the steadystate growth rate $\delta $ by more than a relative difference $\u03f5$, thereby yielding theoretically optimal cell types with high accuracy. By design of the algorithm, the cell types present in the stationary state achieve the optimal growth rate allowed by the external buildingblock availabilities.
Crucially, for fixed supply rates, this optimization algorithm yields steadystate cell types that are virtually identical to the final cell types obtained via simulations. Moreover, additional simulations show that when present among the initial types, optimal steadystate cell types resist invasion by the more than ${10}^{9}$ random metabolic variants introduced over the course of ${10}^{5}$ generations. To demonstrate that simulations effectively converge toward optimal stationary states, we define the ‘relative fitness’ of a cell type $\sigma $ as the ratio ${g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})/{\mathrm{max}}_{{\sigma}^{\prime}}{g}_{{\sigma}^{\prime}}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$, where ${\sigma}^{\prime}$ denotes a theoretically optimal cell type. Figure 3 shows the evolution of celltype relative fitnesses during simulations of competitive dynamics. When metabolic competition begins in earnest, all cell types have relative fitnesses smaller than one, indicating that optimal cell types would grow faster at identical external buildingblock concentrations. Ensuing displacement events by fitter cell types lead to an overall increase in the relative fitness of the surviving cell types. As a result, the relative fitness of all surviving cell types approaches one, demonstrating the convergence toward a stationary population of optimal cell types. Consequently, the final steadystate cell types resist invasion because no metabolic variant can outgrow them.
Distinct optimal cell types emerge as consortia
At steady supply, our numerical simulations together with numerical optimization reveal that competitive population dynamics leads to the stable emergence of optimal cell types. The metabolic strategies of these optimal cell types exhibit network structures that are directly related to external buildingblock availability. In fact, the buildingblock supply determines whether many distinct cell types can be jointly optimal, i.e. whether a consortium emerges. For instance, as shown in Figure 4A, if the building blocks are supplied with equal stoichiometry (${s}_{1}={s}_{2}={s}_{3}$), the one survivor is a pureimporter strategy that imports each building block. Because this pureimporter strategy is the single most efficient cell type when building blocks are equally abundant, no other cell type can coexist with it and so no consortium emerges. However, when building blocks are supplied with a different stoichiometry, (e.g. with ${s}_{3}=0$ in Figure 4B–D), the pureimporter strategy coexists with other cell types that produce the nonsupplied building block by conversion, thereby forming consortia of optimal cell types. The stability and optimality of these consortia is a collective property: No pureimporter strategy can survive without the converting cell types, and without a pureimporter strategy, there is a wasteful external accumulation of converted blocks.
Can the same metabolic consortia emerge for different building block supplies? To answer this question, observe in Figure 2 that for supply rates ${s}_{1}=11,{s}_{2}=9,{s}_{3}=0$, competition leads to a stationary state where the concentrations of both supplied building blocks are equal. Correspondingly, the optimal cell types have symmetric strategies with respect to the usage of block $1$ and block $2$. However, the cell type that converts the most abundantly supplied block is more numerous than its symmetric counterpart, allowing for a symmetric steady state despite asymmetrical supply. For symmetric supply ${s}_{1}={s}_{2}=10,{s}_{3}=0$, Figure 4B shows that competition yields the same steadystate external concentrations, but with an equal population of each symmetric converter type. Thus, exactly the same consortium of cell types can emerge for different supply conditions, with different population counts but reaching the same external buildingblock concentrations. By definition, such consortia are cartels. Figure 4 shows the different consortia that can emerge for representative supply conditions, highlighting which ones are cartels. Both numerical simulations and optimizations confirm that microbial cartels emerge for a large range of supply conditions.
Analytical results
In this section, we mathematically elucidate the emergence of microbial consortia at steady state and characterize the benefit of the division of labor in these consortia. Our analysis exploits the demonstrated convergence of competitive population dynamics toward a stationary state, which allows us to analytically derive the metabolic strategies of optimal cell types. The benefit of division of labor among these optimal cell types follows geometrical considerations in the space of stationary states.
First, we exploit arguments from transportnetwork theory to systematically identify the metabolic classes of optimal cell types at steady state. Second, we elucidate the structure of microbial consortia by establishing which metabolic classes can be jointly optimal within a consortium. Third, we characterize the benefit of division of labor showing that consortia can act as cartels, whereby population dynamics pins down resource concentrations at values for which no other strategy can invade.
Consortia cell types belong to optimal metabolic classes
A metabolic class is defined as the set of strategies that utilize the same enzymes, i.e. for which a particular subset of enzymes satisfies ${\alpha}_{i}>0$ and ${\kappa}_{ji}>0$. In total, there are $p$ import enzymes and $p(p1)$ interconversion enzymes, for a total of ${p}^{2}$ enzymes. Thus, in principle, there are at most ${2}^{{p}^{2}}$ metabolic classes according to whether or not each type of enzyme is present (${\alpha}_{i}>0$ or ${\kappa}_{ij}>0$). However, our simulations suggest that at steady state, the cell types that form consortia and achieve optimal growth belong to very specific metabolic classes: these ‘optimal’ classes utilize only a few, nonredundant metabolic processes (that is, many ${\alpha}_{i}$ and ${\kappa}_{ji}$ are zero).
Can we specify the network structures of optimal metabolic classes using rigorous optimization principles? Exploiting the linearity of metabolic fluxes, we adapt arguments from transportnetwork theory (Bohn et al., 2007) to achieve this goal for an arbitrary number of building blocks (see Figure 5 and Appendix 3). Our approach consists in gradually reducing the number of candidate metabolic classes by showing that some classes $\mathcal{M}$ cannot contain an optimal strategy. Specifically, we consider a representative strategy $\sigma $ in $\mathcal{M}$ with enzyme budget $E={\sum}_{i}{\alpha}_{i}+{\sum}_{ij}{\kappa}_{ij}$ at arbitrary external concentrations ${c}_{i}^{\mathrm{ext}}$. For the same external concentrations ${c}_{i}^{\mathrm{ext}}$, we show that one can always find a strategy ${\sigma}^{\prime}$ from another metabolic class ${\mathcal{M}}^{\prime}$ that achieves the same internal concentrations using a smaller enzyme budget ${E}^{\prime}={\sum}_{i}{\alpha}_{i}^{\prime}+{\sum}_{ij}{\kappa}_{ij}^{\prime}<E$. As the existence of a more ‘economical’ strategy ${\sigma}^{\prime}$ contradicts the optimality of metabolic class $\mathcal{M}$, we can restrict our consideration to metabolic classes other than $\mathcal{M}$.
Using the above approach, we show that optimal metabolic networks process building blocks via nonoverlapping trees of conversions (Figure 5A), each tree originating from an imported building block (Figure 5B), and each converted building block being obtained via the minimum number of conversions (Figure 5C). Intuitively, these properties ensure the minimization of waste (loss of building blocks via passive transport) during metabolic processing. Moreover, we show that optimal networks use a single buildingblock resource as precursor for conversions, i.e. there is at most one tree of conversions (Figure 5D). Thus, at steady state, requiring that a metabolic class is optimal, i.e. contains the fastest growing cell type, strongly constrains the graph of its metabolic network. These constrained graphs can be fully characterized and enumerated for $p$ building blocks: there are $p$ distinct graphs, each utilizing $p$ distinct enzymes, which defines a total of $1+p({2}^{p1}1)$ metabolic classes after accounting for buildingblock permutations.
Structure of metabolic classes in consortia
To find the composition of consortia, we must identify the enzyme distributions $\{{\alpha}_{i}$, ${\kappa}_{ji}\}$ within a metabolic class that yield the fastest growth for fixed external buildingblock concentrations. Knowing analytically the optimal enzyme distributions in each metabolic class allows us to characterize the structure of consortia at steady state via the maximum growth rate as a function of external buildingblock concentrations,
At competitive stationary state, the maximum growth rate must equal the death rate $\delta $ by Equation (6). Otherwise, either there is a cell type such that ${g}_{\sigma}\delta >0$, yielding a diverging population ${n}_{\sigma}$, or ${g}_{\sigma}\delta <0$ for all cell types, yielding a vanishing microbial population. Thus, solving $G({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})=\delta $ determines the set of steadystate external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ for which an optimal strategy ${\sigma}^{\star}$ is present. By virtue of its optimality, the strategy ${\sigma}^{\star}$ achieves the fastest possible growth rate and is noninvadable at steady state. Consortia emerge for external buildingblock concentrations for which there is more than one optimal strategy, i.e. when there are distinct strategies ${\sigma}^{\star}$ for which the maximumgrowth function is attained: ${g}_{{\sigma}^{\star}}({c}_{1}^{\star},\dots ,{c}_{p}^{\star})=G({c}_{1}^{\star},\dots ,{c}_{p}^{\star})=\delta$.
Obtaining analytical expressions for optimal enzyme distributions proves intractable for a nonlinear growthrate function such as Equation (1). However, optimal distributions can be obtained analytically for the minimum model $g({c}_{1},\mathrm{\dots},{c}_{p})=\gamma \mathrm{min}({c}_{1},\mathrm{\dots},{c}_{p})$, which is closely related to Equation (1) (see Appendix 4). In Figure 6, we represent the corresponding set of external buildingblock concentrations compatible with steady states, together with the associated optimal metabolic classes. For $p$ building blocks (see Appendix 5), we find that there exist $p!$ microbial cartels, each with $p$ distinct cell types for wellordered external concentrations, e.g. ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$. In such cartels, cell type $1$ converts building block $1$ into the $p1$ other building blocks, cell type $2$ converts building block $1$ into the $p2$ least abundant building blocks and imports building block $2$, and so forth, and cell type $p$ has a pureimporter strategy. We also find that for degenerate ordering with $q1$ equalities, e.g. ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}>{c}_{q1}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$, there exist $(pq)!{C}_{p}^{q}$ microbial cartels with $1+q(pq)$ distinct cell types. In such cartels, cell type ${q}^{\prime}$, $1\le {q}^{\prime}\le q$ imports all blocks $1,\mathrm{\dots},q$ but only uses block ${q}^{\prime}$ as a precursor for blocks $j>q$, cell type ${q}^{\mathrm{\prime \prime}}$, $q<{q}^{\mathrm{\prime \prime}}\le 2q$ imports all blocks $1,\mathrm{\dots},q+1$ but only uses block ${q}^{\mathrm{\prime \prime}}q+1$ as a precursor for blocks $j>q+1$, and so forth, and cell type $1+q(pq)$ has a pureimporter strategy. Moreover, we find that cartels that share $p1$ metabolic classes are joined by continuous paths in the space of external concentrations over which these $p1$ shared metabolic classes remain jointly optimal. Such paths define a graph which characterizes the topological structure of cartels in relation to changes in external buildingblock concentrations (see Appendix 6). Importantly, our analysis shows that the above cartels emerge with the same graph structure for all growthrate functions satisfying $g({c}_{1},\mathrm{\dots},{c}_{p})\ge \gamma \mathrm{min}({c}_{1},\mathrm{\dots},{c}_{p})$ for some $\gamma >0$ and having diminishing returns (quasiconcave property), which includes Equation (1).
Relevance of microbial cartels
Microbial cartels only exist for specific external buildingblock concentrations (cf. the intersection points in Figure 6A and B). Can competitive population dynamics lead to these cartels for generic supply conditions? To answer this question, we compute the set of supply conditions compatible with the emergence of a cartel. We label a microbial cartel ${\mathrm{\Sigma}}^{\star}$ by its associated external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$, which satisfy a specific (possibly degenerate) order relation. At concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$, cartel cell types $\sigma \in {\mathrm{\Sigma}}^{\star}$ jointly achieve the optimal growth rate and are therefore the only surviving cell types. The percell fluxes ${\varphi}_{i,\sigma}^{\star}$ experienced by these cell types take fixed values that can be obtained via Equation (5). Then, the resulting fluxbalance equations for extracellular building blocks,
yield the supply rates as a function of the populations ${n}_{\sigma}>0$, $\sigma \in {\mathrm{\Sigma}}^{\star}$. In fact, Equation (8) defines the sector of supply rates compatible with the existence of the cartel ${\mathrm{\Sigma}}^{\star}$ as a $p$dimensional cone. Crucially, although ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ specify isolated points in the space of external concentrations, the cartel sectors have finite measure in the space of supply rates, showing that cartels can arise for generic conditions.
In Figure 7, we illustrate the supply sectors associated with cartels. What is the relation between supply sectors and steadystate external concentrations? To answer this question, we consider in Figure 7A–E the case of $p=2$ building blocks and first focus on supply rates for which the optimal cell type is either a pure converter (white dots in Figure 7A–B) or a pure importer (white dots in Figure 7C–D). With only one cell type present and fixed ${c}_{1}^{\mathrm{ext}}$ and ${c}_{2}^{\mathrm{ext}}$, varying ${n}_{\sigma}$ in Equation (8) defines a halfline in the supply plane (cf. Figure 7B and Figure 7D). This halfline originates from the point $(\mu {c}_{1}^{\mathrm{ext}},\mu {c}_{2}^{\mathrm{ext}})$, which are the supply rates that first support a nonzero population ${n}_{\sigma}$ for steadystate concentrations ${c}_{1}^{\mathrm{ext}}$ and ${c}_{2}^{\mathrm{ext}}$. Thus, all supply halflines originate from a surface that is identical to the steadystate external concentrations, simply rescaled by the external building block leakage rate $\mu $. Changing the supply rates transverse to such a halfline yields different steadystate concentrations ${c}_{1}^{\mathrm{ext}}$ and ${c}_{2}^{\mathrm{ext}}$. In particular, one can increase the supply of one block until another optimal type can invade, i.e. until one reaches the cartelspecific concentrations ${c}_{1}^{\star}$ and ${c}_{2}^{\star}$ (pink dots in Figure 7A and Figure 7C). At the corresponding point $(\mu {c}_{1}^{\star},\mu {c}_{2}^{\star})$ in the supply space, the pureconverter halfline and the pureimporter halfline have distinct direction vectors, i.e. cooptimal cell types $\sigma $ have distinct percell fluxes ${\varphi}_{\sigma}$: e.g. for ${s}_{1}>{s}_{2}$, a pureconverter $\sigma $ consumes block $1$ to produce and leak block $2$, i.e. ${\varphi}_{1,\sigma}>0$ and ${\varphi}_{2,\sigma}<0$. By contrast, a pure importer $\sigma $ consumes all building blocks according to the biomass stoichiometry, i.e. ${\varphi}_{1,\sigma}={\varphi}_{2,\sigma}$. For each point $(\mu {c}_{1}^{\star},\mu {c}_{2}^{\star})$ in the supply space, these distinct percell fluxes ${\varphi}_{\sigma}$ define conic regions where a pure importer can invade a pureconverter population and a pure converter can invade a pureimporter population, i.e. where a cartel is stable. These cones are therefore cartel supply sectors (pink and yellow sectors in Figure 7E).
The above argument can be generalized for $p>2$ building blocks by considering the metabolic fluxes of optimal cell types (cf. Figure 7F for $p=3$). For all values of $p$, we find that supply sectors associated with cartels define nonoverlapping cones (see Appendix 7). Moreover cones associated with two connected cartels, i.e. cartels that share at least $p1$ metabolic classes, have parallel facets in the limit of large budget $E\gg \beta $. As a consequence, at a fixed overall rate of buildingblock supply $s={s}_{1}+\mathrm{\dots}+{s}_{p}$, the fraction of supply conditions for which no cartel arises becomes negligible with increasing overall supply rate $s$. For instance, for large rate $s$, every building block has to be supplied at exactly the same rate for a single pureimporter strategy to dominate rather than a cartel. Therefore, for very generic conditions, a cartel will arise and drive the external buildingblock concentrations toward cartelspecific values, thereby precluding invasion by any other metabolic strategy. This ability to eliminate competition is reminiscent of the role of cartels in human economies, motivating the name ‘cartels’ for stable microbial consortia that include at least $p$ distinct metabolic strategies.
At supply conditions for which no cartel arises, an optimal cell type or a consortium of cell types dominates at steady state but these cell types cannot control external resource availability. Indeed, a consortium that is not a cartel cannot compensate for changes in supply conditions via population dynamics. In particular, simply multiplicatively increasing the buildingblock supply augments the steadystate biomass of a consortium but also modifies steadystate resource availabilities, and therefore the distributions of enzymes that optimally exploit these resources. In other words, for consortia that are not cartels, optimal metabolic strategies must be finetuned to specific supply conditions.
By contrast, within a cartel supplysector, any increase of the buildingblock supply is entirely directed toward the cartel’s growth of biomass. Remarkably, it appears that microbial cartels automatically achieve maximum carrying capacity, i.e. they optimally exploit the resource supply. At steady state, the total number of cells $N$ is related to supply rates ${s}_{i}$ via the overall conservation of building blocks by
which implies that maximizing biomass yield at fixed supply rates ${s}_{i}$ amounts to minimizing the overall external buildingblock concentrations ${\sum}_{i}{c}_{i}^{\mathrm{ext}}$. In Figure 8, for $p=2$ building blocks, we use the preceding equivalence to show that in each cartel sector, no consortium can yield a larger steadystate biomass than the supplyspecific cartel. For a homogeneous growthrate function such as Equation (1), this result generalizes to arbitrary $p$ if we conjecture that (i) in a cartel supply sector, the cartel’s metabolic classes can invade any other consortium, and that (ii) the maximumgrowthrate function associated with a given metabolic class has the property of diminishing returns (see Appendix 7). Intuitively, conjecture (i) means that the emergence of a cartel does not depend on the history of appearance of distinct metabolic classes and conjecture (ii) means that beating diminishing returns requires a switch of metabolic classes. Together, these conjectures ensure that adding a new metabolic class when possible implies a decrease in the total abundance of building blocks, i.e. a better use of resources. Because a better use of resources is equivalent to a steadystate biomass increase (by virtue of buildingblock conservation), this establishes that competing microbes achieve the global collective optimum by forming cartels.
Discussion
Building on a physical model for metabolic fluxes, which importantly includes a finite enzyme budget, we showed that competitive population dynamics leads to the emergence of microbial cartels. Cartels are defined as consortia of at least as many distinct optimal cell types — each with a fixed metabolic strategy — as there are shared resources. Constituent cell types of a cartel are optimal because they achieve the fastest possible growth rate for that cartel’s selfregulated external resource concentrations, and can therefore resist invasion by metabolic competitors. Within this framework, the benefit of metabolic diversity to the participating cells stems from the ability of cartels to control resource availability (Sanchez and Gore, 2013). In particular, cartels maintain fixed external resource concentrations by adjusting their populations to compensate for slow changes in supply. For steady supply, the emergence of microbial cartels at long times is independent of the specific dynamics of competition, which may reflect invasions by existing competitors and/or the appearance of mutant strategies. Strikingly, our results support the conclusion that such cartels of competing microbes achieve the optimal collective carrying capacity, as if led by an ‘invisible hand’ to efficiently exploit the resources (Smith, 1776).
Assumptions and scope of the model
For simplicity, we assumed linear metabolic fluxes and uniform enzymatic rates, production costs, and buildingblock stoichiometries. However, the emergence of optimal cartels does not rely on these assumptions. Even allowing for fluxes that are nonlinear (e.g. MichaelisMenten) with respect to buildingblock concentrations, microbes must utilize their enzymes in the linear regime to be metabolically optimal: Because resources are depleted by competitive growth between metabolic classes, fluxes mediated by saturated enzymes do not limit growth. Cells can improve their growth rate by reallocating their enzyme budget from saturated enzymes to the unsaturated enzymes mediating growthlimiting linear fluxes. Moreover, independent of rates, production costs, and stoichiometries, optimal metabolic types must consist of nonoverlapping trees of conversions. Indeed, the optimality of such metabolic networks, obtained from transportnetwork theory, only requires the linearity of metabolic fluxes with respect to enzyme concentrations. As a result, optimal metabolic types, as well as cartels, can still be enumerated. Interestingly, we discovered that distinct cartels can arise for very similar external buildingblock availabilities, and cartels can even merge under special conditions. In an extended model that includes fluctuations, e.g. in enzyme expression (Wang and Zhang, 2011; Kiviet et al., 2014), we expect ‘ghosts’ of these neighboring cartels associated with similar resource availabilities to persist against the background of the dominant cartel. As our primary concern is the emergence of a division of labor, we consider only relatively large populations of cells for which we can neglect stochastic population fluctuations.
Realistic metabolic networks
What relevance might our results have for real metabolic networks? Microbes regulate metabolic processes via complex networks with, e.g., multistep reaction chains and metabolic branch points (Almaas et al., 2004). However, there is evidence of optimal partitioning of enzymes in these real networks: microbes produce components of multiprotein complexes in precise proportion to their stoichiometry, whereas they produce components of functional modules differentially according to their hierarchical role (Li et al., 2014). Recent experimental studies have revealed that optimal metabolic flux partitioning is an operating principle for resource allocation in the proteome economy of the cell (Hui et al., 2015; Hermsen et al., 2015). Provided optimality considerations apply to real metabolic networks, the approach we have taken can provide insight into flux partitioning and division of labor in microbial communities. For instance, we expect that for a group of interconvertible resources that are collectively growth limiting, the expressed metabolic network should have the topological properties discussed above — no ‘futile cycles’ and no ‘convergent pathways’. Such predictions are not at odds with the existence of wellknown metabolic cycles such as the TCA cycle and the GOGAT cycle because these cycles are not futile but rather are energy yielding or assimilatory, respectively. Our predictions apply directly to irreversible conversion processes, e.g via chains of reactions with committed steps, as well as to reversible chains of reactions, for which the only cycles in optimal metabolic networks are twocycles due to reversibility. The overall acyclic nature of anabolic fluxes can be tested experimentally by measuring reaction fluxes in metabolic networks, e.g. using isotope tracers and mass spectrometry.
Spatial and temporal heterogeneities
Abiotic and biotic processes controlling resource turnover in nutrient reservoirs, such as the ocean or soil sediments, operate on many different temporal and spatial scales (Braswell et al., 1997; Whitman et al., 1998). In our framework, steady but spatially inhomogeneous supply of diffusive building blocks should lead to the tiling of space by locally dominant cartels. Because of our model cells’ ability to shape their environment, we expect sharp transitions between neighboring tiles, consisting of cartels that differ by a single metabolic class. We expect spatial tiling to emerge in real microbial communities growing in inhomogeneous conditions, e.g. in a gradostat with spatially structured nutrient supply (Lovitt and Wimpenny, 1981). In such spatial communities, the detection of welldelimited patches of resource availabilities, with specific nutrient ratios, would be evidence of spatial tiling by microbial cartels.
The spatial structure of microbial communities may also reflect the extracellular division of labor. Extracellular division of labor involves metabolic pathways with obligatory external reactions, i.e. with enzymes that are public goods. In a homogeneous environment, ‘cheating’ cell types that do not produce the public good are always at an advantage and their introduction causes the collapse of the entire population. In our framework, we expect producer cartels to spatially segregate from neighboring nonproducer cartels (Drescher et al., 2014).
Temporally varying supply can also be addressed within our framework. For supply fluctuations on long timescales $\gg 1/\delta $ (the lifetime of a cell), the population dynamics within cartels keeps resource levels fixed, whereas fluctuations on short timescales $\ll 1/\delta $ are selfaveraging. In practice, slow supply fluctuations can arise due to seasonal biogeochemical cycles (Schoener, 2011), while fast supply fluctuations can arise from the transient biomass release upon cell death (Yoshida et al., 2003). The effect of supply fluctuations occurring on timescales $\sim 1/\delta $, which includes daynight cycles, is more complex. Transportnetwork theory predicts that fluctuating resource conditions select for networks with metabolic cycles, whose structures depend on the statistics of the driving fluctuations (Katifori et al., 2010; Corson, 2010). Characterizing the benefit of cycles in such networks may well reveal new optimization principles that underlie the microbial metabolic diversity.
Microbes also adjust to fluctuating conditions by switching their metabolic type via gene regulation instead of relying on population dynamics. Within our framework, to consistently implement the optimal mix of metabolic strategies, the role of sensing and regulation is then primarily to determine the relevant ‘supply sector’ by assessing the relative abundance of various resources. Thus, in principle, division of labor within a single species can lead to cartels with distinct metabolic strategies associated with distinct phenotypic states. However, the persistence of cartels requires the coexistence of all cartel strategies, which within a single species could be facilitated by celltocell communication (quorum sensing). We therefore anticipate that extension of our analysis to fluctuating supply conditions may provide insight into the design principles underlying regulation and signaling in microbial communities.
Appendix 1:Resourcelimited growthmodel
In this section, starting from simple biological considerations, we develop a physical model for the growth of microbes that produce biomass from a finite set of resources. In section "Nonlinear biomassproduction model", we present a simple model for cellular biomass production, e.g. protein synthesis, from intracellularly available building blocks, e.g. amino acids. In section "Internal fluxbalance equations", we specify the balance of fluxes associated with the import and processing of building blocks prior to biomass production. In section "Positive monotonic cell growth", we show that biomass production and the intracellular buildingblock concentrations are increasing functions of the influxes of building blocks.
Nonlinear biomassproduction model
We denote by $g$ the growth rate averaged over a population of cells, which has the units of inverse time, and by $r$ the rate of biomass production , which has units of biomass per second. Both these rates are related by a simple relation. To see this, observe that neglecting the fluctuations in cellular biomass, e.g. due to individual cell divisions, justifies the adoption of a continuous model where the cellular biomass $b$, i.e. the concentration of protein, is a characteristic of cells that remains constant. Then, taking into account the dilution by cell growth, the stationarity of cellular biomass, $\dot{b}=rgb=0$, directly implies a proportionality relation: $g=r/b$. In particular, setting the concentration units of our model to satisfy $b=1$ allows us to formally equate the growth rate $g$ and the rate of biomass production $r$.
Importantly, we consider that biomass is produced by incorporating $p$ building blocks into biologically functional units. Accordingly, we denote by ${b}_{i}$, $1\le i\le p$, the concentration of building block $i$ in cellular biomass. In the context of protein synthesis, ${b}_{i}$ corresponds to the cellular concentration of amino acid $i$ incorporated in proteins. Achieving a rate of growth $g$ requires cells to consume building block $i$ at rate ${b}_{i}g$ to satisfy their fixed buildingblock requirements. As the consumption of building blocks, and thus biomass production, is limited by the internal availability of each building block, we model the rate of growth as a function $g({c}_{1},\mathrm{\dots},{c}_{p})$ of the internal concentrations of building blocks ${c}_{i}$, $1\le i\le p$. We assume that $g({c}_{1},\mathrm{\dots},{c}_{p})=0$ whenever any building block is lacking, i.e. when $\mathrm{min}({c}_{1},\mathrm{\dots},{c}_{p})=0$ and that ${\partial}_{{c}_{i}}g>0$ so that elevated internal concentrations of building blocks promote cell growth. We expect the above assumptions to generally hold for building blocks that are absolutely required for cell growth.
A relevant choice for such a rate function is to take $g({c}_{1},\mathrm{\dots},{c}_{p})$ proportional to the harmonic mean of the internal concentrations
Such a rate function adequately models protein biosynthesis, where biomass production results from the sequential incorporation of amino acids, each amino acid being incorporated at a rate proportional to its concentration. The time to produce a unit of biomass is the sum of the incorporation time of each building block $i$, which is proportional the relative requirement for each building block ${b}_{i}$, in turn yielding the overall rate of growth as the harmonic mean Equation (A1). Tellingly, the harmonic mean function has the quasiconcave property, whereby its level sets $g({c}_{1},\mathrm{\dots},{c}_{n})>r$ are convex sets. This mathematical property can be intuitively interpreted in terms of diminishing marginal utility: the benefit of increasing the availability of a resource decreases with its abundance. In the interest of analytical tractability, we will also consider the ‘minimum’ model, where only the scarcest resource is rate limiting, leading to a growthrate function
Such a rate function corresponds to the extreme case when increasing the abundance of resources that are not the most rate limiting is unproductive. Observe that, to fully define a growthrate function $g$, we need to specify a kinetic rate constant relating $g$ to the righthand sides of Equation (A1) and Equation (A2).
Internal fluxbalance equations
In order to produce biomass, a cell can import a building block $i$ from the external medium, or produce it by internally converting another building block $j$. As each import/conversion process is enzymatically controlled, a metabolic strategy is specified by the allocation of the enzyme budget to these various processes. For simplicity, we adopt the enzyme budget constraint:
where the constants ${\alpha}_{i}$ and ${\kappa}_{ij}$ are enzymatic activities, assumed proportional to the concentrations of enzymes, associated with the import of resource $i\phantom{\rule{thickmathspace}{0ex}}({\alpha}_{i})$ and the conversion of $j$ into $i\phantom{\rule{thickmathspace}{0ex}}({\kappa}_{ij})$, and where $E$ denotes the total enzyme budget.
We assume a separation of timescales between fast metabolic reactions and slow biomass production. As a result, we consider that over the timescale of cellular growth the internal concentrations reach their stationary state: ${\dot{c}}_{i}=0$. Assuming that every enzymatic process operates in the linear regime, the internal buildingblock concentrations ${c}_{i}$ satisfy $p$ fluxbalance equations, one for each building block:
where $g$ is the cellular rate of growth, ${c}_{i}^{\mathrm{ext}}$ is the external buildingblock concentration, and the flux ${b}_{i}g$ specifies the buildingblock consumption rate in units of concentration per second. The above set of fluxbalance equations defines a network of metabolic reactions, where the only nonlinearity of the model is due to the growthrate function $g$. For every building block, we model passive transport across the cell membrane via the leak rate $\beta $. Finally, in writing Equation (A4), we made the assumption that the overwhelming majority of cellular building blocks are incorporated in the biomass, i.e. ${b}_{i}\ge {c}_{i}$. This biologically relevant approximation justifies neglecting the dilution rate ${c}_{i}g$ due to cell growth by comparison with ${b}_{i}g$, the consumption rate of building block $i$.
Positive monotonic cell growth
Physically, we expect that for given external buildingblock concentrations ${c}_{i}^{\mathrm{ext}}$, the set of internal fluxbalance Equation (A4) specifies a unique set of positive internal concentrations ${c}_{i}$, and that the cellular growth is an increasing function of the resource influxes $(\beta +{\alpha}_{i}){c}_{i}^{\mathrm{ext}}$. Using the monotonic property of growth rate $g$ together with conservation of buildingblock fluxes, it is indeed possible to show that our growth model exhibits the desired property of positive monotonic cell growth.
To demonstrate this point, it is convenient to consider the biomass production rate as a free parameter $\gamma $ (independent of the requirement that $\gamma =g({c}_{1},\mathrm{\dots},{c}_{p}))$, in which case the system of Equation (A4) becomes linear, yielding internal concentrations ${c}_{1}(\gamma ),\mathrm{\dots},{c}_{p}(\gamma )$. In turn, the solutions to the nonlinear problem are obtained from the selfconsistent relation $\gamma =g({c}_{1}(\gamma ),\mathrm{\dots},{c}_{p}(\gamma ))$, that states that the growth rate $\gamma $ is achievable by the parametrized internal concentrations ${c}_{1}(\gamma ),\mathrm{\dots},{c}_{p}(\gamma )$. These parametrized concentrations ${c}_{1}(\gamma ),\mathrm{\dots},{c}_{p}(\gamma )$ can be found as
where $\mathit{\bm{K}}$ is the matrix of enzymatic activities defined as
Because $\mathit{\bm{K}}$ is strictly diagonally dominant, i.e. ${\mathit{\bm{K}}}_{ii}>{\sum}_{j\ne i}{\mathit{\bm{K}}}_{ij}$ for all $i$, with negative off diagonal coefficients, it is a monotone matrix, which means that all the coefficients of ${\mathit{\bm{K}}}^{1}$ are positive. Thus, the internal concentrations ${c}_{1}(\gamma ),\mathrm{\dots},{c}_{p}(\gamma )$ are decreasing functions of $\gamma $. Moreover, $(\beta +{\alpha}_{i}){c}_{i}^{\mathrm{ext}}{b}_{i}\gamma $ is positive for small enough $\gamma \ge 0$ and negative for large enough $\gamma $. Thus, defining
the function $g(\gamma )=g({c}_{1}(\gamma ),\mathrm{\dots},{c}_{p}(\gamma ))$ is decreasing on $(0,{\gamma}_{0})$, from $g(0)>0$ to $g({\gamma}_{0})=0$. In particular, the equation $g(\gamma )\gamma =0$ admits a unique positive solution ${\gamma}^{\star}$ in $(0,{\gamma}_{0})$, which is the actual cellular growth rate (${\gamma}^{\star}=g({\gamma}^{\star})$). Moreover, the corresponding internal concentrations ${c}_{i}({g}^{\star})$ are all positive. Indeed, suppose ${c}_{i}({\gamma}^{\star})<0$, then there is $\gamma $, $0<\gamma <{\gamma}^{\star}$, such that ${c}_{i}(\gamma )=0$, implying $g(\gamma )\gamma =\gamma <0$, which contradicts the uniqueness of ${\gamma}^{\star}$. This shows that there is a unique set of positive internal concentrations satisfying Equation (A4). Importantly, this reasoning also shows that an increase in the influx of a resource leads to an increase in internal concentration, and therefore an increase in growth rate. For instance, if the influx $(\beta +{\alpha}_{i}){c}_{i}^{\mathrm{ext}}$ is increased by an amount $\u03f5>0$, then the new function ${g}_{\u03f5}(\gamma )$ is strictly larger the original function $g(\gamma )$. Thus, ${\gamma}^{\star}$ satisfies $0=g({\gamma}^{\star}){\gamma}^{\star}<{g}_{\u03f5}({\gamma}^{\star}){\gamma}^{\star}$, which implies that the growth rate associated with ${g}_{\u03f5}(\gamma )$, defined as the solution to ${g}_{\u03f5}(\gamma )\gamma =0$, is strictly larger than the growth rate ${\gamma}^{\star}$ associated with $g(\gamma )$.
Appendix 2: Population dynamics of metabolic strategies
In this section, we establish a model for the population dynamics of competing metabolic strategies, e.g. cell types, in a microbial colony. In section "External fluxbalance equations", we model the external metabolic fluxes at the population level, where different celltypes compete for steadily supplied building blocks. In section "Competitive growth of metabolic strategies", we model the growth of metabolically competing cell types, ensuring the overall conservation of buildingblock fluxes. In section "System of ordinary differential equations", we show that our model reduces to a set of coupled ordinary differential equations, which prescribe bounded population dynamics.
External fluxbalance equations
A metabolic strategy is an assignment $\{{\alpha}_{i,\sigma},{\kappa}_{ij,\sigma}\}$ that satisfies the enzyme budget constraint Equation (A3), thus defining a cell type $\sigma $. We consider that these different cell types $\sigma $ are growing in a homogeneous environment of volume $\mathrm{\Omega}$. We denote the dimensionless population count of cell type $\sigma $ by ${n}_{\sigma}$ and the total population count of cells by $N={\sum}_{\sigma}{n}_{\sigma}$. For simplicity, we also consider that every cell type has the same average lifetime. The inverse of this lifetime defines the cellular death rate $\delta $, which is independent of the cell type and assumed much slower than the timescales associated with metabolic processes such as diffusion, interconversion, and passive/active transport.
In the volume $\mathrm{\Omega}$, we consider that the $p$ building blocks are steadily supplied with rate by volume ${s}_{i}$ and can be lost, e.g. via degradation or diffusion out of the volume at a rate $\mu $. In the absence of microbes, the change in external concentration of building block $i$ due to supply and loss obeys ${\dot{c}}_{i}^{\mathrm{ext}}={s}_{i}\mu {c}_{i}^{\mathrm{ext}}$, so that we simply have ${c}_{i}^{\mathrm{ext}}={s}_{i}/\mu $ at steady state. When present, microbes modifies this steady state via buildingblock intake during growth and via biomass release upon cell death. We denote by $f$ the fraction of biomass recycled upon cell death ($0\le f<1$). Then, ${n}_{\sigma}$ cells of type $\sigma $ create a net flux ${n}_{\sigma}{\varphi}_{i,\sigma}$ for each building block $i$, where the percell flux ${\varphi}_{i,\sigma}$ equals the net individual metabolic intake of building block $i$ minus the rate of release of building block $i$ from the biomass of dying cells:
In theory, upon death, cells release the free internal building blocks $i$ that are present in the cell at the time of death, as well as a fraction $f$ of the building blocks $i$ that were incorporated in the cellular biomass. In practice, as cell growth sets the slow timescale of our model $(\delta \ll \beta )$, we can neglect the fluxes due to the release of the internal pool of building blocks upon cell death.
Importantly, individual cell fluxes ${\varphi}_{i,\sigma}$ contribute to changing the external concentration ${c}_{i}^{\mathrm{ext}}$ via a geometric factor. The conservation of the number of building blocks determines this geometric factor to be $\omega /(\mathrm{\Omega}N\omega )$, the ratio of the average individual cellular volume $\omega $ and of the cellfree volume $\mathrm{\Omega}N\omega $. Accordingly, the smaller the fractional volume of a cell type, the less that cell type can change the shared external concentration via metabolic exchanges. Thus the total number of cells has to satisfy $N<\mathrm{\Omega}/\omega $, where $\mathrm{\Omega}/\omega $, the number of cells that would fill the volume $\mathrm{\Omega}$, plays the role of a carrying capacity. Moreover, the change in the cellfree volume $\mathrm{\Omega}N\omega $ due to cell growth affects the change in external buildingblock concentration ${c}_{i}^{\mathrm{ext}}$ via another geometric term. Indeed, denoting by ${M}_{i}$ the number of molecules of external building block $i$ in the cellfree volume, we have
In the equation above, the first term of the righthand side arises from the supply and loss of building blocks and from the fluxes created from the various cell types, while the last term is purely geometrical in nature and vanishes at steady state. Writing these terms explicitly, the stationary condition for the external buildingblock concentrations ${c}_{i}^{\mathrm{ext}}$ on the timescale of cellular growth (${\dot{c}}_{i}^{\mathrm{ext}}=0$) leads to $p$ external fluxbalance equations that govern the external availability of building blocks:
The above equations shows that microbial growth affects the external availability of building blocks via both the metabolic fluxes the microbes create and the change in external cellfree volume. In the next section, we show that the latter geometric contribution is negligible when compared to the former.
Competitive growth of metabolic strategies
In the previous section, we presented a model for the external metabolic fluxes in a homogeneous environment where populations of different celltypes compete for steadily supplied building blocks. When growing, cells compete with each other by depleting the pool of external building blocks: as the population ${n}_{\sigma}$ of cell type $\sigma $ grows, the flux of nutrients imported by these cells increases, thereby reducing the availability of the particular mix of nutrients they feed on. This competition for building blocks couples the growth of different microbial strategies $\sigma $ according to the population dynamics
When used in combination with the internal and external fluxbalance Equations (A4) and (A11), the above population dynamics allows us to justify the neglect of variations in external cellfree volume due to cell growth.
We justify the neglect of variations in external cellfree volume due to cell growth by analyzing overall buildingblock fluxes at the population level. The percell fluxes for celltype $\sigma $ are
Then, summing the internal fluxbalance Equation (A4) for every building block leads to the relation between the growth rate of a cell type $\sigma $ and its percell buildingblock fluxes:
In turn, summing the external fluxbalance Equation (A11) for every building block leads to the overall conservation of buildingblock fluxes
Using relation Equation (A14), the above conservation of buildingblock fluxes can be rewritten as
As the growth Equation (A12) imply that ${\sum}_{\sigma}{n}_{\sigma}{g}_{\sigma}=\dot{N}+\delta N$, upon substitution in Equation (A16), we finally obtain the conservation of buildingblock fluxes as
We consider cell types for which, as a result of active import, internal buildingblock availability exceeds the external buildingblock availability, i.e. ${c}_{i}^{\mathrm{ext}}<{c}_{i,\sigma}\ll {b}_{i}$. Thus, in Equation (A17), the overall fluxes of building blocks required for growth vastly exceed the effect of variations in free volume due to cell growth: $\dot{N}\omega {\sum}_{i}{b}_{i}\gg \dot{N}\omega {\sum}_{i}{c}_{i}^{\mathrm{ext}}$. This justifies neglecting the purely geometric term due to variations in free volume in the external fluxbalance Equation (A11).
System of ordinary differential equations
On the timescale of cell growth, set by the average lifetime of a cell $\approx 1/\delta $, the internal and external concentrations can be considered as fast variables that have reached steady state. In particular, $\{{c}_{i}^{\mathrm{ext}}\}$ and $\{{c}_{i,\sigma}\}$ satisfy the set of fluxbalance Equations (A4) and (A11). In Section "Positive monotonic cell growth", we have established that, given external concentrations ${c}_{i}^{\mathrm{ext}}$, the internal concentrations ${c}_{i,\sigma}$ of a cell type $\sigma $ can be determined by solving the system of Equation (A4), which specifies the functions ${c}_{i,\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$. Then, the growth rate of cell type $\sigma $,
only depends on the external concentrations of building blocks ${c}_{i}^{\mathrm{ext}}$. Solving Equation (A11) yields the external concentrations ${c}_{i}^{\mathrm{ext}}$ can be obtained as functions of $\{{n}_{\sigma}\}$, the population vector of cell types. Thus, Equation (A12) governing the growth of the competing metabolic strategies constitute a set of ordinary differential equations coupled via the external concentrations of building blocks, considered as $p$ auxiliary variables. In this section, we show that the corresponding population dynamics is bounded with (i) finite overall population count $N$ and (ii) finite positive external concentrations ${c}_{i}^{\mathrm{ext}}$. We devote the rest of this section to show these two points.
Neglecting the variations in free volume due to cell growth, the overall conservation of building blocks implies that the total cell population $N$ remains strictly below the carrying capacity $\mathrm{\Omega}/\omega $, ensuring that our population dynamics model is wellposed. To see this, remark that, by positivity of the external buildingblock concentrations ${c}_{i}^{\mathrm{ext}}$, we have
$\begin{array}{rlr}{\displaystyle \dot{N}}& {\displaystyle ={\displaystyle \frac{\mathrm{\Omega}N\omega}{\omega}\phantom{\rule{thinmathspace}{0ex}}\frac{\sum _{i}{s}_{i}\mu \sum _{i}{c}_{i}^{\mathrm{e}\mathrm{x}\mathrm{t}}}{\sum _{i}{b}_{i}}N\delta (1f)}}& \\ {\displaystyle \le}& {\displaystyle \frac{\mathrm{\Omega}}{\omega}\phantom{\rule{thinmathspace}{0ex}}\frac{\sum _{i}{s}_{i}}{\sum _{i}{b}_{i}}N\left(\delta (1f)+\frac{\sum _{i}{s}_{i}}{\sum _{i}{b}_{i}}\right)}& \end{array}$The above inequality implies that the total cell population is decreasing for any $N$ larger than
(A19) $\frac{\mathrm{\Omega}}{\omega}}{\left(1+{\displaystyle \frac{\delta (1f){\sum}_{i}{b}_{i}}{{\sum}_{i}{s}_{i}}}\right)}^{1}<{\displaystyle \frac{\mathrm{\Omega}}{\omega}},$and that, for any initial population satisfying $N(0)<\mathrm{\Omega}/\omega $, the lefthand side of the above expression is an upperbound of the longterm population dynamics.
Neglecting the variations in free volume due to cell growth, the external fluxbalance Equation (A11) reads
(A20) ${s}_{i}=\mu {c}_{i}^{\mathrm{ext}}+{\displaystyle \frac{\omega}{\mathrm{\Omega}N\omega}}{\displaystyle \sum _{\sigma}}{n}_{\sigma}{\varphi}_{i,\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}),$where the percell building block fluxes are defined as in Equation (A13). Summing the above equations for different building blocks, we obtain the overall conservation of building blocks as
(A21) $\sum _{i}}{s}_{i}=\mu {\displaystyle \sum _{i}}{c}_{i}^{\mathrm{ext}}+{\displaystyle \frac{\omega}{\mathrm{\Omega}N\omega}}{\displaystyle \sum _{i}}{b}_{i}{\displaystyle \sum _{\sigma}}{n}_{\sigma}\left({g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})\delta f\right).$By positivity of the growth function for each cell types, i.e. ${g}_{\sigma}\ge 0$, it follows that
(A22) $\sum _{i}}{s}_{i}\ge \mu {\displaystyle \sum _{i}}{c}_{i}^{\mathrm{ext}}{\displaystyle \frac{N\omega \delta f}{\mathrm{\Omega}N\omega}}{\displaystyle \sum _{i}}{b}_{i}.$In turn, the boundedness of the overall population of cell types $N$ implies the boundedness of the external building block concentrations ${c}_{i}^{\mathrm{ext}}$ via
(A23) ${c}_{i}^{\mathrm{ext}}\le {\displaystyle \frac{1}{\mu}}\left({\displaystyle \sum _{i}}{s}_{i}+{\displaystyle \frac{N\omega \delta}{\mathrm{\Omega}N\omega}}{\displaystyle \sum _{i}}{b}_{i}\right).$
Appendix 3: Optimization over network topologies
In this section, we explain how the optimization of microbial growth rate over the set of metabolic strategies allowed by the enzyme budget constraint determines the nature of microbial coexistence at steady state. In section "Maximumgrowthrate function", we introduce the maximum growthrate function, which fully characterizes microbial coexistence at steady state. In section "Metabolic classes", we explain how to compute the maximum growthrate function, by focusing on the analysis of a constrained number of metabolic types. In section "Networktheory analysis", we identify the metabolic types that are relevant to our optimization problem by identifying the allowed topological structures of their metabolic networks.
Maximumgrowthrate function
For steady buildingblock supply, extensive numerical simulations suggest that the population dynamics of a finite number of metabolic strategies is globally convergent, i.e. for any initial conditions, the population vector $\{{n}_{\sigma}(t)\}$ tends to a limit $\{{n}_{\sigma}^{\mathrm{\infty}}\}$, avoiding oscillatory or chaotic dynamics. Because the growth of certain cell types can benefit or impair the growth of other cell types, we cannot use standard population dynamics arguments to prove the global convergence of our model. However, we believe that global convergence holds and that two key features explain this simple asymptotic behavior. First, because of our assumption of a separation of timescales, the internal concentrations are effectively instantaneously determined by the external concentrations and no imbalance can build up, as would be required for oscillatory dynamics. Second, because of the strict conservation of buildingblock fluxes, each step toward the production of biomass entails some buildingblock waste, making the system dissipative.
Positive global convergence for steady buildingblock supply greatly simplifies the problem of determining which metabolic strategies survive competition to coexist on long timescales. To understand this point, we first need to introduce the maximumgrowthrate function $G$, defined as a function of steadystate external buildingblock concentrations by
Notice that in the above definition strategies $\sigma $ belong to a compact continuous set determined by the budget constraint Equation (A3), which justifies that ${sup}_{\sigma}{g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$ is attained and is therefore a $\mathrm{max}$. The maximum growthrate function $G$ entirely determines the longtime structure of coexisting strategies at stationary state. Indeed, the boundedness of the population dynamics imposes that survival at stationary state implies
where $\delta $ is the cell death rate, which we take as a constant. Otherwise, there is a strategy such that ${g}_{\sigma}\delta >0$, yielding a diverging population ${n}_{\sigma}$. Moreover, if $G<\delta $, we have ${g}_{\sigma}\delta <0$ for each strategy, yielding a vanishing population. Thus, the steadystate external buildingblock concentrations ${c}_{i}^{\star}$ are specified as positive numbers satisfying
Moreover, for each set of admissible steadystate concentrations ${c}_{i}^{\star}$, the compatible set of coexisting metabolic strategies is given by
where $\mathrm{arg}{\mathrm{max}}_{\sigma}{g}_{\sigma}$ denotes the set of strategies for which maximum growth is acheived. Relation Equation (A27) states that, at fixed steadystate external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$, the surviving strategies are those ones for which ${g}_{\sigma}({c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star})$ is optimal. In particular, coexistence occurs when this maximum is attained for different strategies.
Metabolic classes
To compute the maximumgrowthrate function, we need to optimize the growth rate ${g}_{\sigma}$ over the continuous set of admissible metabolic strategies for arbitrary fixed external conditions. This optimization can be carried out in two steps: First, by optimizing the growth rate over metabolic network topologies, one can identify a finite number of metabolic classes, defined as classes of strategies utilizing the same subset of transporters/enzymes, which are potentially optimal. Second, within these metabolic classes, one can characterize optimal strategies for fixed external concentrations. As a result, the maximumgrowthrate function $G({c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star})$ can be computed as a maximum over a finite number of metabolic classes.
Formally, metabolic classes are defined as equivalence classes, whereby two strategies $\sigma $ and ${\sigma}^{\prime}$ belong to the same metabolic class $\mathcal{M}$ if and only if ${\alpha}_{i}=0\iff {\alpha}_{i}^{\prime}=0$ and ${\kappa}_{ij}=0\iff {\kappa}_{ij}^{\prime}=0$, where ${\alpha}_{i}$, ${\alpha}_{i}^{\prime}$, ${\kappa}_{ij}$, and ${\kappa}_{ij}^{\prime}$ are enzyme activities. How many metabolic classes do we need to consider? There are $p$ import enzymes and $p(p1)$ interconversion enzymes, for a total of ${p}^{2}$ enzymes. Thus, there are at most ${2}^{{p}^{2}}$ metabolic classes according to whether or not each type of enzyme is present (${\alpha}_{i}>0$ or ${\kappa}_{ij}>0$). However, only a subset of metabolic classes are potentially optimal. For instance, the class for which ${\alpha}_{i}={\kappa}_{ij}=0$ for all $i$, $j$, is clearly not optimal. More tellingly, irrespective of the external availability of building blocks, numerical simulations show that optimal strategies generally belong to a very restricted set of metabolic classes. Next, we will identify this reduced set of metabolic classes using arguments inspired by analytic network theory.
Our strategy to discard a metabolic class $\mathcal{M}$, and thus reduce the number of relevant classes, is as follows. We will first consider a representative strategy $\sigma $ in $\mathcal{M}$ with budget $E={\sum}_{i}{\alpha}_{i}+{\sum}_{ij}{\kappa}_{ij}$ at arbitrary external concentrations ${c}_{i}^{\mathrm{ext}}$. The growth rate ${g}_{\sigma}$ of strategy $\sigma $ only depends on the internal concentrations ${c}_{i,\sigma}$. For the same external concentrations ${c}_{i}^{\mathrm{ext}}$, we will show that one can always find a strategy ${\sigma}^{\prime}$ from another metabolic class ${\mathcal{M}}^{\prime}$ achieving the same internal concentrations but using a smaller budget ${E}^{\prime}={\sum}_{i}{\alpha}_{i}^{\prime}+{\sum}_{ij}{\kappa}_{ij}^{\prime}<E$. Then, by virtue of the positive monotony of our cell growth model, one can reallocate the saved budget $E{E}^{\prime}$ to buildingblock import and increase buildingblock influxes, thus yielding a strategy ${\sigma}^{\prime}$ that outperforms $\sigma $ for the same budget constraint. Since the existence of a more ‘economical’ strategy ${\sigma}^{\prime}$ contradicts the optimality of metabolic class $\mathcal{M}$, we can restrict our consideration to the metabolic classes other than $\mathcal{M}$. In the following, we will use the above procedure to show that optimal strategies belong to a very restricted set of metabolic classes.
Networktheory analysis
Topologically, the most generic metabolic class is the one that utilizes every import and conversion enzyme, i.e. ${\alpha}_{i},{\kappa}_{ij}>0$ for all $i$ and $j$, as any other class can be obtained from it by setting some ${\alpha}_{i}$ or ${\kappa}_{ij}$ to zero. In this section, starting from the most generic metabolic class, we show that the assumption of optimal growth implies that many ${\alpha}_{i}$ and ${\kappa}_{ij}$ vanish, thereby restricting candidate topologies for optimal networks.
Optimal networks are 'forests of trees'
Inspired by classic networktheory arguments, we show that at steady state the network of import and interconversion enzymes associated with optimal strategies is a directed forest of trees rooted in some or all of the external building blocks.
Consider a strategy $\sigma $ that has a cycle of order $2$, e.g. enzymes interconverting building block $i$ into building block $j$ and building block $j$ into building block $i$:
Altering the enzymatic activities according to ${\kappa}_{ij}\leftarrow {\kappa}_{ij}+\delta {\kappa}_{ij}={\kappa}_{ij}^{\prime}$ and ${\kappa}_{ji}\leftarrow {\kappa}_{ji}+\delta {\kappa}_{ji}={\kappa}_{ji}^{\prime}$ with
leads to the same net flux between $i$ and $j$. As a result, the net buildingblock fluxes are preserved for the same internal concentrations ${c}_{i}$ and ${c}_{j}$. The corresponding altered enzyme budget is ${E}^{\prime}=E+\delta E$ with
showing that reducing the enzymatic activity ${\kappa}_{ji}$ leads to a smaller enzyme budget if ${\kappa}_{ij}\ge 0$. Thus, one can always find a more economical strategy ${\sigma}^{\prime}$ that uses only one enzyme to perform an interconversion( the same reasoning applies to ${\kappa}_{ij}$). This shows that the network of interconversion reactions of optimal strategies has no cycle of order $2$, so we can restrict our consideration to metabolic classes satisfying ${\kappa}_{ij}{\kappa}_{ji}=0$ for all $i$ and $j$.
We can generalize the above argument to show that an optimal strategy cannot exhibit interconversion cycles of any order (see Appendix 3—figure 1). To see this, consider a interconversion network of a strategy $\sigma $ with no $2$cycles and suppose that its undirected graph has a $3$cycle, e.g. of the form
Then, altering the enzymatic activities according to
leaves the net internal fluxes unchanged, and the altered strategy ${\sigma}^{\prime}$ uses a budget ${E}^{\prime}=E+\delta E$ with
Thus, for generic conditions, one can always form a more economical strategy ${\sigma}^{\prime}$ by either reducing or increasing ${\kappa}_{ji}$, until one of the activities along the cycle becomes zero. This shows that the network of interconversion reactions of optimal strategies has no cycle of order $3$, so that we can restrict ourselves to metabolic classes satisfying ${\kappa}_{ij}{\kappa}_{ji}=0$ and ${\kappa}_{(ij)}{\kappa}_{(jk)}{\kappa}_{(ki)}=0$ for all $i$, $j$, and $k$, where ${\kappa}_{(ij)}=\mathrm{max}({\kappa}_{ij},{\kappa}_{ji})$. The above argument directly generalizes to cycles of any order showing that, if a strategy is optimal, the undirected graph of its interconversion network has no cycles. Therefore, the undirected graph of an optimal interconversion network is a ‘forest of trees’. Observe that, in particular, this result implies that cycles are never optimal.
In the following, exploiting the same procedure as above, we show that optimal networks satisfy an additional topological property: building blocks are accumulated internally from a unique external source (see Appendix 3—figure 2). In graph theory, the defining property of a forest is that, given any two nodes, there is at most one path joining them. For our network of import and interconversion enzymes, this property implies that, given two external buildingblock concentrations, e.g. ${c}_{i}^{\mathrm{ext}}$ and ${c}_{j}^{\mathrm{ext}}$, there is at most one chain of processes whose undirected path links ${c}_{i}^{\mathrm{ext}}$ and ${c}_{j}^{\mathrm{ext}}$. For simplicity, consider a strategy $\sigma $ for which there exists such a path of length $3$, e.g. corresponding to:
Then, altering the enzymatic activities according to
leaves the net internal fluxes unchanged and the altered strategy ${\sigma}^{\prime}$, uses a budget ${E}^{\prime}=E+\delta E$ with
Thus, for generic conditions, one can always form a more economical strategy ${\sigma}^{\prime}$ by either reducing or increasing ${\kappa}_{ji}$ according to the sign of the term in between parenthesis in Equation (A35), until one of the activities along the path becomes zero. In all rigor, this last point requires that buildingblock import can be set to zero, which is not realistic in the presence of passive leakage. However, including passive imports does not change our result as long as the buildingblock internal concentrations are larger than the buildingblock external concentrations, which is the biologically relevant case. In any case, if a network of import and interconversion enzymes is optimal, there is at most one path connecting a building block to an external resource. Moreover, such a path has to exist and has to flow from the external buildingblock source for the internal buildingblock concentration to be nonzero. As a result, the network of import and interconversion enzymes forms a forest of directed trees rooted in the external buildingblock concentrations.
Optimal networks convert at most one building block
Using arguments inspired by network theory, we have shown that, in optimal networks of import and conversion enzymes, each building block is made from a single external source, via a single enzymatic chain. This constraint on the topology of optimal networks drastically reduces the number of metabolic classes to inspect for optimal strategies. In the following, we will show that it is possible to further restrict the set of candidate classes. Specifically, we will show that optimal strategies have a single nontrivial tree of depth one, i.e. the building blocks that are not directly imported are all made in one step from a single imported building block. In other words, optimal strategies convert at most one building block.
To prove the above claim, we first show that, for a complete set of import and interconversion enzymes, trees originating from an imported building block are at most of depth one (see Appendix 3—figure 3). Consider a strategy $\sigma $ that processes a precursor building block $i$ via a tree of interconversions of depth at least $2$. Necessarily, there is a building block $k$ made after two successive interconversions. Call $j$ the intermediary building block between $i$ and $k$. We thus have
where ${c}_{i}$, ${c}_{j}$, and ${c}_{k}$ denote steadystate internal concentrations. Now consider a strategy ${\sigma}^{\prime}$ that is the same as $\sigma $ except that $k$ is directly made from $i$, i.e. ${\kappa}_{kj}^{\prime}=0$ and ${\kappa}_{ki}^{\prime}>0$, and possibly ${\kappa}_{ji}^{\prime}\ne {\kappa}_{ji}$:
Choosing ${\kappa}_{ji}^{\prime}$ and ${\kappa}_{ki}^{\prime}$ such that
leaves the net fluxes into each internal building block unchanged and the altered strategy ${\sigma}^{\prime}$, which grows as fast as $\sigma $, uses a budget
Thus, one can always form a more economical strategy ${\sigma}^{\prime}$ by replacing a twostep synthesis process by a onestep synthesis process. Recursive application of the above argument shows that, if not imported, building blocks should be made from their imported precursor in as few steps as possible. In particular, we deduce that optimal networks have trees of depth one, i.e. any converted building block is made in one step from its precursor.
To complete the proof of our claim, we now show that an optimal strategy uses at most a single imported building block as a precursor for the synthesis of nonimported blocks (see Appendix 3—figure 4). Consider a strategy $\sigma $ that uses two imported building blocks: building block $i$ as a precursor for ${q}_{i}$ blocks, and building block $j$ as a precursor for ${q}_{j}$ blocks. By symmetry, in optimal strategies, the ${q}_{i}$ blocks made from $i$ are processed identically at concentration $c}_{i$, as well as the ${q}_{j}$ blocks made from $j$ at concentration $c}_{j$. Thus, the internal fluxbalance equations for the precursors read
while the internal fluxbalance equations for the end products read
where ${\kappa}_{ki}$ and ${\kappa}_{lj}$ are the enzymatic activities associated with the conversion of $i$ and $j$ into an end product, respectively. Algebraic manipulations of the fluxbalance equations allow one to express the enzymatic activities ${\alpha}_{i}$, ${\alpha}_{j}$, ${\kappa}_{ki}$, and ${\kappa}_{lj}$ in terms of the internal and external buildingblock concentrations and of the rate of biomass production $g$. For instance, we have:
From there, one can show that the budget ${E}_{i}={\alpha}_{i}+{\sum}_{k}{\kappa}_{ki}$ allocated to the $i$ pathways is
while the budget ${E}_{j}={\alpha}_{j}+{\sum}_{l}{\kappa}_{lj}$ allocated to the $j$ pathways is
Now consider a strategy ${\sigma}^{\prime}$ for which the internal concentrations are the same as $\sigma $, except that it only uses $i$ as a precursor. Accordingly, we have the new internal fluxbalance equations for imported blocks $i$ and $j$
an the new internal fluxbalance equations for the end products
where ${\alpha}_{i}^{\prime}$, ${\alpha}_{j}^{\prime}$, ${\kappa}_{ki}^{\prime}$ and ${\kappa}_{li}^{\prime}$ denote the enzymatic activity of strategy ${\sigma}^{\prime}$. The budget ${E}_{i}^{\prime}={\alpha}_{i}^{\prime}+{\sum}_{k}{\kappa}_{ki}^{\prime}+{\sum}_{l}{\kappa}_{li}^{\prime}$ allocated to the $i$ pathways is
while the budget ${E}_{j}^{\prime}={\alpha}_{j}$ allocated to the $j$ pathways is
The overall difference in budget $\delta E=E{E}^{\prime}={E}_{i}+{E}_{j}{E}_{i}^{\prime}{E}_{j}^{\prime}$ reads
Therefore, as ${b}_{l}g+\beta ({c}_{l}{c}_{l}^{\mathrm{ext}})\ge 0$ by Equations (A43) and (A51), one can always form a more economical strategy ${\sigma}^{\prime}$ by either setting ${p}_{i}$ or ${p}_{j}$ to zero according to the sign of the expression between brackets in Equation (A54). Thus, when considering two sources of building blocks, it is always more economical to use a single external building block for conversion. This argument shows that strategies with optimal growth convert at most one building block.
Appendix 4: The analytically solvable minimum model
Analytically identifying the strategies with optimal growth rate at fixed external concentrations proves to be an arduous task for a general growth model, or even for the harmonicmean model Equation (A1). However, for the ‘minimum’ model it is possible to fully characterize optimal strategies. Namely, it is possible to specify their exact allocation of enzymes. Clearly, optimal strategies utilize their entire enzyme budget so that the budget constraint is actually an equality. In the following, considering strategies for which
we establish closedform expressions for the maximumgrowthrate function at fixed external concentrations for the minimum model. i.e. for
where $\gamma $ is a kinetic rate constant. In turn, we use these closedform expressions to visualize graphically the structure of microbial coexistence in the space of external buildingblock concentrations for $p\le 3$.
Pureimporter strategy
Consider a strategy $\sigma $ belonging to the ‘pureimporter’ metabolic type that actively imports every building block, i.e. does not convert building blocks. Define the auxiliary variable $m=\mathrm{min}({c}_{1}/{b}_{1},\mathrm{\dots},{c}_{p}/{b}_{p})$. If strategy $\sigma $ is optimal, its growth rate satisfies $g=\gamma m=\gamma {c}_{i}/{b}_{i}$ for all $i$. Indeed, suppose there exists an $i$ for which ${c}_{i}/{b}_{i}>m$. Consider the set of indices $J$ for which $j$ is such that ${c}_{j}/{b}_{j}=m$. For $j\in J$, the internal fluxbalance equations are
while for indices $i\notin J$, the internal fluxbalance equations are
Thus, for all $j\in J$ and $i\notin J$, we have
If there are $q$ indices in $J$, one can form the strategy ${\sigma}^{\prime}$ from $\sigma $ by taking an amount $\delta E/(pq)$ from every ${\alpha}_{i}$, $i\notin J$, and by distributing an amount $\delta E/q$ to every ${\alpha}_{j}$, $j\in J$. The new strategy ${\sigma}^{\prime}$ uses the same budget as strategy $\sigma $ and, for small enough $\delta E>0$ , every new import activity is positive. Moreover, every ${c}_{i}^{\prime}/{b}_{i}$, $i\notin J$, is a decreasing function of $\delta E$ and every ${c}_{j}^{\prime}/{b}_{j}$, $j\in J$ is an increasing function of $\delta E$. Thus, for small enough $\delta E>0$, we have ${m}^{\prime}=\mathrm{min}({c}_{1}^{\prime}/{b}_{1},\mathrm{\dots},{c}_{p}^{\prime}/{b}_{p})>m$, which contradicts the optimality of $\sigma $ and shows that $m={c}_{i}/{b}_{i}$ for all $p$ internal buildingblock concentrations.
Since $m={c}_{i}/{b}_{i}$ for all $i$, the internal fluxbalance equations of an optimal strategy actively importing every building block are
Considering Equation (A60) for two indices $i$ and $j$ and equating $m$ yields
Thus, the import activities ${\alpha}_{j}$ can all be expressed in term of the single import activity ${\alpha}_{i}$ via
In turn, we obtain a simple expression for ${\alpha}_{i}$ from the budget constraint
which leads to a closed form expression for the optimal growth rate
For the above expression to be valid, one also needs to verify the positivity of the enzymatic activities
which is always true at steady state if the budget $E$ is large enough compared with the passive leakage rate $\beta $.
Interconversion strategies
Consider a strategy $\sigma $ that actively imports $q<p$ building blocks. Denote by $S$ the set of indices of actively imported blocks. There is a unique building block $i\in S$ that is used to produce the $pq$ building blocks that are not imported. Denote by $C$ the set of indices of converted blocks. Reasoning by contradiction as in Section "Pureimporter strategy", one can show that optimal strategies are such that $g=\gamma m=\gamma {c}_{j}/{b}_{j}$ for all $j\ne i$, where $m=\mathrm{min}({c}_{1}/{b}_{1},\mathrm{\dots},{c}_{p}/{b}_{p})$. The key distinction from the case of the pure importer is that we possibly have ${c}_{i}/{b}_{i}>m$. Such a case emerges for moderate enzyme budget satisfying $E\lesssim p(\beta +\gamma )$.
Case ${c}_{i}\mathrm{/}{b}_{i}\mathrm{>}m$:
In this case, the internal fluxbalance equations of an optimal strategy actively importing building blocks $j\in S$, while using $i$ as sole precursor to building blocks $j\in C$, read
Notice that relation Equation (A67) allows one to express $m$ as a function of ${c}_{i}$. Substituting the corresponding expression for $m$ in the condition ${c}_{i}/{b}_{i}>m$ yields
which can be satisfied for positive ${\kappa}_{ji}$ when the internal buildingblock concentration ${c}_{i}$ exceeds the external buildingblock concentration ${c}_{j}^{\mathrm{ext}}$. Then, using Equation (A66), one can write Equation (A67) as
Solving for ${\stackrel{~}{\kappa}}_{ji}={\kappa}_{ji}/(\beta +{\sum}_{j\in C}{\kappa}_{ji})$ in the above equation yields:
Then, using Equation (A71) and the relation
one obtains an expression for the enzymatic activity ${\kappa}_{ji}=(\beta +{\sum}_{j\in C}{\kappa}_{ji}){\stackrel{~}{\kappa}}_{ji}$ as a function of $m$:
If $q>1$, adopting the reasoning from Section "Pureimporter strategy" to optimize over the ${\alpha}_{j}$, $j\in S,j\ne i$, at fixed ${\alpha}_{i}$ and ${\kappa}_{ij}$, we have:
Solving this quadratic equation for $m$, it can be seen that the larger root gives a negative value for ${\kappa}_{ji}$. Hence it is the smaller root that defines the function $m({\alpha}_{i})$, which, in turn, can be optimized over the import enzymatic activity ${\alpha}_{i}$ to obtain the optimal growth rate for a metabolic class with interconversions:
where the reduced variables $u$, $v$, and $w$ are
Similarly, for $q=1$, writing the enzyme budget constraint $E={\sum}_{j\ne i}{\kappa}_{ji}(m)+{\alpha}_{i}$ leads to an expression for $m$ in terms of ${\alpha}_{i}$. In turn, the optimization of $m({\alpha}_{i})$ over the import enzymatic activity ${\alpha}_{i}$ yields the same expression as in Equation (A76), with Equation (A77), Equation (A78), and Equation (A79), where the only imported block is $i$, i.e. $S\setminus \{i\}=\mathrm{\varnothing}$.
One can check that when considered as functions of the external concentrations, the reduced variable $u$ is homogeneous of degree one, the reduced variable $v$ is homogeneous of degree zero and $w$ is homogeneous of degree two. Therefore, the optimal growth rate is homogeneous of degree one, as expected from the homogeneity of the $\mathrm{min}$ function. (In the harmonicmean model, the rate function $g$ is also homogeneous of degree one).
Case ${c}_{i}\mathrm{/}{b}_{i}\mathrm{=}m$:
In this case, the internal fluxbalance equations of an optimal strategy importing building blocks $j\in S$, while using $i$ as sole precursor to building blocks $j\in C$, reads
From Equation (A81), we deduce that the conversion activities satisfy
and, using the above result in Equation (A80), we find
If $q>1$, adopting the reasoning from Section "Pureimporter strategy to optimize over the ${\alpha}_{j}$, $j\in S,j\ne i$, at fixed ${\alpha}_{i}$ and ${\kappa}_{ij}$, we still have:
Finally, substituting for ${\kappa}_{ji}$ and ${\alpha}_{i}$ in the above equation, $m$ is determined as the unique positive solution of a quadratic equation, which yields:
where the reduced variables $u$, $v$, and $w$ are
Similarly, for $q=1$, writing the enzyme budget constraint $E={\sum}_{j\ne i}{\kappa}_{ji}(m)+{\alpha}_{i}$ leads to an expression of $m$ in terms of ${\alpha}_{i}$. In turn, the optimization of $m({\alpha}_{i})$ over the import enzymatic activity ${\alpha}_{i}$ yields the same expression as in Equation (A86), with Equation (A87), Equation (A88), and Equation (A89), where $S\setminus \{i\}=\mathrm{\varnothing}$.
Coexistence at steady state for $p\le 3$ building blocks
As the solution to $G({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})={\mathrm{max}}_{j}{g}_{{\sigma}_{j}^{\star}}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})=\delta $, the set of steadystate external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ defines a multipatched hypersurface. Each hypersurface patch corresponds to the set of external buildingblock concentrations for which a given metabolic type achieves the optimal rate of biomass production. Coexistence of multiple strategies, belonging to different metabolic types, occurs for external concentrations at the intersection of patches. As we consider $p$ building blocks, we expect consortia to be generically made of $p$ strategies, each belonging to a different metabolic type. Moreover, consortia with $q$ coexisting strategies occur locally at the intersection of $q$ hypersurfaces in a $p$dimensional space of external concentrations, determining a $pq$ dimensional set. In particular, consortia with $p$ coexisting strategies occur for a set of isolated external buildingblock concentrations. We refer to such consortia as microbial cartels. In the following, we show the generic occurrence of cartels and characterize their structure by specifying their composition and their associated external buildingblock concentrations.
Exploiting analytical expressions for the optimal growth of various metabolic classes, one can visually inspect the hypersurface defined by ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ for $p\le 3$. Although our optimization is valid for any stoichiometric coefficients ${b}_{i}$, for simplicity, we consider the symmetric case where building blocks have the same biomass stoichiometry, i.e. for which ${b}_{i}=1$ for all $i$.
For $p=2$, there are two particular sets of buildingblock external concentrations for which microbial cartels are optimal. By symmetry with respect to building block permutations, it is enough to characterize one cartel, e.g., the one occurring for ${c}_{1}^{\star}>{c}_{2}^{\star}$. In this case, the microbial cartel is composed of a converting strategy, one that imports block $1$ to synthesize block $2$, and a pureimporter strategy (see Appendix 4—figure 1).
Considering the case $p=3$ reveals a more complex picture as shown in Appendix 4—figure 5a and Appendix 4—figure 5b. For moderate enzyme budgets $E\lesssim p(\beta +\gamma )$, there are $9$ cartels of $3$ coexisting strategies (see Appendix 4—figure 5a), whereas, for large enzyme budgets $E\gg p(\beta +\gamma )$, $3$ pairs of consortia merge, yielding $3$ cartels of $3$ coexisting strategies and $3$ cartels of $4$ coexisting strategies (see Appendix 4—figure 5b). In any case, microbial cartels can be categorized based on symmetry considerations. For instance, for moderate enzyme budget, $6$ cartels are associated to strictly ordered external concentrations, e.g. ${c}_{1}^{\star}>{c}_{2}^{\star}>{c}_{3}^{\star}$, whereas the other $3$ cartels are associated with degenerate order of the type ${c}_{1}^{\star}={c}_{2}^{\star}>{c}_{3}^{\star}$, for which there are two most abundant building blocks. The strictly ordered cartel corresponding to ${c}_{1}^{\star}>{c}_{2}^{\star}>{c}_{3}^{\star}$ is made of the $3$ metabolic types shown in Appendix 4—figure 2,
whereas the marginal cartel corresponding to ${c}_{1}^{\star}={c}_{2}^{\star}>{c}_{3}^{\star}$ comprises the metabolic types shown in Appendix 4—figure 3.
Observe that the set of $6$ strictly ordered cartels is symmetric with respect to building block permutations, as is the set of $3$ marginal cartels. For large enzyme budget, the merging of pairs of strictly ordered cartels leads to $3$ cartels associated to orders of the type ${c}_{1}^{\star}>{c}_{2}^{\star}={c}_{3}^{\star}$, for which the comprised metabolic types are shown in Appendix 4—figure 4.
As shown later, such cartels with are not generic as they only arise for the minimum model whose growthrate function $g({c}_{1},\mathrm{\dots},{c}_{p})=\gamma \mathrm{min}({c}_{1},\mathrm{\dots},{c}_{p})$ is not differentiable when ${c}_{i}={c}_{j}$ for $i\ne j$.
The lowdimensional examples $p=2$ or $3$ suggest a general structure for the symmetric $p$dimensional case, i.e. ${b}_{i}=1$ for $1\le i\le p$. If the external concentrations satisfy the order relation ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}>{c}_{3}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$, there exists a microbial cartel with $p$ metabolic strategies. Specifically, these strategies belong to the metabolic class that converts building block $1$ into the $p1$ other building blocks, the metabolic class that converts building block $1$ into the $p2$ least abundant building blocks and import building block $2$, the metabolic class that converts building block $1$ into the $p3$ least abundant building blocks and import building blocks $2$ and $3$, …, and the pureimporter metabolic class. Moreover, we conjecture that cartels also emerge for degenerate order relations of the type with ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}>{c}_{q+1}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$.
Appendix 5: Optimal strategies within metabolic classes
Unfortunately, finding the optimal metabolic strategies in closed form proves intractable for the harmonicmean model. However, we expect the structure of microbial cartels suggested by the analysis of the minimum model to hold for more generic growthrate function. To justify this point, we need to reformulate the optimization of the growth rate at fixed external buildingblock concentrations into a geometric problem in the space of internal buildingblock concentrations. From there, we show that: (i) Optimal strategies utilize the most available building block for conversion and that converted blocks are the least available. (ii) The order of internal abundances of building blocks is the same as the order of external abundances, except that converted building blocks are equally abundant internally. The first property directly implies that only certain metabolic classes can be jointly optimal for the same external concentrations, limiting the number of possible cartels. The second property allows one to discard the occurrence of degenerate cartels for which internal concentrations are equal in the harmonicmean model.
Geometric formulation of metabolic optimization
In this section, we formulate the optimization of the cellular growth rate at fixed external buildingblock concentrations as a geometric problem in the space of internal buildingblock concentrations.
On one hand, define ${\mathcal{C}}_{g}$, the set of internal buildingblock concentrations for which the rate of growth exceeds a given rate $g$, i.e.
Then, by the monotonicity of the rate function $g$, we have that
Observe that considering the case where building blocks are symmetric with respect to permutations implies that the growthrate function is symmetric in its arguments. On the other hand, observe that, if a strategy $\sigma $ has internal concentrations ${c}_{1},\mathrm{\dots},{c}_{p}$ and grows at rate $g$, such a strategy necessarily has an enzyme budget
where $C$ denotes the set of building blocks converted from building block $i$. Notice that the above expression for the enzyme budget only depends on the topology of the metabolic networks, and thus is characteristic of the metabolic class $\mathcal{M}$. Then, define ${\mathcal{E}}_{g,\mathcal{M}}$, the set of internal buildingblock concentrations for which the required budget ${E}_{g,\mathcal{M}}({c}_{1},\mathrm{\dots},{c}_{p})$ satisfies the budget constraint, i.e
As the required budget is linearly increasing in $g$ at fixed external concentrations, we also have that
Moreover, (i) for large enough rate $g$, there are no positive internal concentrations for which the budget constraint is satisfied and (ii) at zero growth rate, there always are positive internal buildingblock concentrations for which the budget constraint is satisfied, i.e.
The properties Equation (A91), Equation (A94), and Equation (A95) show that the optimal growth rate achievable by a metabolic class $\mathcal{M}$ can be defined as the maximal value $g>0$ for which ${\mathcal{C}}_{g}$ and ${\mathcal{E}}_{g}$ have a contact point
Such a contact point defines the internal concentrations for an optimal strategy in metabolic class $\mathcal{M}$ at fixed external buildingblock concentrations. In particular, the uniqueness of the contact point implies that there is a unique optimal strategy within a given metabolic class. By this argument, one can see that there is unique optimal pureimporter strategy. Indeed, the quasiconcave property of the growthrate function $g$ means that the sets ${\mathcal{C}}_{g}$ are convex, while for a pureimporter strategy, the enzyme budget ${E}_{g,\mathcal{M}}$ is a linear function of the internal concentrations and sets ${\mathcal{E}}_{g,\mathcal{M}}$ are (convex) hyperplanes. Then, the uniqueness of the optimal pureimporter strategy follows from the uniqueness of the contact point between two convex sets.
In the following, we will use a similar geometrical approach to specify the optimal pureconverter strategy which proves crucial to discard the occurence of degenerate optimal strategies for which all internal buildingblock concentrations are equal. Establishing this result requires first to relate the topology of optimal metabolic strategies to the relative external and internal abundances of building blocks. The next section is devoted to establish that relation.
Buildingblock concentrations for optimal strategies
In this section, we exploit our geometric formulation of metabolic optimization to infer properties about the optimal strategies of a metabolic class as defined in Equation (A96).
Conditions on external building blocks
Here, we show that if the external concentrations satisfy the order relation ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}\ge {c}_{3}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$, then at most $p$ metabolic classes can coexist: the metabolic class ${\mathcal{M}}_{1}$ that converts building block $1$ into the $p1$ other building blocks, the metabolic class ${\mathcal{M}}_{2}$ that converts building block $1$ into the $p2$ least abundant building blocks and imports building block $2$, the metabolic class ${\mathcal{M}}_{3}$ that converts building block $1$ into the $p3$ least abundant building blocks and imports building blocks $2$ and $3$, …, and the pureimporter metabolic class ${\mathcal{M}}_{p}$. Observe that we assume a strict ordering between the concentrations of the two most abundant building blocks.
First, we show that at fixed external concentrations, it is always more economical to use the most abundantly available building block in $i\notin C$ as a precursor for conversion. To see this, consider $\mathcal{M}$ and ${\mathcal{M}}^{\prime}$ the metabolic classes that respectively use $i$ and $j$ as a precursor for building blocks $k\in C$. Then, defining ${c}_{1}^{\prime},\mathrm{\dots},{c}_{p}^{\prime}$ as the transposition of ${c}_{1},\mathrm{\dots},{c}_{p}$ such that ${c}_{i}^{\prime}={c}_{j}$ and ${c}_{j}^{\prime}={c}_{i}$, one can see that relation Equation (A92) implies that
Thus, if ${c}_{i}^{\mathrm{ext}}>{c}_{j}^{\mathrm{ext}}$, for any strategy in ${\mathcal{M}}^{\prime}$, i.e. for any internal concentrations ${c}_{1}^{\prime},\mathrm{\dots},{c}_{p}^{\prime}$, we have
showing that there is a more economical strategy in $\mathcal{M}$ with internal concentration ${c}_{1},\mathrm{\dots},{c}_{p}$ such that $g({c}_{1},\mathrm{\dots},{c}_{p})=g({c}_{1}^{\prime},\mathrm{\dots},{c}_{p}^{\prime})$ by symmetry of the growth rate function.
Second, we show that it is always more economical to produce the least abundant building blocks by conversion. To see this, consider a metabolic class $\mathcal{M}$ that converts building block $i$ into building block $j$ and the metabolic class ${\mathcal{M}}^{\prime}$ that only differs from $\mathcal{M}$ by the fact that it imports building block $j$. Then, for fixed internal concentrations ${c}_{1},\mathrm{\dots},{c}_{p}$, the difference of the enzyme budgets associated to each metabolic class satisfies:
If importing building block $j$ is optimal, we necessarily have
whereas, if converting $j$ is optimal, we necessarily have
Thus, for a metabolic class $\mathcal{M}$ converting $i$ in $j\in C$ to be optimal, we necessarily have
In particular, the above inequalities implies ${c}_{k}^{\mathrm{ext}}>{c}_{i}^{\mathrm{ext}}$. In other words, at fixed external concentrations, optimal metabolic classes are such that every imported building block has higher external concentration than the external concentration of any converted building block. Therefore, for the metabolic class that converts building block $i$ into building blocks $j\in C$ to be optimal, we need that ${c}_{i}^{\mathrm{ext}}={\mathrm{max}}_{k}{c}_{k}^{\mathrm{ext}}$ and ${\mathrm{max}}_{j\in C}{c}_{j}^{\mathrm{ext}}\le {\mathrm{min}}_{k\notin C}{c}_{k}^{\mathrm{ext}}$.
Consider now that the external concentrations satisfy the order relation ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}\ge {c}_{3}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$. Then, only metabolic classes that use building block $1$ as precursor for conversion can be optimal as ${c}_{1}^{\mathrm{ext}}={\mathrm{max}}_{j}{c}_{j}^{\mathrm{ext}}$. Moreover, if a metabolic strategy imports a building block besides building block $1$, it necessarily imports the second most abundant building block, i.e. $2$, so that ${\mathrm{max}}_{j>2}{c}_{j}^{\mathrm{ext}}\le {c}_{2}^{\mathrm{ext}}$. Similarly, if a metabolic strategy imports $q$ building blocks, it necessarily imports the $q$ most abundant building blocks, so that ${\mathrm{max}}_{j>q}{c}_{j}^{\mathrm{ext}}\le {\mathrm{min}}_{k\le q}{c}_{k}^{\mathrm{ext}}$. The above argument implies that degenerate cartels with coexisting optimal strategies belonging to more than $p$ metabolic classes can only happen for degenerate order relation on the external buildingblock concentration, i.e. when there are $i\ne j$ such that ${c}_{i}^{\mathrm{ext}}={c}_{j}^{\mathrm{ext}}$.
Conditions on internal building blocks
Here, we show that if a metabolic class $\mathcal{M}$ is optimal for external concentrations satisfying, say, ${c}_{1}^{\mathrm{ext}}\ge {c}_{2}^{\mathrm{ext}}\ge {c}_{3}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$, then the internal concentrations of the optimal strategy in $\mathcal{M}$ satisfy an order relation. Specifically, for the metabolic class ${\mathcal{M}}_{q}$ that comprises strategies importing the $q$ most abundant building blocks, the optimal strategy is such that ${c}_{1}\ge {c}_{2}\ge \mathrm{\dots}\ge {c}_{q+1}=\mathrm{\dots}={c}_{p}$. In other words, the internal buildingblock abundances mirror the external abundances except for the converted building blocks, which all have the same concentration.
Proving the above point requires similar arguments as for the case of the external buildingblock abundances. Indeed, at fixed external concentrations, a strategy in metabolic class ${\mathcal{M}}_{q}$ growing at rate $g$ and having internal concentrations ${c}_{1},\mathrm{\dots},{c}_{p}$ requires an enzyme budget
Then, defining ${c}_{1}^{\prime},\mathrm{\dots},{c}_{p}^{\prime}$ as the transposition of ${c}_{1},\mathrm{\dots},{c}_{p}$ such that ${c}_{1}^{\prime}={c}_{j}$ and ${c}_{j}^{\prime}={c}_{1}$, with $j\le q$, one can see that relation Equation (A103) implies that
which has the sign of ${c}_{1}{c}_{j}$ as ${c}_{1}^{\mathrm{ext}}\ge {c}_{j}^{\mathrm{ext}}$. Thus, we necessarily have ${c}_{1}={\mathrm{max}}_{j}{c}_{j}$. Moreover, defining ${c}_{1}^{\prime},\mathrm{\dots},{c}_{p}^{\prime}$ as the transposition of ${c}_{1},\mathrm{\dots},{c}_{p}$ such that ${c}_{i}^{\prime}={c}_{j}$ and ${c}_{j}^{\prime}={c}_{i}$, with $1<i,j\le q$, one can see that relation Equation (A103) implies that
which has the sign of ${c}_{i}{c}_{j}$ if ${c}_{i}^{\mathrm{ext}}\ge {c}_{j}^{\mathrm{ext}}$. Thus, we necessarily have ${c}_{1}\ge {c}_{2}\ge {c}_{3}\ge \mathrm{\dots}\ge {c}_{q}$. In turn, defining ${c}_{1}^{\prime},\mathrm{\dots},{c}_{p}^{\prime}$ as the transposition of ${c}_{1},\mathrm{\dots},{c}_{p}$ such that ${c}_{i}^{\prime}={c}_{j}$ and ${c}_{j}^{\prime}={c}_{i}$, with $2<i\le q$ and $j>q$, one can see that relation Equation (A103) implies that
which has the sign of ${c}_{i}{c}_{j}$ as we have $1/{c}_{1}+1/{c}_{1}^{\mathrm{ext}}\ge 1/{c}_{i}^{\mathrm{ext}}$ by Equation (A102). Thus, we necessarily have ${c}_{1}\ge {c}_{2}\ge {c}_{3}\ge \mathrm{\dots}\ge {c}_{q}\ge {\mathrm{max}}_{j>q}{c}_{j}$.
Finally, at fixed ${c}_{1},\mathrm{\dots}{c}_{q}$, the sets defined by ${E}_{g,\mathcal{M}}({c}_{q+1},\mathrm{\dots},{c}_{p})<E$ are (convex) $(pq)$dimensional planes, implying the unicity of the contact point ${c}_{q+1},\mathrm{\dots},{c}_{p}$ with the convex sets ${\mathcal{C}}_{g}$ for optimal strategies. Together with the symmetry by permutations of ${c}_{q+1},\mathrm{\dots},{c}_{p}$, this uniqueness directly implies ${c}_{q+1}={c}_{q+2}=\mathrm{\dots}={c}_{p}$. This concludes our proof that for external concentrations such that ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}\ge {c}_{3}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$, the internal concentrations of optimal strategies satisfy ${c}_{1}\ge {c}_{2}\ge \mathrm{\dots}\ge {c}_{q+1}=\mathrm{\dots}={c}_{p}$.
Optimal pureconverter strategy
In this section, we specify the optimal pureconverter strategy in our geometric setting, which proves crucial to discard the occurrence of degenerate cartels for general growth functions, which includes the harmonicmean model.
Consider an optimal pureconverter strategy importing building block $1$ with ${c}_{1}^{\mathrm{ext}}={\mathrm{max}}_{j}{c}_{j}^{\mathrm{ext}}$. We have established that, for this strategy to be optimal in metabolic class ${\mathcal{M}}_{1}$, we necessarily have ${c}_{2}=\mathrm{\dots}={c}_{p}$. Denoting $c={c}_{2}=\mathrm{\dots}={c}_{p}$, such a strategy growing at rate $g$ requires an enzyme budget
where we have defined ${c}^{\mathrm{ext}}={\sum}_{j>1}{c}_{j}^{\mathrm{ext}}/(p1)\le {c}_{1}^{\mathrm{ext}}$. As an optimal strategy necessarily utilizes all its enzyme budget, i.e. ${E}_{g,{\mathcal{M}}_{1}}=E$, we deduce from the above relationship that
The function $c={c}_{g}({c}_{1})$ is the boundary of the set ${\mathcal{E}}_{g,{\mathcal{M}}_{1}}({c}_{1},c)\le E$. Because ${c}_{g}({c}_{1})$ is concave in ${c}_{1}$ for $c\le {c}_{1}\le 0$, the contact point $(c,{c}_{1})$ with the (convex) set $g({c}_{1},c,\mathrm{\dots},c)\ge g$ is unique. Therefore, there is a unique optimal pureconverter strategy.
In principle, the contact point corresponding to that optimal strategy either occurs at an endpoint $c={c}_{1}$ or for $c<{c}_{1}$ as an interior point. However, if $g$ is symmetric differentiable, the level sets of $g({c}_{1},c,\mathrm{\dots},c)$ in the $({c}_{1},c)$plane have a slope $1/(p1)$ on the diagonal $c={c}_{1}$, whereas one can check that the slope of ${c}_{g}({c}_{1})$ is larger than $1/(p1)$ on the diagonal $c={c}_{1}$. Actually, one can show that the latter slope tends toward $1/(p1)$ from above for increasing enzyme budget $E$. This relation between slopes on the diagonal $c={c}_{1}$, together with the convexity properties of $g({c}_{1},c,\mathrm{\dots},c)$ and ${c}_{g}({c}_{1})$, implies that the contact point is always an interior point: for optimal pureconverter strategies, we always have ${c}_{1}>{c}_{2}=\mathrm{\dots}={c}_{p}$.
The fact that ${c}_{1}>{c}_{2}=\mathrm{\dots}={c}_{p}$ at optimum does not necessarily holds if $g({c}_{1},\mathrm{\dots},{c}_{p})$ is nondifferentiable when ${c}_{i}={c}_{j}$ for $i\ne j$, as in the minimum model. Indeed, for the minimum model, the slope of the level sets of $g({c}_{1},c,\mathrm{\dots},c)$ to the right of the diagonal ${c}_{1}=c$ is zero and for large enough enzyme budget $E$, the contact point is an endpoint. Then we have ${c}_{1}={c}_{2}=\mathrm{\dots}={c}_{p}$ at optimum. This case of equal internal concentrations in optimal strategies is the reason for the occurrence of degenerate cartels with pureconverter strategies for the minimum model.
Appendix 6: The selection of cartels for generic growth functions
In this section, we characterize the emergence of microbial cartels for growthrate functions satisfying $g({c}_{1},\mathrm{\dots},{c}_{p})<\lambda \mathrm{min}({c}_{1},\mathrm{\dots},{c}_{p})$ for some $\lambda >0$ and having the quasiconcave property, which includes the harmonicmean model. We distinguish between external buildingblock concentrations that satisfy (i) a strict ordering relation, e.g. ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$, or (ii) a degenerate ordering relation with equality between the concentrations of the most abundant building blocks, e.g. ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}>{c}_{q+1}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$, with $1<q<p$. We also introduce the graph structure of microbial cartels in order to define a notion of neigborhood between cartels.
Microbial cartels for strict ordering
Here, we characterize the structure of microbial cartels arising for external concentrations satisfying ${c}_{1}^{\mathrm{ext}}>{c}_{2}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$ for everywhere differentiable growthrate function $g({c}_{1},\mathrm{\dots},{c}_{p})$ (as for the harmonicmean model). Specifically, we show that cartels exist for external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ such that for all metabolic class ${\mathcal{M}}_{i}$, $1\le i\le p$, we have
and such that the following order relations holds:
In particular, observe that the set of steadystate external concentrations ${c}_{1}^{\star}>{c}_{2}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ is strictly ordered. We prove the above proposition by an iterative procedure which requires to first establish that there is a unique optimal pureconverter strategy with internal concentrations satisfying ${c}_{1}>{c}_{2}=\mathrm{\dots}={c}_{p}$.
First, observe that as import from the external pool is the only source of internal building block $1$ for metabolic class ${\mathcal{M}}_{1}$, the optimal growth rate
defines an increasing function of ${c}_{1}^{\mathrm{ext}}$ that is zero when ${c}_{1}^{\mathrm{ext}}=0$. Then, by uniqueness of the optimal strategy in metabolic class ${\mathcal{M}}_{1}$ for fixed concentrations ${c}_{2}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$, there is a unique ${c}_{1}^{\star}>0$ such that
thereby defining a function ${c}_{1}^{\star}({c}_{2}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$. Moreover, the internal concentrations ${c}_{1},\mathrm{\dots},{c}_{p}$ of the optimal strategy in ${\mathcal{M}}_{1}$, correspond to an interior point in the sense that ${c}_{1}<{c}_{2}=\mathrm{\dots}={c}_{p}$.
Suppose there are $q1$ functions ${c}_{1}^{\star}({c}_{q}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}),\mathrm{\dots},{c}_{q1}^{\star}({c}_{q}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})$ such that for all ${c}_{q}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$, we have
and such that we have the following order relation
where ${c}_{i}^{({q}^{\prime})}$ denotes the internal concentration of building block $i$ in the optimal strategy of metabolic class ${\mathcal{M}}_{{q}^{\prime}}$. As import from the external pool is the only source of internal building block ${q}^{\prime}$ for metabolic class ${\mathcal{M}}_{{q}^{\prime}}$, all strategies in ${\mathcal{M}}_{{q}^{\prime}}$, ${q}^{\prime}\ge q$, have zero growth rate if ${c}_{q}^{\mathrm{ext}}=0$.
For fixed ${c}_{q+1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$, one can increase ${c}_{q}^{\mathrm{ext}}$ until
since ${c}_{1}^{(q1)}$ and ${c}_{1}^{\star}$ are both bounded from below. To see that ${c}_{1}^{(q1)}$ and ${c}_{1}^{\star}$ are bounded from below, observe that the growthrate function for the harmonicmean model satisfies
Thus, independently of its metabolic strategy, a cell that grows at rate $\delta $ has internal concentrations that are bounded below by ${c}_{i}/{b}_{i}>\delta $ for all $i$. Moreover, for all metabolic classes ${\mathcal{M}}_{{q}^{\prime}}$, $1\le {q}^{\prime}\le p$, the only source of internal building block $1$ is via import form the external pool. In particular, we have $({\alpha}_{1}+\beta ){c}_{1}^{\mathrm{ext}}\beta {c}_{1}>0$, which implies that the concentrations ${c}_{1}^{\mathrm{ext}}$ for which a cell can grow at rate $\delta $ are bounded below by
This shows that, as function of ${c}_{q+1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$, both ${c}_{1}^{(q1)}$ and ${c}_{1}^{\star}$ are bounded from below by positive constants that are independent of ${c}_{q}^{\mathrm{ext}}$, which justifies that equality Equation (A121) holds for some ${c}_{q}^{\mathrm{ext}}>0$.
When equality Equation (A121) holds, we know that for any strategy in metabolic class ${\mathcal{M}}_{q1}$, there is a strategy in metabolic class ${\mathcal{M}}_{q}$ that grows at the same rate, i.e. $\delta $. Then, one can consider ${c}_{q}^{\star}$, the smallest concentration ${c}_{q}^{\mathrm{ext}}$ for which a metabolic strategy in ${\mathcal{M}}_{q}$ grows with rate $\delta $:
For such ${c}_{q}^{\star}$, metabolic classes ${\mathcal{M}}_{q1}$ and ${\mathcal{M}}_{q}$ are jointly optimal, which implies by inequalities Equation (A102) that
Moreover, ${c}_{q}^{\star}$ is thusdefined as a function of ${c}_{q+1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$, which allows one to define ${c}_{1}^{\star},\mathrm{\dots},{c}_{q1}^{\star}$ as functions of ${c}_{q+1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$ alone by
Finally, we show that the last inequality in Equation (A125) is strict by a geometric argument. As the contact point between ${\mathcal{C}}_{g}$ and ${\mathcal{E}}_{g,{\mathcal{M}}_{q1}}$ is an interior point with ${c}_{1}>\mathrm{\dots}>{c}_{q1}=\mathrm{\dots}={c}_{p}$, the gradient of the growthrate function $g({c}_{1},\mathrm{\dots},{c}_{p})$ is proportional to the gradient of the required enzyme budget ${E}_{g,{\mathcal{M}}_{q1}}({c}_{1},\mathrm{\dots},{c}_{p})$ at the contact point. However, we have
For fixed external concentrations ${c}_{q+1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$, if ${c}_{q}^{\mathrm{ext}}$ is such that equality Equation (A121) holds, i.e.
there is a metabolic strategy in metabolic class ${\mathcal{M}}_{q}$ that grows at rate $\delta $ with the same internal concentrations as the optimal strategy in ${\mathcal{M}}_{q}$ (which also grows at rate $\delta $). At these internal concentrations, $\nabla {E}_{g,{\mathcal{M}}_{q}}$ is proportional to $\nabla g$ and we have
The fact that ${\left[\nabla {E}_{g,{\mathcal{M}}_{q1}}\nabla {E}_{g,{\mathcal{M}}_{q}}\right]}_{1}>0$ implies that the contact point between sets ${\mathcal{E}}_{g,{\mathcal{M}}_{q1}}$ and ${\mathcal{C}}_{g}$ cannot be a contact point between sets ${\mathcal{E}}_{g,{\mathcal{M}}_{q}}$ and ${\mathcal{C}}_{q}$, and that ${c}_{q}^{\star}$, as defined by Equation (A124), is such that
In other words, the last inequality in Equation (A125) is strict and the contact point ${\mathcal{E}}_{g,{\mathcal{M}}_{q}}$ and ${\mathcal{C}}_{q}$ between is an interior point in the sense that ${c}_{1}>{c}_{2}>\mathrm{\dots}>{c}_{q}=\mathrm{\dots}={c}_{p}$.
Iterating on the above argument for $q=2,\mathrm{\dots},p$ demonstrates the existence of a sequence ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ for which there are $p$ jointly optimal metabolic strategies, each belonging to metabolic class ${\mathcal{M}}_{i}$, $1\le i\le p$, thereby forming a microbial cartel.
Microbial cartels for degenerate ordering
Above, we characterized the cartels that arise for strict order of the external concentrations $c}_{1}^{\mathrm{e}\mathrm{x}\mathrm{t}}>\dots >{c}_{2}^{\mathrm{e}\mathrm{x}\mathrm{t}}>\dots >{c}_{p}^{\mathrm{e}\mathrm{x}\mathrm{t}$. Here, we show that other cartels emerge at the frontier between sectors defined by distinct orders, i.e. when the most abundantly available building blocks can have the same external concentration.
Consider an order relation of the type ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}>{c}_{q+1}^{\mathrm{ext}}\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$ with $1\le q<p$. The structure of the ‘degenerate cartels’ arising for the above ordering can be infer from the cartels associated to strict ordering by using two facts:
Optimal metabolic classes necessarily import all building block $1\le i\le q$. To see this, consider block $i$ and block $j$ among the most abundant building blocks $1\le i,j\le q$. By inequality Equation (A101), for a metabolic class converting $i$ into $j$ to be optimal, we necessarily have
(A131) $\frac{1}{{c}_{i}}}+{\displaystyle \frac{1}{{c}_{i}^{\mathrm{ext}}}}\le {\displaystyle \frac{1}{{c}_{j}^{\mathrm{ext}}}},$which contradicts that ${c}_{i}^{\mathrm{ext}}={c}_{j}^{\mathrm{ext}}$. Thus, optimal metabolic classes import all building block $1\le i\le q$.
There is a degeneracy in the choice of the precursor. This point follows from the fact that optimal strategies use a single most abundant building block as precursor for converted building blocks. For order of the type ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}>{c}_{q+1}^{\mathrm{ext}}\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$, optimal metabolic classes can use any block $1\le i\le q$ as a precursor.
Using facts (i) and (ii), one can adapt the argument of the above section for strict order $c}_{1}^{\mathrm{e}\mathrm{x}\mathrm{t}}>\dots >{c}_{2}^{\mathrm{e}\mathrm{x}\mathrm{t}}>\dots >{c}_{p}^{\mathrm{e}\mathrm{x}\mathrm{t}$ to characterize cartels for order of the type ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}>{c}_{q+1}^{\mathrm{ext}}\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$. In fact, one can show that for some external concentrations ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>{c}_{q+1}^{\star}\mathrm{\dots}>{c}_{p}^{\star}$, there are degenerate cartels comprising strategies that use block ${q}^{\prime}$, $1\le {q}^{\prime}\le q$ as precursor for conversion of the ${q}^{\mathrm{\prime \prime}}$ least abundantly available block with $q+{q}^{\mathrm{\prime \prime}}\le p$. In particular, one can consider degenerate cartels as the merger of $q$ consortia that share an identical pureimporter strategy, but that each comprise strategies using a specific block ${q}^{\prime}$, $1\le {q}^{\prime}\le q$ as precursor for converted blocks. Moreover, using the same notations as for cartels associated to strict ordering, the consortia using block ${q}^{\prime}$, $1\le {q}^{\prime}\le q$ as precursor includes metabolic classes ${\mathcal{M}}_{q},\mathrm{\dots},{\mathcal{M}}_{p}$, and we have
where ${c}_{{q}^{\prime}}^{({q}^{\mathrm{\prime \prime}})}$ denotes the internal concentration of block ${q}^{\prime}$ for the strategy that converts block ${q}^{\prime}$ into blocks $\ge {q}^{\mathrm{\prime \prime}}$. Note that ${c}_{{q}^{\prime}}^{({q}^{\mathrm{\prime \prime}})}$ does not depends on which block ${q}^{\prime}$ is used as a precursor since ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}$. Thus, relation Equation (A132) characterizes all the order properties of internal and external concentrations in degenerate microbial cartels. Interestingly, degenerate cartels comprise more than $p$ distinct cell types for $p>3$. Actually, if the $q$ most abundant building blocks have equal concentration, there are $1+q(pq)$ coexisting strategies: there are $pq$ possible sets of converted building blocks, that can each be converted from one of the $q$ most abundant blocks, yielding $q(pq)$ mixed strategies in addition to the pureimporter strategy.
Graph structure of microbial cartels
To establish the existence of cartels, we have distinguished between nondegenerate cartels, i.e. for strictly ordered external buildingblock concentrations, and degenerate cartels, i.e. for degenerate orders of external buildingblock concentrations. Here, we introduce the degree of degeneracy to categorize these cartels and to define a notion of neighborhood for cartels.
Cartelspecific concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ are represented by isolated point ${\mathit{\bm{c}}}^{\star}$ in the space of external building concentrations, defined as the intersection of $p$ hypercurves. Indeed, for cartels associated to strict ordering, the concentrations ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ satisfy $p$ equations
where ${\mathcal{M}}_{q}$, $q<p$, is the metabolic class that convert block $1$ into blocks ${q}^{\prime}>q$ and where ${\mathcal{M}}_{p}$ is the pureimporter class. For degenerate cartels associated with $q1$ equalities between the concentrations of the most abundant building blocks, the concentrations ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ satisfy
where ${\mathcal{M}}_{{q}^{\prime}}$ is the metabolic class that convert one of the most abundant building block into blocks ${q}^{\mathrm{\prime \prime}}>{q}^{\prime}$ and where ${\mathcal{M}}_{p}$ is the pureimporter class. We define the order of a cartel to be one for cartel associated to strict ordering and to be the number of equally abundant building blocks for other cartels.
The set of concentrations ${c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$ that satisfy $p1$ equations among the $p$ equations defining a cartel define a onedimensional path in the space of external buildingblock concentrations. Importantly, we can show that each of these paths passes through at most two cartelspecific concentrations. For instance, consider the cartel of order $1$ associated to ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$, represented by the point ${\mathit{\bm{c}}}^{\star}$, and the path $\mathcal{P}$ defined by
The point ${\mathit{\bm{c}}}^{\star}$, which lies on $\mathcal{P}$, divides the path in two rays depending on whether ${sup}_{\sigma \in {\mathcal{M}}_{q}}{g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})>\delta $. Actually, among all possible cartels, there is another cartel (and only one) that is compatible with the $p1$ Equation (A135): the cartel associated with ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{q+1}^{\star}>{c}_{q}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ represented by the point ${c}^{\star}}^{\mathrm{\prime}$. The point ${c}^{\star}}^{\mathrm{\prime}$ also divides the path $\mathcal{P}$ in two rays depending on whether ${sup}_{\sigma \in {\mathcal{M}}_{q}^{\prime}}{g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})>\delta $, where ${\mathcal{M}}_{q}^{\prime}$ is the metabolic class that converts $1$ into blocks $q,q+2,\mathrm{\dots},p$. By optimality of both cartels, we necessarily have ${sup}_{\sigma \in {\mathcal{M}}_{q}^{\prime}}{g}_{\sigma}({\mathit{\bm{c}}}^{\star})<\delta $ and ${sup}_{\sigma \in {\mathcal{M}}_{q}}{g}_{\sigma}(\mathit{\bm{c}}^{\star}{}^{\prime})<\delta $. Thus, the conditions ${sup}_{\sigma \in {\mathcal{M}}_{q}}{g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})<\delta $ and ${sup}_{\sigma \in {\mathcal{M}}_{q}^{\prime}}{g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})<\delta $ define the segment of path $\mathcal{P}$ that links the points ${\mathit{\bm{c}}}^{\star}$ and $\mathit{\bm{c}}^{\star}{}^{\prime}$ representing both cartels. In fact, this segment is the set of concentrations for which the $p1$ metabolic classes shared by both cartels are jointly optimal.
The above reasoning can be generalize to cartel of any order, yielding the following results:
Cartels of order $1$: There are paths connecting the cartel of order $1$ associated with ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{{q}^{\prime}}^{\star}>{c}_{{q}^{\prime}+1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ , to $p2$ cartels of order $1$ associated with ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{{q}^{\prime}+1}^{\star}>{c}_{{q}^{\prime}}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ for $1<{q}^{\prime}<p$. There is a path connecting the cartel of order $1$ associated with ${c}_{1}^{\star}>{c}_{2}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$, to the cartel of order $2$ associated with ${c}_{1}^{\star}={c}_{2}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$.
Cartels of order $2$: There are paths connecting the cartel of order $2$ associated with ${c}_{1}^{\star}={c}_{2}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ to the cartels of order $1$ associated with ${c}_{1}^{\star}>{c}_{2}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ and with ${c}_{2}^{\star}>{c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$. There are paths connecting the cartel of order $2$ associated with ${c}_{1}^{\star}={c}_{2}^{\star}>\mathrm{\dots}>{c}_{{q}^{\prime}}^{\star}>{c}_{{q}^{\prime}+1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ to the $p3$ cartels of order $2$ associated with ${c}_{1}^{\star}={c}_{2}^{\star}>\mathrm{\dots}>{c}_{{q}^{\prime}+1}^{\star}>{c}_{{q}^{\prime}}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ for $2<{q}^{\prime}<p$. There is a path connecting the cartel of order $2$ associated with ${c}_{1}^{\star}={c}_{2}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ to the cartel of order $3$ associated with $\begin{array}{l}{c}_{1}^{\star}={c}_{2}^{\star}={c}_{3}^{\star}>\dots >{c}_{p}^{\star}.\end{array}$
Cartels of order $q$: There are paths connecting the cartel of order $q$ associated with ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ to the $q$ cartels of order $q1$ associated with $q2$ equalities among ${c}_{1}^{\star},\mathrm{\dots},{c}_{q}^{\star}$. There are paths connecting the cartel of order $q$ associated with ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>\mathrm{\dots}>{c}_{{q}^{\prime}}^{\star}>{c}_{{q}^{\prime}+1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ to the $pq1$ cartels of order $q$ associated with ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>\mathrm{\dots}>{c}_{{q}^{\prime}+1}^{\star}>{c}_{{q}^{\prime}}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ for $q<{q}^{\prime}<p$. There is a path connecting the cartel of order $q$ associated with ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ to the cartel of order $q+1$ associated with $\begin{array}{l}{c}_{1}^{\star}=\cdots ={c}_{q+1}^{\star}>\dots >{c}_{p}^{\star}.\end{array}$
Cartels of order $p1$: There are paths connecting the cartel of order $p1$ associated with ${c}_{1}^{\star}=\mathrm{\dots}={c}_{p1}^{\star}>{c}_{p}^{\star}$ to the $p1$ cartels of order $p2$ associated with $p2$ equalities among ${c}_{1}^{\star},\mathrm{\dots},{c}_{p1}^{\star}$.
In particular, cartels of order $1$ and $p1$ are connected to $p1$ cartels, while other cartels are connected to $p$ cartels. Observe that a cartel of order $q$ only joins cartels of similar order, and if possible, cartels of order $q1$ or $q+1$. Moreover, on can verify that when a path joins two cartels of order $q$, $1\le q<p$, these cartels share $1+q(pq1)$ strategies, whereas when a path joins a cartel of order $q$ to a cartel of order $q1$, $1<q<p$, these cartels share $1+(q1)(pq)$ strategies. We define the graph structure of microbial cartels by considering the points representing cartelspecific concentrations as nodes and by considering paths joining cartelspecific concentrations as edges. This graph allows us to define a notion of neighborhood for cartels: two cartels are neighbors if the are connected by an edge.
Appendix 7: Benefit of microbial consortia
In this section, we establish that, although microbial cartels exist at isolated points in the space of external buildingblock concentrations, cartels emerge for generic supply conditions. Then, we characterize the geometry of cartelspecific supply sectors in the space of supply rate, establishing that cartels emerge for generic buildingblock supply. Finally, we show that steadystate microbial consortia maximize biomass yield at fixed supply, thereby showing that microbial cartels of competing strategies achieve a collective optimum.
Supply sectors as polyhedral cones
Here, we introduce the notion of supply sectors, i.e. the set of supply rates values for which competitive microbial dynamics yield the same steadystate external concentrations. We then discuss the geometric properties of these supply sectors explaining why the emergence of cartels is generic.
Consider an arbitrary set of steadystate external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ satisfying $G({c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star})=\delta $. For such concentrations, at least one cell type survives and the maximum number of surviving cell types is attained for cartelspecific values, which are isolated points in the space of external concentrations. Surviving cell types $\sigma \in {\mathrm{\Sigma}}^{\star}$ jointly achieve the optimal growth rate for external buildingblock concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$. The percell fluxes experienced by these cell types ${\varphi}_{i,\sigma}^{\star}$ take fixed values that can be obtained via Equation (A11). Then, the resulting fluxbalance equations for extracellular building blocks,
yield the supply rates as functions of the populations ${n}_{\sigma}>0$, $\sigma \in {\mathrm{\Sigma}}^{\star}$. Accordingly, for supply rates
the optimal strategies ${\sigma}^{\star}\in {\mathrm{\Sigma}}^{\star}$ are the only steadystate strategies that cannot be invaded by metabolic variants. In particular, specific sets of supply rate, called supply sectors, are associated to the stable dominance of an optimal cell type or of a consortia of optimal cell types.
Mathematically, Equation (A136) defines the supply sector associated with the dominance of a consortium ${\mathrm{\Sigma}}^{\star}$ as a polyhedral convex cone in the $p$dimensional space of supply rates. Such a cone is entirely determined by its vertex $\mu {\mathit{\bm{c}}}^{\star}$ (with coordinates $\mu {c}_{i}^{\star}$) and its generating set of vectors ${\{{\mathit{\varphi}}_{\sigma}^{\star}\}}_{\sigma \in {\mathrm{\Sigma}}^{\star}}$ (with coordinates ${\varphi}_{i,\sigma}^{\star}$). Observe that for all vectors ${\mathit{\varphi}}_{\sigma}^{\star}$, the conservation of building blocks at steady state implies that ${\mathit{\varphi}}_{\sigma}^{\star}\cdot \mathrm{\U0001d7cf}=p(1f)\delta >0$. We will say that the emergence of a consortia is generic if its associated supply sector has finite measure in the space of supply rates. A supply sector has finite measure when it is a polyhedral cone with full measure, i.e. its set of generating vectors contains a family of $p$ independent vectors.
The defining property of cartels is that they are associated with supply cones that have full dimension in the space of supply rates. To see this, consider a cartel of order one, e.g. associated with the order ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$. We know that such a cartel contains $p$ distinct metabolic classes ${\mathcal{M}}_{q}$, $1\le q\le p$, where $q$ denotes the number of imported building blocks. Moreover, using Equation (A9), the steadystate percell fluxes for optimal strategies in ${\mathcal{M}}_{q}$, $1\le q\le p$ can be specified as
where ${c}_{1}^{(q)}$ and ${\kappa}_{k1}^{(q)}$ denotes the internal concentration of block $1$ and the enzyme activity associated with conversion of block $1$ into block $k$, respectively, in metabolic class ${\mathcal{M}}_{q}$. Thus, the set of generating vectors can be written
i.e. as a linear combination of $\mathrm{\U0001d7cf}$, the vector with unit components, and of the vectors ${\mathit{\bm{\eta}}}_{k}$ defined for $k>1$ by
Equation (A139) shows that the coefficient matrix of the vectors ${\mathit{\varphi}}_{p},{\mathit{\varphi}}_{1}{\mathit{\varphi}}_{p},{\mathit{\varphi}}_{2}{\mathit{\varphi}}_{p},\mathrm{\dots}{\mathit{\varphi}}_{p1}{\mathit{\varphi}}_{p}$ decomposed in the basis $\mathrm{\U0001d7cf},{\mathit{\bm{\eta}}}_{2},\mathrm{\dots},{\mathit{\bm{\eta}}}_{p}$ is triangular with positive diagonal elements. In particular, the vector space generated by ${\mathit{\varphi}}_{p},{\mathit{\varphi}}_{1}{\mathit{\varphi}}_{p},{\mathit{\varphi}}_{2}{\mathit{\varphi}}_{p},\mathrm{\dots}{\mathit{\varphi}}_{p1}{\mathit{\varphi}}_{p}$, or equivalently by ${\mathit{\varphi}}_{1},\mathrm{\dots},{\mathit{\varphi}}_{p}$, has full dimension. Thus, cartels of order one yield sets of independent vectors ${\mathit{\varphi}}_{q}$ with full dimension in the space of supply rate, and therefore has a supply sector with finite measure. This shows that cartels of order one, which contain uniquely defined strategies, can arise for generic supply conditions. By similar arguments from linear algebra, one can show that the vector space generated by the vectors ${\mathit{\varphi}}^{\star}$ has full dimension for cartels of any order.
At steadystate concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ for which no cartel arises, consortia can still emerge. Such consortia also define polyhedral cones, but these cones are generated by subsets of metabolic classes belonging to cartels. One can show that these cones have zero measure: every family of $p$ flux vectors associated with steadystate external concentrations for which no cartels arise is linearly dependent. The fact that a supply cone does not have full dimension implies that the associated consortium only arises for specific supply rates, belonging to a set of zero measure in the space of supply rate. In particular, although the metabolic classes of consortia that are not cartels may be the same for different supply rates, the steadystate external concentrations and the optimal strategies (the specific enzyme distributions) generally differ for different supply rates.
Facets of supply sectors
As the supply sector associated with cartel ${\mathrm{\Sigma}}^{\star}$ is a $p$dimensional polyhedral cones, its facets are $(p1)$dimensional faces defined by subsets of the generating vectors ${\{{\mathit{\varphi}}_{\sigma}\}}_{\sigma \in {\mathrm{\Sigma}}^{\star}}$. The generating subset of a particular facet can be identified by analysis of the $p$ equations that define cartelspecific external equations: for a cartel of order $q$, these are $q1$ equalities between concentrations and $pq+1$ growth rate equalities (see Section Graph structure of microbial cartels). In fact, one can show that a supply sector has as many facets as there are paths $\mathcal{P}$ defined in the space of external concentrations by only $p1$ of the $p$ equations specifying the corresponding cartel. Indeed, for any point $\mathit{\bm{c}}$ on a path $\mathcal{P}$, there is a consortium, denoted $\mathrm{\Sigma}(\mathit{\bm{c}})$, which comprises a subset of the metabolic classes of ${\mathrm{\Sigma}}^{\star}$ and whose supply sectors is a $(p1)$dimensional cone generated by ${\{{\mathit{\varphi}}_{\sigma}^{\star}\}}_{\sigma \in \mathrm{\Sigma}(\mathit{\bm{c}})}$. Then, when $\mathit{\bm{c}}$ tends to ${\mathit{\bm{c}}}^{\star}$ on $\mathcal{P}$, the $(p1)$ dimensional cone associated with $\mathrm{\Sigma}(\mathit{\bm{c}})$ tends to a facet of the $p$dimensional cone associated with cartel ${\mathrm{\Sigma}}^{\star}$. This property actually defines the facet of a supply sector. As a result, we can specify the facets of a supply sector by enumerating the composition of consortia associated with the various paths emanating from the corresponding cartel.
To be more specific, consider a cartel ${\mathrm{\Sigma}}^{\star}$ of order $q$ associated with ${c}_{1}=\mathrm{\dots}={c}_{q}>{c}_{q+1}>\mathrm{\dots}>{c}_{p}$. One can define the paths emanating from the point ${\mathit{\bm{c}}}^{\star}$ associated with ${\mathrm{\Sigma}}^{\star}$:
There is one path, denoted ${\mathcal{P}}_{0}$, corresponding to satisfying ${c}_{1}=\mathrm{\dots}={c}_{q}$ and all the Equation (A134) except for the pureimporter metabolic class. Then, starting from the point ${\mathit{\bm{c}}}^{\star}$ associated with ${\mathrm{\Sigma}}^{\star}$, a decrease in ${c}_{p}$ along path ${\mathcal{P}}_{{q}^{\prime}}$ causes the pure importer strategy to vanish at steady state. The path ${\mathcal{P}}_{0}$ extends until it reaches the boundary of the positive quadrant for ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>{c}_{q+1}^{\star}={c}_{p}^{\star}=0$.
There are $q$ paths, denoted ${\mathcal{P}}_{{q}^{\prime}}$, $1\le {q}^{\prime}\le q$, corresponding to satisfying all the Equation (A134) and only $q1$ equalities among ${c}_{1}=\mathrm{\dots}={c}_{q}$, i.e. there is ${q}^{\prime}$ such that $1\le {q}^{\prime}\le q$ and ${c}_{{q}^{\prime}}\ne {c}_{{q}^{\mathrm{\prime \prime}}}$ for all ${q}^{\mathrm{\prime \prime}}\ne {q}^{\prime}$, $1\le {q}^{\mathrm{\prime \prime}}\le q$. Then, starting from the point ${\mathit{\bm{c}}}^{\star}$, a decrease in ${c}_{{q}^{\prime}}$along path ${\mathcal{P}}_{{q}^{\prime}}$ causes the $pq$ metabolic classes of ${\mathrm{\Sigma}}^{\star}$ that utilize block ${q}^{\prime}$ as a precursor to vanish. These paths connect ${\mathrm{\Sigma}}^{\star}$ to cartels of order $q1$.
There are $pq1$ paths, denoted ${\mathcal{P}}_{{q}^{\prime}}$, $q<{q}^{\prime}<p$, corresponding to satisfying ${c}_{1}=\mathrm{\dots}={c}_{q}$ and all the Equation (A134) except for the growth rate equation ${sup}_{\sigma \in {\mathcal{M}}_{{q}^{\prime}}}{g}_{\sigma}=\delta $. Then, starting from the point ${\mathit{\bm{c}}}^{\star}$, a decrease in ${c}_{{q}^{\prime}}$ along path ${\mathcal{P}}_{{q}^{\prime}}$ causes the $q$ strategies that import block ${q}^{\prime}$ but convert block ${q}^{\prime}+1$ to vanish. The paths connect ${\mathrm{\Sigma}}^{\star}$ to cartels of order $q$.
There is one path, denoted ${\mathcal{P}}_{p}$, corresponding to satisfying ${c}_{1}=\mathrm{\dots}={c}_{q}$ and all the Equation (A134) except for the growth rate equation ${sup}_{\sigma \in {\mathcal{M}}_{q}}{g}_{\sigma}=\delta $. Then, starting from the point ${\mathit{\bm{c}}}^{\star}$, an increase in ${c}_{q+1}$ along path ${\mathcal{P}}_{p}$ causes the $q$ strategies that only imports blocks $1,\mathrm{\dots}q$ to vanish. This path connects ${\mathrm{\Sigma}}^{\star}$ to cartels of order $q+1$.
Thus we have enumerated the facets of the supply sectors associated with various cartels. In particular, cartels of order $1$ and $p1$ have $p$ facets, whereas cartels of order $q$, $1<q<p1$ have $p+1$ facets.
Space tiling by supply sectors
In the previous section, we have shown that every microbial consortium admits a supply sector that is a polyhedral convex cone. Cones that are associated with a cartels are the only ones with full dimension, thereby defining a supply sector with finite measure in the space of supply rate. Here, we characterize how cartelspecific supply sectors ‘tile’ the space of supply rates. Namely, we show that the vertices $\mu {\mathit{\bm{c}}}^{\star}$ and the flux vectors ${\{{\mathit{\varphi}}_{\sigma}^{\star}\}}_{\sigma \in {\mathrm{\Sigma}}^{\star}}$ associated to cartels ${\mathrm{\Sigma}}^{\star}$ specify a set of nonoverlapping polyhedral convex cones that extends indefinitely for increasing supply rates. Moreover, neighboring cones of different orders have parallel facets, while neighboring cones of the same order have diverging facets.
To establish the above properties, we first show that if two distinct cartels ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$ are such that there is $i\ne j$ with ${c}_{i}^{\star}>{c}_{j}^{\star}$ and $c_{i}^{\star}{}^{\prime}<c_{j}^{\star}{}^{\prime}$, then one can always find an hyperplane separating supply sectors of ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$. Introducing the vector ${\mathit{\bm{\eta}}}^{(ij)}$ defined by
one can check that ${\mathit{\varphi}}_{\sigma}\cdot {\mathit{\bm{\eta}}}^{(ij)}\ge 0$ for all strategies $\sigma $ in ${\mathrm{\Sigma}}^{\star}$, whereas ${\mathit{\varphi}}_{\sigma}\cdot {\mathit{\bm{\eta}}}^{(ij)}\le 0$ for all strategies $\sigma $ in $\mathrm{\Sigma}^{\star}{}^{\prime}$. Indeed, one can show the set of following inequalities. If a strategy $\sigma $ or ${\sigma}^{\prime}$ imports both block $i$ and block $j$ without using either of them as precursors, we have ${\mathit{\varphi}}_{\sigma}\cdot {\eta}^{(ij)}={\mathit{\varphi}}_{{\sigma}^{\prime}}\cdot {\eta}^{(ij)}=\delta (1f)\delta (1f)=0$. If a strategy $\sigma $ uses $i$ as a precursor (${c}_{i}^{\star}>{c}_{j}^{\star}$), we have
whereas by symmetry, if a strategy ${\sigma}^{\prime}$ uses block $j$ as a precursor ($c_{i}^{\star}{}^{\prime}<c_{j}^{\star}{}^{\prime}$), we have ${\mathit{\varphi}}_{{\sigma}^{\prime}}\cdot {\eta}^{(ij)}<0$. If a strategy $\sigma $ imports block $i$, uses precursor $k\ne i$, and converts block $j$, (${c}_{i}^{\star}>{c}_{j}^{\star}$), we have
whereas by symmetry, if a strategy ${\sigma}^{\prime}$ imports block $j$, uses precursor $k\ne j$, and converts block $i$, ($c_{i}^{\star}{}^{\prime}<c_{j}^{\star}{}^{\prime}$), we have ${\mathit{\varphi}}_{{\sigma}^{\prime}}\cdot {\eta}^{(ij)}<0$. If a strategy $\sigma $ or ${\sigma}^{\prime}$ converts both blocks $i$ and $j$, we have
It is easy to see that $({\mathit{\bm{c}}}^{\star}\mathit{\bm{c}}^{\star}{}^{\prime})\cdot {\mathit{\bm{\eta}}}^{(ij)}=({c}_{i}^{\star}{c}_{j}^{\star})(c_{i}^{\star}{}^{\prime}c_{j}^{\star}{}^{\prime})>0$, showing that the hyperplane passing through $({\mathit{\bm{c}}}^{\star}\mathit{\bm{c}}^{\star}{}^{\prime})/2$ with normal vector ${\mathit{\bm{\eta}}}^{(ij)}$ separates the supply sectors of ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$. Finally, notice that neighboring cartels of the same order are cartels for which the ordering of external buildingblock concentrations differs by a transposition, i.e. ${c}_{i}^{\star}\leftrightarrow {c}_{j}^{\star}$. The supply sectors of these cartels have opposite facets that are separated by an hyperplane normal to ${\mathit{\bm{\eta}}}^{(ij)}$. Moreover, these facets diverges from that hyperplane with an angle prescribed by Equation (A144) and Equation (A145). On can confirm that when the passive leak is negligible with respect to the enzyme budget $\beta \ll E$, $\beta ({c}_{i}^{\star}{c}_{j}^{\star})$ tends to zero and the facets become parallel.
Then, to prove that supply sectors are nonoverlapping, we only need to show that distinct cartels ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$ with same degenerate orders, e.g. ${c}_{1}^{\star}=\mathrm{\dots}={c}_{q}^{\star}>{c}_{q+1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ and ${c}_{1}^{\star}=\mathrm{\dots}={c}_{{q}^{\prime}}^{\star}>{c}_{{q}^{\prime}+1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ with $q<{q}^{\prime}$ have nonoverlapping supply sectors. Introducing the vector ${\mathit{\bm{\eta}}}^{(i)}$ defined by
one can check by similar arguments as above that ${\mathit{\varphi}}_{\sigma}\cdot {\mathit{\bm{\eta}}}^{({q}^{\prime})}\ge 0$ for all strategies $\sigma $ in ${\mathrm{\Sigma}}^{\star}$, whereas ${\mathit{\varphi}}_{\sigma}\cdot {\mathit{\bm{\eta}}}^{({q}^{\prime})}\le 0$ for all strategies $\sigma $ in $\mathrm{\Sigma}^{\star}{}^{\prime}$. Actually, one can check an additional property by exploiting the graph structure of cartels. If ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$ are connected by an edge, i.e. if ${q}^{\prime}=q+1$, there is a path $\mathcal{P}$ joining ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$. In particular, a facet of ${\mathrm{\Sigma}}^{\star}$ can be continuously mapped onto a facet of $\mathrm{\Sigma}^{\star}{}^{\prime}$ by considering the $(d1)$dimensional supply cones associated to consortia on $\mathcal{P}$. One can check that the generating vectors of these $(d1)$dimensional supply cones are actually all orthogonal to ${\mathit{\bm{\eta}}}^{({q}^{\prime})}$. In particular, the supply sector of ${\mathrm{\Sigma}}^{\star}$ and $\mathrm{\Sigma}^{\star}{}^{\prime}$ have parallel facets and can be separated.
Optimal biomass yield?
In this section, we propose that microbial cartels achieve a collective optimum by yielding maximum biomass, i.e. the maximum total number of cells $N$ at fixed buildingblock supply rates. At steady state, the total number of cells $N$ is related to the buildingblock supply rates via the overall conservation of building blocks
which implies
According to the above relation, at fixed supply rates ${s}_{i}$, maximizing biomass yield amounts to minimizing the overall buildingblock concentrations ${\sum}_{i}{c}_{i}^{\mathrm{ext}}$, which implies the minimization of buildingblock loss via diffusion out of the volume $\mathrm{\Omega}$. To justify that cartels achieve the maximum biomass yield, one has to show that for identical supply rates, cartels lead to lower overall buildingblock steadystate concentrations than consortia that are not cartels. This fact can be verified for $p=2$ or $3$ building blocks and can be justified graphically for $p=2$. In Appendix 7—figure 1, we first show that increase in buildingblock supply is entirely dedicated to biomass growth in microbial cartels. In Appendix 7—figure 2, we then show that cartels are optimal in the sense that no single strategy can yield higher biomass than a cartel. More generally, although we do not have a proof of this point, we believe that cartels yield optimal biomass at fixed supply rates for an arbitrary number of building blocks $p$. In the following, we provide conditions under which the biomass optimality of cartels holds. First, we show that consortia consist of metabolic types that are subsets of cartels and that the corresponding steadystate concentrations satisfy the same weak ordering as that of the supply rates. Second, we show that the biomass yield of such consortia is smaller than that of cartels given the validity of two reasonable conjectures.
Consortia that are not cartels consist of optimal strategies within a metabolic class but do not necessarily contain the maximum number of metabolic classes. Consider such a consortium of optimal metabolic types for steadystate concentrations that satisfy the ordering ${c}_{1}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$, which is always possible via relabeling of building blocks. In Section "Microbial cartels for strict ordering" and Section "Microbial cartels for degenerate ordering", we have shown that optimal metabolic types that convert building blocks are such that the most abundant building block is converted into the least abundant building blocks. If the ordering is strict, i.e. ${c}_{1}^{\mathrm{ext}}>\mathrm{\dots}>{c}_{p}^{\mathrm{ext}}$, there are only $p$ possible optimal metabolic types ${\mathcal{M}}_{q}$, $1\le q\le p$, where type ${\mathcal{M}}_{q}$ imports block $1,\mathrm{\dots},q$ and converts block $1$ into blocks $q+1,\mathrm{\dots},p$. In particular, the metabolic types comprising a steadystate consortium are necessarily a subset of the metabolic types forming a cartel.
Moreover, for each metabolic type ${\mathcal{M}}_{q}$, the percell influx ${\varphi}_{q,i}$ of block $i$ is
Thus, the fluxes ${\varphi}_{q,i}$ satisfy ${\varphi}_{q,1}>{\varphi}_{q,2}=\mathrm{\dots}={\varphi}_{q,q}>{\varphi}_{q,q+1}>\mathrm{\dots}>{\varphi}_{q,p}$ since the internal concentrations ${c}_{j}^{(q)}$ are constant for $j>q$. In turn, the corresponding supply rates ${s}_{i}$ necessarily satisfy the same strict ordering via external fluxbalance Equation (A11): for $i<j$, we have
where $\sigma $ takes value in $\{1,\mathrm{\dots},p\}$. If the ordering of external buildingblock concentrations is not strict, two types of equalities can occur: (i) There can be equalities between the most abundant buildingblock concentrations, e.g. ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}$, for which one can show that the supply rates necessarily satisfy ${\mathrm{min}}_{1\le i\le q}{s}_{i}^{\mathrm{ext}}>{s}_{j}$ for $j>q$.(ii) There can be equalities between concentrations of building blocks that are not the most abundant, e.g. ${c}_{i}^{\mathrm{ext}}={c}_{i+1}^{\mathrm{ext}}$, for which one can show that the supply rates necessarily satisfy ${s}_{i}={s}_{i+1}$. Observe that (i) corresponds to the possible occurrence of degenerate cartels, whereas (ii) implies the absence of strategies that convert block $1$ into $i+1$ while importing $i$. In any case, independent of the nature of the ordering, the metabolic types of steadystate consortia are always a subset of the metabolic types forming a cartel. Moreover, consortia of optimal metabolic types weakly preserve the ordering of buildingblock supplies in the sense that if ${s}_{1}\ge \mathrm{\dots}\ge {s}_{p}$, we necessarily have ${c}_{1}^{\mathrm{ext}}\ge \mathrm{\dots}\ge {c}_{p}^{\mathrm{ext}}$. The order is only weakly preserved because degenerate consortia can exist for ${c}_{1}^{\mathrm{ext}}=\mathrm{\dots}={c}_{q}^{\mathrm{ext}}$ while the supply rates are strictly ordered, e.g. ${s}_{1}>\mathrm{\dots}>{s}_{p}$.
We now formulate two conjectures implying that at fixed buildingblock supply cartels have a higher biomass yield than consortia that are not cartels.
Our first conjecture, which is the strongest, concerns the structure of the supply space. To be more specific, consider supply rates ${s}_{i}$ that lie within the supply sector of a cartel. Consortia that are not cartels are necessarily made of a subset of the metabolic classes defining that cartel. Our conjecture is to posit that, for supply rates within a cartelspecific supply sector, a consortium can only exist for steadystate concentrations ${c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$ that are such that
(A151) ${G}_{\mathcal{M}}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})=\underset{\sigma \in \mathcal{M}}{sup}{g}_{\sigma}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})>\delta ,$for metabolic classes $\mathcal{M}$ that belong to the cartel but are not in the consortium. This property means that if the supply rates ${s}_{i}$ are such that a cartel emerges, consortia that are not cartels can be invaded by each missing metabolic class. In particular, this property implies that the emergence of a cartel does not depend on the history of which metabolic types are introduced first. One can confirm this property concretely for harmonicmean model when $p=3$.
Our second conjecture is about the convexity of the level sets of ${G}_{\mathcal{M}}$, the optimal growth rate for each metabolic type $\mathcal{M}$. One can show that for any particular strategy $\sigma $, the level sets of the growth function ${g}_{\sigma}$ inherit the convexity of the level set of the universal rate function $g$ governing biomass production. We further assume that this convexity property is inherited by the optimal growth function ${G}_{\mathcal{M}}$, once optimized within a given metabolic class. For $p=2$ or $3$, one can confirm that the sets of external concentrations ${c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}}$ such that ${G}_{\mathcal{M}}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})\le \delta $ are indeed convex for the $\mathrm{min}$ model. From a biological standpoint, our conjecture means that within a metabolic class, although the distribution of enzymes can be tuned to external buildingblock availabilities, microbes still experience diminishing marginal utility. In other words, increasing building block availability yields decreasing benefit within a metabolic class and beating diminishing marginal utility requires a switch of metabolic classes.
If true, the two conjectures above imply that cartels achieve optimal biomass. To see this, consider for instance a cartel associated to a strict ordering of external concentrations, i.e. ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$. The steadystate concentrations ${c}_{1}^{\star}>\mathrm{\dots}>{c}_{p}^{\star}$ are the solution of the equations
where ${G}_{q}$ denotes the optimal growth function for metabolic class ${\mathcal{M}}_{q}$, $1\le q\le p$. Our first conjecture implies that a consortium that is not a cartel exists at steadystate concentrations for which ${G}_{q}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})=\delta $ if metabolic class ${\mathcal{M}}_{q}$ is present and for which another metabolic class, say ${\mathcal{M}}_{{q}^{\prime}}$, can invade the consortia, i.e. ${G}_{{q}^{\mathrm{\prime}}}({c}_{1}^{\mathrm{e}\mathrm{x}\mathrm{t}},\dots ,{c}_{p}^{\mathrm{e}\mathrm{x}\mathrm{t}})>\delta$. Thus these steadystate concentrations belong to the nonlinear cone defined by ${G}_{q}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})\ge \delta $, $1\le q\le p$. Showing that cartels achieve optimal biomass is then equivalent to showing that this nonlinear cone lies within the halfspace $H$ defined by
Our second conjecture about convexity implies that the nonlinear cone is contained in the linear cone originating from ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$ and approximating the nonlinear cone defined by ${G}_{q}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})\ge \delta $, $1\le q\le p$. Let us denote the supporting vectors generating this cone by ${\mathit{\bm{V}}}_{q}$, $1\le q\le p$, where ${\mathit{\bm{V}}}_{q}$ is a tangent to the path defined by ${G}_{{q}^{\prime}\ne q}({c}_{1}^{\mathrm{ext}},\mathrm{\dots},{c}_{p}^{\mathrm{ext}})=\delta $, $1\le q\le p$ at ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$, oriented in the direction of increasing ${G}_{q}$. One possible choice for the ${\mathit{\bm{V}}}_{q}$ is via the relation
which ensures that ${\mathit{\bm{V}}}_{q}$ is tangent to each hypersurface ${G}_{{q}^{\prime}\ne q}=\delta $ and correctly oriented.
We now show that the linear cone generated by ${\mathit{\bm{V}}}_{q}$ lies within the halfspace $H$ by showing that there are positive numbers ${\eta}_{q}$ such that
which can be written in matrix form as
The key point is to realize that for both the minimum and harmonicmean growth function, the optimal growth functions ${G}_{q}$ are homogeneous of degree one. Because of this property, at cartel specific external concentrations ${c}_{1}^{\star},\mathrm{\dots},{c}_{p}^{\star}$, we have
which can be written in matrix form as
and directly shows that taking ${\eta}_{q}={c}_{q}^{\star}/\delta $ satisfies relation Equation (A156).
References

Structure, scaling, and phase transition in the optimal transport networkPhysical Review Letters 98:088702.https://doi.org/10.1103/PhysRevLett.98.088702

Explaining microbial genomic diversity in light of evolutionary ecologyNature Reviews Microbiology 12:263–273.https://doi.org/10.1038/nrmicro3218

Fluctuations and redundancy in optimal transport networksPhysical Review Letters 104:048703.https://doi.org/10.1103/PhysRevLett.104.048703

The competitive exclusion principleScience 131:1292–1297.https://doi.org/10.1126/science.131.3409.1292

A growthrate composition formula for the growth of E.coli on coutilized carbon substratesMolecular Systems Biology 11:801.https://doi.org/10.15252/msb.20145537

Damage and fluctuations induce loops in optimal transport networksPhysical Review Letters 104:048704.https://doi.org/10.1103/PhysRevLett.104.048704

Community equilibria and stability, and an extension of the competitive exclusion principleThe American Naturalist 104:413–423.https://doi.org/10.1086/282676

BookDie Organische Chemie in Ihre Anwendung Auf Agricultur Und PhysiologieBraunschweig: Friedrich Vieweg.

La technique de culture continue, théorie et applicationsAnnales De l’Institut Pasteur 79:390–410.

The paradox of the plankton: an equilibrium hypothesisThe American Naturalist 109:35–49.https://doi.org/10.1086/282972

Live and death of Streptomyces in soil—what happens to the biomass?Journal of Plant Nutrition and Soil Science 176:665–673.https://doi.org/10.1002/jpln.201300077

Protein content and protein synthesis rates of planktonic marine bacteriaMarine Ecology Progress Series 51:201–213.https://doi.org/10.3354/meps051201

Microbially derived inputs to soil organic matter: are current estimates too low?Environmental Science & Technology 41:8070–8076.https://doi.org/10.1021/es071217x

The Wealth of Nations (Bantam Classics). Bantam ClassicsThe Wealth of Nations (Bantam Classics). Bantam Classics, http://www.amazon.com/exec/obidos/redirect?tag=citeulike0720\&path=ASIN/0553585975.
Decision letter

Carl T BergstromReviewing Editor; University of Washington, United States
In the interests of transparency, eLife includes the editorial decision letter and accompanying author responses. A lightly edited version of the letter sent to the authors after peer review is shown, indicating the most substantive concerns; minor comments are not usually included.
Editors’ note: a previous version of this study was rejected after peer review, but the authors submitted for reconsideration. The first decision letter after peer review is shown below.]
Thank you for submitting your work entitled "Bacterial cartels at steady supply" for consideration by eLife. Your article has been reviewed by two peer reviewers, and the evaluation has been overseen by a Reviewing Editor and Arup Chakraborty as the Senior Editor. The following individual involved in review of your submission has agreed to reveal his identity: Eric D Kelsic (Reviewer #1).
Our decision has been reached after consultation between the reviewers. As you will see, one of the reviewers raised a number of significant concerns, many of which the other reviewer acknowledged to be important during subsequent discussion. Based on these discussions and the individual reviews below, we regret to inform you that your work will not be considered further for publication in eLife.
Reviewer #1:
The manuscript by Taillefumier et al. is well written and comprehensive, and I found the theory of bacterial cartels to be quite elegant and thoughtprovoking. The authors set out to understand microbial diversity by modeling communities of organisms that require a number of essential building blocks for growth. If the building blocks are present in the environment they may be imported into cells, or cells may choose to obtain the building block by enzymatically converting from one type to another. The authors model the growth potential of different strategies under the constraint of a fixed enzyme budget. Through a number of simplifying assumptions and linearizations the authors identify optimal metabolic classes and finally show that sets of organisms, termed "cartels", can optimally consume resources and prevent other species from invading. While such communities only coexist at fixed points within the space of external resource concentrations, the authors beautifully show that these points are attractors for regions within the space of supply rates, and thus cartels will frequently emerge when communities are continually challenged with organisms exhibiting various metabolic strategies.
The cartel theory makes significant progress toward understanding the diversity of microbial communities. Importantly, the work shifts the emphasis away from the number of (rather abstract) environmental resources and focuses instead on the building blocks that are essential for growth and the various strategies by which to obtain these building blocks. I find this setup more conceptually appealing. I believe that the manuscript will be of broad general interest and it would be great to see it published in eLife.
I have no major concerns. The manuscript is already highly polished and could be published without significant revisions.
Reviewer #2:
The manuscript by Wingreen and coworkers examines the structure of bacterial communities that consist of different metabolic types, under a nontrivial model that involves feedbacks from external metabolite concentrations and internal metabolic conversions and fluxes, subject to specific enzyme availability, onto the growth rates. Overall, this is an important subject for which general theoretical results could be useful for guiding experiments as well as introducing new ideas for analysis of bacterial communities.
Unfortunately, the text does an extremely poor job of explaining the main conclusions. One can follow the main assumptions of the model, but once the notions of consortia and cartels are introduced, it requires a good deal of work to follow which features of the model have been preserved and which ones have been conveniently thrown out the window under some new assumption that enables analysis. Over the course of the manuscript, several such assumptions are made, which effectively change the underlying model, while the key notions of consortia and cartels are defined nonrigorously and in a modeldependent manner.
The section entitled Model is the clearest section of the paper. The authors make many modeling assumptions here, some of which are questionable (see below), but these are all explained clearly.
The Results section begins with Numerical Simulations, which motivates the rest of the manuscript. The authors give too few details on how extensive their simulations are. How reproducible are they? How long have they run them? How complex a space of strategies was explored?
A) A key point at this stage of the manuscript (i.e. Results) and at the end of the Model Section is the statement that the authors are interested only in the structure of the equilibrium attained, not in the dynamics. They state: "Eventually, at long times, the surviving population will consist entirely of optimal cell types and will no longer change. It is this final population that concerns us; we only simulate metabolic competition to gain insight into the final optimized population, which is independent of the specific dynamics of the simulation."
This statement appears to be some kind of hope since it is neither (a) proven nor (b) demonstrated by extensive numerical simulations. The simulations assume that new types are only added once other types have gone extinct (subsection “Competitive population dynamics”, last paragraph), which is a pretty big assumption regarding "specific dynamics of the simulation" and which, in fact, guarantees that once a community consists of types that are not going extinct it won't have to worry about new types coming in. Indeed, the structures that are later called "cartels" in this manuscript are automatically stable under the given dynamics, due to the fact that avoidance of extinction necessarily excludes competition by new types; such dynamics are intrinsically 'cartelfriendly'. Under different dynamics, for example where new types appear at random times, or are formed by mutation from existing types, there would be no such guarantee, and it is therefore not at all clear that the final population structure (if such a stable structure even exists; see B) would not depend on the specific dynamics.
In fact, Figure 2D seems to contradict the basic assertion that a surviving population consists only of optimal types and no longer changes. In Figure 2D, blue and yellow curves seem to exchange at regular intervals, and the population composition is dynamic in time. In this case, the caption states that the "external buildingblock concentrations fluctuate due to the invasion by and extinction of metabolic variants." Which leads to my next major point.
B) The entire analytical treatment of the manuscript is predicated on the assumption that the external concentrations ${C}_{i}^{\text{ext}}$ are fixed. From the second paragraph of the subsection “Optimal metabolic classes” to the end of the first paragraph of the subsection “Structure of consortia”, the authors develop the basic framework in which external concentrations are selfconsistently derived such that they obtain an optimal metabolic strategy under the assumption that ${C}_{i}^{\text{ext}}$ do not fluctuate. However, they have already shown in Figure 2D that even in the simplest cases the dynamics may converge to a fluctuating solution under even their cartelfriendly dynamics (see A above).
Thus, at this point in the text, the authors have subtly shifted our attention away from the dynamics they initially presented, to some new scenario, in which they search for a certain type of optimum (i.e. one with fixed ${C}_{i}^{\text{ext}}$). They carry out a careful analysis of such optima (with some additional caveats) throughout the rest of the text. However, they provide no information as to whether such optima are dynamically stable at all. But if these optima are not dynamically stable, then what use is all of their analysis?
Overall, it appears that the authors have performed a nice characterization of a welldefined graphtheoretic optimization problem (stated in the aforementioned subsections). They motivated this problem in the context of a dynamical system, but they have failed to demonstrate that the dynamics converge to their optimum; or more precisely, to give a characterization of conditions (i.e. the choice of constant supply rates, initial conditions, and the exact simulation dynamics) under which their optimum is achieved. Therefore, I recommend that they submit this paper elsewhere, e.g. to a graph theory or combinatorial optimization journal, where their more rigorous results will be properly assessed by mathematicians. Biologists who read eLife will not understand the range of applicability, or lack thereof, of these results. I certainly do not.
Other concerns:
C) The assumption to study the "minimum model" in the last paragraph of the subsection “Structure of consortia” is quite strong. For example, the growth rate no longer depends on the b_{i} variables that were introduced initially. This is another example of the authors presenting a much more general model than the one they ultimately analyze. For the poor reader who has made it through the Model section, but is not technically proficient to follow the derivations where the extra assumptions are buried (such as in the last paragraph of the subsection “Structure of consortia”), this can end up being misleading.
D) On the technical level, the question of the b_{i} is important, since different bacteria may have different composition, at least with regard to a subset of key building blocks, and one would like to know if this impacts the metabolic specialization across the community to any extent. Another place where this seems to be relevant is in Equation (3), where the term gb_{i} at the end of the equation corresponds to the assumption, stated earlier, that building blocks are consumed at a rate proportional to their concentration in biomass, i.e. b_{i}. This is necessary for the steadystate growth, and will be achieved automatically at the level of the bulk population, but at the level of enzymatic activity inside cells, one expects something like gc_{i}. This point should be discussed, and the relevant extra assumptions that are being made here need to be pointed out.
E) In the Discussion, the authors state "In particular, cartels maintain fixed external resource concentrations by adjusting their populations to compensate for changes in supply." This is a question of dynamics, again, but dynamics have not been addressed in the analysis. Critically, the statement here is that if the external resource changes (over some unspecified timescale), the subpopulation sizes that contribute to the cartel will adjust such that the external resource concentrations will be maintained. Since the change of subpopulation size is what appears to be controlling the resource concentrations in such cases, the authors appear to be violating their own "separation of timescales" assumption which they made: "since the lifetime of a cell is much larger than the timescales associated with metabolic processes… separation of timescales justifies steadystate approximation for the fast variables: $\left(\frac{d}{dt}\right)ci\sigma =0\wedge \left(\frac{d}{dt}\right){c}_{i}^{ext}=0$
F) Consortia and Cartels are never rigorously defined before they are used. The terms are typically used first and defined later. For example, Cartels are actually defined only in Figure 4 caption, and later in the Discussion. The term consortia is used in the first sentence of the subsection “Structure of consortia” in a loose sense, i.e. interchangeably with "community composition", but that is inconsistent with the use of the term in the definition of cartels as "consortia with at least p distinct metabolic classes" (Caption, Figure 4), since it lacks the important notion of optimal types, which appears in the definition in the Discussion (first paragraph).
Even after reading these sections multiple times, it seems that the authors are missing something in their verbal definitions. There is no mention of "cooptimality" in their final definition: "Cartels are defined as consortia of at least as many distinct optimal cell types – each with a fixed metabolic strategy – as there are shared resources". The definition really should include the fact that all of these types contribute to the same optimum.
It is striking that the authors neglected to give a rigorous mathematical definition of either Cartel or Consortia, for example in terms of a big set C = {σ: condition is true}.
Additional points:
G) The derivation of the growth rate function, Equation (1), assumes an assembly line for biomass in which reactions do not occur in parallel, at least for the most part. This might be fine for building up a protein in a sequential manner from aminoacids, but many other reactions that build biomass involve building blocks that can themselves be formed from other constituents along different parallel pathways.
H) Interconversion reactions, represented by Κ_{ij}, could in reality involve multiple reactants, for example any metabolic reaction of the form A + B <> C, and these would introduce nonlinearities that are not captured by the equations.
I) Taking the death rate to be independent of the phenotype and the external conditions seems to be a very strong assumption Equation (6).
J) One could not tell in the last paragraph of the subsection “Competitive population dynamics” whether the simulation captures finite population size effects or not, i.e. demographic fluctuations of size 1 / N.
K) The numerical simulations do not involve mutation, in that new types are introduced randomly rather than as mutated version of existing types. One expects that mutational dynamics could have different stability criteria. Also, if a random type is introduced, presumably it arrives from outside the community, and therefore why should it be introduced in small numbers? Is that a reasonable assumption for bacteria? It doesn't seem intuitive.
L) What happens to a cartel if one member is removed? Does it matter which member is removed?
M) The word cartel has strong negative associations (i.e. drug cartels), and even at a more basic level the use of this word in the manuscript is fundamentally inaccurate, since the economic definition of a cartel is based on an agreement to control prices, instead of an optimization principle. I am not sure why the authors want to go in this direction.
[Editors’ note: what now follows is the decision letter after the authors submitted for further consideration.]
Thank you for resubmitting your work entitled "Microbial consortia at steady supply" for further consideration at eLife. Your revised article has been favorably evaluated by Arup Chakraborty as the Senior Editor, Carl Bergstrom as the Reviewing Editor (Carl Bergstrom) and two reviewers.
The manuscript has been greatly improved and both referees enthusiastically recommend publication.
Reviewer #1:
In "Microbial consortia at steady supply", the authors consider a population model in which microorganisms exposed to a flux of metabolites follow different strategies concerning which metabolites to import and which to produce through conversion. They show that populations evolve to form cartels, which prevent invasion from other strategies and keep external resources fixed. Overall, I think the authors do a good and extensive job of demonstrating their results. I recommend this paper for publication.
Reviewer #2:
Taillefumier et al. present an elegant and compelling theory of microbial coexistence driven by diverse strategies for import and synthesis of essential metabolic building blocks. I found the revised manuscript to be improved over the original submission, making several changes that facilitated communication of the main results. In particular, the elaborated explanation of the dynamics of the simulation better clarifies that communities are converging toward optimal consortia (rather than being mistaken for oscillatory dynamics). Additionally, I found it reassuring that the new results using gradientbased optimization of communities arrived at similar results as the simulations that were continuously challenged with randomly sampled species types. This resolves one of my main concerns from the original manuscript, and shows that the authors' theory of optimal cartels captures essential aspects of the simulations despite extensive simplifications. Finally, the earlier definition of cartels in the Introduction aided understanding, and multiple revisions in the Discussion helped for putting the theory in context.
This is a highquality work in theoretical ecology that makes significant progress toward the major problem of understanding microbial diversity, and I support its publication in eLife where it can reach a broad biological audience.
https://doi.org/10.7554/eLife.22644.022Author response
[Editors’ note: the author responses to the first round of peer review follow.]
Reviewer #2:
The manuscript by Wingreen and coworkers examines the structure of bacterial communities that consist of different metabolic types, under a nontrivial model that involves feedbacks from external metabolite concentrations and internal metabolic conversions and fluxes, subject to specific enzyme availability, onto the growth rates. Overall, this is an important subject for which general theoretical results could be useful for guiding experiments as well as introducing new ideas for analysis of bacterial communities.
Unfortunately, the text does an extremely poor job of explaining the main conclusions. One can follow the main assumptions of the model, but once the notions of consortia and cartels are introduced, it requires a good deal of work to follow which features of the model have been preserved and which ones have been conveniently thrown out the window under some new assumption that enables analysis. Over the course of the manuscript, several such assumptions are made, which effectively change the underlying model, while the key notions of consortia and cartels are defined nonrigorously and in a modeldependent manner.
The section entitled Model is the clearest section of the paper. The authors make many modeling assumptions here, some of which are questionable (see below), but these are all explained clearly.
The Results section begins with Numerical Simulations, which motivates the rest of the manuscript. The authors give too few details on how extensive their simulations are. How reproducible are they? How long have they run them? How complex a space of strategies was explored?
We regret the lack of clarity in our presentation. As we understand it, at the root of virtually all the reviewer’s objections is a concern that metabolic competition between different metabolic types may not lead to stable stationary states. This concern is the consequence of a miscommunication about the methodology and results of our simulations of competitive bacterial dynamics. This miscommunication led the reviewer to think that the population dynamics of metabolic types can exhibit “oscillations”. However, population oscillations never happen in our simulations: there are only new strategies sweeping existing ones. We hope to dispel the concern about the stability of the dynamics by offering detailed responses to the reviewer’s objections (A) and (B). We also have substantially revised our manuscript for greater clarity and to avoid any other unfortunate miscommunications. In particular, we added two new figures and revised the original figure at the root of the confusion.
A) A key point at this stage of the manuscript (i.e. Results) and at the end of the Model Section is the statement that the authors are interested only in the structure of the equilibrium attained, not in the dynamics. They state: "Eventually, at long times, the surviving population will consist entirely of optimal cell types and will no longer change. It is this final population that concerns us; we only simulate metabolic competition to gain insight into the final optimized population, which is independent of the specific dynamics of the simulation."
This statement appears to be some kind of hope since it is neither (a) proven nor (b) demonstrated by extensive numerical simulations. The simulations assume that new types are only added once other types have gone extinct (subsection “Competitive population dynamics”, last paragraph), which is a pretty big assumption regarding "specific dynamics of the simulation" and which, in fact, guarantees that once a community consists of types that are not going extinct it won't have to worry about new types coming in. Indeed, the structures that are later called "cartels" in this manuscript are automatically stable under the given dynamics, due to the fact that avoidance of extinction necessarily excludes competition by new types; such dynamics are intrinsically 'cartelfriendly'. Under different dynamics, for example where new types appear at random times, or are formed by mutation from existing types, there would be no such guarantee, and it is therefore not at all clear that the final population structure (if such a stable structure even exists; see B) would not depend on the specific dynamics.
In fact, Figure 2D seems to contradict the basic assertion that a surviving population consists only of optimal types and no longer changes. In Figure 2D, blue and yellow curves seem to exchange at regular intervals, and the population composition is dynamic in time. In this case, the caption states that the "external buildingblock concentrations fluctuate due to the invasion by and extinction of metabolic variants." Which leads to my next major point.
Although we did not include an extensive account of our simulations in the original submission, we did perform exhaustive simulations, and indeed had thoroughly tested all these important points raised by the reviewer. In the revised manuscript, we show that the simulations of metabolic competition between microbes consistently lead to stationary states populated by the same metabolic types. In Figure 1 of the revised manuscript, we present 3 independent simulations of metabolic competition for supply condition s_{1} = 11, s_{2} = 9 > s_{3} = 0, starting from 24 different initial conditions for each run (i.e. different metabolic strategies). The volume of the colony Ω is chosen so that the carrying capacity is ≈ V/v = 100, 000 cells. Each simulation is run for 10^{8} time steps, which represents on the order of 10^{5} generations. In each case, the population of bacteria quickly reaches carrying capacity, at which point the availability of building blocks plumets to low values, and metabolic competition begins in earnest. At each time step, we simulate 24 different strategies. The simulation of Figure 1 together with the vastly expanded “Numerical results” section, clarify four points which we believe are the source of reviewer’s concerns:
1) The external buildingblock concentrations converge toward cartelspecific values.
In Figure 1, the bottom plots of all panels show that for all runs, the external buildingblock concentrations tend to the same stationary values with the two externally provided building blocks stabilizing at numerically identical values and the other building block stabilizing at lower concentration. Importantly, we observe that when a new strategy replaces another, i.e. when two curves cross each other in the top plots of each panel, the buildingblock concentrations are only marginally changed, gradually approximating the theoretically optimal cartelspecific values. The visible buildingblock fluctuations appearing in the original submission were largely due to the adoption of a low carrying capacity and, unfortunately, to poor editing in Adobe Illustrator. We apologize for the confusion.
2) Competition between metabolic types leads to stable selection of metabolic types.
After metabolic competition begins in earnest, buildingblock concentrations approach their theoretically optimal values and virtually all newly introduced variants quickly be come extinct. Only metabolic strategies that improve on the already present, nearly optimal strategies can persist. When a newly introduced type does successfully invade the population, it always belongs to an optimal class and replaces the existing population of that same class. For instance, in the top panel of Figure 1, the most abundant type (purple and pink curves) always has a pureimporter strategy. Importantly, the color of a curve is not attached to a specific strategy but rather to its class: purple and pink indicate the two pureimporter strategies out of the 24 strategies. In particular, the population of a strategy never “oscillates”: when a curve goes down (e.g. the pink curve), the associated strategy goes extinct due to invasion by a new strategy belonging to the same class (purple), which in turn can be invaded by yet another strategy of the same class (pink again). We observe that the overall population of an optimal class, e.g. the sum of the pink and purple curves in the top plot of each panel, is nearly constant, a clear indication of a tendency toward a stationary population of each optimal type. We apologize for the lack of a more detailed explanation of the original simulation figures.
3) Existing types are constantly competing with newly introduced variants.
While three types may coexist for extended periods according to the competitive exclusion principle, the 21 other types have populations nσ that decay exponentially until extinction, i.e. until n_{σ} < 0.9999. Upon extinction, a new type is introduced at n_{σ} = 1. The overwhelming majority of these new types do not invade the already present types and quickly become extinct, leading to the introduction of new variants. As a result of this scheme, new metabolic strategies are constantly introduced, representing a total of more than 10^{9} different introduced strategies during each run.
4) The space of metabolic strategies is extensively sampled.
In a first set of simulations we performed, new strategies were uniformly sampled from the simplex Ʃ α + Ʃ κ = E. This sampling scheme revealed that competition consistently selected for types for which certain enzymes were negligible, approximating the theoretically predicted metabolic types (belonging to “metabolic classes” for which the abundance of certain enzymes is zero). Therefore, in subsequent simulations, including the ones presented here, new strategies were sampled according to a new scheme: four strategies were still uniformly sampled from the simplex Ʃ α + Ʃ κ = E, but two strategies were sampled from each of the 10 possible optimal metabolic classes. Whenever a strategy goes extinct, we replace it with a strategy sampled from the same metabolic class. We use this scheme because drawing a type from an optimal class has probability zero when one uses the naive uniform sampling of the simplex Ʃ α + Ʃ κ = E. The observed persistence of the expected optimal types confirmed our theoretical analysis.
We hope that the above points will dispel the reviewer’s concerns about our methodology used to simulate competitive bacterial dynamics.
B) The entire analytical treatment of the manuscript is predicated on the assumption that the external concentrations ${C}_{i}^{ext}$ are fixed. From –the second paragraph of the subsection “Optimal metabolic classes” to the end of the first paragraph of the subsection “Structure of consortia”, the authors develop the basic framework in which external concentrations are selfconsistently derived such that they obtain an optimal metabolic strategy under the assumption that ${C}_{i}^{ext}$ do not fluctuate. However, they have already shown in Figure 2D that even in the simplest cases the dynamics may converge to a fluctuating solution under even their cartelfriendly dynamics (see A above).
Thus, at this point in the text, the authors have subtly shifted our attention away from the dynamics they initially presented, to some new scenario, in which they search for a certain type of optimum (i.e. one with fixed ${C}_{i}^{ext}$). They carry out a careful analysis of such optima (with some additional caveats) throughout the rest of the text. However, they provide no information as to whether such optima are dynamically stable at all. But if these optima are not dynamically stable, then what use is all of their analysis?
Overall, it appears that the authors have performed a nice characterization of a welldefined graphtheoretic optimization problem (stated –in the aforementioned subsections). They motivated this problem in the context of a dynamical system, but they have failed to demonstrate that the dynamics converge to their optimum; or more precisely, to give a characterization of conditions (i.e. the choice of constant supply rates, initial conditions, and the exact simulation dynamics) under which their optimum is achieved. Therefore, I recommend that they submit this paper elsewhere, e.g. to a graph theory or combinatorial optimization journal, where their more rigorous results will be properly assessed by mathematicians. Biologists who read eLife will not understand the range of applicability, or lack thereof, of these results. I certainly do not.
We addressed the reviewer’s concern about the stability of the population dynamics in response to point (A). We believe that the reviewer’s concern was due to a miscommunication and apologize for the confusion. In all of our extensive simulations, competitive dynamics converge to a final state where both the resource external concentrations and the celltype populations are constant. To further address the reviewer’s concern, we numerically confirmed that the final cell types obtained via competitive dynamics achieve the optimal cell growth given resource availabilities. As explained in the expanded section “Numerical results”, we designed an iterative optimization algorithm that yields steadystate optimal cell types with high accuracy. The thusobtained cell types are guaranteed to achieve optimal growth for the given external resource concentrations by design of the algorithm and are virtually identical to the final cell types obtained via competitive population dynamics. We illustrate the convergence of surviving cell types toward the optimal types in Figure 2 of the revised manuscript. Specifically, we define the ratio of the growth rate of surviving cell types to the growth rate of the optimal cell types as the “relative fitness” of a cell type. Tracking the relative fitness of surviving cells shows that each successful invasion and each ensuing displacement event lead to an increase of the relative fitness of surviving cells, and this quantity converges to one on large timescales. These additional studies confirm that the competitive dynamics eventually converges to a noninvadable steady state, motivating our further analytical study of the final state of the community.
Other concerns:
C) The assumption to study the "minimum model" in the last paragraph of the subsection 2Structure of consortia” is quite strong. For example, the growth rate no longer depends on the b_{i} variables that were introduced initially. This is another example of the authors presenting a much more general model than the one they ultimately analyze. For the poor reader who has made it through the Model section, but is not technically proficient to follow the derivations where the extra assumptions are buried (such as in the last paragraph of the subsection 2Structure of consortia”), this can end up being misleading.
The main conclusions of our paper concern the generic emergence of cartels and the benefit that division of labor provides to cartels’ members. This conclusion is independent of the growth model considered or the values of the b_{i}. While we presented the simple case of b_{i}= 1 in the main text, the optimization has been carried out for arbitrary b_{i} in the Supporting Information. Changing the values of b_{i} shifts the hypersurfaces of steadystate external concentrations, but cartels always emerge and are always made of the optimal types identified in our analysis. We show in Supporting Information that the results derived for the minimum model rigorously hold for any growth functions with reasonable properties, i.e. functions that are increasing with internal resources and that are limited by the relatively least abundant resource. Thus, our main conclusions are not dependent on the details of the model.
D) On the technical level, the question of the b_{i} is important, since different bacteria may have different composition, at least with regard to a subset of key building blocks, and one would like to know if this impacts the metabolic specialization across the community to any extent. Another place where this seems to be relevant is in Equation (3), where the term gb_{i} at the end of the equation corresponds to the assumption, stated earlier, that building blocks are consumed at a rate proportional to their concentration in biomass, i.e. b_{i}. This is necessary for the steadystate growth, and will be achieved automatically at the level of the bulk population, but at the level of enzymatic activity inside cells, one expects something like gc_{i}. This point should be discussed, and the relevant extra assumptions that are being made here need to be pointed out.
As the reviewer suggests, we have considered dilution terms −gc_{i} in our model. In Supporting Information, we justify why these terms are negligible compared with the production/consumption fluxes within the cells. Moreover, we check that neglecting such dilution terms is compatible with overall buildingblock conservation.
E) In the Discussion, the authors state "In particular, cartels maintain fixed external resource concentrations by adjusting their populations to compensate for changes in supply." This is a question of dynamics, again, but dynamics have not been addressed in the analysis. Critically, the statement here is that if the external resource changes (over some unspecified timescale), the subpopulation sizes that contribute to the cartel will adjust such that the external resource concentrations will be maintained. Since the change of subpopulation size is what appears to be controlling the resource concentrations in such cases, the authors appear to be violating their own "separation of timescales" assumption which they made: "since the lifetime of a cell is much larger than the timescales associated with metabolic processes… separation of timescales justifies steadystate approximation for the fast variables: $\left(\frac{d}{dt}\right){C}_{i\sigma}=0\wedge \left(\frac{d}{dt}\right){c}_{i}^{ext}=0$
In microbial communities, metabolic processes generally have a much faster kinetic rate than the rate of cellular growth (≍δ). As a result, metabolic fluxes quickly equilibrate, which means that internal and external buildingblock concentrations are stationary on the slow timescale 1/δ, i.e. $\left(\frac{d}{dt}\right){c}_{i\sigma}$ and$\left(\frac{d}{dt}\right){c}_{i}^{ext}=0$. This separation of timescales remains valid in the presence of external perturbations, e.g. a change in the rates of supply, as long as these perturbations occur on a slow timescale (≥ 1/δ). Moreover, if the supply rates change slowly compared with the rate of cellular growth (» 1/δ), there is another separation of timescales and celltype populations nσ quickly reach their steady state, i.e. $\left(\frac{d}{dt}\right){n}_{\sigma}=0$ over the timescale of changes in the supply rates. Thus, for different supply rates, the competitive steady state of the microbial community is obtained by solving $\left(\frac{d}{dt}\right){c}_{i\sigma}=0,\text{}\left(\frac{d}{dt}\right){c}_{i}^{ext}=0\text{}\wedge \left(\frac{d}{\text{dt}}\right){n}_{\sigma}=0$, while requiring the optimality of the present cell types. It turns out that, as long as the supply rates belong to a cartel supply sector, the competitive steady state is established by cartel cell types at exactly the same external buildingblock concentrations, but for different cell type populations. For the sake of clarity, we specify that compensation via population dynamics occurs for slow changes of the rate of supply in the revised manuscript. We also discuss explicitly the effect of change in the supply rates occurring on different timescales in the last paragraph of the Discussion.
F) Consortia and Cartels are never rigorously defined before they are used. The terms are typically used first and defined later. For example, Cartels are actually defined only in Figure 4 caption, and later in the Discussion. The term consortia is used in the first sentence of the subsection “Structure of consortia” in a loose sense, i.e. interchangeably with "community composition", but that is inconsistent with the use of the term in the definition of cartels as "consortia with at least p distinct metabolic classes" (Caption, Figure 4), since it lacks the important notion of optimal types, which appears in the definition in the Discussion (first paragraph).
Even after reading these sections multiple times, it seems that the authors are missing something in their verbal definitions. There is no mention of "cooptimality" in their final definition: "Cartels are defined as consortia of at least as many distinct optimal cell types – each with a fixed metabolic strategy – as there are shared resources". The definition really should include the fact that all of these types contribute to the same optimum.
It is striking that the authors neglected to give a rigorous mathematical definition of either Cartel or Consortia, for example in terms of a big set C = {σ: condition is true}.
We apologize for the lack of clarity in the definition of “consortia” and “cartels”. We have added a paragraph at the end of the Model section where “consortia” and “cartels” are both clearly defined and where the cooptimality of the final cell types is mentioned.
Additional points:
G) The derivation of the growth rate function, Equation (1), assumes an assembly line for biomass in which reactions do not occur in parallel, at least for the most part. This might be fine for building up a protein in a sequential manner from aminoacids, but many other reactions that build biomass involve building blocks that can themselves be formed from other constituents along different parallel pathways.
We agree that other biomass constituents such as RNA can be formed along different parallel pathways. However, proteins represents ∼ 60 − 70% of the dry biomass of prokaryotes (Simon and Azam, 1989) and ∼ 50% of the dry biomass of eukaryotes (Feij´o Delgado et al., 2013). Moreover, metabolic pathways are universally mediated by protein enzymes. Accordingly, our model primarily equates the rate of biomass production with the rate of protein biosynthesis.
H) Interconversion reactions, represented by Κ_{ij}, could in reality involve multiple reactants, for example any metabolic reaction of the form A + B <> C, and these would introduce nonlinearities that are not captured by the equations.
We agree that considering reactions involving multiple reactants is an important question. In particular, a central issue to address is whether the nonlinearities of the corresponding reaction fluxes can impact the stability of the population dynamics. Unfortunately, studying the general effect of such nonlinearities is a very difficult problem which is beyond the scope of the present paper.
I) Taking the death rate to be independent of the phenotype and the external conditions seems to be a very strong assumption Equation (6).
In our study, we assume the death rate δ to be a “failure rate” that is independent of the phenotype or the external conditions. Such an assumption would of course be very accurate in a chemostat environment, where cells are lost at a fixed dilution rate. However, we argue more generally that taking δ as an independent constant is not necessarily a strong assumption (it is actually a standard assumption within the field). Changing the values of δ for each cell type only shifts the hypersurface of steadystate concentrations $Gm\text{}\left({c}_{p,}^{ext},\dots ,\text{}{c}_{p}^{ext}\right)=\delta$ While the locus of their intersection may change, it is generically true that in pdimension, p such hypesurfaces intersect. Therefore, cartels still emerge for distinct speciesdependent death rates. Moreover, we model the influence of external conditions on cell population dynamics via a concentrationdependent biomass production rate ${g}_{\sigma}\left({c}_{1}^{ext},\dots ,\text{}{c}_{p}^{ext}\right)$, so that the net growth rate ${g}_{\sigma}\left({c}_{1}^{ext},\dots ,\text{}{c}_{p}^{ext}\right)\delta$ depends on resource availabilities. Thus, considering concentrationdependent death rates $\delta \left({c}_{p}^{ext},...,{c}_{p}^{ext}\right)$ does not represent a conceptual shift from our current model.
J) One could not tell in the last paragraph of the subsection “Competitive population dynamics” whether the simulation captures finite population size effects or not, i.e. demographic fluctuations of size 1 / N.
Our simulations do not capture finite population size effects. Our analysis is primarily concerned with the emergence of division of labor in metabolically competing species. We are considering resource supplies for which relatively large population of cells emerge.
K) The numerical simulations do not involve mutation, in that new types are introduced randomly rather than as mutated version of existing types. One expects that mutational dynamics could have different stability criteria. Also, if a random type is introduced, presumably it arrives from outside the community, and therefore why should it be introduced in small numbers? Is that a reasonable assumption for bacteria? It doesn't seem intuitive.
Considering mutated versions rather than random variants does not change the results of our analysis as long as the set of possible cell types remains the same. Extensive simulations (as well as analytical considerations of the case of 2 and 3 building blocks) show that mutational population dynamics are also unconditionally stable.
Introducing random variants or mutated versions in larger numbers does not change the results of our analysis either. When a new strategy is introduced in larger numbers, the change in consumption and leakage by the population may temporarily perturb the external concentrations of building blocks. However, the ensuing population dynamics ultimately converges to the same population steady state as when a new strategy is introduced in small numbers.
L) What happens to a cartel if one member is removed? Does it matter which member is removed?
The complete removal of a member of a cartel clearly modifies the steady state of the population dynamics. Suppose we consider a cartel emerging for three building blocks with wellordered supply rates. Removing the pureconverter strategy causes the external concentrations of the two least abundant building blocks to decrease, yielding a decrease of both remaining celltype populations, and potentially their extinction. Removing the mixed strategy causes the most abundant external concentrations to increase but the least abundant building block to decrease, yielding an increase of the pureconverter population and a decrease of the pureimporter population, and potentially its extinction. Removing the pureimporter strategy causes the external concentrations of the two least abundant building blocks to increase, yielding an increase of both remaining strategies. However, in all cases, the overall cell population will decrease.
Although interesting, we believe that the study of such removal effects is beyond the scope of our analysis. Moreover, it is hard to justify the meaning of such removals from a biological standpoint, since even after a catastrophic event that eliminated a species (e.g. phage infection), new species would likely quickly establish in the available niche.
M) The word cartel has strong negative associations (i.e. drug cartels), and even at a more basic level the use of this word in the manuscript is fundamentally inaccurate, since the economic definition of a cartel is based on an agreement to control prices, instead of an optimization principle. I am not sure why the authors want to go in this direction.
We note the reviewer’s comment and agree that the concept of microbial cartel is not a literal transposition of the economics concept. In fact, we only use the word “cartel” as a helpful analogy because we believe that this concept captures the idea that the benefit of diversity stems from the ability to collectively control resource availabilities. We followed the reviewer’s recommendation and now clarify that we use the word “cartel” only by analogy and specify to which extent this analogy applies. We also changed the title of the manuscript to “Microbial consortia at steady supply”. Finally, we made sure that the concept of cartel is not negatively connoted in the main text, stressing that microbial cartels achieve a collective optimum in term of biomass yield.
[Editors’ note: the author responses to the rereview follow.]
The manuscript has been greatly improved and both referees enthusiastically recommend publication.
Reviewer #1:
In "Microbial consortia at steady supply", the authors consider a population model in which microorganisms exposed to a flux of metabolites follow different strategies concerning which metabolites to import and which to produce through conversion. They show that populations evolve to form cartels, which prevent invasion from other strategies and keep external resources fixed. Overall, I think the authors do a good and extensive job of demonstrating their results. I recommend this paper for publication.
Reviewer #2:
Taillefumier et al. present an elegant and compelling theory of microbial coexistence driven by diverse strategies for import and synthesis of essential metabolic building blocks. I found the revised manuscript to be improved over the original submission, making several changes that facilitated communication of the main results. In particular, the elaborated explanation of the dynamics of the simulation better clarifies that communities are converging toward optimal consortia (rather than being mistaken for oscillatory dynamics). Additionally, I found it reassuring that the new results using gradientbased optimization of communities arrived at similar results as the simulations that were continuously challenged with randomly sampled species types. This resolves one of my main concerns from the original manuscript, and shows that the authors' theory of optimal cartels captures essential aspects of the simulations despite extensive simplifications. Finally, the earlier definition of cartels in the Introduction aided understanding, and multiple revisions in the Discussion helped for putting the theory in context.
This is a highquality work in theoretical ecology that makes significant progress toward the major problem of understanding microbial diversity, and I support its publication in eLife where it can reach a broad biological audience.
We made two minor modifications to the manuscript in order to address the reviewers’ minor points: i) We added a sentence in the Model section stating that our growth model is inspired from protein elongation whereby building blocks (amino acids) are sequentially incorporated into biomass (protein). ii) We corrected the erroneously labeled time axes in panels B and C of Figure 2.
https://doi.org/10.7554/eLife.22644.023Article and author information
Author details
Funding
Defense Advanced Research Projects Agency (D12AP00025)
 Thibaud Taillefumier
 Ned S Wingreen
National Institutes of Health (R01 GM082938)
 Thibaud Taillefumier
 Yigal Meir
 Ned S Wingreen
National Science Foundation (NSF PHY1125915)
 Anna Posfai
 Ned S Wingreen
The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication.
Acknowledgements
This work was supported by the DARPA Biochronicity program under Grant D12AP00025, by the National Institutes of Health under Grant R01 GM082938, and by the National Science Foundation under Grant NSF PHY1125915. We thank Bonnie Bassler, William Bialek, Curt Callan, and Simon Levin for many insightful discussions.
Reviewing Editor
 Carl T Bergstrom, University of Washington, United States
Publication history
 Received: October 25, 2016
 Accepted: March 4, 2017
 Version of Record published: May 5, 2017 (version 1)
Copyright
© 2017, Taillefumier et al.
This article is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use and redistribution provided that the original author and source are credited.
Metrics

 2,928
 Page views

 650
 Downloads

 22
 Citations
Article citation count generated by polling the highest count across the following sources: Crossref, Scopus, PubMed Central.