정점 차수 변동과 합의 알고리즘 수렴 시간

초록

본 논문은 각 정점이 이웃에게 동일한 가중치를 부여하는 합의 알고리즘을 시간에 따라 변하는 무향 B‑연결 그래프에서 분석한다. 정점의 차수가 변하지 않는(연결이 전혀 없을 때만 제외) 경우, n개의 정점이 ε 정확도로 합의에 도달하는 시간 상한을 (B+4n^{3}B\ln(2n/\epsilon)) 로 제시한다. 또한 차수 고정 가정을 약간 완화하면 최악의 수렴 시간이 n에 대해 지수적으로 커짐을 보이며, 이는 기존 Cao‑Spielman‑Morse 결과를 간단히 재증명한다는 점에서 의미가 크다.

상세 분석

이 연구는 동적 네트워크 환경에서 가장 기본적인 평균 합의 프로토콜, 즉 각 정점이 현재 연결된 이웃에게 동일한 가중치를 할당하는 “동일 가중치 합의”를 대상으로 한다. 논문은 먼저 그래프 시퀀스 ({G(t)}_{t\ge0}) 가 B‑연결이라는 강한 연결성 조건을 만족한다는 가정을 명시한다. B‑연결이란 임의의 연속된 B개의 시간 단계 동안 합쳐진 그래프가 연결 그래프가 된다는 의미이며, 이는 정보가 일정 기간 내에 전체 네트워크에 퍼질 수 있음을 보장한다.

핵심 가정은 각 정점 (i) 의 차수 (\deg_i(t)) 가 시간에 따라 변하지 않으며, 단지 정점이 완전히 고립될 때만 차수가 0이 된다는 점이다. 이 가정 하에 전이 행렬 (W(t)) 는 각 행이 (\frac{1}{\deg_i(t)}) 로 정규화된 인접 행렬이 되며, 따라서 (W(t)) 는 확률 행렬이면서 대칭성을 유지한다. 대칭 확률 행렬의 스펙트럼 특성을 이용하면, 각 단계에서의 라플라시안 고유값 하한을 구할 수 있고, 이를 통해 전체 프로세스의 수렴 속도를 평가한다.

논문은 라플라시안의 두 번째 고유값 (\lambda_2) 와 최대 차수 (\Delta) 사이의 관계 (\lambda_2 \ge \frac{1}{n\Delta}) 를 활용한다. B‑연결성으로 인해 매 B 단계마다 최소 한 번은 전체 그래프가 연결되므로, 해당 구간 내에서 최소 한 번은 (\lambda_2) 가 위의 하한을 만족한다. 이를 반복 적용하면, 시간 (t) 에서의 오차 (|x(t)-\bar{x}|_\infty) 가 지수적으로 감소함을 보일 수 있다. 구체적으로,
\