시간변화 마코프 체인을 이용한 합의 알고리즘과 무한 제트 흐름 정리

본 논문은 시간에 따라 변하는 마코프 체인 기반의 선형 합의 알고리즘을 포괄적으로 분석한다. 먼저, N개의 에이전트가 상태 벡터 x(t)로 표현되고, 이산 시간에서는 x(t+1)=A(t)x(t) 형태의 업데이트 규칙을 가진다. 여기서 A(t)는 매 시점마다 행합이 1인 stochastic matrix이며, 이는 backward 마코프 체인의 전이 행렬에 해당한다. 합의는 모든 에이전트 상태가 동일한 값으로 수렴하는 현상이며, 이는 체인의 ergodicity와 동치임을 기존 연구와 연결한다. 다중 합의는 에이전트를 여러 클러스터로 나누어 각 클러스터 내부에서는 합의가 이루어지지만 클러스터 간에는 서로 다른 한계값을 갖는 경우를 말한다. 논문은 새로운 개념인 “무한 제트 흐름(infinite jet‑flow) 속성”을 도입한다. 제트는 시간에 따라 변하는 부분집합들의 시퀀스로 정의되며, proper jet은 언제든 비어 있지 않다. 두 제트 J_s와 J_k 사이의 총 상호작용 U(J_s,J_k) 를 (8)식으로 정의하고, 이 값이 무한히 커야 무한 제트 흐름을 만족한다. 이는 각 섬(island) 내부에서 모든 에이전트가 장기적으로 충분히 교류한다는 물리적 의미를 갖는다. 섬은 무한 흐름 그래프 G_A(V,E) 의 연결 성분으로 정의되며, G_A는 a_ij(t)+a_ji(t)의 무한 합이 무한인 쌍 (i,j) 로 구성된다. Theorem 1은 체인이 클래스‑ergodic(다중 합의) 되려면 각 섬마다 무한 제트 흐름이 필요함을 증명한다. 증명은 l₁‑approximation 개념을 이용해, 제트 사이의 상호작용을 제거한 체인 B(t)를 구성하고, B(t)에서도 동일한 ergodic class 구조가 유지되지만 제트 간 상호작용이 0이 되면 다중 합의가 불가능함을 보인다. Corollary 1은 ergodicity 자체에 대한 필요조건으로 무한 제트 흐름을 제시한다. 다음으로 독립 제트(independent jet)를 정의한다. 이는 제트 J에 대한 외부(¯J)로부터의 총 영향이 유한한 경우를 말한다. Theorem 2는 두 개의 서로 독립적인 제트가 동시에 존재하면 ergodicity가 깨진다는 것을 보여준다. 이는 무한 제트 흐름이 독립 제트 존재를 방지하는 충분조건임을 의미한다. 핵심적인 이론적 도구는 Sonin이 제시한 분해‑분리(D‑S) 정리이다. 저자는 backward 마코프 체인 {A(t)}에 대해 절대 확률 시퀀스 {m(t)}가 존재함을 이용해, (7)식 a_ij(t)=p_ji(t)m_j(t)/m_i(t+1) 로 forward 전이 행렬 {P(t)}를 구성한다. 이렇게 하면 물리적 해석(액체가 컵 사이를 이동하는 모델)과 함께, m(t)와 상태 x(t)의 장기 행동을 섬과 제트 구조에 따라 분해‑분리할 수 있다. 마지막으로 Class P* 체인(모든 A(t) 가 절대 확률을 갖고, 최소한 하나의 절대 확률이 양수인 경우)에서 무한 제트 흐름이 충분조건이 됨을 증명한다. 이는 기존 문헌에서 제시된 다양한 충분조건(예: B‑connected, cut‑balance, doubly stochastic 등)을 하나의 일반화된 프레임워크로 포괄한다. 또한, D‑S 정리를 이용해 연속시간 시스템에도 동일한 결과를 확장한다. 결론적으로, 논문은 무한 제트 흐름이라는 새로운 구조적 조건을 도입하고, 이를 통해 합의와 다중 합의의 필요·충분 조건을 명확히 제시한다. Sonin의 D‑S 정리를 활용함으로써 기존 여러 합의 결과들을 통합·일반화하고, Class P* 체인에 대한 완전한 수렴 분석을 제공한다.