Literature DB >> 35273259

Hidden transition in multiplex networks.

R A da Costa1, G J Baxter2, S N Dorogovtsev2, J F F Mendes2.   

Abstract

Weak multiplex percolation generalizes percolation to multi-layer networks, represented as networks with a common set of nodes linked by multiple types (colors) of edges. We report a novel discontinuous phase transition in this problem. This anomalous transition occurs in networks of three or more layers without unconnected nodes, [Formula: see text]. Above a critical value of a control parameter, the removal of a tiny fraction [Formula: see text] of nodes or edges triggers a failure cascade which ends either with the total collapse of the network, or a return to stability with the system essentially intact. The discontinuity is not accompanied by any singularity of the giant component, in contrast to the discontinuous hybrid transition which usually appears in such problems. The control parameter is the fraction of nodes in each layer with a single connection, [Formula: see text]. We obtain asymptotic expressions for the collapse time and relaxation time, above and below the critical point [Formula: see text], respectively. In the limit [Formula: see text] the total collapse for [Formula: see text] takes a time [Formula: see text], while there is an exponential relaxation below [Formula: see text] with a relaxation time [Formula: see text].
© 2022. The Author(s).

Entities:  

Year:  2022        PMID: 35273259      PMCID: PMC8913666          DOI: 10.1038/s41598-022-07913-x

Source DB:  PubMed          Journal:  Sci Rep        ISSN: 2045-2322            Impact factor:   4.379


Introduction

The interest in multilayer networks has been growing in the past few years due to both their ability to describe higher levels of complexity present in many real systems, and to the new and surprising properties that emerge from the interaction among layers[1-5]. In many real networks there are different kinds of dependencies and relations between nodes, including infrastructure[6], information[7], financial[8,9] ecological[10] , and many other systems[11-13]. One may represent these systems as multilayer networks that have a layer for each kind of relation (edge color) and where nodes are present in all layers. These can be regarded as multiplex (or colored) networks, that is, networks containing edges of multiple colors corresponding to multiple kinds of relations[14]. Similarly to single layer (uniplex) networks, the effects of local failures in these networks are described by their percolation properties. However, the generalization of percolation to multiplex networks is not unique. Mainly, there are two alternative definitions generalizing the notion of cluster in multiplex percolation: the (i) mutually connected cluster, which relies in a global criterion, and the (ii) weakly percolating cluster which is defined through a local, more permissive, rule[15,16]. The stronger definition of (i) requires that each pair of nodes in the same cluster is connected by at least one path inside of each of the layers. This rule is a global one in the sense that it explicitly requires us to verify large-scale (global) connectivity, namely to find the giant mutually connected cluster[1]. The weaker definition of (ii) only requires that every node in a cluster has at least one connection in each layer to another node in the same cluster[17]. With this local rule the survival of a node in a cluster depends strictly on its neighbors. In networks of a single layer both rules reduce to the standard definition of cluster. Size of the giant weak percolation component S after the cascade of failures following the removal of edges with probability in simulations of uncorrelated networks with and layers of edges, as a function of reduced control parameter , where . In the limit of very small damage, the behavior converges to a novel discontinuous transition. The degree distribution is and for , with c such that . Each point is averaged over 10 realizations of the network and damage. Lines are simply a guide to the eye. Despite the different characters of these two definitions of cluster, they have many similar effects in the percolation transition. In particular, both generalizations of the percolation problem for multilayer networks typically display hybrid phase transitions, with characteristics from both continuous and discontinuous transitions[1,16,18], of the same type as observed in k-core percolation[19]. This transition persists even in correlated multiplex networks[20-23]. The order parameter, which is traditionally regarded as the size of the giant component, jumps from zero to some finite value at the critical point in a discontinuous transition. This jump is followed by a critical square root singularity in the ordered phase, associated with a diverging susceptibility (defined as mean avalanche size induced by the removal of a random node or edge) as in continuous transitions, and diverging relaxation times[24]. This hybrid character of the transition is typically found in networks with two or more layers in the case of the stronger definition of cluster (i), while with the weaker definition (ii) at least three layers are required, otherwise the transition is continuous. Exceptions are found in some special cases, as, for example, in networks with power-law degree distributions with very low exponents, which display continuous growth of the giant cluster even with a large number of layers[25]. Note that the weaker definition provides a particular case of the -core problem for multiplex networks[26], for the threshold , and a similar model was later proposed in Ref.[27]. Here we show that the weakly percolating cluster also exhibits a novel discontinuous transition that is not observed in other multilayer network problems. A weakly percolating cluster, by definition, contains no nodes with degree zero, in all layers. Starting from a stable giant weakly percolating component, a small amount of random damage reveals the hidden discontinuous transition, see Fig. 1. Interestingly, the critical point is defined by the fraction of nodes of degree 1, which we use as the control parameter. Above the transition threshold the giant component collapses completely under perturbation, while above the transition it remains intact. The transition is discontinuous without any precursor, unlike the hybrid transition which usually appears in such systems. Discontinuous transitions without any critical exponent have been observed in some models of dynamic processes or with spatially limited connections in multilayer networks[28-30].
Figure 1

