疫病モデルとペルコレーションはいつ同じになるか:非再発感染の扱いを体系的に整理
この論文は、非再発の感染症モデルと「Bernoulli bond percolation(ボンデ結合ペルコレーション)」と呼ばれる確率モデルとが、いつ同じ結果を与えるかを明確にします。身近な例でいうと、感受性–感染–回復(SIR)モデルでは感染者が回復すると再感染しません。従来、こうしたSIRの最終的な広がりをネットワーク上の連結性の問題に置き換えて解析する手法がよく使われてきましたが、どの条件でその置き換えが正当化されるかは完全には理解されていませんでした。著者らは、その条件を最小限の仮定から体系的に調べています。
研究者たちはまず、一般的な非再発疫病モデルを定式化しました。各感染者について「感染からある隣接ノードへの接触が起きるまでの時間」と「感染から回復までの時間」を確率変数で扱います。ある隣接ノードへの実際の感染確率は、これら二つの時間の同時分布の積分で表されます。こうした定式化は潜伏期や段階的な感染段階、連続的に変わる感染力など、SIR以外の多様なモデルも含めて扱えるように作られています。また、通常のイベント駆動シミュレーション(優先度付きキューを使う方法)は解析が難しいため、静的な「伝搬可能な辺だけを残したネットワーク(transmissible network)」に置き換える発想が導入されています。
論文では三種類の「等価性」について条件を明らかにします。第一は単一のネットワーク上で動的過程とペルコレーションが完全に一致する「同型(type-1)」の条件。第二は各ノードが感染する確率の周辺分布だけが一致するというより弱い「周辺確率の一致(type-2)」で、これはメッセージパッシングという解析手法を用いてBernoulli結合ペルコレーションと疫病ペルコレーションを比較して得られます。第三は大規模な設定、具体的には構成モデル(configuration model)と呼ばれるランダムグラフでの「主要な流行の期待規模が一致する(type-3)」条件です。さらに、これらの理論的条件を数値シミュレーションで検証し、等価性が破れたときに疫学的結果がどのように変わるかも調べています。
本研究が重要なのは、動的な感染拡大の問題を静的なグラフ問題に置き換える手法の適用範囲と限界をはっきり示した点です。うまく置き換えられる場合は、流行の閾値やアウトブレイクの大きさを動的計算なしに求められます。一方で、置き換えが妥当であるためには「時間均質性(time homogeneity)」という前提が必要であり、これは感染から接触や回復までの時間分布が流行の経過や誰から感染したかに依存しないことを意味します。
注意点として、一般にはSIRのようなモデルとBernoulli結合ペルコレーションの対応は厳密ではありません。特に感染期間のばらつきがあると、同じ個体が長く感染しているために隣接ノードへの感染が相互に相関し、単純な独立辺モデル(Bernoulli結合)では捉えられない振る舞いが出ます。従来の研究が特定のモデルやネットワーク構造に依拠していたのに対し、本論文はより一般的な条件を示しますが、等価性が成り立たない場合には疫学的結論が変わることを数値的に確認しています。原稿の抜粋が全文ではないため、詳細な定理や数値結果の範囲については本文での確認が必要です。