[論文レビュー] When is a network epidemic hard to eliminate?

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

Complex Network Analysis Techniques参考文献 5被引用数 5

ひとこと要約

本稿では、線形に成長するCutWidthを有する有界次数のネットワークにおいて、治癒予算がCutWidthの定数倍未満である場合、エピデミックは指数的に難易度の高い除去を要することを確立している。本稿は、治癒予算がCutWidthに比例してスケーリングされる場合にのみ、非線形の消滅時間が達成され、それ以外の場合は期待される消滅時間がネットワークサイズとともに指数的に増加することを示す、きつい段階転移を証明している。

ABSTRACT

We consider the propagation of a contagion process (epidemic) on a network and study the problem of dynamically allocating a fixed curing budget to the nodes of the graph, at each time instant. For bounded degree graphs, we provide a lower bound on the expected time to extinction under any such dynamic allocation policy, in terms of a combinatorial quantity that we call the resistance of the set of initially infected nodes, the available budget, and the number of nodes n. Specifically, we consider the case of bounded degree graphs, with the resistance growing linearly in n. We show that if the curing budget is less than a certain multiple of the resistance, then the expected time to extinction grows exponentially with n. As a corollary, if all nodes are initially infected and the CutWidth of the graph grows linearly, while the curing budget is less than a certain multiple of the CutWidth, then the expected time to extinction grows exponentially in n. The combination of the latter with our prior work establishes a fairly sharp phase transition on the expected time to extinction (sub-linear versus exponential) based on the relation between the CutWidth and the curing budget.

研究の動機と目的

• 制限された治癒リソースの下で、ネットワーク上でのエピデミック制御がいつ指数的に困難になるかを特定すること。
• 固定された予算のもとで、動的治癒ポリシーの下での感染拡散プロセスの期待消滅時間を分析すること。
• 初期感染ノード集合の抵抗性とグラフのCutWidthに基づく、消滅が速いか指数的に遅延するかを決定する組合せ的閾値を確立すること。
• 先行研究を補完するために、逆転結果を証明すること：CutWidthがネットワークサイズに線形にスケーリングし、治癒予算が非線形である場合、任意のポリシーのもとで消滅時間が指数的に大きくなること。
• 動的かつ予算制約のある治癒を伴うSISモデルにおいて、治癒予算、CutWidth、および消滅までの時間の正確な関係を特定すること。

提案手法

• 与えられた初期感染ノード集合からエピデミックを除去する難易度を測る組合せ的指標として「抵抗性」の概念を導入する。
• 時間およびノードに依存する治癒率を有する接触過程（SISモデル）を分析し、各時刻における総治癒予算に制約を課す。
• カップリングによる議論とポアソン近似を用いて、早期消滅の確率を評価し、ポアソン確率変数の指数的尾部バウンドに依存する。
• 集中不等式（補題7.3）を適用して、特定の時間窓内での消滅確率がネットワークサイズnとともに指数的に減少することを示す。
• 仮定のもとで、消滅が指数的に大きな時間より前には起こりにくいため、期待消滅時間の下界を確立する。
• 先行研究（Drakopoulosら、2015）の結果を活用し、r ≥ 4W かつ r ≥ 16Δ log₂n であれば消滅時間が非線形であることが示されているが、本稿では、大規模なCutWidthを持つグラフにおいてその逆を示している。

実験結果

リサーチクエスチョン

• RQ1 ネットワークエピデミックの期待消滅時間が、いつネットワークサイズとともに指数的に増加するか。
• RQ2 グラフのCutWidthが、固定された治癒予算のもとでエピデミックの除去難易度にどのように影響するか。
• RQ3 有界次数のグラフにおいて、期待消滅時間が非線形であることを保証するための最小治癒予算は何か。
• RQ4 治癒予算とCutWidthの比に基づいて、エピデミック制御のパフォーマンスに鋭い段階転移が存在するか。
• RQ5 初期感染ノード集合の抵抗性は、エピデミック除去の難易度を予測する組合せ的代理指標として使用可能か。

主な発見

• CutWidth W ≥ cγn である有界次数のグラフにおいて、治癒予算 r ≤ crW で、cr が Δ と cγ のみに依存する定数である場合、期待消滅時間は n に関して指数的に少なくとも下限を持つ。
• 治癒予算がCutWidthの定数倍未満である限り、最適な動的割り当てであっても、期待消滅時間は指数的に大きくなる。
• 段階転移は鋭い：r ≥ 4W かつ r ≥ 16Δ log₂n であれば、消滅時間は非線形（上界が 26n/r）であるが、r がWの定数倍未満であれば、消滅は指数的に遅延する。
• すべてのノードが初期に感染している場合でも本結果は成り立つため、CutWidthがエピデミックの持続性の主要な構造的要因であることが示されている。
• 初期感染ノード集合の抵抗性が、消滅時間の下界を決定する上で重要な要因であることが示されている。
• 本稿では、治癒予算とCutWidthの比が、速いか遅いかの消滅を決定づける主要因であると仮説を立てており、cr が cγ に比例する場合にも同様の下界が成り立つと予想している。