Skip to main content
Advertisement
  • Loading metrics

Local and collective transitions in sparsely-interacting ecological communities

  • Stav Marcus,

    Roles Conceptualization, Investigation, Writing – original draft, Writing – review & editing

    Affiliation Department of Physics, Technion-Israel Institute of Technology, Haifa, Israel

  • Ari M. Turner,

    Roles Conceptualization, Investigation, Writing – original draft, Writing – review & editing

    Affiliation Department of Physics, Technion-Israel Institute of Technology, Haifa, Israel

  • Guy Bunin

    Roles Conceptualization, Investigation, Writing – original draft, Writing – review & editing

    buning@technion.ac.il

    Affiliation Department of Physics, Technion-Israel Institute of Technology, Haifa, Israel

Abstract

Interactions in natural communities can be highly heterogeneous, with any given species interacting appreciably with only some of the others, a situation commonly represented by sparse interaction networks. We study the consequences of sparse competitive interactions, in a theoretical model of a community assembled from a species pool. We find that communities can be in a number of different regimes, depending on the interaction strength. When interactions are strong, the network of coexisting species breaks up into small subgraphs, while for weaker interactions these graphs are larger and more complex, eventually encompassing all species. This process is driven by the emergence of new allowed subgraphs as interaction strength decreases, leading to sharp changes in diversity and other community properties, and at weaker interactions to two distinct collective transitions: a percolation transition, and a transition between having a unique equilibrium and having multiple alternative equilibria. Understanding community structure is thus made up of two parts: first, finding which subgraphs are allowed at a given interaction strength, and secondly, a discrete problem of matching these structures over the entire community. In a shift from the focus of many previous theories, these different regimes can be traversed by modifying the interaction strength alone, without need for heterogeneity in either interaction strengths or the number of competitors per species.

Author summary

We study how sparse interactions—where each species interacts significantly with only a few others—shape species-rich ecological communities. In a theoretical model where a community is assembled from a species pool, we find that the community characteristics strongly depend on the interaction strength, even when it has no heterogeneity. For strongly competitive interactions, the network of interactions of the coexisting species breaks up into many disconnected components. These grow larger for weaker interactions, until finally reaching a single component encompassing all species. Changes in the allowed shapes of these network components are accompanied by sharps jumps in diversity and other properties. In addition to these jumps, we find a percolation transition in the network of coexisting species, where most species coalesce into a single giant component, and a transition between a unique and many alternative states. Many of these characteristics are unique to sparsely interacting networks, and may allow to identify and make predictions on such communities through their macro-ecological properties.

1 Introduction

Interactions between species play important roles in shaping ecological communities. A central challenge in community ecology is to relate properties of interactions, such as their strength and organization, to characteristics of communities such as diversity and response to perturbations. In modeling, theory, and simulations, some of the potential interactions are assumed to be negligible or irrelevant and are taken to be zero, a property known as sparseness.

Broadly speaking, theoretical approaches vary with the fraction of all potential interactions that are kept in the network. When each species interacts significantly with only a few others, studying the structure of the sparse network of remaining interactions has been fruitful [1]. Many phenomena have been studied, including extended properties such as percolation, and more local properties, such as the distribution of degree (number of species interacting with each species). An extensive body of work looks at local patterns within the network [15]. Central and on-going questions within this line of investigation include: whether these local patterns are more common than some null expectation; whether they play a functional role [6, 7]; whether a bottom-up approach connecting local properties to ecosystem-level properties such as diversity is possible [8, 9]; and whether the ignored “weak” links can indeed be neglected [10].

In the other limit, when many or all possible interactions are present, techniques have been developed [8, 1119] that relate the interaction strengths to properties such as the diversity, existence of multiple stable states, and persistent dynamics. Here two approaches have been used to model the community. In one, the dynamics is linearized around a fixed point, and the parameters describing the dynamics of coexisting species are sampled at random. This approach predicts stability bounds [11, 14], and has also been applied to sparse interactions [20].

In the other approach, known as community assembly, the dynamics of species from a regional species pool is run, possibly resulting in the extinctions of some of the species. One interesting observation within the assembly approach, is that there are sharp transitions in many-species communities, where persistent fluctuations, very many alternative equilibria, or other properties emerge abruptly as relevant interaction characteristics are changed [8, 1113, 15, 17, 18]. These characteristics are, for example, moments of interaction strengths distribution [21]. Such transitions are known as collective transitions, because they arise from community-wide processes, and a result of this is that they become sharp in the many-species limit. Whether and how these phenomena are found when interactions are very sparse (with a finite number of links per species), and whether they are at all related to local connectivity patterns that have been discussed for sparse systems, has received little attention.

Here we find that sparsely-interacting communities can exhibit phenomena that have been the focus of both lines of investigation, in different regimes, depending on interaction strength. We study a theoretical model where a community is assembled from a species pool. To understand the structure of its equilibria, we consider a graph whose vertices include only the species present in the community. We find that when interactions are strong, this graph is composed of many disconnected components. These connected subgraphs, illustrated in Fig 1A, are central to our theory. In the strongly-competitive limit, no two interacting species can coexist, and so the connected components of the graph will be single species [8, 22]. The number of possible connected subgraph structures grows as the interaction strength is lowered, with the subgraphs typically increasing in size. The topology of these finite size subgraphs plays a defining role in coexistence: the problem of species coexistence reduces to a discrete problem on graphs involving local rules, in the spirit of previous works focused on the role of local network patterns. The addition of each new allowed structure is marked by a transition in diversity and species abundance distributions. Note that this would not be possible in a fully-interacting community, which cannot break into multiple connected subgraphs.

thumbnail
Fig 1. Transitions in community structure.