Size of the giant weak percolation component S after the cascade of failures following the removal of edges with probability in simulations of uncorrelated networks with and layers of edges, as a function of reduced control parameter , where . In the limit of very small damage, the behavior converges to a novel discontinuous transition. The degree distribution is and for , with c such that . Each point is averaged over 10 realizations of the network and damage. Lines are simply a guide to the eye.

We characterise this hidden transition, and give conditions for its appearance. We further examine the dynamics of the collapse, showing that it is associated with long lived relaxation both above and below the transition, and which diverge approaching the critical point. The form of the divergence depends in a complex way on either the distance from the critical point or the size of the perturbation, depending on the relation between them. This behavior is quite different from that observed in the usual hybrid transition.

Weak percolation on m-layer multiplex

Let us consider a multiplex network with m layers, or colors of edges. For the sake of simplicity we will consider random networks without degree-degree correlations within individual layers. Furthermore, our analysis will mainly focus on networks also without correlations between degrees of the same node in different layers, however, for illustrative purposes, we briefly consider networks containing an extreme form of degree correlations. That extreme example of layer degree correlations allows to show that their presence does not change the nature of the phenomena. The standard method for finding weakly connected components in particular realizations of multiplex networks consists of a simple pruning procedure. At each pruning step, we keep the nodes that have at least one surviving neighbor in every layer, and remove all nodes that fail to meet that criterion. The process stops when all of the surviving nodes meet this criterion, and the remaining network is formed only of weakly connected clusters. In locally tree-like random networks, finite weakly connected clusters cannot exist, thus, the only possibility for a cluster to survive this pruning process is to be the giant cluster[17]. An m-layered system is fully described by the degree distribution of a randomly selected node having degrees in layer 1, in layer 2, etc. For locally tree-like networks, the weak percolation problem is expressed by the following system of m self-consistency equationswhere , and is the probability that following a random edge in layer leads to a node which has at least one edge in layer satisfying the equivalent condition, which occurs with probability , for all layers . The relative size of the giant cluster may then be determined by inserting the solution of Eq. (1) in the following expression,The solution of the self-consistency system can be found by iterating Eq. (1). For convenience let us denote by the value obtained for at iteration t. We start from , and calculate the values of by inserting the values of the previous iteration, , on the right-hand side of Eq. (1). The sequence of generated in this way is guaranteed to converge to the solution of the self-consistency equations at large enough t. In fact, this iterative process is closely related to the pruning procedure used to extract the weakly connected components described above. Each value of the sequence is the probability that following a random edge in layer of the original network leads to a node still remaining at the t-th pruning step. Similarly, inserting the values in the right-hand side of Eq. (2) gives the fraction of nodes still remaining at the t-th pruning step S(t). Notice that despite being written for the ensemble averages of infinite random networks generated by the distribution , Eqs. (1) and (2) are also valid for individual members of the ensemble, due to self-averaging in infinite networks. Therefore, it is safe to expect that the properties of large, yet finite, networks closely resemble those of their infinite counterparts. When every node of a network has at least one connection in each layer, i.e. if equals zero whenever some is zero, Eq. (1) has a solution at . In this case, by definition, every node meets the local criterion of weak percolation; consequently the pruning procedure removes no nodes at all, and, correspondingly, is a fixed point of the iterative solution of Eqs. (1). However, this fixed point can be stable or unstable depending on the structure of the network. As we show in the following, in fact, there is a non-trivial truly discontinuous percolation transition that is caused by the change in the stability of that fixed point.

