PLoS ONEplosplosonePLOS ONE1932-6203Public Library of ScienceSan Francisco, CA USAPONE-D-16-1681710.1371/journal.pone.0157876Research ArticleBiology and life sciencesEcologyCommunity ecologyEcology and environmental sciencesEcologyCommunity ecologyBiology and life sciencesSpecies interactionsPhysical sciencesMathematicsAlgebraLinear algebraEigenvaluesBiology and life sciencesEcologyEcosystemsEcology and environmental sciencesEcologyEcosystemsBiology and life sciencesPopulation biologyPopulation dynamicsComputer and information sciencesSystems scienceSystem stabilityPhysical sciencesMathematicsSystems scienceSystem stabilityBiology and life sciencesSpecies interactionsMutualismPhysical sciencesChemistryPhysical chemistryChemical equilibriumBounds on Transient Instability for Complex EcosystemsBounds on Transient Instability for Complex Ecosystemshttp://orcid.org/0000-0001-7964-3030CaravelliFrancesco^{1}^{2}^{3}*StaniczenkoPhillip P. A.^{4}^{5}Invenia Labs, 27 Parkside Place, Cambridge, CB1 1HQ, United KingdomLondon Institute of Mathematical Sciences, 35a South Street, London, W1K 2XF, United KingdomDepartment of Computer Science, University College London, Gower Street, London WC1E 6BT, United KingdomDepartment of Biology, University of Maryland, College Park, Maryland, MD 20742, United States of AmericaNational Socio-Environmental Synthesis Center (SESYNC), Annapolis, MD 21401, United States of AmericaKraenkelRoberto AndreEditorSão Paulo State University, BRAZIL
FC received funding from a commercial company: Invenia Labs Limited. This does not alter the authors’ adherence to PLOS ONE policies on sharing data and materials.
Conceived and designed the experiments: FC PS. Performed the experiments: FC. Analyzed the data: FC. Wrote the paper: FC PS.
* E-mail: fc@lims.ac.uk20162162016116e015787629420166620162016Caravelli, StaniczenkoThis is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.
Stability is a desirable property of complex ecosystems. If a community of interacting species is at a stable equilibrium point then it is able to withstand small perturbations to component species’ abundances without suffering adverse effects. In ecology, the Jacobian matrix evaluated at an equilibrium point is known as the community matrix, which describes the population dynamics of interacting species. A system’s asymptotic short- and long-term behaviour can be determined from eigenvalues derived from the community matrix. Here we use results from the theory of pseudospectra to describe intermediate, transient dynamics. We first recover the established result that the transition from stable to unstable dynamics includes a region of ‘transient instability’, where the effect of a small perturbation to species’ abundances—to the population vector—is amplified before ultimately decaying. Then we show that the shift from stability to transient instability can be affected by uncertainty in, or small changes to, entries in the community matrix, and determine lower and upper bounds to the maximum amplitude of perturbations to the population vector. Of five different types of community matrix, we find that amplification is least severe when predator-prey interactions dominate. This analysis is relevant to other systems whose dynamics can be expressed in terms of the Jacobian matrix.
http://dx.doi.org/10.13039/501100000409British Ecological Society4785/5824StaniczenkoPhillip P. A.FC was supported by Invenia Labs Limited. PPAS was supported by an AXA Research Fellowship and British Ecological Society grant 4785/5824. The funder provided support in the form of salary for author FC, but did not have any additional role in the study design, data collection and analysis, decision to publish, or preparation of the manuscript. The specific roles of these authors are articulated in the “author contributions” section.Data AvailabilityData are available from FigShare, the citation and the link to the dataset is available inside the paper.Introduction
From the perspective of local stability analysis, if an ecosystem is close to a stable equilibrium point then the effect of a small perturbation, such as the loss of individuals from a population, will eventually decay and the system will return to its original equilibrium point [1, 2]. But if the ecosystem is at an unstable equilibrium point then the perturbation will lead to the system settling at a new equilibrium point, possibly with fewer individuals or even species [3, 4]. In theory, ecosystems with large numbers of species and interactions are more difficult to stabilise [5]. However, many ecosystems contain vast biodiversity [6, 7]. Reconciling this finding with local stability analysis has motivated ecologists for over 40 years [8].
Recently, stability criteria were extended from randomly-assembled communities to include those with more realistic compositions of mutualistic, competitive and predator-prey interactions [9]. These criteria indicate that communities in which predator-prey interactions dominate are more likely to be stable. It was then shown, using empirical food webs, that the distribution and correlation of interaction strengths has a greater effect on stability than topology: how species interact with one another is more important than who they interact with [10, 11].
Stability is a long-term concept: it indicates whether a system will, at some point in the future, return to the same state as before a perturbation [12]. Reactivity, on the other hand, indicates how a system will respond immediately after a perturbation has been applied [13–17]. A stable system can be non-reactive, meaning that a perturbation to species’ abundances dies down immediately, or reactive, meaning that a perturbation is first amplified before eventually decaying (whether a particular perturbation is amplified in practice depends on which species are perturbed and by how much [13]). Reactivity criteria for large ecosystems indicate that communities on the verge of instability exhibit reactive dynamics [18], and identifying a system as reactive has been proposed as an early-warning signal for population collapse [19–23].
The starting point for deriving criteria for both stability and reactivity is the community matrix [24]. A spectral decomposition of the community matrix provides information on the asymptotic behaviour of the system for stability (t → ∞) and reactivity (t → 0). But so far, little information has been extracted from the community matrix regarding transient dynamics: how the system evolves after a perturbation and before it either returns to equilibrium or becomes unstable [25–27].
Reactive dynamics are not possible if the community matrix M is normal, i.e., MM^{†} = M^{†}M, where M^{†} is the adjoint of M [28]. But if M is a non-normal matrix, as is usually the case in analyses of realistic ecosystems, then transient dynamics may substantially differ from the asymptotic behaviour suggested by the eigenvalues of M. In addition, small changes to the entries of non-normal M can cause an otherwise stable matrix to become unstable [28]. In such cases, the dynamics implied by non-normal matrices are better described by pseudospectra, which detail the neighbourhood of eigenvalues in the complex plane for different average changes to the entries in M [29].
Here we formalise the transition from stability to instability in terms of pseudospectra. Using this approach, we consider the effect on dynamics of two kinds of perturbation: more commonly studied perturbations to the equilibrium abundance of species (to the population vector) and less commonly studied perturbations to the entries in M (which could be interpreted as uncertainty in, or small changes to, species’ interaction strengths [30]). We describe critical values for community properties separating three regimes: stable and non-reactive dynamics, stable and reactive dynamics—‘transient instability’—and unstable dynamics. We show that system dynamics at the boundary between non-reactive stability and transient instability can be affected by perturbations to entries of the community matrix. And, given a perturbation to the equilibrium abundance of species, we provide upper and lower bounds to the maximum amplification of such perturbations during transient instability. This allows us to sketch out the transient dynamics of complex ecosystems using only information from the community matrix. Finally, we compare the properties of community matrices representing ecological communities with five different types of interaction structure: random, mutualism, competition, mixture of mutualism and competition, and predator-prey.
MethodsLocal stability analysis
Here we consider an ecological community of S species for which their population densities at time t are given by the vector Y(t), as in Tang & Allesina [18]. The dynamics of the population vector Y can be described by a system of coupled differential equations
dYdt=f(Y)
where f = [f_{1}, f_{2} ⋯, f_{S}]^{T} is a vector of linear or nonlinear functions. An ecologically-relevant equilibrium point is a non-negative vector Y* such that
f(Y*)=0
The community matrix M is defined as
Mij=∂fi∂Yj|Y=Y*
which is the Jacobian matrix evaluated at an equilibrium point [24]. It is well known that an equilibrium point is (locally and asymptotically) stable if any infinitesimally small deviation, ΔY(0), eventually decays to zero, i.e., lim_{t→∞}ΔY(t) = 0 [24]. In the vicinity of an equilibrium point, the time evolution of a perturbation can be described by
ΔY(t)=eMtΔY(0)
Therefore, the spectrum of the community matrix M is clearly relevant for determining local stability. If Λ(M) is the set of eigenvalues of M, then an equilibrium point is stable if all eigenvalues have negative real part, i.e., Re(λ) < 0 ∀ λ ∈ Λ(M) [5, 9].
Generative models for community matrices
We parameterise community matrices using four quantities: S, C, μ and σ; where S, as above, is the number of species, C is the connectance (the fraction of realised interactions among species), μ is the strength of intraspecific interactions and σ is the standard deviation of the strength of interspecific interactions [9]. We assume that populations are self-regulating and so M_{ii} = −μ, where μ > 0. Non-normal community matrices with different types of interaction—representing different types of ecological community—are generated by sampling off-diagonal entries (M_{ij}, interspecific interactions) from different bivariate distributions. Having specified a particular distribution, stability criteria can be expressed in terms of S, C, μ and σ. Based on these criteria, it has been shown that predator-prey community matrices are the most stable, followed by random, competition, mixture and mutualism [9]. Generative models for these community matrices are described below.
Random. Each off-diagonal entry is sampled independently from a normal distribution N(0,σ) with probability C, and otherwise M_{ij} = 0 with probability 1 − C.
Mutualism. Each off-diagonal pair (M_{ij}, M_{ji}) is sampled from a half-normal distribution |N(0,σ)| with probability C, and both entries are zero otherwise. These community matrices have a (+, +) sign structure for off-diagonal pairs.
Competition. Each off-diagonal pair (M_{ij}, M_{ji}) is sampled from a half-normal distribution -|N(0,σ)| with probability C, and both entries are zero otherwise. These community matrices have a (−,−) sign structure for off-diagonal pairs.
Mixture of mutualism and competition. Each off-diagonal pair (M_{ij}, M_{ji}) is sampled from a half-normal distribution |N(0,σ)| with probability C/2 or -|N(0,σ)| with probability C/2, and both entries are zero otherwise. These community matrices have a (+, +) or (−, −) sign structure for off-diagonal pairs.
Predator-prey. The first entry in an off-diagonal pair is sampled from a half-normal distribution |N(0,σ)| and the second entry from -|N(0,σ)| with probability C/2, or with the half-normal distributions reversed with probability C/2, and both entries are zero otherwise. These community matrices have a (+, −) or (−, +) sign structure for off-diagonal pairs.
Pseudospectra and transient instability
In general, the eigenvalues of M satisfy the following definition:
Λ(M)={z∈C:det(zI-M)=0}
or, equivalently,
Λ(M)={z∈C:∥(zI-M)-1∥=∞}
meaning that if z is an eigenvalue of M then by convention the norm of (zI − M)^{−1} is defined to be infinity (see Chapter I.1 in [29]). The ‘ϵ-pseudospectrum’ has several comparable definitions which describe the eigenvalues of a matrix whose entries have been subject to noise of magnitude ϵ (in the sense of the matrix norm) [28]. We use the following definition:
Λϵ(M)={z∈C:||(zI-M)-1||≥ϵ-1}
If a matrix is normal then its ϵ-pseudospectrum (henceforth just ‘pseudospectrum’) consists of closed balls of radius ϵ surrounding the original eigenvalues of M (see Theorem 2.2 in [29]). As mentioned earlier, normal matrices cannot exhibit reactive dynamics: perturbations of the population vector for a stable system decay immediately and with exponential profile as the system returns to its original equilibrium point. But with non-normal matrices, pseudospectra can be much larger and more intricate and reactive dynamics are possible: perturbations of the population vector for a stable system first increase in magnitude and reach a maximum amplitude before eventually decaying (Fig 1). This behaviour motivates a description of local stability analysis for community matrices in terms of pseudospectra. (Besides non-normal matrices and reactivity, it is worth noting that pseudospectra are still relevant for understanding the consequences of small changes to entries in normal matrices.)
10.1371/journal.pone.0157876.g001
<p>Top: Pseudospectrum of a random community matrix with <italic>S</italic> = 50, <italic>C</italic> = 0.1, <italic>μ</italic> = 1 and <italic>σ</italic> = 0.3, which is asymptotically stable. Contours in the complex plane illustrate the effect on eigenvalues of the community matrix <bold>M</bold> for noise of magnitude <italic>ϵ</italic> = 10<sup><italic>r</italic></sup> [<xref ref-type="bibr" rid="pone.0157876.ref031">31</xref>]. The contour for <italic>ϵ</italic> = 0.1 (i.e., <italic>r</italic> = −1) crosses the imaginary axis, implying that the pseudospectral abscissa is positive and so transient instability is observable. Bottom: Dynamics of ||<italic>e</italic><sup><bold>M</bold><italic>t</italic></sup>|| (arbitrary units of time, see <xref ref-type="disp-formula" rid="pone.0157876.e016">Eq (9)</xref>). The dashed curve represents dynamics from eigenvalue analysis, whereas the solid curve represents dynamics predicted by positive <italic>ϵ</italic>-pseudospectral abscissa for <italic>ϵ</italic> ≈ 0.1.</p>
</caption>
<graphic mimetype="image" position="float" xlink:href="info:doi/10.1371/journal.pone.0157876.g001" xlink:type="simple"/>
</fig>
<p>Local asymptotic stability is determined in the same way for normal and non-normal matrices. The ‘spectral abscissa’ of <bold>M</bold> is defined as
<disp-formula id="pone.0157876.e015"><alternatives><graphic id="pone.0157876.e015g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e015" xlink:type="simple"/><mml:math display="block" id="M15"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:mi>α</mml:mi> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mo>=</mml:mo> <mml:munder><mml:mo form="prefix" movablelimits="true">sup</mml:mo> <mml:mrow><mml:mi>z</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>Λ</mml:mo> <mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:munder> <mml:mtext>Re</mml:mtext> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>z</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></alternatives> <label>(8)</label></disp-formula>
where the supremum (sup) selects for the largest (real-part) of the rightmost eigenvalue in the set Λ(<bold>M</bold>). Stability is guaranteed for <italic>α</italic>(<bold>M</bold>) < 0. If <bold>M</bold> is normal, then ||<italic>e</italic><sup><bold>M</bold><italic>t</italic></sup>|| = <italic>e</italic><sup><italic>α</italic>(<bold>M</bold>)<italic>t</italic></sup> and dynamics are completely described by <italic>α</italic>(<bold>M</bold>) see <xref ref-type="disp-formula" rid="pone.0157876.e004">Eq (4)</xref>. Otherwise, the dynamics implied by <bold>M</bold> can be more complicated:
<disp-formula id="pone.0157876.e016"><alternatives><graphic id="pone.0157876.e016g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e016" xlink:type="simple"/><mml:math display="block" id="M16"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msup><mml:mi>e</mml:mi> <mml:mrow><mml:mi>α</mml:mi> <mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo> <mml:mi>t</mml:mi></mml:mrow></mml:msup> <mml:mo>≤</mml:mo> <mml:mrow><mml:mo>|</mml:mo> <mml:mo>|</mml:mo></mml:mrow> <mml:msup><mml:mi>e</mml:mi> <mml:mrow><mml:mi mathvariant="bold">M</mml:mi> <mml:mi>t</mml:mi></mml:mrow></mml:msup> <mml:mrow><mml:mo>|</mml:mo> <mml:mo>|</mml:mo></mml:mrow> <mml:mo>≤</mml:mo> <mml:mi>κ</mml:mi> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">V</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:msup><mml:mi>e</mml:mi> <mml:mrow><mml:mi>α</mml:mi> <mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo> <mml:mi>t</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></alternatives> <label>(9)</label></disp-formula>
where the columns of matrix <bold>V</bold> are the eigenvectors of <bold>M</bold>, and <italic>κ</italic>(<bold>V</bold>) = ||<bold>V</bold>|| ⋅ ||<bold>V</bold><sup>−1</sup>|| is known as the conditioning of <bold>V</bold> [<xref ref-type="bibr" rid="pone.0157876.ref032">32</xref>–<xref ref-type="bibr" rid="pone.0157876.ref035">35</xref>]. The conditioning provides a bound from above—an upper bound—to the maximum amplitude of a perturbation of the population vector (it is worth noting that <italic>κ</italic>(<bold>V</bold>) does not provide any information about the time at which the perturbation reaches its maximum amplitude).</p>
<p>In complement to stability is reactivity, which describes the behaviour of a system close to <italic>t</italic> = 0, at the application of a perturbation. The ‘numerical abscissa’ of <bold>M</bold> is defined as
<disp-formula id="pone.0157876.e017"><alternatives><graphic id="pone.0157876.e017g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e017" xlink:type="simple"/><mml:math display="block" id="M17"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:mi>ω</mml:mi> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mo>=</mml:mo> <mml:mfrac><mml:mi>d</mml:mi> <mml:mrow><mml:mi>d</mml:mi> <mml:mi>t</mml:mi></mml:mrow></mml:mfrac> <mml:mrow><mml:mo>|</mml:mo> <mml:mo>|</mml:mo></mml:mrow> <mml:msup><mml:mi>e</mml:mi> <mml:mrow><mml:mi mathvariant="bold">M</mml:mi> <mml:mi>t</mml:mi></mml:mrow></mml:msup> <mml:mrow><mml:mo>|</mml:mo> <mml:mo>|</mml:mo></mml:mrow> <mml:msub><mml:mo>|</mml:mo> <mml:mrow><mml:mi>t</mml:mi> <mml:mo>=</mml:mo> <mml:mn>0</mml:mn></mml:mrow></mml:msub> <mml:mo>=</mml:mo> <mml:munder><mml:mo form="prefix" movablelimits="true">sup</mml:mo> <mml:mrow><mml:mi>z</mml:mi> <mml:mo>∈</mml:mo> <mml:mo>Λ</mml:mo> <mml:mo>(</mml:mo> <mml:mi mathvariant="bold">H</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:munder> <mml:mtext>Re</mml:mtext> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>z</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></alternatives> <label>(10)</label></disp-formula>
where <inline-formula id="pone.0157876.e018"><alternatives><graphic id="pone.0157876.e018g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e018" xlink:type="simple"/><mml:math display="inline" id="M18"><mml:mrow><mml:mi mathvariant="bold">H</mml:mi> <mml:mo>=</mml:mo> <mml:mfrac><mml:mrow><mml:mi mathvariant="bold">M</mml:mi> <mml:mo>+</mml:mo> <mml:msup><mml:mrow><mml:mi mathvariant="bold">M</mml:mi></mml:mrow> <mml:mi>t</mml:mi></mml:msup></mml:mrow> <mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></alternatives></inline-formula> [<xref ref-type="bibr" rid="pone.0157876.ref013">13</xref>–<xref ref-type="bibr" rid="pone.0157876.ref017">17</xref>]. The numerical abscissa is the maximum initial amplification rate following an infinitesimally small perturbation to the population vector. Dynamics are non-reactive if <italic>ω</italic>(<bold>M</bold>) < 0 and may be reactive if <italic>ω</italic>(<bold>M</bold>) ≥ 0. A stable system can be either reactive or non-reactive, but an unstable system is necessarily reactive.</p>
<p>With non-normal matrices, perturbations to the entries of <bold>M</bold> can affect whether a system is stable and non-reactive or stable and reactive. In other words, perturbations to the entries of <bold>M</bold> can affect how a system responds to perturbations to the population vector. The effect of such perturbations to <bold>M</bold> is not covered by <xref ref-type="disp-formula" rid="pone.0157876.e017">Eq (10)</xref>. However, we can study the pseudospectrum of a community matrix to better understand system dynamics between the limits of reactivity and stability. In what follows, we use the theory of pseudospectra to relate uncertainty in, or small changes to, the entries of <bold>M</bold> to bounds on the amplification of perturbations of the population vector.</p>
<p>The ‘<italic>ϵ</italic>-pseudospectral abscissa’ of <bold>M</bold> is defined as
<disp-formula id="pone.0157876.e019"><alternatives><graphic id="pone.0157876.e019g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e019" xlink:type="simple"/><mml:math display="block" id="M19"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msub><mml:mi>α</mml:mi> <mml:mi>ϵ</mml:mi></mml:msub> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mo>=</mml:mo> <mml:munder><mml:mo form="prefix" movablelimits="true">sup</mml:mo> <mml:mrow><mml:mi>z</mml:mi> <mml:mo>∈</mml:mo> <mml:msub><mml:mo>Λ</mml:mo> <mml:mi>ϵ</mml:mi></mml:msub> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:munder> <mml:mtext>Re</mml:mtext> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>z</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></alternatives> <label>(11)</label></disp-formula>
which is the largest real-part eigenvalue of the pseudospectrum of <bold>M</bold> for a given amount of noise <italic>ϵ</italic>. The <italic>ϵ</italic>-pseudospectral abscissa provides a lower bound to the maximum amplification of a perturbation of the population vector (see Eq 14.6 in [<xref ref-type="bibr" rid="pone.0157876.ref029">29</xref>]):
<disp-formula id="pone.0157876.e020"><alternatives><graphic id="pone.0157876.e020g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e020" xlink:type="simple"/><mml:math display="block" id="M20"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:munder><mml:mo form="prefix" movablelimits="true">sup</mml:mo> <mml:mrow><mml:mi>ϵ</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>0</mml:mn></mml:mrow></mml:munder> <mml:mfrac><mml:mrow><mml:msub><mml:mi>α</mml:mi> <mml:mi>ϵ</mml:mi></mml:msub> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow> <mml:mi>ϵ</mml:mi></mml:mfrac> <mml:mo>≤</mml:mo> <mml:munder><mml:mo form="prefix" movablelimits="true">sup</mml:mo> <mml:mrow><mml:mi>t</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>0</mml:mn></mml:mrow></mml:munder> <mml:mrow><mml:mo>|</mml:mo> <mml:mo>|</mml:mo></mml:mrow> <mml:msup><mml:mi>e</mml:mi> <mml:mrow><mml:mi mathvariant="bold">M</mml:mi> <mml:mi>t</mml:mi></mml:mrow></mml:msup> <mml:mrow><mml:mo>|</mml:mo> <mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></alternatives> <label>(12)</label></disp-formula>
and therefore the function
<disp-formula id="pone.0157876.e021"><alternatives><graphic id="pone.0157876.e021g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e021" xlink:type="simple"/><mml:math display="block" id="M21"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msub><mml:mi>f</mml:mi> <mml:mi mathvariant="bold">M</mml:mi></mml:msub> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>ϵ</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mo>=</mml:mo> <mml:mfrac><mml:mrow><mml:msub><mml:mi>α</mml:mi> <mml:mi>ϵ</mml:mi></mml:msub> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow> <mml:mi>ϵ</mml:mi></mml:mfrac></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></alternatives> <label>(13)</label></disp-formula>
is useful for understanding transient dynamics. Eqs (<xref ref-type="disp-formula" rid="pone.0157876.e020">12</xref>) and (<xref ref-type="disp-formula" rid="pone.0157876.e021">13</xref>) are also valid for bounding normal matrices with positive spectral abscissa. As <italic>ϵ</italic> → 0, <italic>α</italic><sub><italic>ϵ</italic></sub>(<bold>M</bold>) converges to the spectral abscissa. If <bold>M</bold> has a positive spectral abscissa, then lim<sub><italic>ϵ</italic>→0</sub> <italic>α</italic><sub><italic>ϵ</italic></sub>(<bold>M</bold>)/<italic>ϵ</italic> → ∞, which confirms that the norm is unbounded and the equilibrium point is unstable.</p>
<p>In the literature on pseudospectra, <inline-formula id="pone.0157876.e022"><alternatives><graphic id="pone.0157876.e022g" mimetype="image" position="anchor" xlink:href="info:doi/10.1371/journal.pone.0157876.e022" xlink:type="simple"/><mml:math display="inline" id="M22"><mml:mrow><mml:msub><mml:mo form="prefix" movablelimits="true">sup</mml:mo> <mml:mrow><mml:mi>ϵ</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>0</mml:mn></mml:mrow></mml:msub> <mml:msub><mml:mi>f</mml:mi> <mml:mi mathvariant="bold">M</mml:mi></mml:msub> <mml:mrow><mml:mo>(</mml:mo> <mml:mi>ϵ</mml:mi> <mml:mo>)</mml:mo></mml:mrow> <mml:mo>≡</mml:mo> <mml:mi mathvariant="script">K</mml:mi> <mml:mrow><mml:mo>(</mml:mo> <mml:mi mathvariant="bold">M</mml:mi> <mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math></alternatives></inline-formula> is known as the Kreiss constant [<xref ref-type="bibr" rid="pone.0157876.ref032">32</xref>, <xref ref-type="bibr" rid="pone.0157876.ref034">34</xref>]. Eqs (<xref ref-type="disp-formula" rid="pone.0157876.e019">11</xref>) (<xref ref-type="disp-formula" rid="pone.0157876.e020">12</xref>) and (<xref ref-type="disp-formula" rid="pone.0157876.e021">13</xref>) are useful because they relate perturbations to the matrix norm—small changes to the elements of the community matrix as described by the noise parameter <italic>ϵ</italic>—to the effect of perturbations to the population vector (compare Eqs (<xref ref-type="disp-formula" rid="pone.0157876.e015">8</xref>) and (<xref ref-type="disp-formula" rid="pone.0157876.e019">11</xref>)). For a given community matrix, as the size of a <italic>matrix</italic> perturbation is increased from zero there may be some critical value <italic>ϵ</italic>* at which <italic>f</italic><sub><bold>M</bold></sub>(<italic>ϵ</italic>*) = 1. In the pseudospectrum, this is illustrated by the <italic>ϵ</italic>*-contour crossing the imaginary axis (<xref ref-type="fig" rid="pone.0157876.g001">Fig 1</xref>). At this point, perturbations to the equilibrium population vector begin to be amplified.</p>
<p>For a stable and non-reactive system, perturbations to the population vector are not amplified and the system always returns to its original equilibrium point. For an unstable and necessarily reactive system, perturbations are amplified and the system may move to a new equilibrium point. But for a stable and reactive system, perturbations are first amplified before the system eventually returns to its original equilibrium point—this is transient instability. Now that we can compute upper <xref ref-type="disp-formula" rid="pone.0157876.e016">Eq (9)</xref> and lower bounds <xref ref-type="disp-formula" rid="pone.0157876.e020">Eq (12)</xref> for amplifications, we are in a position to compare the transient dynamics of different types of ecological community as described by non-normal community matrices.</p>
</sec>
</sec>
<sec id="sec006" sec-type="results">
<title>Results
We generated multiple sets of community matrices with C = 0.1, μ = 1 and various combinations of S and σ for the five generative models. We first consider lower and upper bounds to the maximum amplitude of perturbations to the population vector for random community matrices, before turning our attention to the other types of interaction. The data required to reproduce the plots in this article are available at [36].
Lower bound for random community matrices
We numerically evaluated the ϵ-pseudospectral abscissa using the recently proposed subspace method [37]. Consider an ensemble of community matrices generated with random interaction type and S = 100 and σ = 0.3, which is just below the threshold for instability (σc=μSC=110≈0.31). We found that the average value of f_{M}(ϵ) Eq (13) monotonically increases as a function of ϵ and eventually saturates. It is worth noting that although the average value of f_{M}(ϵ) monotonically increases, the average value was calculated over 100 matrices so this may not be the case for f_{M}(ϵ) for a single matrix. This is for instance the case for the Monte Carlo simulations we have performed.
The key result of this paper is that at ϵ* ≈ 0.085 the curve crosses one, at which point perturbations are amplified and transient instability may be observable. The function f_{M}(ϵ) converges for all asymptotically stable community matrices considered here.
In general, we identify regions of stability, transient instability and instability by plotting supϵ≥0αϵ(M)ϵEq (12); in practice, we plot f_{M}(ϵ) for large values of ϵ) as σ is varied (Fig 2). Similar regions can be identified as S is varied while σ is held constant (results not shown). In the stable region, there is no perturbation to the community matrix large enough (that can still be considered infinitesimally small) such that supϵ≥0αϵ(M)ϵ>1, and so perturbations are never amplified. At some critical point, σ_{ti}, there is a level of matrix noise ϵ = ϵ* above which perturbations to the population vector are amplified before decaying. As σ increases in the region of transient instability, ϵ* decreases until it reaches zero at σ_{c}. At this point, system dynamics are guaranteed to be asymptotically unstable and any infinitesimally small perturbation to the population vector is amplified (without necessarily returning to the original equilibrium point). In the unstable region, f_{M}(ϵ) diverges and corresponding values for the lower bound should be treated with caution.
10.1371/journal.pone.0157876.g002Regions of stability, transient instability and instability for a random community matrices with <italic>S</italic> = 100, <italic>C</italic> = 0.1 and <italic>μ</italic> = 1 as <italic>σ</italic> is varied.
The y-axis is the lower bound of the maximum amplitude of perturbations to the population vector Eq (12). Transient instability is observable as the curve crosses one at σ_{ti} ≈ 0.22 and instability is reached at σc=μSC=110≈0.31. At the threshold of instability, the lower bound of the maximum amplitude is LB(σ_{c}) = 1.046 ± 0.006 (mean ± standard deviation). The shaded area represents the standard error over 100 realisations.
The critical point for transient instability with S = 100 is σ_{ti} ≈ 0.22. This is very close to the value given by reactivity criteria based on the numerical abscissa: σR=12SC=120 [18]. Indeed, both approaches determine whether perturbations to the population vector are amplified based on eigenvalues related to M. As a point of difference, however, the pseudospectral approach allows for an additional treatment of uncertainty in, or small changes to, entries of the community matrix. For a given set of parameters, the numerical abscissa only indicates whether amplification is possible, whereas the pseudospectrum, through the ϵ-pseudospectral abscissa, also indicates whether amplification is possible given small changes to the strengths of interactions among species in the community.
Upper bound for random community matrices
We plot the frequency distribution of κ(V) Eq (9) for various combinations of S and σ to investigate the upper bound to the maximum amplitude of perturbations of the population vector. In general, distributions are strongly peaked and fat-tailed (Fig 3). This indicates that very large amplification is possible even for very small perturbations. The location of the peak changes very little as σ increases, but shifts rightwards as S increases (results not shown). The slope of the tail does not change much as either S or σ is varied. With S = 100 and σ = σ_{c} = 0.31, the peak in the distribution of upper bound values is UB_{peak}(σ_{c}) ≈ 95 and the maximum value in the tail is UB_{tail}(σ_{c}) ∼ 1000. When a power law is fit to the tail, f(x) ∝ x^{ − α}, the exponent is α ≈ 2.9.
10.1371/journal.pone.0157876.g003Distribution of upper bounds of the maximum amplitude of perturbations to the population vector <xref ref-type="disp-formula" rid="pone.0157876.e016">Eq (9)</xref> for random community matrices generated with <italic>S</italic> = 100, <italic>C</italic> = 0.1 and <italic>μ</italic> = 1 and seven values of <italic>σ</italic> (10,000 realisations).
Distributions are fat-tailed and the slope of the tail does not change with σ.
Community matrices with different types of interaction
The region of transient instability varies for different types of interaction, as do lower and upper bounds for amplification (Table 1). Transient instability becomes observable with smallest σ_{ti} with mutualism, followed by mixture, competition, random and predator-prey. This order is the same as with the threshold for instability, σ_{c}. However, the size of the region of transient instability, σ_{c} − σ_{ti}, has a different order: predator-prey is largest, followed by random, mutualism, competition and mixture. The pattern is similar if S is varied while σ is held constant (results not shown). As expected, these findings are consistent with earlier results based on the numerical abscissa and the correlation between off-diagonal entries in a community matrix [18].
10.1371/journal.pone.0157876.t001Properties of community matrices with <italic>S</italic> = 100, <italic>C</italic> = 0.1, <italic>μ</italic> = 1.
Type
σ_{ti}
σ_{c}
lb(σ_{c})
ub_{peak}(σ_{c})
ub_{tail}(σ_{c})
α
Mutualism
0.11
0.16
1.02
100
∼1000
3
Mixture
0.17
0.19
1.02
77
∼1000
2.7
Competition
0.17
0.20
1.02
100
∼1000
3
Random
0.22
0.31
1.03
95
∼1000
2.9
Predator-prey
0.37
0.87
1.10
60
∼500
3.4
Predator-prey community matrices are relatively stable and exhibit the largest range of parameter values for transient instability. The lower bound to the maximum amplitude of perturbations of the population vector also reaches its largest value among the five types of interaction for predator-prey community matrices. However, the peak in the distribution of upper bounds is at lower amplification and the slope of the tail is steeper (Table 1). This implies that perturbations are typically amplified less severely compared to the other types of interaction and the very largest possible amplitudes are not as large.
Mutualism (+, +) and competition (−, −) have different critical points for transient instability and instability, but similar bounds to the maximum amplitude of perturbations of the population vector. Interestingly, the peak in the distribution of upper bounds is at lower amplification for community matrices with a mixture of these two interaction types. The largest upper bound, UB_{tail}(σ_{c}), however, is similar to mutualism and competition, so the exponent α is shallower.
Discussion
Here we described transient instability for non-normal community matrices using local stability analysis and pseudospectra. We showed how the shift from stable and non-reactive dynamics to transient instability changes if perturbations are applied to the community matrix. We also characterised how perturbations of the population vector are amplified during periods of transient instability for different types of interaction. We found an early, sharp and severe transition between stability and instability with mutualism, mixture and competition, but a later, longer and less severe transition with predator-prey community matrices.
In this study, we assumed a random topology of interactions between species. Although the correlation between interaction strengths—and therefore the predominant type of interaction in a community matrix—may be more important than topology for stability [10, 11], it remains to be seen whether this is the case with transient instability. Nevertheless, it is likely that the particular trajectory of a perturbed system is sensitive to topology, and, of course, the direction of initial perturbation of the population vector. Understanding transient dynamics at this level of detail requires analysis of pseudoeigenvectors in addition to pseudoeigenvalues (see Chapter I.4 in [29]).
Local stability analysis is only one approach to understanding the capacity for ecosystems to withstand external shocks [38, 39]. It will be informative to compare how the time evolution of the same shock to the same system is assessed under different approaches to measuring the ‘stability’, ‘persistence’ or ‘resilience’ of ecosystems [12].
Stability, in principle, promises a degree of certainty that biodiversity will not be lost [1, 2]. Reactivity has been suggested as a possible early-warning signal for the onset of instability [19–23]. Transient instability not only fills the gap between these two concepts, but also highlights new consequences of rapid environmental change. The longer the period of transient instability and the larger the amplification of perturbations of the population vector, the more susceptible an ecosystem is to multiple perturbations. One perturbation may drive a stable system into a period of transient instability that eventually dissipates; but two or three perturbations in quick succession may force the system to a new, unknown equilibrium point that may correspond to a loss of species and biodiversity. Pseudospectra can be used to investigate which ecosystems are at risk of instability, and what could be done to mitigate that risk.
We thank Gyuri Barabás for comments that greatly improved the paper.
ReferencesPimmSL (1984) The complexity and stability of ecosystems. MontoyaJM, PimmSL, SoléRV (2006) Ecological networks and their fragility. MayRM (1977) Thresholds and breakpoints in ecosystems with a multiplicity of stable states. McNaughtonS (1978) Stability and diversity of ecological communities. MayRM (1972) Will a large complex system be stable?YodzisP (1981) The stability of real ecosystems. McCannKS (2000) The diversity-stability debate. AllesinaS, TangS (2015) The stability-complexity relationship at age 40: a random matrix perspective. AllesinaS, TangS (2012) Stability criteria for complex ecosystems. NeutelA-M, ThorneMAS (2014) Interaction strengths in balanced carbon cycles and the absence of a relation between ecosystem complexity and stability. TangS, PawarS, AllesinaS (2014) Correlation between interaction strengths drives stability in large ecological networks. NeubertMG, CaswellH (1997) Alternatives to resilience for measuring the responses of ecological systems to perturbations. NelsonDR, ShnerbNM (1998) Non-Hermitian localization and population biology, CaswellH, NeubertMG (2005) Reactivity and transient dynamics of discrete-time ecological systems. VerdyA, CaswellH (2008) Sensitivity analysis of reactive ecological dynamics. NeubertMG, CaswellH, SolowAR (2009) Detecting reactivity. SnyderRE (2010) What makes ecological systems reactive?TangS, AllesinaS (2014) Reactivity and stability of large ecosystems. SchefferM, et al. (2009) Early-warning signals for critical transitions. SchefferM, et al. (2012) Anticipating critical transitions. VeraartAJ, FaassenEJ, DakosV, van NesEH, LürlingM, SchefferM (2012) Recovery rates reflect distance to a tipping point in a living system. DaiL, VorselenD, KorolevKS, GoreJ (2012) Generic indicators for loss of resilience before a tipping point leading to population collapse. DaiL, KorolevKS, GoreJ (2013) Slower recovery in space before collapse of connected populations. LevinsR (1968) ChenX, CohenJE (2001) Transient dynamics and food-web complexity in the Lotka-Volterra cascade model. NeubertMG, KlanjscekT, CaswellH (2004) Reactivity and transient dynamics of predator-prey and food web models. HastingsA (2004) Transients: the key to long-term ecological understanding?TrefethenLN (1997) Pseudospectra of linear operators. TrefethenLN, EmbreeM (2005) BarabásG, AllesinaS (2015) Predicting global community properties from uncertain estimates of interaction strengths. T. G. Wright and L. N. Trefethen, Large-scale computation of pseudospectra using ARPACK and Eigs, SIAM J. Sci. Comp. 23 (2001), 591–605.KreissH-O (1968) Stability theory for difference approximations of mixed initial boundary value problems. LeVequeRJ, TrefethenLN (1984) Advanced problems #6462. LeVequeRJ, TrefethenLN (1984) On the resolvent condition in the Kreiss matrix theorem. Trefethen LN, Bau D (1997) Numerical Linear Algebra (SIAM, Philadelphia).Caravelli F, Staniczenko PPA (2015) Bounds on transient instability for complex ecosystems—dataset, figshare, http://dx.doi.org/10.6084/m9.figshare.1570979KressnerD, VandereyckenB (2014) Subspace methods for computing the pseudospectral abscissa and the stability radius. DonohueI, et al. (2013) On the dimensionality of ecological stability. RohrRP, SaavedraS, BascompteJ (2014) On the structural stability of mutualistic systems.