(A) Equilibria reached at different interaction strengths. Red vertices represent persistent species, gray extinct species, and edges mark pairs of interacting species. The persistent species can be divided into connected subgraphs, shown with green background, separated by the extinct species. As the interaction strength α is increased, there are fewer and typically smaller allowed subgraphs, reducing the number of coexisting species. (B) The relative diversity ϕ = S*/S (where S* is the number of persistent species) at equilibrium, from simulations with pool size S = 400 and sparse interactions with degree C = 3 (blue); and for comparison for a fully-interacting community (pink, dashed), which exhibits only a single jump at α = 1. The sparse case exhibits infinitely-many sharp transitions, some of which are marked by dashed vertical lines. By order of increasing α, the first transition is at , from a unique to multiple equilibria. Next there is a percolation transition at αperc ≈ 0.41, below which a finite fraction of the persistent species belong to a single giant connected component. Above this value are seen several jumps. These result from changes in the allowed connected subgraphs, specifically those that are trees. At trees more complicated than a linear chain stop being allowed; there are three more visible jumps corresponding to the ruling out of the length 6, 4, and 2 chains, with other similar jumps that are too small to be seen by eye (green region). There are also many jumps associated with trees that are not chains (yellow region).

https://doi.org/10.1371/journal.pcbi.1010274.g001

At lower interaction strengths, as the interaction strength is varied, we find a percolation transition and a transition between unique and multiple alternative equilibria, similar to ones found in fully-interacting systems [23, 24].

Interestingly, none of these phenomena require heterogeneity in either the degree or the strength of interactions. In fact, the interactions may even be locally ordered, that is, almost all species can have identical neighborhoods up to a finite distance in the network. This is in contrast to collective transitions studied previously, in which heterogeneity is necessary for the transitions to occur [8, 1117]. The interaction strength thus becomes an important parameter on its own, divorced from the width of the distribution.

The paper is organized as follows. Sec 2.1 introduces a theoretical model of a sparsely interacting competitive community assembled from a species pool, in which each species interacts with the same number of other species, and all interaction are of identical strength. The properties of equilibria at different interaction strengths are discussed. Interacting subgraphs of coexisting species are introduced and their role is elucidated. Jumps in diversity, a percolation transition and a unique- to multiple-equilibria transition are found. Sec 2.2 extends the model to include heterogeneity in the network of the vertex degree and interaction strengths. Sec 2.3 shows how connected subgraphs form by combinations of smaller ones. Sec 3 concludes with a discussion.

2 Methods and results

2.1 Constant sparse interactions

2.1.1 The model.

We work within the framework of species assembly, where species migrate from a species pool, and interact inside a community. The abundances change in time according to the standard multi-species Lotka-Volterra equations. There are S species in the pool. The abundance of the i-th species, Ni, follows the equation (1) where αij are the interaction coefficients, ri the growth rates, and λi the migration rates.

In this paper the matrix αij, called the interaction matrix [25, 26], is always assumed to be symmetric, αij = αji, with equal intraspecific competition for all species, αii = 1. The symmetry ensures that the dynamics in Eq (1) always reaches an equilibrium [27]; There may be one or more such equilibria. Here we only consider competitive interactions, αij ≥ 0, and assume that all growth rates are positive, ri > 0; other than that the values of the ri’s have no effect on the set of stable equilibria. In simulations we take all ri = 1, and run Eq (1) until changes in the Ni-values are small. The migration strengths λi are taken to be small, λi → 0+, ensuring that at an equilibrium (i.e. a stable fixed point), all species that could invade do so. We use a migration rate of λi = 10−10, and species are considered extinct when Ni < 10−5. To ensure a true equilibrium has been reached, we separate the species considered extinct from those considered present. We then verify that the present species satisfy 1 − ∑j αij Nj = 0 among themselves for all i, and each extinct species i cannot invade, dNi/dt < 0. Further details of the simulation procedure appear in Section F in S1 Text.

We are interested here in sparse interactions, where many of the pairs of species do not interact (αij = 0). The network of interactions forms an undirected graph, with vertices representing species and edges representing pairs of interacting species, sometimes called the community graph [28].

It is common to use random interactions sampled from different distributions, which capture different interaction characteristics. In this section we will consider the following model: (1) Each species interacts with exactly C other species, with the interacting pairs chosen at random so that the community graph is a random C-regular undirected graph. (2) The interaction strength is equal for all interacting pairs. Therefore, the interaction matrix can be written as αij = δij + αAij, where α is the interaction strength, and Aij is the symmetric adjacency matrix of the community graph. We consider CS, and more precisely the limit of large S at constant C. We will see that this simplified model already yields dramatically different results as compared with a fully-connected system with all-equal interactions. Extensions to varying interaction strength and number of interaction per species are then discussed in Section 2.2.

From a physics perspective, this model is related to models of antiferromagnetic interactions on a tree [2932]. However, many of our results arise from the distinct features of interacting populations, with species abundances described by continuous, non-negative variables, with zero being special (extinct species).

We limit the discussion to properties of the system’s equilibria, and not the dynamics towards the equilibria, or under additional noise, which are very interesting (some already discussed in [33]) but beyond the scope of this work.

2.1.2 Overview of different regimes.

To get a bird’s eye view of the different behaviors, we follow the diversity at the equilibria as a function of the interaction strength α (recall that in this first model α is identical for all pairs). Denote by S the total number of species in the pool, S* the number of coexisting species at an equilibrium (species richness), and define the relative diversity ϕ = S*/S. Fig 1 shows simulation results for ϕ as a function of α. ϕ is estimated by running simulations of Eq (1) over many realizations of adjacency matrices Aij, starting from a few different initial conditions per realization, with each initial abundance Ni(t = 0) sampled uniformly from [0, 1]. The variability in ϕ between simulations under the same conditions decreases with the diversity S, and for large S it is essentially set deterministically. In this limit ϕ also becomes independent of S, as illustrated in Fig A in S1 Text.