Results

Revealing the hidden transition in weak percolation

Qualitative behavior of the function in layers, (leftmost panel). From top to bottom the function is shown above (collapse), at, and below (stable) the point of the hidden transition, respectively. The fixed points occur when the curve crosses the line , indicated by the dashed line, i.e. when the value of the function equals Z. The stability of the fixed points is indicated by the arrows. An undamaged multiplex network with a hidden transition stays in the state above, at, and below the transition point, but any damage results in the final state at and below the transition (). For comparison, we illustrate the behavior of the corresponding function for the usual hybrid transition (middle panel) and a continuous transition (right panel). Requiring only that , multiplex networks undergo an unusual truly discontinuous (not hybrid) percolation transition. This transition will remain hidden without perturbations, but can be revealed by application of a tiny amount of damage. The control parameter is simply the fraction of nodes of degree 1; the critical point does not depend on the rest of the degree distribution. On one hand, when the fixed point is unstable, even a tiny fraction of removals is enough to start a large-scale cascade of failures, eventually collapsing the whole system. On the other hand, when the fixed point is stable, a small fraction of removals of nodes or edges will leave the system essentially intact. For simplicity, let us first consider the symmetric uncorrelated weak percolation problem, that is, , where P(q) is any degree distribution with . The self-consistency system of Eq. (1) reduces to a single equation,where Z stands for the value of the ’s, which, in this case, are all the same. Note that we may now complete the sum over in Eq. (1), so that the factor disappears. To analyze the stability of the solution it is convenient to expand Eq. (3) around that point. In the iterative form we getNotice that only if . The coefficient of the second term in the right-hand side of Eq. (4), , determines the stability of the fixed point . When is close to 0, if then and (as long as P(2) is not too small, see below) the sequence runs away from the fixed point. If then and the sequence converges to the fixed point . Since the stability transition occurs when , we may use as a control parameter. Thus, the critical point of this transition in uncorrelated networks isThe stable phase corresponds to values of . In the unstable phase, for , a small amount of damage will trigger a large-scale cascade of failures, collapsing the whole system. Interestingly, networks with no more than two layers have and are always stable under small perturbations, while networks with more than two layers can be stable or unstable depending of , since for those . In Methods we give more detail of the stability analysis in two, and three or more layers. Figure 2 shows typical profiles of the function for above, below, and at the critical point , indicating also the stability of the fixed points in these regimes. For comparison, we illustrate the corresponding functions for the hybrid transition, which occurs in weak multiplex percolation in layers, and the continuous transition which occurs in layers, and in ordinary percolation in one layer.
Figure 2

Qualitative behavior of the function in layers, (leftmost panel). From top to bottom the function is shown above (collapse), at, and below (stable) the point of the hidden transition, respectively. The fixed points occur when the curve crosses the line , indicated by the dashed line, i.e. when the value of the function equals Z. The stability of the fixed points is indicated by the arrows. An undamaged multiplex network with a hidden transition stays in the state above, at, and below the transition point, but any damage results in the final state at and below the transition (). For comparison, we illustrate the behavior of the corresponding function for the usual hybrid transition (middle panel) and a continuous transition (right panel).

