무작위 네트워크 합의 조건: i.i.d. 확률 행렬의 안정성 분석

초록

본 논문은 i.i.d. 확률 행렬에 의해 생성되는 무작위 네트워크에서 에이전트들의 합의를 달성하기 위한 필요충분조건을 제시한다. 거의 확실수렴, 확률수렴, L¹수렴 세 가지 수렴 모드가 서로 동등함을 보이고, 이를 투영된 부분공간에서의 안정성 문제로 환원한다.

상세 분석

이 연구는 다중 에이전트 시스템이 시간에 따라 변하는 확률적 인접 행렬 (W(t))에 의해 업데이트되는 모델을 고려한다. 여기서 (W(t))는 독립이고 동일하게 분포(i.i.d.)된 확률 행렬이며, 각 행은 비음이며 합이 1인 스토캐스틱 행렬이다. 논문은 합의(con​sensus) 문제를 세 가지 수렴 개념—(1) 거의 확실수렴(almost sure), (2) 확률수렴(in probability), (3) L¹수렴(in L¹)—에 대해 정의하고, 이들 사이의 논리적 등가성을 증명한다. 핵심 아이디어는 전체 상태 벡터 (x(t))를 평균값을 나타내는 1차원 서브스페이스와 그 직교 보완인 (\mathcal{H}={v\in\mathbb{R}^n:\mathbf{1}^\top v=0}) 로 분해하는 것이다. 평균값은 행렬의 좌측 고유벡터 (\mathbf{1}^\top)에 의해 보존되므로, 합의 여부는 (\mathcal{H}) 상에서의 수축성에 완전히 귀결된다.

논문은 (\mathcal{H})에 대한 투영 연산자를 (P=I-\frac{1}{n}\mathbf{1}\mathbf{1}^\top) 로 정의하고, 변환된 동역학 (z(t)=Px(t))가 (z(t+1)=P W(t) P z(t)) 로 기술된다는 점을 이용한다. 여기서 핵심은 행렬 (P W(t) P)의 기대값 (\mathbb{E}