For comparison, the case of a full interaction matrix, where all species interact with each other with strength α is also plotted. In this case the behavior is simple: For α < 1 there is a unique fixed point in which all species are persistent with equal abundances, so ϕ = 1, while for α > 1 there are S different fixed points, each with a single persistent species so that ϕ = 1/S, tending to zero at large S. For both the fully-interacting system and a sparse system on a random regular graph, the interactions are locally ordered (the neighborhood of any vertex is a tree with probability 1, see next section), and both admit a fixed point with all species present. The sparsely-interacting system, in contrast, is very rich and exhibits multiple different behaviors with sharp transitions between them. At values of α close to zero, the interactions are weak enough to allow all species to coexist with ϕ = 1, again with all equal abundances. This persists for larger α up to some critical value αUE where ϕ starts to decrease, above which this fixed point is no longer stable. At a higher value αperc there is a percolation transition, above which none of the components of persistent species scales with the system size S. The relative diversity ϕ keeps decreasing until it reaches another transition where there is a jump in ϕ, at a value we denote by . At , the relative diversity ϕ(α) consists of infinitely many plateaus punctuated by jumps, until the last jump at α = 1 and a single plateau above it.

In the following sections, we discuss this behavior in detail, and explain the multiple changes in system behavior and the reasons behind them. We will show in the next sections that and , and provide analytical values for α of all jumps in ϕ(α) at α ≥ 1/2. In Subsection 2.1.4 we discuss the percolation transition, and in Subsection 2.1.5 the unique to multiple equilibria transition, and show that it coincides with α where ϕ first drops below 1.

2.1.3 Allowed subgraphs and their dependence on interaction strength.

Here we begin to explain the different regimes described in Section 2.1.2, by analyzing properties of the equilibria of the model. In the limit of small migration (λi → 0+) some of the species will persist (Ni > 0) and others go locally extinct (Ni = 0 as λi → 0+). At an equilibrium, the extinct species must be unable to invade (dNi/dt < 0), and the abundances of the persistent species must return to the fixed point if perturbed away from it. These conditions will be referred to as uninvadability and stability, respectively. The persistent species can be grouped into connected subgraphs of the community graph, see Fig 1A.

We begin in the limit of very large α, studied in [8, 22]. Under this very strong competition, the problem of finding equilibria reduces to choosing sets of coexisting species that satisfy two conditions. First, two interacting species cannot both persist (competitive exclusion). The connected subgraphs are thus individual species, see Fig 1A, rightmost illustration. Second, an extinct species cannot invade if and only if it interacts with one or more persistent species. Stability is automatically satisfied, as it involves isolated persistent species. Importantly, in this limit of strong interactions the exact values of α do not appear in these two conditions, and so finding an equilibrium point reduces to a discrete, combinatorial problem on the graph, of finding a maximally independent set [8]. In [22], the authors used this insight to calculate the diversity and number of equilibria on Erdős–Rényi graphs (where the pairs of interacting species are chosen independently with some probability).

At lower values of α the connected subgraphs are no longer only isolated species, see Fig 1A. These subgraphs must satisfy certain “internal properties” in order for them to appear at a given α. As long as all of the neighboring species to the subgraph are extinct, the abundances at a fixed point of the subgraph are determined entirely by interactions within it. These abundances must be positive (a condition known as feasibility), and the fixed point must be stable. These conditions depend only on α. This allows us to understand much of the behavior by looking at individual subgraphs: each type of subgraph μ will have a critical value , above which it is either unstable or not feasible, and can therefore only appear at an equilibrium of a system in the “allowed” range . (This leaves out a possibility that a graph could switch back and forth between being allowed or not, see Section A in S1 Text). Thus the system is governed by discrete combinatorial conditions, which determine the entire set of possible equilibria of a given system.

Here another important simplification enters. Sparse random graphs, including random-regular graphs and Erdős–Rényi graphs discussed in Sec 2.2, are locally tree-like, meaning that they have only a finite number of short cycles even when S is large. For example, in a large random regular graph with C = 3 the average number of triangles is 4/3 [34]. Thus, most connected subgraphs of finite size in the network will be trees, i.e., contain no cycles, and properties such as diversity and species abundance distribution that are averages over the entire community can be calculated by only considering trees, and specifically, the critical values need to be found only for trees. Examples of connected subgraphs within a local tree neighborhood are shown in Fig B in S1 Text.

The trees can be divided into chains and other trees. We calculated for chains analytically, see Section A in S1 Text. For a chain with n species, (2)

For chains of even length, is a decreasing series that converges from above to , which is also the critical value for all chains of odd length, . All other trees have , with the first ones appearing, coincidentally, exactly at 1/2, as we prove in Section A in S1 Text. Therefore, only for chains of even length, so only they can appear in communities at α > 1/2.

In addition to these “intrinsic” considerations about the stability and feasibility of different connected components, uninvadability must also be considered. This is more complex since it depends on how the components fit together, and in principle this could lead to additional jumps in ϕ. However, in the α > 1/2 region, such jumps seem to be rare if they exist at all, and their size is so small that we have not detected them in simulations. See details in Section B in S1 Text.

This means that for α > 1/2, in each range of α between the , the allowed types of trees will not change and so essentially the same set of equilibria will exist (since uninvadability does not seem to be important except at the transitions). As α is lowered below some , a new tree abruptly appears, leading to many new possible configurations and thus causing the diversity to jump. While the dynamical simulations used to obtain ϕ(α) do not necessarily reach all equilibria with the same probability, they clearly show jumps in ϕ at these values, with plateaus of approximately constant values of ϕ in between. Fig 1B shows the function ϕ(α), marking some of the critical from Eq (2) as dashed vertical lines, showing that the jumps in ϕ indeed happen exactly at . This also happens for trees that are not chains when α < 1/2, see an example in Section A in S1 Text.