The size of the giant component in the network with infinitesimally small damage isNote that this transition is not hybrid (for ). There is a discontinuity without any singularity, the jump is from 1 to 0. On the other hand, it occurs just at the stability limit, similarly to the hybrid phase transitions. Figure 1 shows the size of the giant weak percolation component at the end of cascade of removals triggered by the application of damage in simulations of large networks, with nodes, with , for , i.e. a Poisson distribution in , with . In the limit of very small damage, the behavior converges to that described by Eq. (6). What happens exactly at depends on the sign of the third term in the right-hand side of Eq. (4). If is positive the fixed point will be stable and if it is negative the fixed point is unstable. Near the critical point this problem shows a rich variety of different behaviors, which will be explored in detail in the next section, devoted to the dynamics of the collapse process. The presence of correlations between layer degrees does not change the nature of the hidden weak percolation transition. In Methods we describe the illustrative example of ultimate correlations, where each node has exactly the same degree in every layer. All of the results in that situation are similar to the ones for uncorrelated networks. The main difference is the position of the critical point, which will be determined by the slightly different condition . Note that, also in these ultimately correlated networks, a stability transition can only exist if the number of layers , and for the system is always stable. This kind of transition occurs only for the definition of cluster of weak percolation, and not for the mutual connected cluster. For symmetric uncorrelated networks, the self-consistency equation for the mutual connected cluster isThis equation also has a solution at when , but the fixed point is always stable. In fact, the limit of stability, , in this case is reached only when for any m, and an unstable phase does not exist in that problem.

Dynamics of the collapse

Let us consider the effects that the application of damage has in the integrity of the weak percolation component. When every node has at least one connection in every layer, i.e., , the pruning process cannot remove any of the nodes, hence the fixed point . However, the deletion of even a fraction of the edges or nodes from the original network configuration will cause a few nodes to effectively lose all connections in one of the layers, allowing the pruning process to remove them and starting a cascade of failures. Let us introduce a probability that an edge is deleted from the initial configuration. Then, for uncorrelated networks, the iterative form of Eq. (3) becomesNotice that, when we delete nodes with probability , instead of edges, the self-consistency equation is the same as Eq. (8), the difference between the two deletion schemes will be only in the equation for S. So, the following results apply to node deletion as well. For convenience, let us write the expansion of Eq. (8) in terms of the quantity ,Equation (9) provides an accurate description of the evolution of during the pruning process as long as is small. Letting be a reduced control parameter, for the collapse process is described by the following differential equation:where and , and we replaced . If the right-hand side of Eq. (10) is zero for some the sequence of failures will stop cascading at that point, and the system is stable, suffering only a small-scale collapse. On the other hand, if the right-hand side never becomes zero, the cascade of failures will produce a large-scale collapse of the unstable system (typically the whole system will fail). Then, for small , whether the system undergoes a transition from stable to unstable when crosses from negative to positive values depends on the sign of , as illustrated in Fig. 3. Indeed, the discontinuous transition only occurs when the second derivativeis negative at the critical point . This may be rewritten as the conditionwhich becomes easier to satisfy the larger the number of layers. When is positive, there is no collapse, and after damage the system returns to a stable configuration very close to . If sufficient damage is applied, however, one may provoke the usual hybrid transition, see Fig. 3.
Figure 3

Schematic representation of function [see Eq. (3)] near , in two different scenarios depending on the sign of the second derivative at the critical point: on the left and on the right. The arrows show the effect of a small perturbation to the fixed points.

Schematic representation of function [see Eq. (3)] near , in two different scenarios depending on the sign of the second derivative at the critical point: on the left and on the right. The arrows show the effect of a small perturbation to the fixed points. Evolution of S(t) following the removal of edges with probability in simulations of uncorrelated networks with and layers of edges, in the case . The degree distribution is and for , with c such that . (a) For () the network fully collapses. (b) For and small damage the fraction of surviving nodes S(t) exponentially relaxes to some final . These curves were obtained by averaging over 10 realizations of the network and damage in (a) and over 100 realizations in (b). Obtaining smooth curves for the exponential relaxation cases requires a larger number of realizations because, due to the smallness of the variations of S(t), fluctuations have a larger relative effect. Dynamics of the collapse in simulations of uncorrelated networks with and layers as a function of for a range of values of . The degree distribution distribution is and for , with c such that . Notice that for this P(q) we have at the critical point. (a) Total collapse time T for positive ; dashed lines represent Eq. (14). (b) Relaxation rate for negative . Each point is averaged over 10 realizations of the network and damage in (a) and over 100 realizations in (b). In panel (b) points for are considerably noisier because the absolute number of edges removed, , is already quite small. In the rest of this section we focus on how quickly the damage propagates through the network. Namely, for unstable systems we calculate the number of pruning steps, T, necessary to collapse the whole network, while for stable systems we calculate the rate of the exponential relaxation lawthat describes the approach to the final state . In Fig. 4, we present the evolution of the fraction of surviving nodes at each step of the pruning process, S(t), in simulations of a few representative cases, above and below . For the system collapses completely, in a finite number of steps, while for the collapse is small-scale and S(t) exponentially relaxes to some final .
Figure 4

