[논문 리뷰] Functional Central Limit Theorem For Susceptible-Infected Process On Configuration Model Graphs

Wasiur R. KhudaBukhsh, Casper Woroszylo외 2명|arXiv (Cornell University)|2017. 03. 18.

Complex Network Analysis Techniques참고 문헌 45인용 수 8

한 줄 요약

이 논문은 구성 모델 무작위 그래프 위의 감수자-감염자(SI) 전염병 과정에 대해 기능적 중심극한정리(FCLT)를 수립한다. 정점 수가 증가함에 따라 감수자 수, 감염자 수, SI 간선 수, SS 간선 수의 스케일링된 계수들이 약한 수렴을 통해 연속적인 가우시안 벡터 반마딩갈레르 과정으로 수렴하며, 이는 복잡한 네트워크에서 전염병 역학의 확산 근사에 기여한다.

ABSTRACT

We study a stochastic compartmental susceptible-infected (SI) epidemic process on a configuration model random graph with a given degree distribution over a finite time interval $[0,T],$ for some $ T>0$. In this setting, we split the population of graph nodes into two compartments, namely, $S$ and $I$, denoting the susceptible and infected nodes, respectively. In addition to the sizes of these two compartments, we study counts of $SI$-edges (those connecting a susceptible and an infected node) and $SS$-edges (those connecting two susceptible nodes). We describe the dynamical process in terms of these counts and present a functional central limit theorem (FCLT) for them, a scaling limit of the dynamical process as $n$, the number of nodes in the random graph, grows to infinity. To be precise, we show that these counts, when appropriately scaled, converge weakly to a continuous Gaussian vector martingale process the usual Skorohod space of real 3-dimensional vector-valued \cadlag\, functions on $[0,T]$ endowed with the Skorohod topology. We assume certain technical requirements for this purpose. We discuss applications of our FCLT in percolation theory (from a non-equilibrium statistical mechanics point of view), and in computer science in the context of spread of computer viruses. We also provide simulation results for some common degree distributions.

연구 동기 및 목표

• 구성 모델(CM) 무작위 그래프 위의 SI 전염병 과정에 대해 기능적 중심극한정리(FCLT)를 유도하기 위해.
• 유한 시간 내의 스토케스틱 과정에서 감수자/감염자 개체수와 간선 유형(SI, SS)의 공동 역학을 모델링하기 위해.
• 기능적 대수법칙(FLLN) 극한 주위의 스케일링된 변동이 가우시안 반마딩갈레르 과정으로 약한 수렴함을 확립하기 위해.
• 희박하고 이질적인 네트워크에서 스토케스틱 전염병 역학에 대한 엄밀한 스케일링 극한을 제공하기 위해.
• 확산 근사를 통해 침투이론 및 컴퓨터 바이러스 모델링 등 응용을 지원하기 위해.

제안 방법

• 과정은 집계된 상태 변수를 통해 기술된다: $X_S(t)$ (감수자 수), $X_{SI}(t)$ (SI 간선 수), $X_{SS}(t)$ (SS 간선 수, 이중으로 세짐).
• 변동 과정 $Y(t) = \sqrt{n}(n^{-1}X(t) - x(t))$ 를 분석한다. 여기서 $x(t)$ 는 미분방정식 시스템의 FLLN 극한 해이다.
• 지역적으로 제곱-integrable 마딩갈레르에 대한 Rebolledo 정리를 적용하며, 예측 가능 및 선택 가능 이차변동 과정의 수렴이 필요하다.
• 증명은 세 가지 조건의 검증에 기반한다: 예측 가능 이차변동의 수렴 $\langle M_n \rangle \to V$, 선택 가능 이차변동의 수렴 $[M_n] \to V$, 그리고 무시할 수 있는 점프 기여 $\langle M_n^{(\epsilon)} \rangle \to 0$.
• 극한 과정은 $[0,T]$ 에서의 cadlag 함수들의 스코로호드 공간 $D^{(3)}$ 에서의 3차원 연속 가우시안 벡터 반마딩갈레르 과정이다.
• 도수 분포 및 초기 조건에 대한 기술적 가정이 일반 설정 하에서 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 구성 모델 그래프에서 감수자 개체수와 SI/SS 간선의 공동 과정이 네트워크 크기가 증가함에 따라 기능적 중심극한정리를 만족하는가?
• RQ2 SI 전염병 과정의 유체 극한 주위의 변동이 확산 과정으로 근사될 수 있는가?
• RQ3 FCLT가 성립하기 위한 도수 분포 및 초기 상태에 대한 필수 및 충분 조건은 무엇인가?
• RQ4 간선 유형 수(SI 및 SS)는 전염병 전파의 확산 근사에 어떻게 기여하는가?
• RQ5 극한 가우시안 과정은 컴퓨터 바이러스 전파 또는 침투와 같은 실제 현상을 모델링하는 데 사용될 수 있는가?

주요 결과

• 스케일링된 과정 $\sqrt{n}(n^{-1}X(t) - x(t))$ 는 $[0,T]$ 에서 스코로호드 위상에서 연속적인 가우시안 벡터 반마딩갈레르 과정으로 약한 수렴을 보인다.
• 극한 과정은 예측 가능 이차변동 행렬 $V(t)$ 를 가지며, 이는 연속적이고 결정적인 성질을 가지며, 양의 준정의 증가성을 갖는다.
• 도수 분포에 대한 기술적 조건, 즉 유한한 두 번째 모멘트와 초기 구성의 규칙성 조건 하에서 수렴이 성립한다.
• FCLT 는 파워-레인지 및 포아송 분포를 포함한 일반적인 도수 분포에 적용 가능하며, 시뮬레이션 결과로 검증되었다.
• 극한 가우시안 과정은 분할 크기와 간선 유형의 공동 변동을 포괄하여 전염병 역학의 통계적 추론 및 시뮬레이션을 가능하게 한다.
• 이 결과는 네트워크 전염병학 및 침투이론에서의 확산 근사에 엄밀한 기초를 제공한다.