As α is lowered, infinitely many subgraphs of more complex structures become stable, so the values become more dense, and the jumps in ϕ(α) smaller (see Fig C in S1 Text). This makes it harder to observe them in numerics, but we expect that they exist in the entire range down to αUE, defined in the following. Once trees appear there are many interesting types of transitions that could happen. Just as at 1/2 arbitrarily long chains appear, there could be other points where there are qualitative changes in the properties of trees; see the Discussion section for further discussion.

We note that properties of the system, such as the value of ϕ, cannot be determined without consideration of dynamics. Indeed, the dynamics of Eq (1) is more likely to reach some equilibria over others. For instance, for an Erdős-Rényi graph with mean degree C = 3 and interaction strength α > 1, the likeliest relative diversity calculated when assuming all equilibria are equally likely is ϕ ≃ 0.427 [22]; yet in dynamical simulations at α = 1.1 we find ϕ = 0.514±0.003.

The transitions are also reflected in the possible abundances of species, as seen in rank-abundance curves, which show the abundances sorted in decreasing order, see Fig 2. At a given α, the abundance of a species depends only on the connected tree it belongs to, and its position within it; for example, species that belong to a chain of length two have . Therefore, as a tree μ becomes feasible and stable at , the abundances associated with it can appear at an equilibrium. As shown in Fig 2A, this causes the abundance graphs to smooth out as α is lowered, since the number of possible abundances increases.

thumbnail
Fig 2. Changes in feasible and stable trees are reflected in species abundances.

At each value of the interaction strength α, certain trees are allowed, and the abundance of a species depends only on α and the position within a tree. (A) The rank-abundance curves at equilibria reached dynamically for S = 400, C = 3, at several values of α. As α decreases, the increasing number of feasible and stable trees generates more possible species abundances. (B-E) Relative diversity and species abundances on both sides of two transitions at for n = 2, 4, where new trees appear. (C) and (E) show the behavior of ϕ around the transitions associated with pairs of species and chains of length 4 respectively becoming feasible and stable. (B) and (D) show the abundances at equilibria at values of α on two sides of the transitions. The expected abundances are marked by dashed black lines, with thicker lines for the abundances of the species in the tree associated with the transition. Next to each abundance appears the tree that contains it, with the species that have this abundance in dark red (or gray in the case of the abundance 0 of extinct species).

https://doi.org/10.1371/journal.pcbi.1010274.g002

To summarize, in this section we described how the interaction network breaks up into connected subgraphs, with changes in allowed subgraphs driving jumps in diversity and species abundances. These subgraphs are trees that are feasible and stable at that interaction strength. Finding the equilibria of Eq (1) reduces into a discrete graph theoretical problem on the community graph. Broadly speaking, for stronger competition there are fewer and typically smaller allowed trees.

As α is lowered, the size of the allowed subgraphs grows until they span a finite fraction of the species, as discussed in the next section. The number of different types of allowed graphs quickly grows with their size, and the problem of classifying them becomes more difficult, and less useful. These very large connected graphs can include the rare but still existing cycles in the graphs, and so they are no longer trees.

2.1.4 Percolation transition.

Percolation transitions are one of the canonical phenomena studied in graph theory, and appear in various contexts in community ecology (e.g., [1, 35, 36]). In site percolation, some vertices of a graph are removed. As the probability of vertex removal varies, on one side of the transition the remaining graph breaks into small (sub-extensive) pieces; on the other side, a finite fraction of vertices belong to a single connected component. Natural communities belonging to both regimes are known to exist [1].

We find that at some interaction strength αperc there is a percolation transition, below which the largest connected subgraph formed by surviving species is extensive, that is, includes a finite fraction of all the species. Fig 3B shows the fraction of species belonging to the largest connected component as a function of α, for several values S with C = 3. Above a certain α, which for this connectivity is at αperc(C = 3) ≈ 0.41±0.01 (marked by a dashed line), this fraction drops as S increases, indicating a sub-extensive largest component. Below αperc this fraction converges to a constant value. As expected, this value is smaller than 1/2, since at the only possible components are finite-length chains, as shown in Sec 2.1.3 above. Also, αpercαUE where all species persist, see Sec 2.1.5 below. The fact that the transition becomes sharper with growing S is a hallmark of a collective transition.

thumbnail
Fig 3. Collective transitions.

(A) Unique to multiple equilibria transition: the probability for a unique equilibrium as a function of α, for connectivity C = 3 and several pool sizes S. The probability is obtained by generating many realizations of interaction matrices and determining whether there is a unique equilibrium by the stability of the fully-feasible fixed point, as described in the text body. The exact value for the transition, calculated using Eq (3), is shown as a dashed black line. Inset: the same graph over a larger range of α. The transition becomes sharper with S grows, as expected from a collective transition. (B) Percolation transition: the fraction of species in the largest connected component as a function of α, for several values of S. The location of the transition is αperc ≈ 0.41 ± 0.01 (dashed black line). At α < αperc a finite fraction of species belongs to the largest component even when S grows. At α > αperc, this fraction decreases with S. Inset: the same graph over a larger range of α. Here too, the transition becomes sharper at larger values of S.

https://doi.org/10.1371/journal.pcbi.1010274.g003

Fig 3B is qualitatively similar to that of a standard site-percolation transition [37], where vertices are randomly and independently chosen to be “present”. This similarity is used in order to estimate the value of αperc, as in random regular graphs this is the value in which the relative size of the largest component is proportional to S−1/3 [38, 39], see further details in Section D in S1 Text. However, the fraction of persistent species at αperc is around ϕperc ≈ 0.64 ± 0.02, which is larger than the ϕperc = 1/2 of a standard site percolation transition at C = 3 [37]. This is because in our model, the species that persist are not sampled independently; the higher value in our model is expected given that persistent species are correlated, tending not to be adjacent to one another.

The percolation transition marks an abrupt change in the connectivity of the network. Unlike the other transitions discussed here, we have not observed any other sharp changes occurring at this transition, in terms of diversity, stability or other measures beyond the graph connectivity.

