生物医学网络科学Biomedical Network Science
经典论文难度:进阶

相互依存网络中的灾难性级联失效

Catastrophic cascade of failures in interdependent networks

Buldyrev SV, Parshani R, Paul G, Stanley HE, Havlin S · Nature 2010 · DOI: 10.1038/nature08932

相互依存网络级联失效渗流一级相变生成函数鲁棒性

一句话

两个相互依赖的网络中,失效会来回传递并引发突变式崩溃;与单一网络相反,度分布越宽,相互依存网络越脆弱。

相关专题:网络可控性与稳定性、小世界与无标度网络模型

一句话看懂

电站依赖通信网络来控制,通信网络依赖电站来供电。在这样两个相互依存的网络中,一个网络里少量节点失效,会让另一个网络中依赖它们的节点失效,后者又反过来破坏前者……这种来回传递的级联可以让两个网络在某个临界点突然一起崩溃。更反直觉的是,在单一网络中让系统更耐随机故障的宽度分布,在相互依存网络中反而让系统更脆弱。

研究背景与问题

此前十年的网络鲁棒性研究几乎都针对单一、孤立的网络。Albert 等(2000)和 Cohen 等(2000)的结论是:无标度网络耐随机故障,对 2<γ≤32<\gamma\le3 的无限大网络,随机删除的临界比例趋于 1。

但现代基础设施是彼此耦合的。作者以 2003 年 9 月 28 日的意大利大停电为例:电站停运导致互联网通信节点失效,通信失效又使更多电站失去控制而停运。问题是:当两个网络的节点相互依赖时,系统的鲁棒性应当怎样刻画?单一网络的结论是否还成立?

核心思想与方法

模型:两个网络 A 和 B,各有 NN 个节点,网络内部各自随机连接,度分布分别为 PA(k)P_A(k) 和 PB(k)P_B(k)。此外,A 中每个节点与 B 中一个节点一一对应、相互依赖(依赖边):只要一方失效,另一方也失效。

级联过程:

  1. 随机删除 A 中比例为 1−p1-p 的节点,B 中依赖它们的节点随之失效;
  2. 在 A 中,只有属于巨分支的节点仍能工作,其余碎片失效;
  3. 这些失效节点使 B 中对应节点失效,B 再剩下自己的巨分支;
  4. B 的失效又传回 A……如此反复,直到不再有节点失效。

相互连通巨分支(mutually connected giant component):级联结束后剩下的节点集合,它们在 A 中属于同一个连通分支,在 B 中也属于同一个连通分支。只有这一部分系统仍在工作,其比例记为 P∞(p)P_\infty(p)。

解析方法:沿用单一网络渗流的生成函数方法。记 gA(p)g_A(p) 为随机保留比例 pp 时 A 中巨分支的比例。级联的极限状态满足一对自洽方程 x=pgA(y)x=p\,g_A(y),y=pgB(x)y=p\,g_B(x),消去 yy 得 x=pgA(pgB(x))x=p\,g_A\big(p\,g_B(x)\big)。当 pp 足够小时,右边的曲线与直线 y=xy=x 只在原点相交;临界点 pcp_c 对应曲线与直线相切的那一刻。

主要发现

  1. 临界点大幅提前:对两个平均度均为 ⟨k⟩\langle k\rangle 的 ER 网络,解析结果为 pc=2.4554/⟨k⟩p_c=2.4554/\langle k\rangle。也就是说,即使不做任何删除,平均度低于约 2.455 时整个系统就无法维持;而单个 ER 网络只需平均度大于 1。
  2. 一级相变:在 pcp_c 处,相互连通巨分支的比例不是从零连续增长,而是从 1.2564/⟨k⟩1.2564/\langle k\rangle 直接跳到零。单一网络的渗流是连续的二级相变,相互依存使它变成了突变式的一级相变。这意味着系统在接近崩溃前几乎没有预警。
  3. 无标度网络不再“耐随机故障”:单一无标度网络在 γ≤3\gamma\le3 时 pc→0p_c\to0;但在相互依存的情形下,只要 γ>2\gamma>2,pcp_c 都保持有限值。
  4. 度分布越宽越脆弱:在平均度都为 4 的比较中,无标度网络的 pcp_c 高于 ER 网络,ER 又高于随机正则网络,分布越宽越容易崩溃。原因是:枢纽可能依赖于另一网络中的低度节点,后者很容易断开;而平均度固定时,宽分布意味着有更多低度节点来“平衡”少数枢纽。
  5. 理论与模拟一致:作者对 ER 网络和若干无标度网络做了数值模拟,结果与解析曲线吻合。

怎样读这篇论文

先看开头关于意大利大停电的示意图和级联在两个网络之间来回传递的示意图,把模型弄清楚。然后读解析部分:重点理解 x=pgA(pgB(x))x=p\,g_A(p\,g_B(x)) 的图解法和“相切”条件,这与网络可控性与稳定性专题数学推导与算法中推导单一网络 fcf_c 的思路一脉相承。最后看 P∞P_\infty 随 pp 变化的曲线(ER 与无标度对比)以及不同度分布的 pcp_c 比较。生成函数的具体推导和有限规模效应的讨论(arXiv 预印本中有更完整的版本)可以留到需要时再读。

局限与后续工作

  • 极端化的假设:模型假设两网络的节点一一对应、全部相互依赖,且依赖关系与网络内部结构无关(随机配对)。Parshani 等(2010,PRL)发现,当只有一部分节点存在依赖时,降低耦合强度可以使相变从一级变回二级;依赖关系若与度相关(例如枢纽对应枢纽),系统也会稳健得多。
  • 真实系统的结构关联:Radicchi(2015,Nature Physics)分析真实的相互依存网络后发现,层与层之间的边重叠等相关性可以显著提高鲁棒性,理论预测的“灾难性”崩溃不一定出现。Reis 等(2014,Nature Physics)在脑功能网络中也发现了降低脆弱性的层间连接方式。
  • 只考虑拓扑连通:失效判据是“是否在巨分支中”,没有考虑负载、潮流等物理过程。电网的实际级联更依赖潮流重分配,单纯的拓扑渗流模型只是第一步近似。
  • 理论推广:Gao 等(2012,Nature Physics)把框架推广到由多个网络组成的“网络之网络”,这一方向后来发展为多层网络理论的重要分支。

关联知识

  • 结构鲁棒性在介绍随机失效和蓄意攻击后,专门提到了相互依存网络的一级相变式崩溃;数学推导与算法中的 Molloy–Reed 判据与生成函数推导是读懂本文解析部分的前提。
  • 幂律度分布与无标度网络讨论了无标度网络的度分布。本文告诉我们:度分布宽“好”还是“坏”,取决于网络所处的系统环境,同一结构特征在不同情境下可能带来相反的后果。
  • 建议与 Albert 等 2000 对照阅读,比较单一网络与相互依存网络中鲁棒性的不同结论。

延伸思考

  1. 为什么相互依存会使连续相变变成一级相变?试从“每一轮失效都会进一步降低另一网络的有效保留比例”这一反馈角度解释。
  2. 细胞中的基因调控网络、蛋白质相互作用网络和代谢网络之间也存在依赖关系(例如酶的表达受调控、调控因子本身是蛋白质)。这类“多层生物网络”是否也可能出现突变式崩溃?哪些生物学机制可能起到缓冲作用?
  3. 如果你负责设计一个医院的电力与信息系统,根据本文和后续工作,你会如何安排两个网络之间的依赖关系以降低连锁失效的风险?