[论文解读] A lower bound on the performance of dynamic curing policies for epidemics on graphs

Kimon Drakopoulos, Asuman Ozdaglar+1 more|arXiv (Cornell University)|Oct 20, 2015

Complex Network Analysis Techniques参考文献 7被引用 8

一句话总结

本文在动态治愈策略下，建立了图上SIS流行病预期消亡时间的指数下界，表明当治愈预算呈次线性增长且图的CutWidth较高（例如展开图）时，任何动态策略都无法实现次指数级的消亡时间。即使在完全掌握流行病历史与网络结构的前提下，该结果依然成立，揭示了在密集网络中自适应治愈策略性能的固有极限。

ABSTRACT

We consider an SIS-type epidemic process that evolves on a known graph. We assume that a fixed curing budget can be allocated at each instant to the nodes of the graph, towards the objective of minimizing the expected extinction time of the epidemic. We provide a lower bound on the optimal expected extinction time as a function of the available budget, the epidemic parameters, the maximum degree, and the CutWidth of the graph. For graphs with large CutWidth (close to the largest possible), and under a budget which is sublinear in the number of nodes, our lower bound scales exponentially with the size of the graph.

研究动机与目标

• 确定动态治愈策略在控制网络上SIS流行病时的根本性能极限。
• 分析图结构（特别是CutWidth）如何影响可达到的最小预期消亡时间。
• 推导出对所有动态治愈策略均成立的消亡时间下界，即使在完全掌握系统信息的前提下也成立。
• 表明当治愈预算以次线性方式随节点数n增长且CutWidth较大时，消亡时间随网络规模呈指数增长。

提出的方法

• 作者将流行病建模为在连通无向图上的连续时间马尔可夫过程，其中感染率β=1，且治愈率随节点动态变化。
• 定义性能度量为预期消亡时间τ，即所有节点均健康的时间，并在每个时间t施加总治愈预算约束∑ρv(t) ≤ r。
• 利用图论概念（如CutWidth）以及‘十字军’（crusade）——即具有受控重叠和成本的节点集序列——构建系统动态的组合边界。
• 分析利用成本函数c(S)和γ(S)度量的性质，以刻画时间步长中感染控制可实现的最小改进。
• 通过构造最小成本的节点集序列（即十字军），并证明在高CutWidth下，任何此类序列的大小必须呈指数增长，从而推导出消亡时间的下界。
• 证明依赖反证法与数学归纳法，表明任何最优治愈策略都必须经过指数数量的步骤才能将感染集合缩减为空集，尤其在CutWidth接近最大值时更为显著。

实验结果

研究问题

• RQ1 在CutWidth较高的图上，使用动态治愈策略控制流行病的最快消亡时间是否存在根本限制？
• RQ2 治愈预算的缩放方式（次线性与线性）如何影响最佳可能的预期消亡时间？
• RQ3 即使完全掌握流行病状态，是否也能在密集图中为动态策略建立消亡时间的指数下界？
• RQ4 CutWidth如何影响自适应治愈策略在流行病控制中的性能表现？
• RQ5 是否存在除展开图之外的图结构属性，可在治愈预算有限时保证消亡时间的指数下界？

主要发现

• 对于CutWidth接近最大可能值的图，且治愈预算随节点数n呈次线性增长时，任何动态治愈策略下的预期消亡时间均随n呈指数增长。
• 即使网络规划者完全掌握流行病历史与网络结构，该下界仍为指数级。
• 该结果适用于所有动态治愈策略，不仅限于静态或启发式策略，且不依赖于初始感染节点集合。
• 通过分析‘十字军’（具有受控重叠与成本的节点集序列）的组合性质，建立了指数下界，表明此类序列必须呈指数长度才能将感染降至零。
• 该下界是紧致的，因为其与已知的展开图结果一致，并将其推广至更广泛的高CutWidth图类。
• 分析表明，当CutWidth超过治愈预算时，即使采用自适应策略，快速控制也变得不可能，原因在于网络结构的内在鲁棒性。