2.1.5 Unique to multiple equilibria transition.

We find that the final transition in the model with all-equal α, at the lowest value of α, is from multiple to unique equilibria. In order to find the critical value of α for this transition, we will first argue that the community has a unique equilibrium exactly when it is “fully feasible”, i.e. all species are persistent (ϕ = 1); if the fully-feasible state is an equilibrium then it is necessarily unique. Thus, the transition from the multiple equilibria phases to the unique equilibrium phase occurs at the value αUE(C) in which ϕ drops below 1. The equivalence holds only for this model where all species have the same number of interacting pairs and all interactions have the same strength α, and breaks in more general cases, see Sec 2.2 below.

To understand this relation, consider the Lyapunov function F = 2∑i Ni − ∑ij NiαijNj, which for symmetric interactions (αij = αji) grows with time according to the Lotka-Volterra equations [27], and whose local maxima coincide with the equilibria. The fixed point where all species persist is always feasible, as from the local homogeneity of the community graph all abundances are equal , and this would be stable if the full interaction matrix αij is positive definite. As αij is also the matrix of second derivatives of F, if the fixed point is stable then the Lyapunov function is concave everywhere, meaning the maximum at the “fully feasible” equilibrium is global and therefore unique.

Conversely, if the fully feasible equilibrium is not stable, then F is a non-concave quadratic function on the quadrant {∀i: Ni ≥ 0} and one expects that if there are many species, it is likely to have many local maxima, and therefore multiple equilibria. We checked this relation numerically, by generating 100 realizations of the interaction matrix at a given α, solving the dynamics in Eq (1) with 30 different randomly chosen initial conditions, and checking whether all runs converge to the same equilibrium. This process was repeated around the transition (whose position is given below in Eq (3)), for α ∈ [0.35, 0.36] when C = 3 and for α ∈ [0.285, 0.3] when C = 4, and with S = 200, 400. In all runs, there was a unique fixed equilibrium at exactly the same realizations that were fully feasible.

The stability is thus determined by the range in which the matrix αij = δij + αAij is positive definite. Aij is an adjacency matrix of a C-regular graph of size S, and at large S its minimal eigenvalue is with probability one at [40]. The minimal eigenvalue of the matrix αij is therefore at , and the critical value of α will be (3)

Fig 3A shows the probability of the system having a unique equilibrium as a function of α for several values of S, using the stability of the matrix αij. As S increases, the probability for a unique equilibrium becomes sharper (again, a clear sign of a collective transition), approaching a step function at the expected value of the transition αUE(C).

Eq (3) highlights a somewhat surprising difference between a sparse system at large connectivity C (the limit C → ∞ while keeping CS) and a fully interacting system (where C = S → ∞). As the connectivity C grows, αUE approaches zero; so the unique equilibrium phase shrinks to a tiny range of α. In contrast, as discussed in section 2.1.2, for fully-interacting systems the unique equilibrium phase extends from α = 0 to α = 1.

2.2 Heterogeneity in vertex degree and interaction strength

So far, Sec 2.1 analyzed a model where each species interacts with exactly C others, and all with the same interaction strength α. Here we consider the effects of heterogeneity, both in the strength of species interactions and in the vertex degree (the number of species interacting with a given one). The interaction strength is varied by drawing it from a normal distribution with mean α and a given standard deviation σ. The degree is varied by replacing the random regular graphs with an Erdős-Rényi random graph, in which each pair of species is independently chosen to interact with probability C/S, such that the average degree is C. To understand how these two changes affect the results, we consider them separately. Fig 4 shows the relative diversity ϕ as a function of α or mean(α), for both cases, compared with the random C-regular all-equal α case (with C taken to be the same as the average connectivity of the Erdős-Rényi graph).

thumbnail
Fig 4. Transitions with heterogeneous interaction strengths and degrees.

(A-B) Transitions due to changes in allowed trees are broadened when there is variability in interaction strengths, but remain sharp for variation in degree. The relative diversity ϕ as a function of interaction strength α, for S = 400, C = 3. (A) Erdős-Rényi graphs with interaction probability p = C/S, compared to a random C-regular graph. (B) Interaction strength is drawn from a normal distribution with mean α and standard-deviation σ = 0, 0.03, 0.1, keeping the interactions symmetric and a random regular graph. (C-D) The collective transitions with heterogeneity in interaction strength become sharper as S increases, just as they do without it (compare with Fig 3). Results are shown for C = 3, σ = 0.1 and several values of S. (C) Percolation transition: The fraction of species in the largest connected component as a function of α. (D) Unique to multiple equilibria transition: The probability of having a unique equilibrium as a function of α.

https://doi.org/10.1371/journal.pcbi.1010274.g004

When varying the degree, the jumps in the relative diversity ϕ due to changes in the allowed trees remain sharp, while they are broadened for variations in interactions strength. This makes sense, as the trees can still exist if the degrees vary; there may be additional adjacent species but these do not affect whether the populations on the tree are feasible and stable. On the other hand, the interaction strengths affect the stability and feasibility of the tree. In an Erdős-Rényi graph without variation in the interaction strength, all trees of the same topology will all have the same αc. (ϕ is different between the Erdős-Rényi and regular graphs due to their different structure).

If interaction strengths are varied, trees in the same system which have the same topology but different interaction strengths, might have different limits on stability and feasibility, leading to the appearance of more types of allowed trees than in the all-equal α case. But if the disorder is not too strong, the picture of the all-equal α case remains relevant: if the mean value of α is within a plateau of the all-equal α case and not too close to the ends, the interactions would mostly allow the same trees as they would in the case without disorder. For example, for mean(α) = 0.7, within the plateau allowing only pairs and singlets, for σ = 0.1 these make up 99.5% of feasible trees in a typical equilibrium for large S. Indeed, for σ = 0.1, in most of the range within this plateau, ϕ is almost identical to the all-equal α case Fig 4B. However, this picture does not hold in the regime of , where the set of allowed subgraphs is much more sensitive to the heterogeneity. In the all-equal α case, the critical values are much more dense in this range than for the short chains at (see Section A in S1 Text). Therefore, for a given value of σ at some , subgraphs of many more different shapes would become allowed or disallowed as a result of the heterogeneity than for the same value of σ in most of the range .

