투사법을 이용한 합의 도달 및 확률 행렬의 정규화된 거듭제곱 극한

초록

본 논문은 DeGroot 합의 모델에서 스패닝 아라보러스가 존재하지 않아 일반적인 수렴이 보장되지 않을 때, 초기 의견을 특정 부분공간 (T_P) 으로 정사영한 뒤 행렬 (P) 를 반복 적용하는 ‘투사‑합의 방법’을 제안한다. 이 방법은 비주기적 확률 행렬에 대해 정규화된 거듭제곱 극한(regularized power limit)으로 해석될 수 있음을 보인다.

상세 분석

논문은 먼저 DeGroot 모델 (s(k)=P,s(k-1)) 에서 합의가 이루어지기 위한 전통적 조건인 (P) 의 정규성(SIA)과, 그래프 (\Gamma) 가 스패닝 아웃‑트리를 갖는 것(스패닝 아라보러스 존재) 사이의 동등성을 재확인한다. 정규성이 깨지는 경우, 즉 (P) 의 거듭제곱이 수렴하더라도 그 극한 (P_\infty) 의 행이 동일하지 않을 수 있다. 이때 저자들은 (P_\infty) 의 영공간과 라플라시안 (L=I-P) 의 이미지가 합의에 필요한 초기 의견의 부분공간 (T_P) 을 형성한다는 사실을 정리한다(정리 1). 구체적으로 (T_P = \mathcal{R}(L) \oplus \operatorname{span}{ \mathbf{1}}) 이며, 이는 (L) 의 열공간에 상수벡터 (\mathbf{1}) 을 추가한 직합이다.

다음으로 저자들은 (T_P) 에 속하지 않는 초기 의견을 가장 가까운 (T_P) 상의 벡터로 정사영(orthogonal projection)하는 연산 (Q) 를 정의한다. 정사영 행렬 (Q) 는 (Q^2=Q) 이며, (Q) 와 (P) 는 교환한다((QP = PQ = P Q)). 따라서 투사‑합의 절차는 두 단계로 구성된다: (1) (s(0)) 를 (Q s(0)) 로 변환, (2) 변환된 벡터에 대해 (P) 를 반복 적용한다. 이 과정에서 최종 상태는 (P_\infty Q s(0)) 이며, 모든 초기 의견이 (T_P) 에 있으면 (Q=I) 이므로 기존 DeGroot 알고리즘과 동일하게 동작한다.

핵심적인 이론적 기여는 이 정사영 기반 알고리즘이 ‘정규화된 거듭제곱 극한(regularized power limit)’이라는 새로운 행렬 연산으로 해석될 수 있다는 점이다. 비주기적 확률 행렬 (P) 에 대해 정의된 행렬 (\tilde{P}= \lim_{k\to\infty} P^k Q) 는 (P) 의 영공간을 보존하면서 기본(비기본) 에이전트의 영향을 제거한다. 저자들은 (\tilde{P}) 가 라플라시안 (L) 의 영공간에 대한 직교 사영을 포함하고, 이는 (P) 의 고유프로젝션 ( \tilde{J}) (정규화된 최대 포레스트 행렬)과 동일한 구조를 가진다고 증명한다. 따라서 (\tilde{P}) 는 기존의 (P_\infty) 에 비해 ‘정규화’된 형태이며, 기본 컴포넌트가 여러 개 존재할 때도 각 컴포넌트별로 독립적인 합의를 달성한다.

그래프 이론적 관점에서, 기본 바이컴포넌트(basic bicomponents)는 외부로부터 들어오는 아크가 없으며, 각각은 자체적인 스패닝 아웃‑트리를 갖는다. 비기본 노드들은 결국 (Q) 에 의해 0으로 매핑되어 최종 합의에 기여하지 않는다. 이는 ‘비기본 에이전트는 최종 결과에 영향을 미치지 않는다’는 직관과 일치한다. 또한, 정규화된 거듭제곱 극한은 라플라시안 (L) 의 지수적 역행렬 ((I+\tau L)^{-1}) 을 (\tau\to\infty) 한계로 표현할 수 있음을 이용해 계산적 접근법도 제시한다.

결과적으로, 이 논문은 합의 문제를 선형 대수와 그래프 이론의 관점에서 재구성하고, 정규성 결여 상황에서도 합의를 보장하는 실용적인 투사‑합의 알고리즘을 제시함으로써 다중 에이전트 시스템의 제어 설계에 새로운 도구를 제공한다.