[論文レビュー] 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感染症の動的治癒ポリシー下で、予想される消滅時間に対する根本的な指数関数的下界を確立している。治癒予算が部分線形にスケーリングされ、かつグラフのカット幅が大きい場合、いかなる動的ポリシーでも指数的でない消滅時間を達成できないことを示している。この結果は、感染症の履歴やネットワーク構造を完全に把握している状況でも成り立つため、密度の高いネットワークにおける適応的治癒戦略の性能に根本的な限界があることを示している。

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感染症を制御する際の根本的性能限界を特定すること。
• グラフ構造（特にカット幅）が、最小で達成可能な予想される消滅時間に与える影響を分析すること。
• すべての動的治癒ポリシーに対して成り立つ、消滅時間の下界を導出すること、すなわち、システムの完全な知識を前提としても成り立つこと。
• 治癒予算がノード数nに対して部分線形にスケーリングされ、かつカット幅が大きい場合、消滅時間がネットワークサイズに指数的に増加することを示すこと。

提案手法

• 著者たちは、感染率β=1で、ノード固有の動的治癒率をもつ連結な無向グラフ上での連続時間マコフ過程として感染症をモデル化している。
• 性能指標として、すべてのノードが健康状態にあるまでの予想される消滅時間τを定義し、各時刻tで総治癒予算制約∑ρv(t) ≤ rを課している。
• グラフ理論的概念としてカット幅や「クルセイド（crusade）」——重なりとコストが制御されたノード集合の系列——を用い、システムダイナミクスの組み合わせ的下界を構築している。
• コスト関数c(S)とγ(S)測度の性質を活用して、時間ステップごとの感染制御の最小改善を特徴づけている。
• 最小コストのノード集合系列（クルセイド）を構築し、高カット幅下では、感染をゼロに減らすためにこのような系列が指数的に大きくなる必要があることを示し、これにより消滅時間の下界を導出している。
• 矛盾と帰納法に依存した証明により、任意の最適治癒ポリシーが、感染集合を空にまで減らすために指数的に多くのステップを要することを示している。特にカット幅が最大に近い場合に顕著である。

実験結果

リサーチクエスチョン

• RQ1 カット幅が最大に近いグラフにおいて、高カット幅を持つグラフにおける動的治癒ポリシーを用いた感染症の消滅が、どの程度速く達成できるか、根本的限界は何か？
• RQ2 治癒予算のスケーリング（nに比例するか、部分線形か）が、最良の期待される消滅時間に与える影響は何か？
• RQ3 感染症状態の完全な知識を前提としても、動的ポリシーに対して指数的下界を確立できるか？
• RQ4 カット幅は、適応的治癒戦略の性能にどのように影響を与えるか？
• RQ5 拡張子以外のグラフ構造的性質（例えば、カット幅が大きい）は、制限された治癒予算下で、消滅時間に指数的下界を保証するか？

主な発見

• カット幅が可能な最大値に近いグラフにおいて、治癒予算がノード数nに対して部分線形にスケーリングされる場合、いかなる動的治癒ポリシーに対しても、予想される消滅時間はnに指数的に増加する。
• ネットワークプランナーが感染症の履歴やネットワーク構造を完全に把握している状況でも、この下界は指数的である。
• この結果は、静的またはヒューリスティックなポリシーに限らず、すべての動的治癒ポリシーに適用可能であり、初期感染ノード集合の内容に依存しない。
• 指数的下界は、「クルセイド」——重なりとコストが制御されたノード集合の系列——の組み合わせ的解析により確立されており、このような系列が感染をゼロに減らすために指数的に長くならざるを得ないことを示している。
• この下界は、エクスパンダーグラフに対する既知の結果と一致しており、高カット幅を持つより広いクラスのグラフへと拡張されている。
• カット幅が治癒予算を上回る場合、適応的ポリシーであっても、迅速な抑止は不可能であることが分析により示されており、ネットワークの構造的レジリエンスが要因である。