As a rule of thumb, the width of the broadened regions replacing the jumps will be proportional to the width σ of the distribution of α. The precise shape of these broadened regions would have some dependence on the distribution of α (e.g., whether it is Gaussian, uniform or otherwise). This is in contrast to fully interacting networks, where only low moments of the distribution of α affect the community properties [19].

The two remaining transitions, for percolation and from unique to multiple equilibria, both appear to become sharper as S increases for both variations in interaction strengths and degree, as can be seen in Fig 4C and 4D and in Fig F in S1 Text. For any given S the transitions are broader compared to the equal-α model (Fig 3). More work is needed to understand the properties of this transition and its location (we note that an analogous transition in a fully-interacting system, known to be asymptotically sharp, is similarly broadened at finite S [12]).

Furthermore, in both cases ϕ drops below 1 while still at the unique equilibrium phase, which happens when the system is no longer fully feasible. This is shown for both Erdős-Rényi random graph and for varying interaction strengths in Fig F in S1 Text. This is in contrast to the all-equal α model, where ϕ drops below 1 when the system becomes unstable at αUE.

2.3 Subgraph emergence rule: How the trees grow

As the interaction strength is lowered (by lowering α if it is constant, as in Sec 2.1.1 or changing mean(α) when interactions are heterogeneous, as in Sec 2.2), the allowed connected subgraphs become larger (containing more species) and more complicated, until one connected subgraph can take up a finite fraction of the community at the percolation transition. As the interaction strength keeps decreasing, this extensive connected subgraph continues to grow until it finally includes the entire network. For α > 1/2 there is a clear regularity in the sequence of transitions, as even-length chains become allowed by order of length. This raises the question of whether there is any regularity by which more complicated subgraphs (trees, and even subgraphs with cycles) become allowed. We now describe a general and simple result, when the interaction strengths are heterogeneous.

Consider a subgraph within the interaction network, see Fig 5. Since interaction strengths are not all equal, this refers to a specific set of vertices, which means the result can be different for the same subgraph structure when it involves different species. To define αc of the subgraph, consider the process by which the mean strength is changed by shifting the values of the αij, i.e. adding a constant (other continuous changes of the matrix α are also possible). Just below αc all abundances are positive. We prove in Section E in S1 Text that with probability one, it is feasibility, rather than stability, that is lost at αc, by one species going extinct, with Ni vanishing continuously as ααc. (This relates to results on other systems showing that if the entire system is feasible then generically it would also be stable [4144]). When this species becomes extinct, the remaining subgraph splits up into allowed subgraphs. This means that there is a hierarchical relationship, where the allowed subgraph right below αc is composed of subgraphs allowed right above αc, with one additional vertex.

thumbnail
Fig 5. A tree that becomes feasible and stable at some αc, can be constructed from three or more trees that are allowed right above αc (surrounded by dashed lines), joined by one additional species (green).

This is true with probability one when there is heterogeneity in interaction strengths.

https://doi.org/10.1371/journal.pcbi.1010274.g005

For a tree subgraph, the species that goes extinct interacts with at least three species in that subgraph (meaning that it is a branching point), assuming that the distribution of the αij-values is not too wide. See argument in Section E in S1 Text. This implies that the tree splits into three or more trees.

This construction gives a constraint on what order the specific subgraphs become allowed, i.e. become feasible and stable: that when a subgraph becomes allowed as α is decreased, pieces of it with one species removed were already allowed. As noted above, because of the heterogeneity of the interactions, here a subgraph refers to a specific set of species on which it resides. Note that as always, whether an allowed graph appears in an equilibrium depends also on the neighboring species and the rest of the network.

3 Discussion

We have looked at a community assembled from a pool of sparsely-interacting species. When the interactions are strong enough, the assembly process breaks the network into many connected subgraphs. The problem of equilibrium coexistence reduces to understanding which subgraphs are allowed, and how they are organized to keep extinct species from invading.

When these subgraphs are small, it might be possible to formulate predictive local rules about their occurrence, in the spirit of “assembly rules” [4, 45, 46]. The simplest example is competitive exclusion, where if the interactions between two species are greater than one, αij, αji > 1, then they cannot coexist within a community of species that interact competitively, irrespective of the state of the other species. This can be interpreted as a rule that when the interaction strength is stronger than one, the connected components include just one species. Here this regularity extends to weaker interaction strengths, first identifying a regime where interacting pairs are also allowed, which is quite robust to some level of heterogeneity in interactions strengths (Sec 2.2), and then to regimes with larger connected subgraphs.

For lower interaction strengths there are many larger allowed subgraphs, making the corresponding graph-theoretical problem hard and far less local, and limiting the potential for predictive local rules. At even lower interaction strengths, connections percolate across the entire network of coexisting species, and below that there is a dramatic transition in behavior, as the equilibrium becomes unique, similar to transitions found in fully-interacting systems [12, 23, 24]. We have not observed any sharp changes occurring at the percolation transition, to diversity, stability or other measures beyond the graph connectivity; percolation might however be a necessary bridge between the finite-subgraph regime, and the unique to multiple-equilibria transition.

Communities where the community graph percolates, as well as ones consisting of small disconnected subgraphs, are known to exist in nature [1]. It would be interesting to experimentally test our prediction, that the community breaks down into smaller subgraphs as interaction strengths increase. This would require control of interaction strengths (for example as in [47]). In the same way the prediction of the hierarchy of subgraph growth in section 2.3 could be tested.

