José R Portillo1,2, Fernando Soler-Toscano3, José A Langa4,2. 1. Department of Applied Mathematics I, University of Seville, Seville, Spain. 2. Instituto de Matemáticas de la Universidad de Sevilla Antonio de Castro Brzezicki, Seville, Spain. 3. Department of Philosophy, Logic and Philosophy of Science, University of Seville, Seville, Spain. 4. Department of Differential Equations and Numerical Analysis, University of Seville, Seville, Spain.
Abstract
Dynamical systems on graphs allow to describe multiple phenomena from different areas of Science. In particular, many complex systems in Ecology are studied by this approach. In this paper we analize the mathematical framework for the study of the structural stability of each stationary point, feasible or not, introducing a generalization for this concept, defined as Global Structural Stability. This approach would fit with the proper mathematical concept of structural stability, in which we find a full description of the complex dynamics on the phase space due to nonlinear dynamics. This fact can be analyzed as an informational field grounded in a global attractor whose structure can be completely characterized. These attractors are stable under perturbation and suppose the minimal structurally stable sets. We also study in detail, mathematically and computationally, the zones characterizing different levels of biodiversity in bipartite graphs describing mutualistic antagonistic systems of population dynamics. In particular, we investigate the dependence of the region of maximal biodiversity of a system on its connectivity matrix. On the other hand, as the network topology does not completely determine the robustness of the dynamics of a complex network, we study the correlation between structural stability and several graph measures. A systematic study on synthetic and biological graphs is presented, including 10 mutualistic networks of plants and seed-dispersal and 1000 random synthetic networks. We compare the role of centrality measures and modularity, concluding the importance of just cooperation strength among nodes when describing areas of maximal biodiversity. Indeed, we show that cooperation parameters are the central role for biodiversity while other measures act as secondary supporting functions.
Dynamical systems on graphs allow to describe multiple phenomena from different areas of Science. In particular, many complex systems in Ecology are studied by this approach. In this paper we analize the mathematical framework for the study of the structural stability of each stationary point, feasible or not, introducing a generalization for this concept, defined as Global Structural Stability. This approach would fit with the proper mathematical concept of structural stability, in which we find a full description of the complex dynamics on the phase space due to nonlinear dynamics. This fact can be analyzed as an informational field grounded in a global attractor whose structure can be completely characterized. These attractors are stable under perturbation and suppose the minimal structurally stable sets. We also study in detail, mathematically and computationally, the zones characterizing different levels of biodiversity in bipartite graphs describing mutualistic antagonistic systems of population dynamics. In particular, we investigate the dependence of the region of maximal biodiversity of a system on its connectivity matrix. On the other hand, as the network topology does not completely determine the robustness of the dynamics of a complex network, we study the correlation between structural stability and several graph measures. A systematic study on synthetic and biological graphs is presented, including 10 mutualistic networks of plants and seed-dispersal and 1000 random synthetic networks. We compare the role of centrality measures and modularity, concluding the importance of just cooperation strength among nodes when describing areas of maximal biodiversity. Indeed, we show that cooperation parameters are the central role for biodiversity while other measures act as secondary supporting functions.
Phenomena from Natural and Social Sciences are usually modeled as complex networks for which a dynamic is defined among the nodes [1-4], sometimes associated to dynamical graphs [3, 5–9], and where the study of stability is frequently a crucial fact [10, 11]. From the keynote paper from Strogatz [9], many studies have focused on possible scenarios for the long time dynamics of complex network with a given topology [12-15], being Population Dynamics [16-19], Economy [20-22] and Neuroscience [23-28] some of the areas where this important problem has been intensively studied. When the dynamics of the system is given by a set of differential equations, its behaviour generically depends on its global attractor [29-32], defined as information structure (IS) when its geometrical characterization is available [28, 33]. An IS includes not only the information from the topology of the graph (structural network), but other key components that are crucial to understand all possible future scenarios. Indeed, an IS is the skeleton in the phase space describing topological and geometrical structural stability in dynamical system [34]. Note that, for an autonomous system, an IS is just the detailed structure of the unique global attractor. In gradient systems, this IS induces a whole deformation of the phase space, drawing an informational landscape where the transient and asymptotic observed dynamics of the system hold [33]. This IS and informational landscape are fixed and attracting. As indicated above, they coincide with the global attractor. But, in non-autonomous systems, in which, for instance, parameters depend on time, this fixed structure and associated landscapes are also changing in time, loosing their invariance and attracting properties, but still being crucial for the description of the dynamics. This fact has been used, for instance, in Neuroscience to discriminate in detail subjects with disorders of consciousness [35]. Thus, and IS could not coincide with the standard definition of a global attractor as the object describing all the asymptotic behaviour of the system. This is why, even in an autonomous framework as we use in this paper, for attractors and IS is better if they are differentiated.In this paper we focus on N-dimensional Lotka-Volterra systems used in the study of population dynamics (see, for instance, [36, 37]), but, by the Fundamental Theorem of Dynamical Systems [38], the results of this research can be extended to more general systems of differential equations. We show the dependence of dynamics on the topology of the graph, but, in addition, we claim that this fact it is only part of a more general principle: the dynamics on a graph is globally described by its associated IS, which is different from the structural base graph and whose nature is essentially informational. The IS for these systems is described as an hierarchical set of semi-stable stationary solutions linked by associated stable and unstable manifolds (see Fig 1), and informs not only on all the possible future scenarios of the system, but the way they are reached (metastability), the rate of convergence, and the zones describing phase transitions between different structures (bifurcation phenomena).
Fig 1
Information structure.
Graph with six nodes (top left) where a dynamics is defined by means of a Lotka-Volterra cooperative system with α and γ parameters as shown in the tables below. The attractor associated to the system, the information structure (IS) is shown on the right. Its eight nodes correspond to non-negative stationary points in the dynamics of the system. These stationary points are characterised by the value of each node in the system. The nodes u shown in white indicate that u = 0 at the corresponding point of the IS. Black nodes indicate that u > 0. Links between nodes u and u are those in the system (top left) where both u, u > 0. The blue arrows linking different points of the IS represent transitions going from one stationary solution (limit with time approaching −∞) to another (when time approaches + ∞). For clarity, transitive arrows are not shown.
Information structure.
Graph with six nodes (top left) where a dynamics is defined by means of a Lotka-Volterra cooperative system with α and γ parameters as shown in the tables below. The attractor associated to the system, the information structure (IS) is shown on the right. Its eight nodes correspond to non-negative stationary points in the dynamics of the system. These stationary points are characterised by the value of each node in the system. The nodes u shown in white indicate that u = 0 at the corresponding point of the IS. Black nodes indicate that u > 0. Links between nodes u and u are those in the system (top left) where both u, u > 0. The blue arrows linking different points of the IS represent transitions going from one stationary solution (limit with time approaching −∞) to another (when time approaches + ∞). For clarity, transitive arrows are not shown.This more complex scenario leads to define a generalization of the concept of structural stability introduced in [39], in line with [40, 41], allowing for a more fine description of internal and transient dynamics in ecological systems.A mathematical model of differential equations describes the dynamics of nodes on a mutualistic system as follows: suppose P is the total number of plants and A the number of animals. Plants (and animals) are in competition among them and cooperation links are set from plants to aminals and viceversa. We introduce the following system of N = P + A differential equations for and describing the population density for the i-th species:
for each p for 1 ≤ i ≤ P and a with 1 ≤ i ≤ A. and (α in short) are the intrinsic growth rates in the absence of competition and cooperation for plants and animals, respectively, , denote the competitive interactions and and the mutualistic strengths. Structural Stability focuses on the size of the region for the intrinsic parameters α to reach optimal (maximal) biodiversity. Observe that (1) can be written as a general Lotka-Volterra model for n species as:
or, equivalently,
with A = (α) the interaction (or adjacency) matrix given byStructural Stability for this model is introduced in [39] as a proper concept unifying the influences of network topology and parameter dependence in the system; it has been used in Theoretical Ecology to analyze robustness of biodiversity in these complex networks [42-48]. Essentially, structural stability of system (1) measures the region of intrinsic parameters of species for which we get maximal biodiversity. Note that a greater region for structural stability allows for lower values of individual intrinsic growth parameters but preserving a high level of biodiversity, pointing for robustness and resilience of species.The study of the size of the region for intrinsic growth parameters (in our case the α parameters) for which a system reaches its optimal biodiversity (all the species present) is defined as Structural Stability in [39]. This is a crucial fact for the study of the robustness of biodiversity in an ecosystem, as it characterizes the borders for intrinsic growth to get maximal biodiversity.Following the Linear Complementary Theory (LCP) associated to Lotka-Volterra systems [36, 37, 49], we introduce a partition of the phase space [50] for which we can estimate the area in which each stationary solution is globally stable, by measuring the intersection of its associated cone of biodiversity with the unit N-dimensional sphere [45].However, specially in high dimensional systems, a stationary point with all its components strictly positive either does not exist, or, if this is the case, there also exists a big set of semistable stationary points. The presence of these stationary points is crucial for the description of the transient behaviour and metastability properties of the system, so that neglecting its study could lead to wrong conclusions. Moreover, the ways to reach a particular stationary solution are multiple, depending of the different (informational) landscapes [33] described in detail by its semistable solutions (see Fig 2).
Fig 2
The evolution of four different scenarios defined over the same graph in the same state.
A three-nodes graph is considered. A system of differential equations as (2) is defined for the three nodes. Here, γ = 0.21 in all cases). Below, the evolution in time (red lines) from the state (0.2, 0.2, 0.2) of the system, depending on the value of the α parameters which affect the behaviour of the nodes of the graph but not to its connectivity. The starting point of the red trajectories is always the same initial point but the trajectories are quite different. The changes in the trajectories are governed by the different information structures (figures delimited by the blue lines) in each of the dynamical systems which determine the future scenarios of the system. In each case, the trajectory goes to a special point which is the global stable solution in the phase space.
The evolution of four different scenarios defined over the same graph in the same state.
A three-nodes graph is considered. A system of differential equations as (2) is defined for the three nodes. Here, γ = 0.21 in all cases). Below, the evolution in time (red lines) from the state (0.2, 0.2, 0.2) of the system, depending on the value of the α parameters which affect the behaviour of the nodes of the graph but not to its connectivity. The starting point of the red trajectories is always the same initial point but the trajectories are quite different. The changes in the trajectories are governed by the different information structures (figures delimited by the blue lines) in each of the dynamical systems which determine the future scenarios of the system. In each case, the trajectory goes to a special point which is the global stable solution in the phase space.Thus, in this paper we study the structural stability for every possible future scenario of the system. We do it in two different ways. Firstly, we consider the whole set of stationary points (asymptotically stable, semistable, or even globally unstable), and not only the globally asymptotically stable point with all components positive (see [46, 48] for a similar approach). For instance, the transition to one globally asymptotically stationary point to another by a bifurcation parameter is usually described as a sudden phenomenon, but, as we show in this paper, it is totally understandable by a careful study of the parameter region of stability for each stationary point and the way they intersect. Secondly, and maybe more important, we introduce the study of the internal dynamics for each level of biodiversity. The analytic calculation of the feasible region for any dimension has been established in Saavedra et al. [42] and in Song et al [51]. The region of maximal biodiversity is described by a cone [39, 45, 50] in the phase space for the intrinsic growth parameters α so that, for every α in this cone, the system will tend asymptotically to a stationary point with all components strictly positive. But there exists many ways to reach this global attracting state, each one defined by a different global attractor whose structure determines the transient behaviour. Indeed, in the interior of the cone of maximal biodiversity holds a rich set of different dynamical scenarios describing how species uses diverse strategies in order to reach the final stationary point. These distinct scenarios are described by different global attractors for which a topological description is available.On the other hand, in Theoretical Ecology the study of cooperative interactions between groups of plants and pollinators / seed-dispersal / ants and how they affect to biodiversity has received an intensive research in the last fifteen years [16–19, 21]. Moreover, many studies conclude that the underlined topology of a complex network is somehow associated to the observed dynamics. Indeed, the dependence of the forwards scenarios of a system on the topology of the underlying graph is usually pointed out [13, 14, 17–19, 21, 22, 26, 52–57]. A mathematical model by a system of differential equations for mutualistic networks in Ecology was introduced in Bastolla et al. [22]. Since then, many studies have been focused on this model class, as they provide a precise analysis for a global approach to these complex phenomena. They are represented by bipartite graphs representing two kind of species (classified into two sets, plants and animals) and the cooperative links between the groups [17–19, 39, 53]. These works studied how the architecture of the network relates to biodiversity. In particular, under some conditions is observed that the more nestedness of the network, the more probability for a richer biodiversity [58]; on the other hand, it also depends on other properties of the associated graph, and cannot be considered as the only marker for a higher biodiversity [59]. Moreover, several studies suggest that this index may not play the important role in shaping the network dynamics as it was previously believed. E.g., Payrató et al. show that nestedness is actually an entropic consequence of the degree sequence of the mutualistic networks, and not an irreducibly macroscopic feature [60].We study in detail the dependence of structural stability on several graph measures characterizing the underlying network described by adjacency matrix A (Results). Our findings, based on a deep computational analysis of biological and synthetic networks, conclude that cooperation parameters play the key role in biodiversity different to other graph measures such as modularity.
Materials and methods
Attractors as information structures
A full mathematical study of systems like (1) is developed in [49]. In particular, sufficient conditions for existence and uniqueness of solutions are provided, so defining a dynamical system {T(t)} for (1) which possesses a global attractor . The phase space
X will be the space in which the dynamics takes place; in our case . We define adynamical system on X as a family of non-linear operators ,
which describes the forwards dynamics of each u ∈ X. In our case, S(t)u0 = u(t;u0), the solution represents the solution of (1) at time t with initial condition u(0) = u0.The global attractor is the central concept in dynamical system theory, since it describes all the future scenarios of the associated given phenomena. It is defined as follows [29–32, 34, 61, 62]: A set is a global attractor for {S(t):t ≥ 0} if it iscompact,invariant under {S(t): t ≥ 0}, i.e. for all t ≥ 0, andattracts bounded subsets of X under {S(t):t ≥ 0}; that is, for all B ⊂ X boundedSuppose A in (3) belongs to class S or is Lyapunov-stable [63], i.e., A ∈ S, in the sense that there exists a diagonal positive matrix W such that WA + A
W is negative definite. In this case the whole structure of the global attractor for Lotka-Volterra systems can be characterized [49, 54]. Indeed, it is known that the dynamics of (3) generates an attractor, which is a structured finite set of stationary points (or equilibria) for the system, for which there exists a globally stable stationary point. The right part of Fig 1 represents the attractor corresponding to the graph on the left with the given α and γ parameters. Due to the informational nature of a global attractor, this attractor characterization has been defined as information structure (IS) in [28]. The information structure for (1) not only informs on all the stationary points of the system, but the way they are connected, showing a precise hieralchical structure by levels of information (see Fig 1 and [28, 33]).
Global structural stability
Under the hypotheses of A in (3) to be Lyapunov-stable, it is known that there exists a unique global asymptotically stable stationary point [36]. But there also exists a huge set (at most 2) of actual stationary points which are determining the transient dynamics, describing the closeness to phase transitions between different scenarios of biodiversity. This information is contained in the IS described above.
Convex cone partition of
Let us introduce the precise definitions related to global structural stability: let D = {1, …, n}, I ⊂ D and J = D∖I. Let A a Lypaunov-stable matrix and B. = −A. for j ∈ J and B. = −I. (negative of identity matrix) for j ∈ I, where B. the j-column of matrix B. Define the convex cone asThen, for any α ∈ pos(B.1, …, B.), the unique globally stable stationary solution of (3) satisfies [36]:This is an important result as, given any possible stationary point of the system, there exists an associated convex cone as described in pos(B.1, …, B.) such that, when α ∈ pos(B.1, …, B.), this stationary point is globally asymptotically stable [36].For instance, if we consider a 4D Lotka-Volterra system, and J = {1, 2} (so that I = {3, 4},) the portion (i.e., the cone C) of the space for parameter α assuring that the global asymptotic stationary point is of the form is given byEven more interesting, the sixteen possible cones (24) C, for all possible J− choices, form a partition of , i.e., the union of cones fills all the space and there is no intersection between their interiors.Fig 3 shows an example of the calculation for a graph of five nodes (n1, n2 at the left and n3, n4, n5 at the right). Competition (dashed lines) is assumed between every pair of nodes on the same side of the graph and cooperation (solid lines) exists when there is a link n ↔ n joining nodes of different sides. Note that when considering cooperation relationships is a bipartite graph. In general, β is not necessarily equal to β and the same for γ and γ. Matrix M in (6) (note that, in our case M = −A) contains all connectivity parameters. Observe that the diagonal is 1 and 0 represents no interaction between nodes. Given M, a certain is in the maximal biodiversity cone when there exist r1, r2, …, r ≥ 0 verifying (7). Structural stability for M is defined as the proportion of in the maximal biodiversity cone; i.e., the structural stability of M is equal to the proportion of points of the sphere of radius 1 centred at 0 in the maximal biodiversity cone.
Fig 3
The cone of maximal biodiversity and structural stability.
Left: Example (2 + 3)-bipartite graph with two nodes on the left and three nodes on the right. Competition (dashed lines) is between all elements on the same side, while cooperation occurs between elements on different sides for which there is an edge represented by a solid line. Cooperative relationships form a bipartite graph with two groups of nodes (left and right). Top right: Connectivity matrix −M of the system. Competition parameters β > 0 are set for all pairs of nodes n, n in the same group (both at the left or the right). Cooperation parameters γ > 0 exist for nodes n, n in different groups (one in the left and the other in the right) only when there is an arrow n ↔ n in the graph. In our experiments β = β and γ = γ. Bottom right: Equation to determine if a given point is in the maximal biodiversity cone. If there exist some r ≥ 0, 1 ≤ i ≤ 5, which verify (7), then is in the maximal biodiversity cone of M. To ensure the existence of a solution, the sum of the absolute values of each row or column of M (including the 1 in the diagonal) must be always lower than 2. This is equivalent to bound to 1 the sum of weights of all edges adjacent to each node of the graph (node degree bounded to 1). Given M, structural stability is defined as the proportion of points for which (7), has a solution. Since the cones are centred at 0, considered points can be limited to those on the surface of the sphere of radius 1 centred at 0.
The cone of maximal biodiversity and structural stability.
Left: Example (2 + 3)-bipartite graph with two nodes on the left and three nodes on the right. Competition (dashed lines) is between all elements on the same side, while cooperation occurs between elements on different sides for which there is an edge represented by a solid line. Cooperative relationships form a bipartite graph with two groups of nodes (left and right). Top right: Connectivity matrix −M of the system. Competition parameters β > 0 are set for all pairs of nodes n, n in the same group (both at the left or the right). Cooperation parameters γ > 0 exist for nodes n, n in different groups (one in the left and the other in the right) only when there is an arrow n ↔ n in the graph. In our experiments β = β and γ = γ. Bottom right: Equation to determine if a given point is in the maximal biodiversity cone. If there exist some r ≥ 0, 1 ≤ i ≤ 5, which verify (7), then is in the maximal biodiversity cone of M. To ensure the existence of a solution, the sum of the absolute values of each row or column of M (including the 1 in the diagonal) must be always lower than 2. This is equivalent to bound to 1 the sum of weights of all edges adjacent to each node of the graph (node degree bounded to 1). Given M, structural stability is defined as the proportion of points for which (7), has a solution. Since the cones are centred at 0, considered points can be limited to those on the surface of the sphere of radius 1 centred at 0.
Results
In this section, we study the structural stability of each stationary point in the system, independently of their stability properties. This is referred as Global Structural Stability. For (3), the zero solution is globally unstable, each stationary point belongs to an informational level E and possesses stable and unstable directions, and there exists just one stationary feasible point u* in the lower level which is globally stable (see Fig 1).To illustrate the description of global structural stability, consider a two-dimensional cooperative system given by
with and a, b > 0. For a fixed network of connections in the system (given by values of the a and b parameters), the intrinsic growth rate of each species plays a crucial role. Indeed, a convex cone of α parameters in (8) is associated to these stationary points, and all of these convex cones form a partition of [50], i.e., each cone has a nonvoid interior, the union of all cones is and each pair of the interior of cones is disjoint (see Fig 4).
Fig 4
Description of cones for alpha parameters associated to 8 with 2 × 2 matrices as indicated.
A. Competitive case. B. Cooperative case. Note that there are four regions C, i, j = 0, 1, each for the four possible stationary points. If α ∈ C, the globally asymptotically stable point u* for (8) has the positive components pointed by ij, i.e., α ∈ C11 means that in Note that borders of each cone are bifurcation lines, in the sense that a sudden attractor bifurcation occurs when passing through this border. Moreover, inside each cone, there exist interesting zones marking different attractor structures with the same globally asymptotically stable solution, which is also crucial for the study of the structural stability.
Description of cones for alpha parameters associated to 8 with 2 × 2 matrices as indicated.
A. Competitive case. B. Cooperative case. Note that there are four regions C, i, j = 0, 1, each for the four possible stationary points. If α ∈ C, the globally asymptotically stable point u* for (8) has the positive components pointed by ij, i.e., α ∈ C11 means that in Note that borders of each cone are bifurcation lines, in the sense that a sudden attractor bifurcation occurs when passing through this border. Moreover, inside each cone, there exist interesting zones marking different attractor structures with the same globally asymptotically stable solution, which is also crucial for the study of the structural stability.This means that a given vector α of (8) belongs either to just the interior of one cone (determining the feasible stationary point, and so the future biodiversity of the system) or to the intersection of cones, made by rich manifolds showing a phase transition and a high sensibility to bifurcation scenarios in biodiversity.The global structural stability of a system allows to study bifurcation and transitions between different biodiversity scenarios. Indeed, the borders, which are now mathematically well defined, of each cone are critical zones for the sudden transition to one biodiversity scenario to a different one. Moreover, we can also observe in a global way the dependence of the cone partition on the parameters of the system (see Fig 5).
Fig 5
Evolution of global structural stability on parameters on a 3D LV system.
A. We observe the evolution of the size of the cones when changing parameter γ23 from competition (0.4) to cooperation values (−0.4). We observe that cones of maximal biodiversity (u111) and the cone associated to stationary point u011 behaves monotonically increasing with γ23. B. The same result, now simultaneously changing γ23 and γ32. Note that the cones for u011 and u111 now grow faster, while other cones with constant size now decreases (as those associated to u010 and u110). C It is shown the Global Structural Stability from a competitive system to a cooperative one, by changing all the parameters in matrix A. Note that, among all, it is the cone with maximal biodiversity the only one increasing with an income of cooperation in the system.
Evolution of global structural stability on parameters on a 3D LV system.
A. We observe the evolution of the size of the cones when changing parameter γ23 from competition (0.4) to cooperation values (−0.4). We observe that cones of maximal biodiversity (u111) and the cone associated to stationary point u011 behaves monotonically increasing with γ23. B. The same result, now simultaneously changing γ23 and γ32. Note that the cones for u011 and u111 now grow faster, while other cones with constant size now decreases (as those associated to u010 and u110). C It is shown the Global Structural Stability from a competitive system to a cooperative one, by changing all the parameters in matrix A. Note that, among all, it is the cone with maximal biodiversity the only one increasing with an income of cooperation in the system.In Fig 6 we show the different cones for a three dimensional Lotka-Volterra system. Note, once more, that the union of cones forms a partition of .
Fig 6
Two representations of the eight cones describing global structural stability.
A. a 3D competitive LV system, with the cone of maximal biodiversity (dark blue). B. a 3D cooperative LV system, with a bigger cone of maximal biodiversity, pointing out the key role of cooperation in biodiversity.
Two representations of the eight cones describing global structural stability.
A. a 3D competitive LV system, with the cone of maximal biodiversity (dark blue). B. a 3D cooperative LV system, with a bigger cone of maximal biodiversity, pointing out the key role of cooperation in biodiversity.We will refer to Global Structural Stability as the study of the properties of regions describing the different possible scenarios of biodiversity in an ecological system. The size of the cone-partition of the phase space and its dependence on the structural network of connection between species suppose core subjects in this analysis.The study of the structural stability for all possible asymptotic realization informs, in a holistic way, on the robustness of a particular future scenario and the way it is reached.
Topological structural stability in the interior of cones
In Fig 7 we can can see two of the different possibilities converging to a six-node asymptotically stable stationary point. These structures would belong to the same cone of biodiversity, but the different characterization infers important qualitative dynamics differences. Each of these structures defines a region in the interior of this cone, making the structure to be stable under perturbation [34], causing that the union of regions, the whole cone, is also structural stable. Indeed, the structural stability of the cone of maximal biodiversity can be analyzed as the union of structural stability regions inside the cone describing different transient scenarios. It is the structural stability of these complex graphs which is dynamically relevant, in the sense to cause the dynamics, very different from region to region even all belonging to the cone of maximal biodiversity.
Fig 7
Two different information structures for a six dimensional cooperative LV system, associated to the same cooperative values between nodes (same adjacency matrix) and with different values of the intrinsic parameter α.
Note that both structures have the same kind of globally asymptotically stationary point, the one with the six components strictly positive. However, these structures produce a very different phase space deformation (information field) in both cases. Indeed, all the transient behaviour of every solution will follow the metastability imposed by the structure. These complex graphs are just two of the many that coexist within the cone of maximal biodiversity that describes the structural stability in the sense of [39] for this system.
Two different information structures for a six dimensional cooperative LV system, associated to the same cooperative values between nodes (same adjacency matrix) and with different values of the intrinsic parameter α.
Note that both structures have the same kind of globally asymptotically stationary point, the one with the six components strictly positive. However, these structures produce a very different phase space deformation (information field) in both cases. Indeed, all the transient behaviour of every solution will follow the metastability imposed by the structure. These complex graphs are just two of the many that coexist within the cone of maximal biodiversity that describes the structural stability in the sense of [39] for this system.In Fig 8 we observe the region of maximal biodiversity for a three-node cooperative LV system. This region is subdivided into different areas, each one corresponding to a different information structure. These are the minimals regions which are stable under perturbation in the sense of [34, 40], as they characterize the phase space and its transitions to other topological configurations of the space in the interior of the cone of maximal biodiversity. Note that this richness of possibilities is unobservable in the competitive case, showing (once more) the role of cooperation in the generation of different scenarios.
Fig 8
Cone of maximal biodiversity for a three-nodes LV cooperative system.
Each color corresponds to a kind of information structure, also represented. The union of all regions produces the cone where structural stability is defined in the sense of [39]. Observe the rich presence of different attractors in the same cone, producing different dynamics with a same globally stable point. Each of these attractors is structurally stable under autonomous and nonautonomous perturbations [34], producing the structural stability of the whole cone. These coloured areas are the minimal structural stable zones, so defining with full precision the observed dynamics, in particular metastability effects, and predicting sudden bifurcation in structures.
Cone of maximal biodiversity for a three-nodes LV cooperative system.
Each color corresponds to a kind of information structure, also represented. The union of all regions produces the cone where structural stability is defined in the sense of [39]. Observe the rich presence of different attractors in the same cone, producing different dynamics with a same globally stable point. Each of these attractors is structurally stable under autonomous and nonautonomous perturbations [34], producing the structural stability of the whole cone. These coloured areas are the minimal structural stable zones, so defining with full precision the observed dynamics, in particular metastability effects, and predicting sudden bifurcation in structures.
Graph characterization and structural stability
Antagonism/competition (β parameters) is established etween all pairs of nodes in the same set and mutualism/cooperation (γ) between nodes of different sets. Competition relations are constant in most experiments (random in some cases), only the cooperation part changing across all graphs. If we only look at the cooperation relationships, the graphs are bipartite. We will call these graphs as γ-bipartite and they have a similar structure to the example in Fig 3 where the weights of edges connecting different sides correspond to cooperation γ parameters and inside each group of nodes (left and right) competition β parameters are fixed. This structure is familiar in the study of mutualistic ecological networks [18, 19, 64], like plants-pollinators, seed-dispersal, or plants-ants relationships. As explained above, β = β and γ = γ. Also, 0 < β, γ < 1 and ∑(β + γ) < 1 for each i ∈ {1, …, n}.Given a connectivity matrix M (like the example in Fig 3) we have estimated structural stability by using the
software by Jacopo Grilli presented in [43].We have explored the relation between structural stability and several graph measures. We focus on connected graphs representing networks with nodes divided into two sets. Experiments use networks of size 10 + 10 and 20 + 30. Note that the adjacency matrix of our graphs is matrix A in (3). Two kinds of experiments on biological and synthetic networks (Table 1) are performed in two sizes (20 and 50 nodes). To study the dependence of structural stability on several graph measures, Spearman correlation coefficient ρ is used (Table 2). It it a non-parametric measure on the correlation between two (discrete or continuous) random variables [65]. To compute ρ, data are ordered and replaced by their respective order.
Table 1
Summary of the experiments with graphs of 10 + 10 (M_SD_20) and 20 + 30/30 + 20 (M_SD_50) nodes extracted from seed-dispersal biological networks [66], and synthetic graphs of 10 + 10 (G*) and 20 + 30 nodes (E*), with different connectivity values. Structural stability is approximated with an error margin of 1% using the software described in [43].
Experiment
Antagonism coefficients
Cooperation coefficents
M_SD_20
0.01
normalized from real network
GB
0.01
γij = (i + j) * k (normalized)
GC
random
random
GD
0.01
random
M_SD_50
0.002
normalized from real network
EB
0.002
γij = (i + j) * k (normalized)
EC
random
random
ED
0.002
random
Table 2
Spearman correlation coefficients between structural stability and several graph measures for the experiments with biological networks, considering 10 γ-bipartite graphs of 10 + 10 nodes given from selected subnetworks of seed-dispersal networks (first row) and 4 γ-bipartite graphs of 20 + 30 or 30 + 20 nodes given from selected subnetworks of seed-dispersal networks (fifth row).
The rest of rows correspond to the several sets of synthetic random graphs: 500 γ-bipartite graphs of 10 + 10 nodes (rows 2-4) and 500 γ-bipartite graphs of 20 + 30 nodes (rows 6-8). See Table 1 for details on how γ and β are set.
Experiment
Degree centrality
Optimal modularity
(mean)
(mutualism)
(antagonism)
M_SD_20
1.000000
1.000000
—
-0.042424
GB
0.994869
0.994869
—
-0.580607
GC
0.999332
0.999613
0.0353016
-0.570839
GD
0.999670
0.999670
—
-0.6066086
M_SD_50
1.00000
1.00000
—
-0.600000
EB
0.999424
0.999424
—
-0.625978
EC
0.997284
0.998848
0.051100
-0.622205
ED
0.999399
0.999399
—
-0.609350
Spearman correlation coefficients between structural stability and several graph measures for the experiments with biological networks, considering 10 γ-bipartite graphs of 10 + 10 nodes given from selected subnetworks of seed-dispersal networks (first row) and 4 γ-bipartite graphs of 20 + 30 or 30 + 20 nodes given from selected subnetworks of seed-dispersal networks (fifth row).
The rest of rows correspond to the several sets of synthetic random graphs: 500 γ-bipartite graphs of 10 + 10 nodes (rows 2-4) and 500 γ-bipartite graphs of 20 + 30 nodes (rows 6-8). See Table 1 for details on how γ and β are set.Edges are weighted in different ways. In the first set of experiments, real mutualistic networks of seed-dispersers obtained from the Web of Life (http://www.web-of-life.es/) [66] have been used to get 10 γ-bipartite connected graphs of 10 + 10 nodes in the experiment M_SD_20 and 4 γ-bipartite connected graphs of 20 + 30 (or 30 + 20) nodes in the experiment M_SD_50. In the second set, 500 γ-bipartite connected graphs of 10 + 10 nodes have been generated for experiments GB, GC and GD, and 500 γ-bipartite connected graphs of 20 + 30 nodes for experiments EB, EC and ED.Experiments M_SD_20 and M_SD_50 have been performed on seed-dispersal networks from the Web of Life [66]. This dataset contains 16 weighted databases of mutualistic seed-dispersal with a number of species varying from 23 and 121 (from 4 to 50 plants and from 8 to 88 animals). Given that the network size may influence on the associated graph parameters, we have selected those networks with more than 10 plants and 10 animals for M_SD_20 and more than 20 plants and 30 animals (or vice-versa) for M_SD_50. From each network in these two sets, we choose a subnetwork of the desired order (resp. 10 + 10 and 20 + 30). To build these networks of the same size, we selected the plants and animals with more observed interactions.Graphs associated with experiments M_SD_20 and M_SD_50 have been built by setting the mutualistic values γ to 0.75 times the number of observations divided by the sum of observations of each specie. Antagonistic β values are all set to 0.01 in M_SD_20 and 0.002 in M_SD_50. A summary of these values can be found on Table 1.Studies GB, GC and GD (G* in short) have been carried out on synthetically generated networks. In all these G* studies, each network is built by creating a random bipartite graph of 10 + 10 nodes with a number of edges drawn from a normal distribution whose mean (52.6) and standard deviation (17.2) correspond to that of the population of edges in the graphs associated with the networks in the M_SD_20 study.Similarly, EB, EC and ED studies (E* in short), are based on synthetically generated networks which are obtained by creating random bipartite graphs of 20 + 30 nodes with a number of edges obtained from a normal distribution whose mean (157.25) and standard deviation (76.8) correspond to that of the population of edges in the graphs associated with the seed-dispersal networks of the M_SD_50 study.Study GB is done by weighting graph edges as γ = (i + j)*k and then normalising by dividing the matrix by the maximum sum of rows and columns and multiplying all resulting matrices by a suitable constant so that the mean of the degrees is the same as the average γ in experiment M_SD_20. The goal is to obtain a collection of networks whose average degree is uniformly increasing, avoiding the random effect of the construction of the bipartite graphs in G*. The value of β is 0.01 as in the graphs of the experiment M_SD_20.Studies GC and GD set γ randomly, using a normal distribution whose mean and standard deviation are equal to that of the experiment M_SD_20. When a negative random value is produced, γ = 0.002. In the GD experiment, the values of β are all equal to 0.01 (like in M_SD_20). In GC, β is calculated from a probability distribution with mean 0.01 and standard deviation 0.002. When a negative random value is produced, β = 0.002.In a similar way, the study EB is done by weighting graph edges as γ = (i + j)*k, then normalising by dividing by the maximum sum of weights of rows and columns and multiplying all the adjacency matrices of the graphs by an appropriate constant so that the mean of the degrees is the same as the mean of the γ of the graphs in the experiment M_SD_50. In the other hand, studies EC and ED set γ randomly, using a normal distribution whose mean and standard deviation are equal to those of experiment M_SD_20, with β fixed and equal to 0.002 in the experiment ED and getting β values from a probability distribution with mean 0.006 and standard deviation 0.001. When negative values are randomly produced, β = 0.001.These studies aim at a comprehensive exploration of the relationship between structural stability and several network measures. This is why the construction of graph sets is intended to cover as much of the search space of connected graphs as possible.In all these graph sets, we have studied the correlation between structural stability and several graph measures. Our aim is to get insight into the criteria producing connectivity matrices with higher structural stability. Degree centrality and optimal modularity are studied in all experiments.Table 2 shows the Spearman correlation coefficient between these parameters and structural stability, estimated by using the software in Grilli [43] (https://github.com/jacopogrilli/feasibility) with an error margin of ±1%.
Centrality measures
Centrality measures determine the relative importance of a node within a network [67, 68]. Being able to recognise the centrality of a node can help to determine, for example, the impact of a person involved in a social network, the relevance of a room in a building represented in spatial syntax, the importance of a road in an urban network, or the essential components of a computer network.Centrality is not an intrinsic attribute of the nodes or actors in a network, such as temperature, monetary income, etc., but a structural attribute, that is, an assigned value which strictly depends on its location in the network. Centrality measures the contribution of a node according to its location in the network, regardless of whether its importance, influence, relevance or prominence is being assessed.Degree centrality corresponds to the number of links that a node has with the others [69]. It provides the clearest relationship with structural stability in most cases. As degree centrality is a measure of the nodes, we use for each graph the mean degree (equivalent to the sum) of its nodes.Correlation between mean degree and structural stability is very strong in all experiments (Table 2). See Fig 9 for a graphical representation of these results.
Fig 9
Degree centrality and structural stability.
Left (top to bottom): Comparison of M_SD_20 with GB, GC and GD. Right (top to bottom): Comparison of M_SD_50 with EB, EC and ED. Spearman correlation coefficient is greater than 0.994 in all these cases (Table 2). In these graphs, degree centrality grows with the sum of the cooperation (γ) and competition (β) parameters.
Degree centrality and structural stability.
Left (top to bottom): Comparison of M_SD_20 with GB, GC and GD. Right (top to bottom): Comparison of M_SD_50 with EB, EC and ED. Spearman correlation coefficient is greater than 0.994 in all these cases (Table 2). In these graphs, degree centrality grows with the sum of the cooperation (γ) and competition (β) parameters.These results suggest that structural stability (ability to produce maximal biological diversity) is related to degree centrality or, equivalently, to the sum of node degrees. This sum includes both mutualism and antagonism coefficients. However, we can observe that the structural stability grows as the sum of the cooperation parameters γ grows and has no apparent relationship with the sum of the antagonism parameters β (see Table 2 and Fig 10). Because of this, instead of considering the mean (or, equivalently, the sum of all antagonistic and mutualistic coefficients) we can conjecture that structural stability is mainly related to ∑γ, the cooperation within network nodes. Since the antagonistic coefficients are lower in absolute value than the mutualistic ones, it is possible that their effect on structural stability can only be observed when they have a similar weight. Further experiments may confirm or refute this hypothesis.
Fig 10
Sum of cooperation ∑γ (top row) and competition ∑β (bottom) versus structural stability in graphs with random antagonistic edge weight: GC (left) and EC (right).
Correlations for ∑γ and ∑β are shown in Table 2. Results indicate that the relationship of structural stability is direct to the sum of the cooperation coefficients but it is not correlated with the sum of the competition ones.
Sum of cooperation ∑γ (top row) and competition ∑β (bottom) versus structural stability in graphs with random antagonistic edge weight: GC (left) and EC (right).
Correlations for ∑γ and ∑β are shown in Table 2. Results indicate that the relationship of structural stability is direct to the sum of the cooperation coefficients but it is not correlated with the sum of the competition ones.To test our conjecture, we have calculated the Spearman correlation between structural stability and ∑γ alone (and the same for ∑β) for the experiments with random values of β and γ, i.e., GC and EC studies. Results are shown in Table 2 and Fig 10, confirming that structural stability (maximal biological diversity) is in direct relation to the sum of the cooperation coefficients. This is a relevant result because it shows that the more cooperation between network nodes, the greater structural stability is produced. A similar study has been done in [43], showing also that cooperation is a core process for feasibility. Other measures discussed below focus on how the distribution of cooperation affects structural stability.
Modularity
Modularity measures the division of a network into communities (groups, clusters or modules) [70]. Its value (between −1/2 and 1) is relative to a partition of the graph nodes into different communities. It is defined as the fraction of the edges within the communities minus the expected fraction if edges were set at random. The maximum value for a graph (considering all possible partitions) is called optimal modularity. Networks with high optimal modularity (close to 1) have high connectivity between nodes within the same community and low connectivity between different communities. Modularity is 1 just in case that communities are complete graphs with no links between them. Some biological networks have high degrees of optimal modularity [25]. Graphs with a very specific structure (grid or similar) have negative optimal modularity.We have used the C library iGraph [71] which implements the Newman [70] algorithm to compute optimal modularity. As Table 2 show, Spearman correlation is relatively strong (up to 0.57) in all experiments except M_SD_20, in which is very low (see Table 2 and Fig 11).
Fig 11
Optimal modularity and structural stability.
Left (top to bottom): Comparison of M_SD_20 with GB, GC and GD. Right (top to bottom): Comparison of M_SD_50 with EB, EC and ED. Spearman correlation coefficient is lower than −0.057 in all these cases except M_SD_20 (Table 2). It suggest that the formation of strongly interrelated communities within a biological system has a negative influence on maximal biological diversity.
Optimal modularity and structural stability.
Left (top to bottom): Comparison of M_SD_20 with GB, GC and GD. Right (top to bottom): Comparison of M_SD_50 with EB, EC and ED. Spearman correlation coefficient is lower than −0.057 in all these cases except M_SD_20 (Table 2). It suggest that the formation of strongly interrelated communities within a biological system has a negative influence on maximal biological diversity.
Discussion
In general, to study the long-time behaviour of a dynamical system, it is a common way to analyse its stationary points and associated stability. An IS contains this information as a whole, all the possible scenarios at the same time, their stability, their robustness, and, crucially, the way they are joined. All this information is usually belittled in many research contributions. ISs are described in our Lotka-Volterra system with precision, so allowing for further studies on robustness, bifurcation phenomena or metastability of solutions, in which the role of the associated informational field may be crucial [28, 33, 62, 72, 73].The concept of structural stability is used in [22], and defined as in the present paper in [39, 74]. In this work we have introduced a global framework to study the structural stability for every possible stationary point of a mutualistic system. It is very important to determine the robustness of each asymptotic regime, measured by the region that associated parameters reach. In this sense, we have introduced an -partition for the α-parameters describing the different convex regions for each stationary solution, which is moreover globally asymptotically stable in these regions. To our knowledge, this is the first time structural stability is used to study all the possible future scenarios, and not only to determine maximal biodiversity. We are aware we have not taken all the important information from the existence of an information structure. Indeed, there are many possible configurations possessing the same global asymptotic stable stationary solution (see for instance Fig 1 in which the set of semistable stationary points above the last asymptotically stable one could be very different), and would deserve further research.The level of the interdependence between structure and dynamics on complex networks is not always clear; sometimes it seems that this relation induces determination, and usually just correlation in most cases. In this paper we conclude that dynamics, although closely related, is mainly determined by the signed sum of the degrees of the net and not for other parameters of the topology of the network.To study the dependence of the topology and its associated dynamics we have introduced an N-dimensional Lotka-Volterra system of differential equations.Our results also suggest that optimal modularity has a negative impact on biological diversity (structural stability), but in a smoother way that the positive influence of the sum of cooperation γ values. That is, the formation of strongly interrelated communities within a biological system has a negative influence on maximal biological diversity. More conclusive results on modularity may require more extensive studies, maybe normalizing the connectivity matrix of the networks to a constant centrality degree or constant sum of cooperation coefficients. That way, the influence of modularity could be better estimated. Similar studies have been done in [39, 43, 60], and they have shown that some network properties, such as nestedness, are also a secondary process (not a core process) shaping coexistence.We conjecture that competition/antagonism β coefficients have negative influence on maximal biological diversity, but more extensive experiments could also be required to confirm this claim.9 Feb 2022
PONE-D-21-36391
Global structural stability and the role of cooperation in mutualistic systems
PLOS ONE
Dear Dr. Portillo,Thank you for submitting your manuscript to PLOS ONE. After careful consideration, we feel that it has merit but does not fully meet PLOS ONE’s publication criteria as it currently stands. Therefore, we invite you to submit a revised version of the manuscript that addresses the points raised during the review process.
More precisely, you will see that the two reviewers are advising that you revise your manuscript. Note that it is a minor revision so consider making the suggested changes.
Please submit your revised manuscript by Mar 25 2022 11:59PM. If you will need more time than this to complete your revisions, please reply to this message or contact the journal office at plosone@plos.org. When you're ready to submit your revision, log on to https://www.editorialmanager.com/pone/ and select the 'Submissions Needing Revision' folder to locate your manuscript file.
Please include the following items when submitting your revised manuscript:
A rebuttal letter that responds to each point raised by the academic editor and reviewer(s). You should upload this letter as a separate file labeled 'Response to Reviewers'.A marked-up copy of your manuscript that highlights changes made to the original version. You should upload this as a separate file labeled 'Revised Manuscript with Track Changes'.An unmarked version of your revised paper without tracked changes. You should upload this as a separate file labeled 'Manuscript'If you would like to make changes to your financial disclosure, please include your updated statement in your cover letter. Guidelines for resubmitting your figure files are available below the reviewer comments at the end of this letter.
If applicable, we recommend that you deposit your laboratory protocols in protocols.io to enhance the reproducibility of your results. Protocols.io assigns your protocol its own identifier (DOI) so that it can be cited independently in the future. For instructions see: https://journals.plos.org/plosone/s/submission-guidelines#loc-laboratory-protocols. Additionally, PLOS ONE offers an option for publishing peer-reviewed Lab Protocol articles, which describe protocols hosted on protocols.io. Read more information on sharing protocols at https://plos.org/protocols?utm_medium=editorial-email&utm_source=authorletters&utm_campaign=protocols.
We look forward to receiving your revised manuscript.Kind regards,Pablo Martin RodriguezAcademic EditorPLOS ONEJournal Requirements:1. When submitting your revision, we need you to address these additional requirements.Please ensure that your manuscript meets PLOS ONE's style requirements, including those for file naming. The PLOS ONE style templates can be found athttps://journals.plos.org/plosone/s/file?id=wjVg/PLOSOne_formatting_sample_main_body.pdf andhttps://journals.plos.org/plosone/s/file?id=ba62/PLOSOne_formatting_sample_title_authors_affiliations.pdf2. Please update your submission to use the PLOS LaTeX template. The template and more information on our requirements for LaTeX submissions can be found at http://journals.plos.org/plosone/s/latex.3. We noted in your submission details that a portion of your manuscript may have been presented or published elsewhere. (This manuscript was previously submitted to a different PLOS journal as either a presubmission inquiry or a full submission.PlOS Computational BiologyPCOMPBIOL-D-21-00722)Please clarify whether this [conference proceeding or publication] was peer-reviewed and formally published. If this work was previously peer-reviewed and published, in the cover letter please provide the reason that this work does not constitute dual publication and should be included in the current manuscript.4. Please review your reference list to ensure that it is complete and correct. If you have cited papers that have been retracted, please include the rationale for doing so in the manuscript text, or remove these references and replace them with relevant current references. Any changes to the reference list should be mentioned in the rebuttal letter that accompanies your revised manuscript. If you need to cite a retracted article, indicate the article’s retracted status in the References list and also include a citation and full reference for the retraction notice.[Note: HTML markup is below. Please do not edit.]Reviewers' comments:Reviewer's Responses to Questions
Comments to the Author1. Is the manuscript technically sound, and do the data support the conclusions?The manuscript must describe a technically sound piece of scientific research with data that supports the conclusions. Experiments must have been conducted rigorously, with appropriate controls, replication, and sample sizes. The conclusions must be drawn appropriately based on the data presented. Reviewer #1: YesReviewer #2: Partly********** 2. Has the statistical analysis been performed appropriately and rigorously? Reviewer #1: YesReviewer #2: N/A********** 3. Have the authors made all data underlying the findings in their manuscript fully available?The PLOS Data policy requires authors to make all data underlying the findings described in their manuscript fully available without restriction, with rare exception (please refer to the Data Availability Statement in the manuscript PDF file). The data should be provided as part of the manuscript or its supporting information, or deposited to a public repository. For example, in addition to summary statistics, the data points behind means, medians and variance measures should be available. If there are restrictions on publicly sharing data—e.g. participant privacy or use of data from a third party—those must be specified. Reviewer #1: YesReviewer #2: Yes********** 4. Is the manuscript presented in an intelligible fashion and written in standard English?PLOS ONE does not copyedit accepted manuscripts, so the language in submitted articles must be clear, correct, and unambiguous. Any typographical or grammatical errors should be corrected at revision, so please note any specific errors here. Reviewer #1: YesReviewer #2: Yes********** 5. Review Comments to the AuthorPlease use the space provided to explain your answers to the questions above. You may also include additional comments for the author, including concerns about dual publication, research ethics, or publication ethics. (Please upload your review as an attachment if it exceeds 20,000 characters) Reviewer #1: In the current manuscript, Portillo et al. analyze the dynamics of ecological systems by using the concept of Global Structural Stability, which is introduced in the text. Structural stability is a well-established concept in dynamical system theory, and it refers to the robustness of a given system to have its dynamical behavior (number of equilibrium points, their stability, limit cycles, etc.) unchanged upon smooth variations in the parameters' configuration. In theoretical ecology, this notion is understood in a slightly different manner: a system is said to be more structurally stable than the other if it has a larger volume in the growth rates parameter space (defined by components $\\alpha_i$ of the growth rates vector $\\boldsymbol{\\alpha}$) in which the fixed point solution is feasible (maximal biodiversity) and stable. The Global structural stability introduced by authors is an extension of the latter concept in that it does not require the feasible point to be stable. In other words, global structural stability considers the volume in the growth rates parameter space that encompasses unstable and stable feasible points. The motivation for this definition stems from the fact that especially in high dimensional systems feasible solutions are seldom observed; and if they do occur, they appear along with semistable stationary points. Therefore, as it is argued in the manuscript, rich information about the dynamical system can end up being neglected by considering stable feasible points solely.The idea of global structural stability is applied to plant-pollinator networks, which are mutualistic systems whose dynamics can be described by Lotka-Volterra models, as defined in Eq. (1). The abundance of the species depends on three factors: the intrinsic growth rate, competitive and mutualistic connections. The latter are encoded in a bipartite matrix, which, in the case of real networks, can be mapped by field observations. After presenting the idea of global structural stability, the authors investigate how that property is influenced by the strength of mutualistic interactions and structural characteristics of the networks.The study put forward by the authors is interesting, the text is well-written, and the results appear to be solid. I believe the paper deserves publication in Plos One, but before that the authors should consider the issues I describe below.The idea of Global structural stability is relevant to the study of ecological networks, but I found its presentation somewhat confusing. First, the motivation for the new concept is not clearly presented in the introduction part -- actually, one only starts to fully appreciate its importance and, more importantly, its difference from the standard structural stability after line 150, where global structural stability is discussed in more detail. In the introduction, the authors do mention that they "consider the whole set of stationary points (asymptotically stable, semistable, or even globally unstable), and not only the globally asymptotically stable point with all components positive (see [45, 47] for a similar approach)"; but, in my opinion, it is not evident to the reader that this is part of the new measure that is being introduced here. Therefore, I would suggest to highlight the relevance of the global structural stability, as it is done after line 160, right in the introduction section.Second, Information Structure (IS) seems to be a crucial element in the analysis of the networks; however, in my view, this concept is not clearly defined in text. In the first paragraph of the manuscript, it is mentioned that "When the dynamics of the system is given by a set of differential equations, its behaviour generically depends on its global attractor [31-34], defined as information structure (IS) (...)". The latter sentence leaves the impression that IS is the very global attractor; if that is indeed the case, why does one need to relabel "global attractor" to IS? In Refs. [30,35] I notice that that the definition is more subtle; therefore, I would suggest to refine the definition of this concept.In the Dicussion section, it is stated that:"The level of the interdependence between structure and dynamics oncomplex networks is not always clear; sometimes it seems that this relation induces determination, and usually just correlation in most cases. In this paper we conclude that dynamics, although closely related, is not determined by the topology of the network."It is very difficult to categorically conclude that the network dynamics is not determined by its topology by analyzing the correlation of the structural stability with only three metrics (mean degree, nestdeness and modularity). There are other basic quantities, such as the number of nodes and the largest eigenvalue of the adjacency matrix, that could have a more clear or direct influence on the dynamics. Besides, in Fig. 9 we see a clear relation between mean degree and structural stability. So how can one conclude that the dynamics is not determined by the topology? Perhaps it would better to clarify what it is meant by "closely related" and "determined" in this context. Thus, I would suggest to either soften the statement in that paragraph or provide more analyses with other network measurements. Furthermore, concerning nestedness, there have been works showing that this index may not play the important role in shaping the network dynamics as it was previously believed [Phys. Rev. X 9, 031024 (2019)].Minor points:Line 309: "To build networks of the same size, we selected the plants and animals with more observed interactions." What do you the authors mean by "build the networks of the same size"? Are not the networks taken from the Web of Life already built when they are inserted into the dynamical equations?Line 316: I believe the term "G* studies" has not been defined previously. One can figure it out by the context what is meant by the expression, but for the sake clarity I suggest the authors to explicitly define what class of experiments "G* studies" refers to.Line 479: "Similar studies has" -> Similar studies *have*.Between lines 480-482: It would be pertinent to cite Phys. Rev. X 9, 031024 (2019) along with Refs. [40,42], since the former shows that nestedness is actually an entropic consequence of the degree sequence of the mutualistic networks, and not an irreducibly macroscopic feature.There are a few parts in the text with the connector "y", like in line 305: "23 y 121".The caption of Fig. 1 could be improved: what is the meaning of the arrows between the network visualizations and the arrows connecting the nodes $u_i$ in the last two lines? The network in the upper left panel is probably the network over which the dynamics is performed, and its structure is undirected, as we can see in picture and in the adjacency matrix. However, it is not clear how the directed links on the right appear. Furthermore, if every small network on the right is a non-negative stationary point of the dynamics, how can the system transition to one state to the other as indicated by the arrows? If they are stationary, their configuration should remain stable in the long run. Probably this is related to the definition of IS, which, as previously mentioned, should be better defined in the text.Caption of Fig. 5: The y-axis should indicate "Global structural stability" instead of "Structural stability" in order not to leave room for doubt about what is being plotted.Caption of Fig. 9: In this figure, does the plot show the structural stability or the global one? If it is the former, then the labels in the axes and the caption match, otherwise they should be modified accordingly.Caption of Fig. 10: Same comment as for the caption of Fig. 9.Reviewer #2: Review PONE-D-21-36391This manuscript presents a classic model of the Lotka-Volterra cooperative system. The authors investigate the dependence of a system's region of maximum biodiversity on its connectivity matrix, using a network of graphs. To study topology dependence and its associated dynamics, they introduced a system of N-dimensional Lotka-Volterra differential equations. They use the adjacency matrix associated with this system to describe the underlying structural graph. The Lotka-Volterra cooperative type systems assume a class in which, due to the positive input nature of the existing links between nodes, it maximizes the influence of the network topology on the dynamics.I would like to suggest some minor revisions:1. Figures 4, 5, 6, 10 and 11 should be adjusted to the format that all information can be read.2. On lines 468, 469 and 470 the authors state that:"Indeed, it is the class of systems from which the richness of the number of existing (cooperative) connections has a direct consequence on the plurality (diversity) of future scenarios." It is not clear where the authors prove this in the text.3. The statements placed in parts "Discussion" are interesting, but no relationship is made with what was done in the text. Thus, the authors must refer where in the text the arguments that lead to the statements were presented.********** 6. PLOS authors have the option to publish the peer review history of their article (what does this mean?). If published, this will include your full peer review and any attached files.If you choose “no”, your identity will remain anonymous but your review may still be made public.Do you want your identity to be public for this peer review? For information about this choice, including consent withdrawal, please see our Privacy Policy. Reviewer #1: NoReviewer #2: No[NOTE: If reviewer comments were submitted as an attachment file, they will be attached to this email and accessible via the submission site. Please log into your account, locate the manuscript record, and check for the action link "View Attachments". If this link does not appear, there are no attachment files.]While revising your submission, please upload your figure files to the Preflight Analysis and Conversion Engine (PACE) digital diagnostic tool, https://pacev2.apexcovantage.com/. PACE helps ensure that figures meet PLOS requirements. To use PACE, you must first register as a user. Registration is free. Then, login and navigate to the UPLOAD tab, where you will find detailed instructions on how to use the tool. If you encounter any issues or have any questions when using PACE, please email PLOS at figures@plos.org. Please note that Supporting Information files do not need this step.
2 Mar 2022Detailed answers to Academic Editors and Reviewers.Comments to the AuthorsReviewer #1: In the current manuscript, Portillo et al. analyze the dynamics of ecological systems by using the concept of Global Structural Stability, which is introduced in the text. Structural stability is a well-established concept in dynamical system theory, and it refers to the robustness of a given system to have its dynamical behavior (number of equilibrium points, their stability, limit cycles, etc.) unchanged upon smooth variations in the parameters' configuration. In theoretical ecology, this notion is understood in a slightly different manner: a system is said to be more structurally stable than the other if it has a larger volume in the growth rates parameter space (defined by components $\\alpha_i$ of the growth rates vector $\\boldsymbol{\\alpha}$) in which the fixed point solution is feasible (maximal biodiversity) and stable. The Global structural stability introduced by authors is an extension of the latter concept in that it does not require the feasible point to be stable. In other words, global structural stability considers the volume in the growth rates parameter space that encompasses unstable and stable feasible points. The motivation for this definition stems from the fact that especially in high dimensional systems feasible solutions are seldom observed; and if they do occur, they appear along with semistable stationary points. Therefore, as it is argued in the manuscript, rich information about the dynamical system can end up being neglected by considering stable feasible points solely.The idea of global structural stability is applied to plant-pollinator networks, which are mutualistic systems whose dynamics can be described by Lotka-Volterra models, as defined in Eq. (1). The abundance of the species depends on three factors: the intrinsic growth rate, competitive and mutualistic connections. The latter are encoded in a bipartite matrix, which, in the case of real networks, can be mapped by field observations. After presenting the idea of global structural stability, the authors investigate how that property is influenced by the strength of mutualistic interactions and structural characteristics of the networks.The study put forward by the authors is interesting, the text is well-written, and the results appear to be solid. I believe the paper deserves publication in Plos One, but before that the authors should consider the issues I describe below.The idea of Global structural stability is relevant to the study of ecological networks, but I found its presentation somewhat confusing. First, the motivation for the new concept is not clearly presented in the introduction part -- actually, one only starts to fully appreciate its importance and, more importantly, its difference from the standard structural stability after line 150, where global structural stability is discussed in more detail. In the introduction, the authors do mention that they "consider the whole set of stationary points (asymptotically stable, semistable, or even globally unstable), and not only the globally asymptotically stable point with all components positive (see [45, 47] for a similar approach)"; but, in my opinion, it is not evident to the reader that this is part of the new measure that is being introduced here. Therefore, I would suggest to highlight the relevance of the global structural stability, as it is done after line 160, right in the introduction section.We have moved the following paragraphs to the introduction:“The study of the size of the region for intrinsic growth parameters (in our case the α_i parameters) for which a system reaches its optimal biodiversity (all the species present) is defined as Structural Stability in [41]. This is a crucial fact for the study of the robustness of biodiversity in an ecosystem, as it characterizes the borders for intrinsic growth to getmaximal biodiversity.Following the Linear Complementary Theory (LCP) associated toLotka-Volterra systems [38, 39, 49], we introduce a partition of the phase space [50] for which we can estimate the area in which each stationary solution is globally stable, by measuring the intersection of its associated cone of biodiversity with the unit N-dimensional sphere [45].However, specially in high dimensional systems, a stationary point with all its components strictly positive either does not exist, or, if this is the case, there also exists a big set of semistable stationary points. The presence of these stationary points is crucial for the description of the transient behaviour and metastability properties of the system, so thatneglecting its study could lead to wrong conclusions. Moreover, the ways to reach a particular stationary solution are multiple, depending of the different(informational) landscapes [35] described in detail by its semistable solutions (see Figure 2).”Second, Information Structure (IS) seems to be a crucial element in the analysis of the networks; however, in my view, this concept is not clearly defined in text. In the first paragraph of the manuscript, it is mentioned that "When the dynamics of the system is given by a set of differential equations, its behaviour generically depends on its global attractor [31-34], defined as information structure (IS) (...)". The latter sentence leaves the impression that IS is the very global attractor; if that is indeed the case, why does one need to relabel "global attractor" to IS? In Refs. [30,35] I notice that that the definition is more subtle; therefore, I would suggest to refine the definition of this concept.We have refined the definition introducing the following paragraphs:“Note that, for an autonomous system, an IS is just the detailed structure of the unique global attractor. In gradient systems, this IS induces a whole deformation of the phase space, drawing an informational landscape where the transient and asymptotic observed dynamics of the system hold [35] . This IS and informational landscape are fixed and attracting. As indicated above, they coincide with the global attractor. But, in non-autonomous systems, in which, for instance, parameters depend on time, this fixed structure and associated landscapes are also changing in time, loosing their invariance and attracting properties, but still being crucial for the description of the dynamics. This fact has been used, for instance, in Neuroscience to discriminate in detail subjects with disorders of consciousness [37]. Thus, and IS could not coincide with the standard definition of a global attractor as the object describing all the asymptotic behaviour of the system. This is why, even in an autonomous framework as we use in this paper, attractors and IS have to be differentiated.”We have also added a new reference for clarifying the use of IS:37. Galadi JA, Silva-Pereira S, Sanz Perl Y, Kringelbach ML, I G, Laufs H, et al. Capturing the non-stationarity of whole-brain dynamics underlying human brain states. Neuroimage. 2021;(244).doi:10.1016/j.neuroimage.2021.118551.In the Discussion section, it is stated that:"The level of the interdependence between structure and dynamics oncomplex networks is not always clear; sometimes it seems that this relation induces determination, and usually just correlation in most cases. In this paper we conclude that dynamics, although closely related, is not determined by the topology of the network."It is very difficult to categorically conclude that the network dynamics is not determined by its topology by analyzing the correlation of the structural stability with only three metrics (mean degree, nestdeness and modularity). There are other basic quantities, such as the number of nodes and the largest eigenvalue of the adjacency matrix, that could have a more clear or direct influence on the dynamics. Besides, in Fig. 9 we see a clear relation between mean degree and structural stability. So how can one conclude that the dynamics is not determined by the topology? Perhaps it would better to clarify what it is meant by "closely related" and "determined" in this context. Thus, I would suggest to either soften the statement in that paragraph or provide more analyses with other network measurements.Actually, our previous phrase is confusing. For some graph theorists, degrees are not part of the topology. Avoiding confusion, we changed the phrase by: "is mainly determined by the signed sum of the degrees of the net and not for others parameters of the topology of the network."Furthermore, concerning nestedness, there have been works showing that this index may not play the important role in shaping the network dynamics as it was previously believed [Phys. Rev. X 9, 031024 (2019)]We have included reference and added some words concerning nestedness role.[60] Payrató-Borràs C, Hernández L, Moreno Y. Breaking the Spell of Nestedness: The Entropic Origin of Nestedness in Mutualistic Systems. Phys Rev X. 2019;9:031024.doi:10.1103/PhysRevX.9.031024.Minor points:Line 309: "To build networks of the same size, we selected the plants and animals with more observed interactions." What do you the authors mean by "build the networks of the same size"? Are not the networks taken from the Web of Life already built when they are inserted into the dynamical equations?We have added a phrase for clarifying the construction of the networks.Line 316: I believe the term "G* studies" has not been defined previously. One can figure it out by the context what is meant by the expression, but for the sake clarity I suggest the authors to explicitly define what class of experiments "G* studies" refers to.We have included two introduction phrases to clearing the mean. Thanks.Line 479: "Similar studies has" --> Similar studies *have*.DoneBetween lines 480-482: It would be pertinent to cite Phys. Rev. X 9, 031024 (2019) along with Refs. [40,42], since the former shows that nestedness is actually an entropic consequence of the degree sequence of the mutualistic networks, and not an irreducibly macroscopic feature.Reference is includedThere are a few parts in the text with the connector "y", like in line 305: "23 y 121".Done. Thanks again.The caption of Fig. 1 could be improved: what is the meaning of the arrows between the network visualizations and the arrows connecting the nodes $u_i$ in the last two lines? The network in the upper left panel is probably the network over which the dynamics is performed, and its structure is undirected, as we can see in picture and in the adjacency matrix. However, it is not clear how the directed links on the right appear. Furthermore, if every small network on the right is a non-negative stationary point of the dynamics, how can the system transition to one state to the other as indicated by the arrows? If they are stationary, their configuration should remain stable in the long run. Probably this is related to the definition of IS, which, as previously mentioned, should be better defined in the text.The caption of Fig. 1 has been revisedCaption of Fig. 5: The y-axis should indicate "Global structural stability" instead of "Structural stability" in order not to leave room for doubt about what is being plotted.It is OK. Changed and thanks. DoneCaption of Fig. 9: In this figure, does the plot show the structural stability or the global one? If it is the former, then the labels in the axes and the caption match, otherwise they should be modified accordingly.It is the structural stability. It is OKCaption of Fig. 10: Same comment as for the caption of Fig. 9.It is the structural stability. It is OKReviewer #2: Review PONE-D-21-36391This manuscript presents a classic model of the Lotka-Volterra cooperative system. The authors investigate the dependence of a system's region of maximum biodiversity on its connectivity matrix, using a network of graphs. To study topology dependence and its associated dynamics, they introduced a system of N-dimensional Lotka-Volterra differential equations. They use the adjacency matrix associated with this system to describe the underlying structural graph. The Lotka-Volterra cooperative type systems assume a class in which, due to the positive input nature of the existing links between nodes, it maximizes the influence of the network topology on the dynamics.I would like to suggest some minor revisions:1. Figures 4, 5, 6, 10 and 11 should be adjusted to the format that all information can be read.We have improved all the figures and changed font sizes for clarity. For example, in Figs 9, 10 and 11, the real networks of sedd-dispersers animals vs. fruits are represented by the symbol of a fruit.2. On lines 468, 469 and 470 the authors state that:"Indeed, it is the class of systems from which the richness of the number of existing (cooperative) connections has a direct consequence on the plurality (diversity) of future scenarios." It is not clear where the authors prove this in the text.We have erased the unclear affirmation3. The statements placed in parts "Discussion" are interesting, but no relationship is made with what was done in the text. Thus, the authors must refer where in the text the arguments that lead to the statements were presented.We have simplyfied the text and we have erased the parts without a clear relationship.Dr. José R. Portillo, on behalf of all authorsSevilla, March 1st, 2022PS:Previous version sended to J Comp Bio has been full revised and experiments has been improved with more networks and bigger size.Submitted filename: Response to Reviewers.docxClick here for additional data file.8 Apr 2022Global structural stability and the role of cooperation in mutualistic systemsPONE-D-21-36391R1Dear Dr. Portillo,We’re pleased to inform you that your manuscript has been judged scientifically suitable for publication and will be formally accepted for publication once it meets all outstanding technical requirements.Within one week, you’ll receive an e-mail detailing the required amendments. When these have been addressed, you’ll receive a formal acceptance letter and your manuscript will be scheduled for publication.An invoice for payment will follow shortly after the formal acceptance. To ensure an efficient process, please log into Editorial Manager at http://www.editorialmanager.com/pone/, click the 'Update My Information' link at the top of the page, and double check that your user information is up-to-date. If you have any billing related questions, please contact our Author Billing department directly at authorbilling@plos.org.If your institution or institutions have a press office, please notify them about your upcoming paper to help maximize its impact. If they’ll be preparing press materials, please inform our press team as soon as possible -- no later than 48 hours after receiving the formal acceptance. Your manuscript will remain under strict press embargo until 2 pm Eastern Time on the date of publication. For more information, please contact onepress@plos.org.Kind regards,Pablo Martin RodriguezAcademic EditorPLOS ONEAdditional Editor Comments (optional):Reviewers' comments:Reviewer's Responses to Questions
Comments to the Author1. If the authors have adequately addressed your comments raised in a previous round of review and you feel that this manuscript is now acceptable for publication, you may indicate that here to bypass the “Comments to the Author” section, enter your conflict of interest statement in the “Confidential to Editor” section, and submit your "Accept" recommendation. Reviewer #1: All comments have been addressedReviewer #2: All comments have been addressed********** 2. Is the manuscript technically sound, and do the data support the conclusions?The manuscript must describe a technically sound piece of scientific research with data that supports the conclusions. Experiments must have been conducted rigorously, with appropriate controls, replication, and sample sizes. The conclusions must be drawn appropriately based on the data presented. Reviewer #1: YesReviewer #2: (No Response)********** 3. Has the statistical analysis been performed appropriately and rigorously? Reviewer #1: YesReviewer #2: Yes********** 4. Have the authors made all data underlying the findings in their manuscript fully available?The PLOS Data policy requires authors to make all data underlying the findings described in their manuscript fully available without restriction, with rare exception (please refer to the Data Availability Statement in the manuscript PDF file). The data should be provided as part of the manuscript or its supporting information, or deposited to a public repository. For example, in addition to summary statistics, the data points behind means, medians and variance measures should be available. If there are restrictions on publicly sharing data—e.g. participant privacy or use of data from a third party—those must be specified. Reviewer #1: YesReviewer #2: Yes********** 5. Is the manuscript presented in an intelligible fashion and written in standard English?PLOS ONE does not copyedit accepted manuscripts, so the language in submitted articles must be clear, correct, and unambiguous. Any typographical or grammatical errors should be corrected at revision, so please note any specific errors here. Reviewer #1: YesReviewer #2: Yes********** 6. Review Comments to the AuthorPlease use the space provided to explain your answers to the questions above. You may also include additional comments for the author, including concerns about dual publication, research ethics, or publication ethics. (Please upload your review as an attachment if it exceeds 20,000 characters) Reviewer #1: I went over the correspondence, as well as the new version of the manuscript, and in my opinion the authors have successfully addressed the points in both reports. I therefore recommend the publication.Reviewer #2: (No Response)********** 7. PLOS authors have the option to publish the peer review history of their article (what does this mean?). If published, this will include your full peer review and any attached files.If you choose “no”, your identity will remain anonymous but your review may still be made public.Do you want your identity to be public for this peer review? For information about this choice, including consent withdrawal, please see our Privacy Policy. Reviewer #1: NoReviewer #2: No11 Apr 2022PONE-D-21-36391R1Global structural stability and the role of cooperation in mutualistic systemsDear Dr. Portillo:I'm pleased to inform you that your manuscript has been deemed suitable for publication in PLOS ONE. Congratulations! Your manuscript is now with our production department.If your institution or institutions have a press office, please let them know about your upcoming paper now to help maximize its impact. If they'll be preparing press materials, please inform our press team within the next 48 hours. Your manuscript will remain under strict press embargo until 2 pm Eastern Time on the date of publication. For more information please contact onepress@plos.org.If we can help with anything else, please email us at plosone@plos.org.Thank you for submitting your work to PLOS ONE and supporting open access.Kind regards,PLOS ONE Editorial Office Staffon behalf ofProfessor Pablo Martin RodriguezAcademic EditorPLOS ONE
Authors: S Boccaletti; G Bianconi; R Criado; C I Del Genio; J Gómez-Gardeñes; M Romance; I Sendiña-Nadal; Z Wang; M Zanin Journal: Phys Rep Date: 2014-07-10 Impact factor: 25.600
Authors: J A Galadí; S Silva Pereira; Y Sanz Perl; M L Kringelbach; I Gayte; H Laufs; E Tagliazucchi; J A Langa; G Deco Journal: Neuroimage Date: 2021-09-08 Impact factor: 6.556
Authors: Francisco J Esteban; Javier A Galadí; José A Langa; José R Portillo; Fernando Soler-Toscano Journal: PLoS Comput Biol Date: 2018-09-13 Impact factor: 4.475