Evolution of S(t) following the removal of edges with probability in simulations of uncorrelated networks with and layers of edges, in the case . The degree distribution is and for , with c such that . (a) For () the network fully collapses. (b) For and small damage the fraction of surviving nodes S(t) exponentially relaxes to some final . These curves were obtained by averaging over 10 realizations of the network and damage in (a) and over 100 realizations in (b). Obtaining smooth curves for the exponential relaxation cases requires a larger number of realizations because, due to the smallness of the variations of S(t), fluctuations have a larger relative effect.

Asymptotics of collapse times for . Expressions for T represent total cascading time of unstable systems that suffer large-scale collapse, and expressions for represent the exponential relaxation rate of stable systems that suffer small-scale collapse. Depending on , , and not only the system may be stable or unstable, but also the relaxation rates and total collapse times, respectively, may be quite different. The form of the asymptotics is determined not only by the signs of and , but also by the relation between the magnitudes of and . Detailed derivations of these results are given in Methods. When is negative, the transition exists. When , the system collapses when damaged. The time to collapse, T, is given byThis theoretical result is compared with simulations in Fig. 5a. As can be seen from the figure, there are two main asymptotic regimes, which may be obtained from Eq. (14) by considering either or . The expressions obtained are summarised in Table 1. For very small perturbations in relation to the square of the distance from the critical threshold (), above the transition threshold () the system collapses in a finite number of steps, which diverges as , however some logarithmic dependence on is retained.
Figure 5

Dynamics of the collapse in simulations of uncorrelated networks with and layers as a function of for a range of values of . The degree distribution distribution is and for , with c such that . Notice that for this P(q) we have at the critical point. (a) Total collapse time T for positive ; dashed lines represent Eq. (14). (b) Relaxation rate for negative . Each point is averaged over 10 realizations of the network and damage in (a) and over 100 realizations in (b). In panel (b) points for are considerably noisier because the absolute number of edges removed, , is already quite small.

Table 1

Asymptotics of collapse times for . Expressions for T represent total cascading time of unstable systems that suffer large-scale collapse, and expressions for represent the exponential relaxation rate of stable systems that suffer small-scale collapse.

\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta \ll \delta ^2$$\end{document}Δδ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta ^2 \ll \Delta$$\end{document}δ2Δ
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta \,<\,0$$\end{document}δ<0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\delta \,>\,0$$\end{document}δ>0
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {F}}}''(1)\,<\,0$$\end{document}F(1)<0  \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\tau \cong \dfrac{1}{(m{-}1)|\delta |}$$\end{document}τ1(m-1)|δ|  \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T \cong \dfrac{1}{ (m{-}1)\delta } \left\{ \ln \left[ \frac{(m-1)^2}{B}\right] + \ln \left( \frac{\delta ^2}{\Delta }\right) \right\}$$\end{document}T1(m-1)δln(m-1)2B+lnδ2Δ \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T \cong \dfrac{\pi }{2\sqrt{B\Delta }}$$\end{document}Tπ2BΔ
\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {F}}}''(1)\,>\,0$$\end{document}F(1)>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\tau \cong \dfrac{1}{(m{-}1)|\delta |}$$\end{document}τ1(m-1)|δ|   \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\tau \cong \dfrac{1}{(m{-}1)\delta }$$\end{document}τ1(m-1)δ \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\tau \cong \dfrac{1}{2\sqrt{-B\Delta }}$$\end{document}τ12-BΔ
Below the transition threshold, (), there is an exponential relaxation to a stable giant component, with relaxation time given bysee Methods. In the regime , is asymptotically proportional to . We see in Figs. 4b and 5b that the relaxation rate is different for different values of , but is independent of in this regime. These singularities are distinct from the inverse square root singularity for T and for a standard hybrid phase transition[24,31]. When the square of the distance from the critical point is much smaller than the size of the perturbation (), the time for the collapse T diverges as , like in standard hybrid transitions. In other words, for any finite , when is sufficiently small, the dependence on it disappears, so effectively there is no transition at . But in the limit of infinitesimal damage, i.e. , a hidden discontinuous transition emerges with non-standard exponent (disregarding logarithmic corrections). The derivation of Eq. (14) and the asymptotic expressions are given in Methods. When is positive, there is no collapse, but interestingly there is a very close relationship between the expressions for the relaxation time and those described above for T, having the same dependence on or in almost all cases, see Table 1 and Methods.