In a striking difference from fully-connected networks, the rich phenomenology we found is present even when the interactions strengths are all the same, as are the number of competitors per species; thus, while the interactions are locally ordered, with the neighborhoods of almost all species being identical, abundances can vary greatly. This is in contrast with fully-interacting networks, where a variability in interaction strength is necessary for non-trivial phenomena to occur, and has been central to much of the field for decades [8, 1117]. This makes the interaction strength (or its mean as opposed to the width of the distribution) a parameter of independent importance, single-handedly driving changes in stability and feasibility. When heterogeneity is present, the mean and distribution of interaction strengths have a combined effect, with the allowed subgraphs still playing a central role in shaping the community.

There are also many mathematical questions to explore in these systems, which are interesting because of the interplay between the combinatorial structure of the community graphs and the quantitative properties of the interaction matrices. Such questions include a further understanding of the sequence of transitions: Are there other limit points where infinite trees become stable (such as the infinite chain becoming stable at α = 1/2)? And are there ranges where the critical points are dense? It would be especially interesting to understand the transition to the unique equilibrium state, by studying the structure of the small groups of species that go extinct just above the transition. It would likely be possible to make progress on many of these questions by studying ideal infinite trees with a fixed degree C, so that the inhomogeneity in the equilibria arises from their instabilities.

Another question is how much the dynamics affects the distribution of equilibria reached, which is not uniform over all possible equilibria, as discussed in Section 2.1.3, and how much this affects the results, such as the sizes of the jumps in diversity. The effect of noise, not considered in this paper, is also very interesting. The transient dynamics when relaxing towards equilibria can be of interest in itself, particularly if long periods of time are spent near unstable fixed points on the way to a stable one. Finally, going beyond the models discussed in this paper, when interactions are asymmetric the dynamics might never reach an equilibrium, opening a wide field for further research.

The extent to which interactions in different natural communities are sparse is an open question, since directly measuring interaction strengths can be hard, especially the weaker ones. This is complicated by additional factors, as many weak interactions might have a large cumulative effect, and that some inference techniques assume that the network is sparse (e.g., [48]). One can hope that studying consequences of sparsity would help identify and better understand such communities.

Supporting information

S1 Text. Appendices.

Details of theory and simulations.

https://doi.org/10.1371/journal.pcbi.1010274.s001

(PDF)

Acknowledgments

It is a pleasure to thank M. Barbier, J. Friedman and J. Gore, for stimulating discussions and helpful feedback.

