Abstract
In his seminal work in the 1970s, Robert May suggested that there is an upper limit to the number of species that can be sustained in stable equilibrium by an ecosystem. This deduction was at odds with both intuition and the observed complexity of many natural ecosystems. The so-called stability-diversity debate ensued, and the discussion about the factors contributing to ecosystem stability or instability continues to this day. We show in this work that dispersal can be a destabilising influence. To do this, we combine ideas from Alan Turing’s work on pattern formation with May’s random-matrix approach. We demonstrate how a stable equilibrium in a complex ecosystem with trophic structure can become unstable with the introduction of dispersal in space, and we discuss the factors which contribute to this effect. Our work highlights that adding more details to the model of May can give rise to more ways for an ecosystem to become unstable. Making May’s simple model more realistic is therefore unlikely to entirely remove the upper bound on complexity.
Similar content being viewed by others
Introduction
Providing a firm counterpoint to the view that greater ecosystem complexity promoted stability1,2,3,4,5,6, Robert May used a simple statistical model7,8 to argue that increasing the number of species in an ecosystem could in fact reduce stability. By analysing the eigenvalues of a randomly constructed community matrix, May deduced the following criterion for stability7
In this criterion σ2 is the variance in the inter-species interactions, N is the number of species and C is the connectance (the probability that any given pair of species interact with one another). May’s result shows that stability is decided by the product c = σ2NC. We will call this quantity the ‘complexity’ of the ecosystem.
May’s model suggests that more complex ecosystems tend toward instability. For a fixed variance of interactions, there is an upper bound to the number of species and food web connections that the ecosystem can sustain. This idea quickly became controversial and May’s work sparked the so-called complexity-stability (or diversity-stability) debate, which continues to this day5,6,9.
Since the 1970s, the discussion around stability has been made more precise and subtle. It is now understood that there are a number of senses in which an ecosystem can be unstable and, indeed, there are a number of ways one can define diversity5,10. An ecosystem can be unstable with respect to, for example, the introduction of new species, the extinction of existing species, or environmental changes. May’s work specifically addresses stability with respect to fluctuations in species abundance.
In order to understand the influence of the many aspects of real ecosystems on stability, May’s fairly austere model has since been augmented and improved upon. Features not captured by May’s initial model include food-web structure (e.g., trophic levels, modularity and nestedness)8,11,12,13,14,15, the feasibility of the equilibrium16,17, nonlinearities and alternative interpretations of ‘interaction strength’18,19,20 and variability of the environment and of species’ susceptibility to environmental change21,22,23,24. In many models of complex ecosystems, however, only the total abundance of each species is considered without appreciating how the members of that species are distributed in space7,8,11,12,13,16,17,19,20,21,22,23,24. In such models, there is no notion of space and hence no dispersal. In this work, we explicitly include the effects of diffusive dispersal in space and study the effects on stability.
Dispersal may intuitively be expected to be a homogenising and stabilising influence. As demonstrated recently in ref. 25, it can indeed stabilise equilibria in spatially heterogeneous ecosystems. Perhaps counter-intuitively, the insight of Turing’s seminal work26 was that dispersal can also destabilise a dynamical system. Such instability has been studied in meta-population27,28 predator–prey models with small numbers of species29,30,31 and numerically for food webs on networks32. We combine Turing’s idea with May’s random-matrix approach to show that a similar destabilising effect can be seen in models of complex ecosystems.
In order not to obscure the key effects at work, we opt to modify May’s paradigmatic model sparingly. This allows us to highlight the consequences of the inclusion of dispersal. We suppose that the abundances of the species rest in a steady, homogeneous equilibrium. In order to study stability, we examine the Jacobian matrix governing perturbations in species abundance about this equilibrium. Like May, we ask what statistical properties are required of the Jacobian matrix in order for the ecosystem to return to equilibrium when perturbed.
Unlike May, however, we allow for trophic structure in our model. It is the combination of dispersal and trophic structure which gives rise to the Turing-type instability. For the sake of mathematical simplicity, we confine our model to only two broad trophic classifications: predator and prey species. The two groups of species are distinguished by statistical differences in their interactions. Our approach can be generalised to more complicated food web structures.
We now postulate the form of the Jacobian matrix central to our problem, Mq. The elements of this matrix describe how spatial disturbances of wavelength λ = 2π/q in the abundance of one species affect the abundances of the other species; q is known as the wavenumber33.
Because of the trophic structure of the community, the matrix Mq has a block structure where each block has different statistics. Similarly structured random matrices have been used in previous literature34,35. The matrix Mq is comprised of three terms: a diffusion term, and an intra-species interaction term and an inter-species interaction term. We write
The diffusion coefficients for prey and predator species are Du and Dv respectively (Fig. 1). The interaction matrix A is modelled as having elements drawn from a correlated Gaussian ensemble, although other distributions may be used to obtain the same results (see Section S7 in the Supplementary Information). Further details on the structure of Mq and how one arrives at this form are given in Fig. 1 and in the Methods section.
The problem of analysing stability reduces to finding the eigenvalue spectrum of the matrix Mq. If the eigenvalues of this matrix all have negative real parts, then the equilibrium is stable with respect to disturbances of wavenumber q. Else, it is unstable. In order for the equilibrium to be stable on the whole, all eigenvalues of Mq must have negative real parts for all values of q.
If the number of species in the ecosystem is large, then the eigenvalue spectrum is dependent only on the statistics of Mq and not on its specific entries. Using random-matrix theory and ideas from statistical physics, we are able to deduce a mathematical expression for the support of the eigenvalue spectrum of Mq. That is, we can find the region in the complex plane in which the eigenvalues sit and, most importantly, whether or not they have positive real parts. Examples are shown in Fig. 2.
With this analytical approach, we can calculate what properties of Mq make the equilibrium unstable. Thus, we can deduce how May’s upper bound on ecosystem complexity is modified by the inclusion of dispersal and trophic structure. Most crucially, we show that equilibria which would be stable without spatial effects can be destabilised by dispersal. We find that this dispersal-induced instability is possible not only in a linear model but also in a non-linear system where the equilibrium is arrived at dynamically and hence is feasible by construction.
Results
Eigenvalue spectra
We show some example eigenvalue spectra of the matrix Mq in Fig. 2. The vast majority of the eigenvalues group into a ‘bulk’ region, with the exception of a few outliers. These outliers cannot be ignored – the excursion of even one eigenvalue across the imaginary axis to the positive real side makes the equilibrium unstable.
Using the statistical properties of Mq we are able to calculate mathematically the bulk regions to which most of the eigenvalues are confined and the locations of any outliers. In Fig. 2a–c, we show that these calculations agree very well with the spectra of computer-generated random matrices. We can therefore predict what community properties lead to stability or instability.
As Fig. 2 demonstrates, it is possible to find circumstances under which the model community is destabilised by the inclusion of dispersal. Figure 2a shows the eigenvalue spectrum for the model without spatial effects (q = 0, or equivalently Du = Dv = 0, see Methods). All eigenvalues in Fig. 2a have negative real parts so we conclude that the equilibrium is stable for the model ecosystem without dispersal. In Fig. 2b we take into account dispersal and show the eigenvalue spectrum for a non-zero wavenumber. All other parameters are the same as in Fig. 2a. Now, an outlier eigenvalue strays over the imaginary axis, demonstrating that the equilibrium is unstable. For perturbations with higher wavenumbers, the outlier returns to the negative half-plane (Fig. 2c)—the equilibrium is stable with respect to perturbations of higher wavenumber. Figure 2d shows the real part of the rightmost eigenvalue (\(\,\text{Re}\,[{\omega }_{\max }]\)) as a function of the wavenumber q, highlighting the set of wavenumbers against which the equilibrium is unstable.
To understand the role of trophic structure in dispersal-induced instability, let us consider momentarily a model without statistical distinction between predator and prey species (like May’s original model7), and with a common diffusion coefficient D for all species. The rightmost eigenvalue would have the following dependence on wavenumber: \(\,\text{Re}\,[{\omega }_{\max }]={\omega }_{0}-D{q}^{2}\), where ω0 is a rightmost eigenvalue of the community stability matrix without dispersal (q = 0). In this simple case, \(\,\text{Re}\,[{\omega }_{\max }]\) is a purely decreasing function of q. If ω0 < 0 then \(\,\text{Re}\,[{\omega }_{\max }]\,<\,0\) for all values of q. There can be no dispersal-induced instability here. The inclusion of trophic structure in our model leads to a maximum in \(\,\text{Re}\,[{\omega }_{\max }]\) at a non-zero value of q (Fig. 2d) and, consequently, a finite band of non-zero wavenumbers against which the equilibrium is unstable. This is the essence of why dispersal in combination with tropic structure can promote instability.
In Turing’s original work on chemical reaction systems26, instability with respect to perturbations of a finite band of wavenumbers [as in Fig. 2d] signalled the formation of stable periodic patterns. The exact shape of these patterns is usually determined by non-linearities in the differential equations describing the reactions. Our model is valid only in the vicinity of the supposed equilibrium and, similar to May7, we have not specified the nature of any non-linearities. We, therefore, do not speculate for now about what might happen after the system has departed from the fixed point. We merely point out here the dispersal-induced instability of the equilibrium about which we have linearised.
Modifying May’s bound: stability with and without dispersal
In order to further appreciate the effect that the inclusion of dispersal has on stability, we first consider the conditions under which the non-spatial ecosystem becomes unstable (see Methods). This enables us to study how May’s bound on the complexity c changes for our model, which has distinct predator and prey species. A stability plot is shown in Fig. 3a. The horizontal axis shows the average degree of predation p = CNμvu (see Methods). The vertical axis is the complexity parameter c. The solid line indicates the upper bound on the complexity: below the line the equilibrium is stable, above this line it is unstable.
We see from Fig. 3 that greater predation p increases the amount of complexity c that can be sustained in stable equilibrium by the ecosystem. Notably, in order to have stability at all in the model with trophic structure, there is a lower bound on the predation parameter p.
If we now include dispersal, the stability diagram changes [Fig. 3b]. In particular, the upper bound on the complexity can become lower than in the non-spatial system. This is because a new type of instability is now possible—the Turing instability. Thus, there are instances in which the model is stable without dispersal but unstable when dispersal is introduced (yellow area in Fig. 3b labelled ‘dispersal-induced instability’).
There are no situations in which an unstable equilibrium is stabilised by the combination of dispersal and trophic structure alone. However, previous work25 has shown how the combination of spatial heterogeneity (in inter-species interactions) with dispersal can be stabilising. We comment on the effect of including spatial heterogeneity in our model in the Discussion and in the Supplementary Information (Section S14).
How does complexity affect the Turing instability?
So far we have concerned ourselves with the effects of dispersal on complex ecosystems. We now ask the reverse question: spatial instability and pattern formation have been found in ‘simple’ models of ecosystems with a small number of species36,37,38,39. What are the effects of complexity on this Turing instability?
In general, Turing instabilities in simple systems typically occur when the diffusion coefficients of the ‘activator’ and ‘inhibitor’ components are quite disparate—this is known as the ‘fine-tuning issue’ with the Turing mechanism40,41. The activating components in our system are the prey species, while predators play the role of the inhibitors. We would like to know what the effects of complexity are on the threshold ratio Dv/Du at which the Turing instability occurs. To answer this question, we compute this threshold for different values of the complexity parameter c.
The case c = 0 can be achieved by setting the width σ of the distribution for the elements of the matrix A to zero. The matrix elements within a block are then identical to each other. The model thus reduces to a simple two-species predator–prey system. Increasing c from zero introduces heterogeneity between the species within the blocks.
We find that complexity can lower the ratio of diffusion coefficients required for Turing instability (Fig. 4). For more complex ecosystems the Turing instability, therefore, sets in more easily. So, not only can complexity decrease the stability of non-spatial model ecosystems, but it can also reduce stability in spatial models. Conversely, increasing the ratio of diffusion coefficients Dv/Du reduces the complexity that can be sustained in stable equilibrium. As can be seen in Fig. 4, the upper bound on c is lower when the disparity of dispersal rates is large.
Spatial instability in a non-linear model with complexity
The linear analysis we have focused on so far, although informative, has drawbacks. It only deals with the dynamics in the vicinity of a homogeneous equilibrium and it tells us nothing about how the ecosystem behaves in the long-run if the equilibrium is unstable. Further, one could object that the linear model is somewhat contrived and that it does not capture how a ‘real’ ecosystem constructs itself in equilibrium.
We now present simulation data of a complex ecosystem obeying non-linear Levin–Segel-type dynamics31 (see Methods). In Fig. 5, we demonstrate that a dispersal-induced instability can occur in this model as well. Figure 5a shows a realisation of the dynamics without dispersal. The model ecosystem converges to an equilibrium composed only of surviving species. By definition, this is a feasible equilibrium34.
Figure 5b shows the same model (with the same interaction matrix A) but now with dispersal. The abundances do not settle in the long run. Instead, they display quite erratic behaviour. We stress that this is different from the typical behaviour seen in two-species systems with a Turing instability. In such simple systems, the abundance of each species converges to a constant value eventually. The fixed-point value varies across space, generating a periodic pattern. The complex nature of the interactions in our model leads to the more complicated dynamics in Fig. 5b known as diffusion-induced chaos42,43.
With that being said, at any point in time, one can take a snapshot of the spatial profile of the species abundances. An example is shown in Fig. 6. One finds some spatial structure for the abundances of prey species (blue lines) but this differs from classic Turing patterns, which are typically more periodic and regular. We note that the quickly diffusing predator species (red lines) have more smoothly undulating spatial profiles than the slowly diffusing prey species in this example.
Discussion
The random-matrix approach to modelling ecosystems has developed substantially since May’s original work. We contribute to this development with a model of a complex ecosystem which includes trophic structure and dispersal in space. These additional features change May’s bound on complexity. How the bound changes tells us about the influence of the new model components on stability. For example, we find that predation acts as a stabilising influence (Fig. 3, and Sections S5 and S14 of the Supplementary Information).
Inspired by Turing’s mechanism for pattern formation26, we show how dispersal can be a destabilising factor in a complex ecosystem. An equilibrium which would be stable in the non-spatial model can become unstable through dispersal. Such instability has been suggested as a mechanism for the observed patterns in natural ecosystems with small numbers of species involved44,45,46,47,48,49. Our work extends the consideration to a larger number of species and suggests the possibility of dispersal-induced instability in more complex communities.
Conversely, we observe that increased complexity can lower the threshold for the diffusion coefficients required for a Turing instability. So, not only does complexity reduce stability in a non-spatial model as was May’s conclusion7, but it also destabilises spatial models with dispersal. This is interesting especially in light of the so-called ‘fine-tuning’ issue with the Turing mechanism. The ratio of diffusion coefficients required for a Turing instability is usually large, making it hard to find experimental examples of Turing pattern formation33,41,50,51. Based on our findings, we speculate that dispersal-induced instability may be easier to observe in complex dynamical systems.
To demonstrate that dispersal-induced instability can also be seen in model ecosystems where the equilibrium is arrived at more naturally, we performed simulations of a complex ecosystem with Levin-Segel dynamics (Fig. 5). We found that this model also exhibits a dispersal-induced instability. Because of the complex nature of the interactions, the system does not reach a stable patterned state, which is normally characteristic of Turing instabilities in models with fewer species. Instead, one sees persistently volatile dynamics known as diffusion-induced chaos42,43.
So as to highlight the destabilising effect of the combination of dispersal and trophic structure as clearly as possible, we were parsimonious with the inclusion of additional detail in the model. It is possible to relax some of the restrictions that we imposed without sacrificing the ability to perform the mathematical analysis. For example, variation in the autoregulation coefficients dα and the dispersal coefficients Dα between species can be taken into account (in a similar way to ref. 52). In Section S9 of the Supplementary Information, we show that the possibility of dispersal-induced instability remains despite this additional complication.
Provided that relatively mild conditions are met, we also demonstrate that our results still apply when the random matrix elements are drawn from a non-Gaussian distribution (see Section S7 in the Supplementary Information). More precisely, we show that the eigenvalue support only depends on the first and second moments of the distribution of the random matrix elements \({A}_{ij}^{\alpha \beta }\). This feature of the random matrix model is known as universality53,54. This is interesting from a theoretical point of view and also allows one to constrain the signs of the interaction coefficients within the different blocks in the interaction matrix (see Section S8 in the Supplementary Information). This means that it is possible to enforce strict loss-gain interactions between prey and predator species and to eliminate effects such as intraguild predation. Again, the possibility of dispersal-induced instability remains.
In spatial models of ecosystems, dispersal is often implemented as migration between discrete patches rather than by diffusion in a continuous domain27,28. The set of interspecies interactions in the different patches can then be conceptualised as the edges of a multi-layer network14,15. Our results, which were derived using diffusive dispersal in continuous space, also continue to hold in such meta-ecosystems (see Sections S1C and S13 of the Supplementary Information).
A patched landscape is also a particularly convenient way to include spatial heterogeneity in the model. A recent study by Gravel et al.25 demonstrated that dispersal can stabilise equilibria in complex ecosystems with spatial heterogeneity (we replicate these findings with our method in Section S11 of the Supplementary Information). This study did not include trophic structure, which is a key aspect of our model. If spatial heterogeneity is combined with trophic structure, both the stabilising mechanism reported in25 and the dispersal-induced instability at the focus of our work can be seen in the same model (see Section and S14 in the Supplementary Information and in particular Fig. S13).
The stabilising effect in ref. 25 and the destabilising mechanism we present can be viewed as somewhat separate. Dispersal-induced instability is associated with the outliers in the eigenvalue spectrum. The basis for the stabilising mechanism in ref. 25 is a reduction in the bulk eigenvalue spectrum (see Supplementary Information Sections S11 and S12). Which one of the effects takes precedence depends on the circumstances. A community with trophic structure and a significant predator-to-prey ratio of dispersal rates will be more likely to exhibit dispersal-induced instability. A community with significant spatial variation in interactions and consistently high dispersal rates across all species will be more likely to be subject to the stabilising effects of dispersal (for further discussion see Section S14 of the Supplement and Fig. S14 in particular).
One criticism levelled at May’s model is that it is too simple and that perhaps through the inclusion of further aspects of natural ecosystems, the upper bound on the complexity could be eliminated. Our results do not support this hypothesis. Like May, we also find that there is always an upper limit on the complexity c = σ2NC that an ecosystem can stably sustain, even when stabilising factors such as predation and spatial heterogeneity are taken into account. Other recent studies using random-matrix approaches arrive at similar conclusions. For example, Allesina and Tang12 take into account more realistic food-web structures and still find upper limits on the number of interconnected species13. May’s result, therefore, generalises to models capturing more aspects of ‘real’ communities in ecology. This prediction is supported by the observation of ‘diversity regulation’ in some ecosystems55,56,57,58,59.
A final observation that we wish to convey is that making models for complex ecosystems more detailed introduces the opportunity for new types of instability. In May’s original model, for example, the mean of the community matrix elements was zero. As a consequence, any one species is equally likely to benefit or suffer from the presence of another species. Mathematically, all eigenvalues then reside within one bulk region, and it is this bulk region that determines stability. Mutualism can be introduced through interaction coefficients which are positive on average, and competition through a negative average interaction12. This leads to additional outlier eigenvalues, which can make an equilibrium unstable even though it would otherwise be stable. Introducing the trophic structure can generate complex-conjugate pairs of outliers (Fig. 2a), allowing further opportunity for instability (Section S5 of the Supplementary Information). Dispersal, finally, leads to the possibility of a Turing-type instability. Overall, adding more details to the model of May tends to give rise to more ways in which equilibrium can become unstable.
Methods
Linear model
We imagine that we find the ecosystem at a homogeneous equilibrium. Our model is concerned with the dynamics of small perturbations of the species abundances about this fixed point. The stability of the homogeneous fixed point is determined by whether or not these perturbations decay or increase with time. We write ui(x, t) and vj(x, t) for the perturbations of the prey and predator species abundances respectively at position x and time t. These are the deviations away from the fixed point. There are Nu prey species and Nv predator species with N = Nu + Nv species in total. We define the constants γu = Nu/N and γv = Nv/N.
We assume that prey species diffuse at rate Du and predator species at rate Dv in a spatially homogeneous environment. Similar to May7, we also imagine that all species in each group have equal and negative self-interaction. However, it is possible to relax the simplifying constraints of uniform self-interaction and diffusion coefficients (see Section 9 in the Supplementary Information and ref. 52). The probability that a particular pair of species interact with one another is C. This parameter is known as the ‘connectance’7. The effect of a change in the abundance of species j on species i, where j belongs to trophic block β and i belongs to α, is \({A}_{ij}^{\alpha \beta }\) [α, β ∈ {u, v}]. The linearised reaction-diffusion equations thus take the following form
If species i and j are non-interacting, \({A}_{ij}^{\alpha \beta }={A}_{ji}^{\beta \alpha }=0\). If the two species interact, then \({A}_{ij}^{\alpha \beta }\) and \({A}_{ji}^{\beta \alpha }\) are drawn from a joint Gaussian distribution with means \(\overline{{A}_{ij}^{\alpha \beta }}={\mu }_{\alpha \beta }\) and \(\overline{{A}_{ji}^{\beta \alpha }}={\mu }_{\beta \alpha }\). The elements in the random matrix have variance σ2
and they are correlated according to
All other correlations are set to zero. Each of the model parameters can be interpreted ecologically. We define and interpret the complexity c = CNσ2 in the main text. The interaction means μuu indicates the degree to which different prey species cooperate (if μuu > 0) or complete (if μuu < 0). The coefficient μvv has a similar interpretation for predators. The means of the off-diagonal blocks μuv < 0 and μvu > 0 indicate the degree to which (on average) prey species suffer and predator species gain from predator–prey interactions. The parameters \({\Gamma }_{\alpha \beta \alpha ^{\prime} \beta ^{\prime} }\) describe the correlations between interaction coefficients. The only non-zero entries are taken to be Γu ≡ Γuuuu, Γv ≡ Γvvvv and Γuv ≡ Γuvvu. That is, only elements which are diagonally opposite one another in A are correlated. A positive value of \({\Gamma }_{\alpha \beta \alpha ^{\prime} \beta ^{\prime} }\) indicates that if one species benefits more than average from interaction, the other species involved does so as well. The opposite is true if \({\Gamma }_{\alpha \beta \alpha ^{\prime} \beta ^{\prime} }\) is negative.
Taking the Fourier to transform with respect to the spatial coordinate x of Eq. (3), we arrive at dynamical equations (see Supplementary Information Section S1) for disturbances of wavenumber q in the abundances of the various species (the wavenumber is related by q = 2π/λ to the wavelength λ). We denote the combined vector of the Fourier transforms of species abundances by \({\tilde{{\bf{X}}}}_{q}=(\cdots \ ,{\tilde{u}}_{i}(q,t),\cdots \ ,{\tilde{v}}_{j}(q,t),\cdots \ )\), and arrive at the more compact matrix equation
The matrix entry \({\left({{\bf{M}}}_{q}\right)}_{ij}^{\alpha \beta }\) tells us what the effect of a disturbance of wavenumber q in species j (belonging to trophic block β) is on species i (belonging to trophic block α).
The vector Xq has dimension N = Nu + Nv and is arranged such that the first Nu elements are the Fourier-transformed abundances \({\tilde{u}}_{i}(q,t)\) and the last Nv elements are the \({\tilde{v}}_{j}(q,t)\). The matrix Mq is depicted in Fig. 1. It is divided into blocks due to the trophic structure of the community. Its three contributions are a diagonal diffusion matrix, a diagonal self-interaction matrix and a random interaction matrix, whose variance and correlations are given in Eqs. (4) and (5). The indices α and β correspond to the different blocks and i and j correspond to the position within the block. If the matrix Mq has eigenvalues with positive real parts for any value of q ≥ 0, the disturbances ui and vi will grow with time, indicating an unstable equilibrium.
By setting q = 0 in Eq. (6), one recovers Eq. (3) with the diffusion term removed. Focusing on q = 0 in our model (or equivalently setting Du = Dv = 0) thus allows one to study the stability of a non-spatial model ecosystem with trophic structure. Further details can be found in Sections S1 and S5 in the Supplementary Information.
We note that a similar form for the matrix Mq can be found for a model of a meta-ecosystem with dispersal between discrete patches (similar to ref. 27,28) instead of in continuous space (see Sections S1 C and S13 of the Supplementary Information).
The values of the model parameters used in the figures are given in full in Section S6 of the Supplementary Information.
Calculation of the boundary surrounding the bulk of the eigenvalues
The vast majority of the eigenvalues of the random matrices Mq reside within one or two ‘bulk’ regions of the complex plane. To determine stability we need to know if there are bulk eigenvalues with positive real parts. Identifying the boundaries of the regions containing the eigenvalues is sufficient for this purpose. Our calculation uses methods originally developed in statistical physics and follows lines similar to those of refs. 60,61. This approach converts the problem into the evaluation of a ‘potential’ related to the eigenvalue density. This potential, in turn, can be expressed as a high-dimensional integral, which is carried out using the saddle-point method. A brief summary of the context of this approach in the wider literature is given Section S2 A of the Supplementary Information. Full details of the calculation are given in Sections S2 B and S2 C.
We write ω = ωx + iωy for the eigenvalues of Mq. The general expression for the boundary surrounding the bulk of the eigenvalues (ωy as a function of ωx) is given by the simultaneous solution of the following equations (see Supplementary Information Eq. (S81))
We note the free index α in the second of these equations (α ∈ {u, v}). This is therefore a system of three coupled equations. One first eliminates the auxiliary variables χα, and then expresses ωy in terms of ωx. This results in the red curves in Fig. 2.
The solution simplifies in several special cases, which we exploit to provide explicit stability criteria analogous to May’s bound (Section S5 of the Supplementary Information).
Calculation of the outlier eigenvalues
In addition to the bulk eigenvalues, the stability matrix can have isolated outlier eigenvalues. If any of these outliers have a positive real part, the equilibrium is unstable. Their position in the complex plane is calculated along the lines of ref. 62. Details can be found in the Supplementary Information Section S3. The outlier eigenvalues are given by the complex values ω satisfying the following equation (see Supplementary Information Eq. (S82))
The auxiliary quantities χα(ω) in this relation satisfy
subject to the condition
Eqs. (8) and (9) need to be solved simultaneously, subject to Eq. (10). If there are no solutions then there are no outliers. In special cases, the above expressions can be simplified, and explicit stability criteria can be found (Section S5 in the Supplementary Information).
Finding the threshold for instability
Instability can occur in one of several different ways: (1) The bulk region of eigenvalues for q = 0 can cross into the positive half-plane; (2) one of the outlier eigenvalues for q = 0 can cross the imaginary axis; (3) an outlier eigenvalue for q ≠ 0 can stray into the positive half-plane. We have not observed any circumstances under which the bulk crosses the imaginary axis for non-zero q where it does not for q = 0. The eigenvalues must have negative real parts for all q in order for the equilibrium to be stable in the spatial system. This includes q = 0. Cases (1) and (2) therefore indicate instabilities occurring both in the non-spatial and the spatial ecosystem. In case (3) the spatial system is unstable, but the non-spatial system remains stable. In each of these cases, the threshold for instability is found by identifying sets of parameters for which either the boundary for the bulk eigenvalues touches the imaginary axis (case 1) or where the outlier eigenvalues touch the imaginary axis (cases 2 and 3).
This can be done using the analytical results for the spectrum of eigenvalues (Section S5 of the Supplementary Information), leading to the results shown in Figs. 3 and 4.
Simulating the non-linear model
Results in Figs. 5 and 6 are from numerical integration of the Levin–Segel-type model31,
where a > 0 is a constant. To integrate these equations numerically, the diffusion terms are discretised. The integration is then carried out using the Runge–Kutta (RK4) method63.
Further variations on the model
The flexibility of our analytical approach allows us to include additional features to our fairly austere model. For example, in Sections S7 and S8 of the Supplementary Information, we demonstrate the universality of our theoretical results. That is, we show that the matrix elements need not be drawn from a Gaussian distribution for our results to apply. Similar to ref. 52, variation in the self-interaction and diffusions coefficients (dα and Dα respectively) can also be taken into account (Section S9 in the Supplementary Information). In Section S13 of the Supplementary Information, we show that the dispersal-induced instability persists on a landscape of discrete patches (as opposed to diffusion in a continuous space) and when dispersal is non-local. These extensions highlight the robustness of the dispersal-induced instability in complex ecosystems and the versatility of the analytical formalism.
Inclusion of spatial heterogeneity in the interaction coefficients
In analysing Eqs. (3) and the stability matrix in Eq. (2) we have assumed that the interaction coefficients \({A}_{ij}^{\alpha \beta }\) are the same at every point in space. In order to model spatial heterogeneity, we extend the set up along the lines of ref. 25 and imagine that dispersal takes place on a set of discrete patches indexed by their position x, similar to meta-population models28 (see Section S10 in the Supplementary Information). The interaction matrix \({A}_{ij;xx^{\prime} }^{\alpha \beta }\) then has two layers of block structure: one indicating the trophic structure as before and the second representing a location in space. Multilayer networks have previously been used to encapsulate similar structures in ecological communities14,15.
Adapting the prior calculation, the regions in the complex plane containing the bulk and outlier eigenvalues can also be computed for the model with spatial heterogeneity (Section S11 in the Supplementary Information). The model in the main text and that of ref. 25 are special cases of this setup. In particular, we can also recover the eigenvalue support and stability criteria of ref. 25. In Section 14 of the Supplementary Information, we show that the mechanism leading to dispersal-induced instability and the stabilising mechanism of ref. 25 can coexist in the same model. We also discuss the factors that determine whether dispersal acts to stabilise or destabilise equilibria of complex ecosystems.
Reporting summary
Further information on research design is available in the Nature Research Reporting Summary linked to this article.
Code availability
Codes for Figs. 2–664 are available from the following link https://doi.org/10.5281/zenodo.4068257. They are written using Mathematica 12 and Python v3.8. Python packages matplotlib, numpy and scipy were used. The codes for producing the figures in Supplementary Information are available upon reasonable request to the corresponding author.
References
Odum, E. P. & Barrett, G. W. Fundamentals of Ecology (Saunders, Philadelphia, 1953).
Elton, C. S. Ecology of Invasions by Animals And Plants (Methuen, London, 1958).
MacArthur, R. Fluctuations of animal populations and a measure of community stability. Ecology 36, 533–536 (1955).
Paine, R. T. Food web complexity and species diversity. Am. Nat. 100, 65–75 (1966).
Landi, P., Minoarivelo, H. O., Å, Brännström, Hui, C. & Dieckmann, U. Complexity and stability of ecological networks: a review of the theory. Popul. Ecol. 60, 319–345 (2018).
McCann, K. S. The diversity–stability debate. Nature 405, 228–233 (2000).
May, R. M. Will a large complex system be stable? Nature 238, 413–414 (1972).
May, R. M. Stability in multispecies community models. Math. Biosci. 12, 59–79 (1971).
Namba, T. Multi-faceted approaches toward unravelling complex ecological networks. Popul. Ecol. 57, 3–19 (2015).
Justus, J. A case study in concept determination: Ecological diversity. in Philosophy of Ecology, Handbook of the Philosophy of Science, Vol. 11, (eds deLaplante, K., Brown, B. & Peacock, K. A.) (North-Holland, Amsterdam, 2011) pp. 147–168.
Grilli, J., Rogers, T. & Allesina, S. Modularity and stability in ecological communities. Nat. Commun. 7, 1–10 (2016).
Allesina, S. & Tang, S. The stability–complexity relationship at age 40: a random matrix perspective. Popul. Ecol. 57, 63–75 (2015).
Allesina, S. & Tang, S. Stability criteria for complex ecosystems. Nature 483, 205–208 (2012).
Hutchinson, M. C. Seeing the forest for the trees: putting multilayer networks to work for community ecology. Funct. Ecol. 33, 206–217 (2019).
Pilosof, S., Porter, M. A., Pascual, M. & Kéfi, S. The multilayer nature of ecological networks. Nat. Ecol. Evolut. 1, 1–9 (2017).
Stone, L. The feasibility and stability of large complex biological networks: a random matrix approach. Sci. Rep. 8, 1–12 (2018).
Gibbs, T., Grilli, J., Rogers, T. & Allesina, S. Effect of population abundances on the stability of large random ecosystems. Phys. Rev. E 98, 022410 (2018).
Fyodorov, Y. V. & Khoruzhenko, B. A. Nonlinear analogue of the may-wigner instability transition. Proc. Natl Acad. Sci. USA 113, 6827–6832 (2016).
Gross, T., Rudolf, L., Levin, S. A. & Dieckmann, U. Generalized models reveal stabilizing factors in food webs. Science 325, 747–750 (2009).
Berlow, E. L. et al. Interaction strengths in food webs: issues and opportunities. J. Anim. Ecol. 73, 585–598 (2004).
Chesson, P. & Huntly, N. The roles of harsh and fluctuating conditions in the dynamics of ecological communities. Am. Nat. 150, 519–553 (1997).
McNaughton, S. J. Diversity and stability of ecological communities: a comment on the role of empiricism in ecology. Am. Nat. 111, 515–525 (1977).
Thébault, E. & Loreau, M. Trophic interactions and the relationship between species diversity and ecosystem stability. Am. Nat. 166, E95–E114 (2005).
Tilman, D. The ecological consequences of changes in biodiversity: a search for general principles. Ecology 80, 1455–1474 (1999).
Gravel, D., Massol, F. & Leibold, M. A. Stability and complexity in model meta-ecosystems. Nat. Commun. 7, 12457 (2016).
Turing, A. M. The chemical basis of morphogenesis. Bull. Math. Biol. 52, 153–197 (1990).
Hanski, I. Metapopulation dynamics. Nature 396, 41–49 (1998).
Hanski, I. Habitat connectivity, habitat continuity, and metapopulations in dynamic landscapes. Oikos 87, 209–219 (1999).
Hassell, M. P., Comins, H. N. & May, R. M. Spatial structure and chaos in insect population dynamics. Nature 353, 255–258 (1991).
Hassell, M. P., Comins, H. N. & May, R. M. Species coexistence and self-organizing spatial dynamics. Nature 370, 290–292 (1994).
Levin, S. A. & Segel, L. A. Hypothesis for origin of planktonic patchiness. Nature 259, 659 (1976).
Brechtel, A., Gramlich, P., Ritterskamp, D., Drossel, B. & Gross, T. Master stability functions reveal diffusion-driven pattern formation in networks. Phys. Rev. E 97, 032307 (2018).
Cross, M. & Hohenberg, P. Pattern formation outside of equilibrium. Rev. Mod. Phys. 65, 851–1112 (1993).
Grilli, J. et al. Feasibility and coexistence of large ecological communities. Nat. Commun. 8, 14389 (2017).
Allesina, S. et al. Predicting the stability of large structured food webs. Nat. Commun. 6, 1–6 (2015).
Neubert, M. G., Kot, M. & Lewis, M. A. Dispersal and pattern formation in a discrete-time predator-prey model. Theor. Popul. Biol. 48, 7–43 (1995).
Rietkerk, M. & Van de Koppel, J. Regular pattern formation in real ecosystems. Trends Ecol. Evolut. 23, 169–175 (2008).
HilleRisLambers, R., Rietkerk, M., van den Bosch, F., Prins, H. H. T. & de Kroon, H. Vegetation pattern formation in semi-arid grazing systems. Ecology 82, 50–61 (2001).
Levin, S. Dispersion and population interactions. Am. Nat. 108, 207–228 (1974).
Murray, J. D. Mathematical Biology II: Spatial Models and Biomedical Applications (Springer: New York, 2001).
Baron, J. W. & Galla, T. Stochastic fluctuations and quasipattern formation in reaction-diffusion systems with anomalous transport. Phys. Rev. E 99, 052124 (2019).
Kuramoto, Y. Diffusion-induced chaos in reaction systems. Progr. Theor. Phys. Suppl. 64, 346–367 (1978).
Pascual, M. Diffusion-induced chaos in a spatial predator–prey system. Proc. R. Soc. Lond. Ser. B 251, 1–7 (1993).
Rietkerk, M., Dekker, S. C., de Ruiter, P. C. & van de Koppel, J. Self-organized patchiness and catastrophic shifts in ecosystems. Science 305, 1926–1929 (2004).
Rietkerk, M. & van de Koppel, J. Regular pattern formation in real ecosystems. Trends Ecol. Evolut. 23, 169–175 (2008).
van de Koppel, J. et al. Experimental evidence for spatial self-organization and its emergent effects in mussel bed ecosystems. Science 322, 739–742 (2008).
Meron, E. Pattern-formation approach to modelling spatially extended ecosystems. Ecol. Model. 234, 70–82 (2012).
Liu, Q. et al. Pattern formation at multiple spatial scales drives the resilience of mussel bed ecosystems. Nat. Commun. 5, 5234 (2014).
Karig, D. et al. Stochastic turing patterns in a synthetic bacterial population. Proc. Natl Acad. Sci. USA 115, 6572–6577 (2018).
Lengyel, I. & Epstein, I. A chemical approach to designing turing patterns in reaction-diffusion systems. Proc. Natl Acad. Sci. USA 89, 3977–3979 (1992).
Castets, V., Dulos, E., Boissonade, J. & De Kepper, P. Experimental evidence of a sustained standing turing-type nonequilibrium chemical pattern. Phys. Rev. Lett. 64, 2953–2956 (1990).
Barabás, G., Michalska-Smith, M. J. & Allesina, S. Self-regulation and the stability of large ecological networks. Nat. Ecol. Evolut. 1, 1870–1875 (2017).
Tao, T. & Vu, V. Random matrices: universality of local eigenvalue statistics up to the edge. Commun. Math. Phys. 298, 549–572 (2010).
Tao, T. et al. Random matrices: universality of ESDs and the circular law. Ann. Probab. 38, 2023–2065 (2010).
O’Sullivan, J. D., Knell, R. J. & Rossberg, A. G. Metacommunity-scale biodiversity regulation and the self-organised emergence of macroecological patterns. Ecol. Lett. 22, 1428–1438 (2019).
Gotelli, N. J. et al. Community-level regulation of temporal trends in biodiversity. Sci. Adv. 3, e1700315 (2017).
Magurran, A. E. et al. Divergent biodiversity change within ecosystems. Proc. Natl Acad. Sci. USA 115, 1843–1847 (2018).
Brown, J. H., Ernest, S. K. M., Parody, J. M. & Haskell, J. P. Regulation of diversity: maintenance of species richness in changing environments. Oecologia 126, 321–332 (2001).
Parody, J. M., Cuthbert, F. J. & Decker, E. H. The effect of 50 years of landscape change on species richness and community composition. Glob. Ecol. Biogeogr. 10, 305–313 (2001).
Haake, F., Izrailev, F., Lehmann, N., Saher, D. & Sommers, H.-J. Statistics of complex levels of random matrices for decaying systems. Z. Phys. B Condens. Matter 88, 359–370 (1992).
Sommers, H.-J., Crisanti, A., Sompolinsky, H. & Stein, Y. Spectrum of large random asymmetric matrices. Phys. Rev. Lett. 60, 1895–1898 (1988).
O’Rourke, S. et al. Low rank perturbations of large elliptic random matrices. Electron. J. Probab. 19, 1–65 (2014).
Süli, E. & Mayers, D. F. An Introduction to Numerical Analysis (Cambridge University Press, 2003).
Baron, J. W. & Galla, T. Dispersal-induced instability in complex ecosystems. GitHub https://doi.org/10.5281/zenodo.4068257 (2020).
Acknowledgements
J.W.B. thanks the Engineering and Physical Sciences Research Council (EPSRC) for funding (PhD studentship, EP/N509565/1). J.W.B. and T.G. are grateful for funding from the Spanish Ministry of Science, Innovation and Universities, the Agency AEI and FEDER (EU) under grant PACSS (RTI2018-093732-B-C22). T.G. acknowledges partial financial support from the Maria de Maeztu Programme for Units of Excellence in R&D (MDM-2017-0711).
Author information
Authors and Affiliations
Contributions
J.W.B. designed the study, contributed to discussions guiding the work, carried out mathematical calculations, performed simulations and wrote the paper. T.G. designed the study, contributed to discussions guiding the work and wrote the paper. Both authors approved the final paper for submission.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Peer review information Nature Communications thanks Gyorgy Barabas and the other, anonymous, reviewer for their contribution to the peer review of this work. Peer reviewer reports are available.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Baron, J.W., Galla, T. Dispersal-induced instability in complex ecosystems. Nat Commun 11, 6032 (2020). https://doi.org/10.1038/s41467-020-19824-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41467-020-19824-4
This article is cited by
-
Epidemic thresholds and human mobility
Scientific Reports (2023)
-
Reactivity of complex communities can be more important than stability
Nature Communications (2023)
-
Time delays modulate the stability of complex ecosystems
Nature Ecology & Evolution (2023)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.