Discussion

In this paper we have shown that the absence of bare nodes [] produces an exotic hidden transition in a reference percolation problem for multiplex networks, weak multiplex percolation. The transition, a discontinuity without any singularity of the size of the giant component, can be observed by removing a vanishingly small fraction of vertices or edges from the network. The fraction of nodes of degree 1 in each layer can be used as the control parameter, . Above , this removal destroys the giant component completely, while below , the removal has a negligible effect on the giant component. In symmetric, uncorrelated multiplex networks with m layers, the size of the weakly percolating giant component can be calculated by solving self consistency equations for the probability Z that following a random edge in one layer leads to a node which has at least one edge in every other layer satisfying the same condition. For the hidden transition to appear, the equation for Z must have the fixed point , and this point must be stable on one side from the critical point and unstable on the other. We show that, in this problem, (i) when , this fixed point is always stable and the hidden transition is absent; (ii) when , the hidden transition occurs at for uncorrelated networks. The transition also appears in correlated networks. For example, in networks with ultimately correlated degree distributions one may observe the same kind of discontinuous transitions, with only the position of the critical point changing to . However the transition is not possible in the alternative generalization of percolation to multiplex networks, the mutually connected component. To understand the dynamics of the collapse, we expand the self consistency equations in terms of the amount of random damage. Although the mechanism of collapse in this hidden transition is essentially the same as that of the hybrid transition, the singularities of the relaxation time and time to collapse are very different. We show that the collapse above takes a finite time . There is an exponential relaxation below with a relaxation time . The exponent for the relaxation time equals 1 in contrast to a hybrid transition, where it equals 1/2.

Methods

Uncorrelated symmetric layers

Let us consider the case in which each layer has the same degree distribution P(q), with no correlations between layers. Since the degree distribution is symmetric across layers, the probability is the same for all , so (dropping the subscript) Z obeys Eq. (3):The only nodes that meet the criterion for removal are the ones without any connections, so if , the pruning procedure will not remove any of the edges in the original graph. In other words, in this case, is a fixed point of this equation. Let us expand near the fixed point ,The coefficient of the second term is . When this coefficient is larger than 1 the fixed point is unstable, otherwise it is stable. For the derivative is never larger than 1 because , and is a stable fixed point. In the case of layers can be smaller or larger than 1, and thus, the fixed point can be stable or unstable, respectively, see Fig. 6. The stability transition occurs when the .
Figure 6

Function for symmetric uncorrelated offset Poisson degree distribution, for , and . The network is undamaged, and is always a fixed point. (a) In layers the fixed point is stable for any . In layers the stability transition happens at , corresponding to . Panel (b) shows a profile of in the unstable phase for , (c) represents the critical point , and (d) the stable phase for .