References

  1. 1. Guimarães PR. The Structure of Ecological Networks Across Levels of Organization. Annu Rev Ecol Evol Syst. 2020 Nov;51(1):433–60.
  2. 2. Bascompte J. Disentangling the Web of Life. Science. 2009 Jul;325(5939):416–9. pmid:19628856
  3. 3. Holt RD, Hochberg ME. Indirect Interactions, Community Modules and Biological Control: A Theoretical Perspective. In: Wajnberg E, Scott JK, Quimby PC, editors. Evaluating Indirect Ecological Effects of Biological Control. Key Papers from the Symposium ‘Indirect Ecological Effects in Biological Control’, Montpellier, France, 17–20 October 1999. Wallingford: CABI; 2001. p. 13–37.
  4. 4. Stone L, Simberloff D, Artzy-Randrup Y. Network Motifs and Their Origins. PLoS Comput Biol. 2019 Apr;15(4):e1006749. pmid:30973867
  5. 5. Milo R. Network Motifs: Simple Building Blocks of Complex Networks. Science. 2002 Oct;298(5594):824–7. pmid:12399590
  6. 6. Valverde S, Piñero J, Corominas-Murtra B, Montoya J, Joppa L, Solé R. The Architecture of Mutualistic Networks as an Evolutionary Spandrel. Nat Ecol Evol. 2018 Jan;2(1):94–9. pmid:29158553
  7. 7. Holt RD, Polis GA. A Theoretical Framework for Intraguild Predation. The American Naturalist. 1997 Apr;149(4):745–64.
  8. 8. Fried Y, Kessler DA, Shnerb NM. Communities as Cliques. Sci Rep. 2016 Dec;6(1):35648. pmid:27759102
  9. 9. Bascompte J, Stouffer DB. The Assembly and Disassembly of Ecological Networks. Phil Trans R Soc B. 2009 Jun;364(1524):1781–7. pmid:19451127
  10. 10. McCann K, Hastings A, Huxel GR. Weak Trophic Interactions and the Balance of Nature. Nature. 1998 Oct;395(6704):794–8.
  11. 11. May RM. Will a Large Complex System Be Stable? Nature. 1972 Aug;238(5364):413–4.
  12. 12. Bunin G. Ecological Communities with Lotka-Volterra Dynamics. Phys Rev E. 2017 Apr;95(4):042414. pmid:28505745
  13. 13. Kessler DA, Shnerb NM. Generalized Model of Island Biodiversity. Phys Rev E. 2015 Apr;91(4):042705. pmid:25974525
  14. 14. Allesina S, Tang S. Stability Criteria for Complex Ecosystems. Nature. 2012 Mar;483(7388):205–8. pmid:22343894
  15. 15. Opper M, Diederich S. Phase Transition and 1/ \emphf Noise in a Game Dynamical Model. Phys Rev Lett. 1992 Sep;69(10):1616–9. pmid:10046267
  16. 16. Dougoud M, Vinckenbosch L, Rohr RP, Bersier LF, Mazza C. The Feasibility of Equilibria in Large Ecosystems: A Primary but Neglected Concept in the Complexity-Stability Debate. PLOS Computational Biology. 2018 Feb;14(2):e1005988. pmid:29420532
  17. 17. Tikhonov M, Monasson R. Collective Phase in Resource Competition in a Highly Diverse Ecosystem. Phys Rev Lett. 2017 Jan;118(4):048103. pmid:28186794
  18. 18. Fisher CK, Mehta P. The Transition between the Niche and Neutral Regimes in Ecology. PNAS. 2014 Sep;111(36):13111–6. pmid:25157131
  19. 19. Barbier M, Arnoldi JF, Bunin G, Loreau M. Generic Assembly Patterns in Complex Ecological Communities. Proc Natl Acad Sci USA. 2018 Feb;115(9):2156–61. pmid:29440487
  20. 20. Mambuca AM, Cammarota C, Neri I. Dynamical Systems on Large Networks with Predator-Prey Interactions Are Stable and Exhibit Oscillations. arXiv:200911211 [cond-mat, q-bio]. 2021 Sep.
  21. 21. Barbier M, de Mazancourt C, Loreau M, Bunin G. Fingerprints of High-Dimensional Coexistence in Complex Ecosystems. Phys Rev X. 2021 Jan;11(1):011009.
  22. 22. Fried Y, Shnerb NM, Kessler DA. Alternative Steady States in Ecological Networks. Phys Rev E. 2017 Jul;96(1):012412. pmid:29347089
  23. 23. Biroli G, Bunin G, Cammarota C. Marginally Stable Equilibria in Critical Ecosystems. New J Phys. 2018 Aug;20(8):083051.
  24. 24. Diederich S, Opper M. Replicators with Random Interactions: A Solvable Model. Phys Rev A. 1989 Apr;39(8):4333–6. pmid:9901778
  25. 25. Levins R. Evolution in Changing Environments: Some Theoretical Explorations. 3rd ed. No. 2 in Monographs in Population Biology. Princeton, NJ: Princeton Univ. Pr; 1974.
  26. 26. May RM. Stability and Complexity in Model Ecosystems. Monogr Popul Biol. 1973;6:1–235. pmid:4723571
  27. 27. MacArthur R. Species Packing and Competitive Equilibrium for Many Species. Theoretical Population Biology. 1970 May;1(1):1–11. pmid:5527624
  28. 28. Logofet DO. Matrices and Graphs: Stability Problems in Mathematical Ecology. Boca Raton: CRC press; 1993.
  29. 29. Müller-Hartmann E, Zittartz J. Phase Transitions of Continuous Order: Ising Model on a Cayley Tree. Z Physik B. 1975 Mar;22(1):59–67.
  30. 30. Thompson CJ. Local Properties of an Ising Model on a Cayley Tree. J Stat Phys. 1982 Mar;27(3):441–56.
  31. 31. Inawashiro S, Thompson CJ. Competing Ising Interactions and Chaotic Glass-like Behaviour on a Cayley Tree. Physics Letters A. 1983 Sep;97(6):245–8.
  32. 32. Changlani HJ, Ghosh S, Henley CL, Läuchli AM. Heisenberg Antiferromagnet on Cayley Trees: Low-energy Spectrum and Even/Odd Site Imbalance. Phys Rev B. 2013 Feb;87(8):085107.
  33. 33. Bunin G. Directionality and Community-Level Selection. Oikos. 2021;130(4):489–500.
  34. 34. Bollobás B. A Probabilistic Proof of an Asymptotic Formula for the Number of Labelled Regular Graphs. European Journal of Combinatorics. 1980 Dec;1(4):311–6.
  35. 35. Dong G, Fan J, Shekhtman LM, Shai S, Du R, Tian L, et al. Resilience of Networks with Community Structure Behaves as If under an External Field. Proceedings of the National Academy of Sciences. 2018 Jul;115(27):6911–5. pmid:29925594
  36. 36. Denk J, Hallatschek O. Self-Consistent Migration Puts Tight Constraints on the Spatio-Temporal Organization of Species-Rich Metacommunities; 2021.
  37. 37. Bunde A, Havlin S, editors. Fractals and Disordered Systems. Berlin, Heidelberg: Springer Berlin Heidelberg; 1996.
  38. 38. Erdős P, Rényi A. On the Evolution of Random Graphs. Publ Math Inst Hung Acad Sci. 1960;5(1):17–60.
  39. 39. Joos F, Perarnau G. Critical Percolation on Random Regular Graphs. Proc Amer Math Soc. 2018 Mar;146(8):3321–32.
  40. 40. McKay BD. The Expected Eigenvalue Distribution of a Large Regular Graph. Linear Algebra and its Applications. 1981 Oct;40:203–16.
  41. 41. Roberts A. The Stability of a Feasible Random Ecosystem. Nature. 1974 Oct;251(5476):607–8.
  42. 42. Rozdilsky ID, Stone L. Complexity Can Enhance Stability in Competitive Systems. Ecology Letters. 2001;4(5):397–400.
  43. 43. Stone L. The Google Matrix Controls the Stability of Structured Ecological and Biological Networks. Nature Communications. 2016 Sep;7(1):12857. pmid:27687986
  44. 44. Stone L. The Feasibility and Stability of Large Complex Biological Networks: A Random Matrix Approach. Sci Rep. 2018 Dec;8(1):8246. pmid:29844420
  45. 45. Weiher E, Keddy P, editors. Ecological Assembly Rules: Perspectives, Advances, Retreats. 1st ed. Cambridge: Cambridge Univ. Press; 2001.
  46. 46. Friedman J, Higgins LM, Gore J. Community Structure Follows Simple Assembly Rules in Microbial Microcosms. Nat Ecol Evol. 2017 Mar;1(5):1–7. pmid:28812687
  47. 47. Hu J, Amor DR, Barbier M, Bunin G, Gore J. Emergent Phases of Ecological Diversity and Dynamics Mapped in Microcosms. Biophysics; 2021.
  48. 48. Kurtz ZD, Müller CL, Miraldi ER, Littman DR, Blaser MJ, Bonneau RA. Sparse and Compositionally Robust Inference of Microbial Ecological Networks. PLOS Computational Biology. 2015 May;11(5):e1004226. pmid:25950956