For two layers we havewhich has two fixed points, and , see Fig. 6. The right-hand side of Eq. (18) is always above Z in the interval . So, the fixed point is unstable and the fixed point is stable, which means that a small perturbation will not collapse the system. Thus, after the application of an infinitesimal amount of damage, we still have For three layers we haveThe fixed points generally have the same behavior for any reasonable degree distribution P(q). For illustrative purposes, it will be useful to refer to a concrete example. Consider an offset Poisson degree distribution . Then Eq. (16) becomesandIn three layers this becomesThis function is plotted in Fig. 6. In the interval , Thus, we have a transition at . Below this transition any perturbation will result in . Above this transition the system will be essentially unchanged by a small amount of damage, . The critical point depends on the degree distribution, in particular, on P(1), but this qualitative picture applies to any distribution. If , it has two fixed points, and , and is below Z in the interval , so the fixed point is stable and the fixed point is unstable. Thus . At , the derivative of equals 1 at . If , Eq. (22) has three fixed points (within the interval ): , , and the third fixed point . (As c increases from to , decreases from to 0.) The function is less than Z in the interval . It is greater than Z in the interval . So the point is unstable and the points 0 and 1 are stable. Function for symmetric uncorrelated offset Poisson degree distribution, for , and . The network is undamaged, and is always a fixed point. (a) In layers the fixed point is stable for any . In layers the stability transition happens at , corresponding to . Panel (b) shows a profile of in the unstable phase for , (c) represents the critical point , and (d) the stable phase for . For the structure of the equations is the same as for , and the results are qualitatively similar. For the offset Poisson distribution, for example, the critical point . For , we have . Thus we have the phase transitionwhere is the Heaviside function.

Ultimate correlations

Let us consider the extreme form of assortative correlations where nodes have the same degree in all layers, that iswhere is the Kronecker delta function. We show that the qualitative behavior is the same as for the uncorrelated case. Since the degree distribution is symmetric across layers, the probability is same for all , and Eq. (1) gets simplified toIn the case of ultimate correlations, the value is a fixed point of Eq. (25) regardless of P(q) (including when ), because no edge will be connected to a node with degree zero in another layer. The expansion of becomesThe value of S at the fixed point is different from 1, however. Eq. (2) becomesSo at we have . For the derivative again is never larger than 1 because , and is stable fixed point. In the case of layers, just as in the uncorrelated symmetric case, can be smaller or larger than 1, and thus, the fixed point can be stable or unstable, respectively, see Fig. 6. The stability transition occurs when the . Above this transition threshold any perturbation will result in . Below this point, the system will be essentially unchanged by a small amount of damage. Thus we have the phase transition

Asymptotics of collapse times

Here we derive the asymptotics of small- and large-scale collapse times of uncorrelated networks in terms of the damage probability , the deviation to the critical point , and the second derivative of the function at the fixed point . There are two definitions for these times: while, for large-scale collapse, T is the number of pruning iterations that unstable networks take to collapse completely, for small-scale collapse, the characteristic time is the relaxation rate of the exponential convergence to the stable fixed point in Eq. (13). For simplicity, let us rewrite Eq. (10) aswhere , and . Letting we haveandAssuming , for a solution to exist, the polynomial must have at least one root that is a real number larger than zero. There are four different possibilities: When , the two roots are always real but only the largest is positive. When and , both roots are positive, and the physical solution corresponds to the smallest of them. When and , both roots are negative, and the system collapses to far away from zero, ’usually’ to . When , the roots are never real numbers, and the system also collapses to far away from zero.

Exponential relaxation of small-scale collapse

Cases (i) and (ii) result in an exponential relaxation to a fixed close to zero that is given by the following expression in both cases,The exponential approach to this point is calculated by expanding the right-hand side of Eq. (29) near ,which immediately giveswhere . For we always have , therefore the exponential relaxation occurs for all . Specifically, on one hand, for we haveeven for large positive values of B, which intuitively aligns with the independence of this result from B. In this case we can even get the prefactor of the exponential of Eq. (33), which is simply and coincides with . On the other hand, when we haveWhich applies for all except for a vanishing region close to whose size is of order , and which includes the positive values of B up to the maximum value . When the situation is somewhat different for . Namely, , so we must have for exponential relaxation to occur, leading to an expression symmetric to Eq. (34):except that here B cannot be positive. Remarkably, however, as long as , the relaxation rate does not depend on its particular value. If then A may be positive or negative. Nevertheless, both cases lead back to Eq. (35) with the same condition for exponential relaxation to occur.

Large-scale collapse in finite time

Large-scale collapse happens in the cases (iii) and (iv), which cover all the situations where the polynomial does not become zero for some small positive . In these cases the system collapses in a finite time T, which can be estimated by rearranging and integrating Eq. (29) as followsTo be precise, we should write the upper limit of the integral as 1. However, since we are looking at the limit of small and , the contribution from the upper limit can be neglected, because the contribution of the lower limit is much larger. This is a consequence of most of the pruning steps being spent escaping from the small region. Then, total collapse time is given by the formulawhich is Eq. (14) of the main text. In the case that the square root is complex, one can instead write this expression in terms of functions involving only real numbers. Since B is positive (i.e., ), a small amount of damage will always cause the total collapse if , for both above and below the critical point . The asymptotics of Eq. (14) this case areComplementarily, in the limit of infinitesimal amount of damage , we are in the region , which leads to two different situations below and above the transition. On one hand, when the fixed point is stable, and the system undergoes a small-scale collapse as described in the previous section. On the other hand, when the fixed point is unstable, and the system collapses completely (even for the tiniest amount damage) in a finite time,
  18 in total

1.  Robustness of a network of networks.

Authors:  Jianxi Gao; Sergey V Buldyrev; Shlomo Havlin; H Eugene Stanley
Journal:  Phys Rev Lett       Date:  2011-11-04       Impact factor: 9.161

2.  The robustness and restoration of a network of ecological networks.

Authors:  Michael J O Pocock; Darren M Evans; Jane Memmott
Journal:  Science       Date:  2012-02-24       Impact factor: 47.728

3.  Percolation in real multiplex networks.

Authors:  Ginestra Bianconi; Filippo Radicchi
Journal:  Phys Rev E       Date:  2016-12-16       Impact factor: 2.529

4.  Message passing theory for percolation models on multiplex networks with link overlap.

Authors:  Davide Cellai; Sergey N Dorogovtsev; Ginestra Bianconi
Journal:  Phys Rev E       Date:  2016-09-01       Impact factor: 2.529

5.  Avalanche collapse of interdependent networks.

Authors:  G J Baxter; S N Dorogovtsev; A V Goltsev; J F F Mendes
Journal:  Phys Rev Lett       Date:  2012-12-11       Impact factor: 9.161

6.  Simultaneous first- and second-order percolation transitions in interdependent networks.

Authors:  Dong Zhou; Amir Bashan; Reuven Cohen; Yehiel Berezin; Nadav Shnerb; Shlomo Havlin
Journal:  Phys Rev E Stat Nonlin Soft Matter Phys       Date:  2014-07-08

7.  Multiple resource demands and viability in multiplex networks.

Authors:  Byungjoon Min; K-I Goh
Journal:  Phys Rev E Stat Nonlin Soft Matter Phys       Date:  2014-04-30

8.  Correlated edge overlaps in multiplex networks.

Authors:  Gareth J Baxter; Ginestra Bianconi; Rui A da Costa; Sergey N Dorogovtsev; José F F Mendes
Journal:  Phys Rev E       Date:  2016-07-06       Impact factor: 2.529

9.  Cascading failures in bi-partite graphs: model for systemic risk propagation.

Authors:  Xuqing Huang; Irena Vodenska; Shlomo Havlin; H Eugene Stanley
Journal:  Sci Rep       Date:  2013-02-05       Impact factor: 4.379

10.  Cascading Failures in Interdependent Networks with Multiple Supply-Demand Links and Functionality Thresholds.

Authors:  M A Di Muro; L D Valdez; H H Aragão Rêgo; S V Buldyrev; H E Stanley; L A Braunstein
Journal:  Sci Rep       Date:  2017-11-08       Impact factor: 4.379

View more

北京卡尤迪生物科技股份有限公司 © 2022-2023.