리더‑팔로워 네트워크 집합 게임의 확률적 통신·활성화 모델

본 논문은 리더와 다수의 팔로워가 상호작용하는 네트워크 집합 게임(NA​G) 모델을 새롭게 제안한다. 팔로워 n은 자신의 전략 xₙ∈Xₙ와 이웃들의 가중합 σₙ(x⁻ⁿ)=∑_{m∈Nₙ}w_{nm}x_m, 그리고 리더의 현재 전략 y∈Y에 의해 비용 J_Fₙ(xₙ,σₙ,y)를 갖는다. 리더는 모든 팔로워의 가중합 σ₀(xᴺ)=∑_{n∈N}w_{0n}x_n에 의존하는 비용 J_L(y,σ₀) 를 최소화한다. 여기서 Xₙ, Y는 각각 콤팩트하고 볼록한 집합이며, 비용 함수는 서브미분 가능하고 강하게 볼록하다고 가정한다(Assumption 1). 통신·활성화 모델은 두 종류의 이진 확률 변수 lₖ^{nm} (팔로워 n이 m으로부터 정보를 받는 여부)와 eₖⁿ (팔로워 n이 업데이트에 참여하는 여부)로 구성된다. 이 변수들은 임의의 확률분포 pₖ^{nm}, qₖⁿ에 따라 독립적이거나 히스토리 𝓗ₖ에 조건부 의존성을 가질 수 있다. 특히, Gossip 기반 통신 프로토콜을 특수 사례로 제시해, 한 번에 두 노드만 활성화되고, 활성화된 두 노드 사이에만 통신이 이루어지는 상황을 모델링한다. 가정 2는 모든 링크와 노드가 최소 활성화 확률 γ, δ > 0을 갖도록 하여, 확률적 네트워크가 영구적으로 붕괴되지 않음을 보장한다. 리더는 일정한 간격(최대 \bar K)으로만 깨어나며, 그때마다 팔로워들의 최신 집합 전략 σ₀를 수집하고 자신의 전략을 업데이트한다. 이 시점 집합을 K_L={k_L^i} 이라 정의하고, 가정 3은 두 연속 깨어남 사이의 간격이 유한함을 명시한다. 알고리즘은 투사 서브그라디언트 방법을 기반으로 한다. 팔로워 n은 x_{k+1}^n = Π_{X_n}(x_k^n - e_k^n α_k^n g_k^n), g_k^n = d_n(x_k^n, \tilde σ_k^n, y_k) 와 같이 업데이트한다. 여기서 \tilde σ_k^n 은 현재 가용한 이웃 정보 \tilde x_k^{nm} 을 이용해 계산된 로컬 집합 전략이다. e_k^n=0이면 업데이트가 건너뛰어진다. 리더는 k∈K_L 일 때만 y_{k+1}=Π_Y(y_k - α_k^0 g_k^0) 를 수행하고, 그 외에는 y_{k+1}=y_k 이다. 단계 크기 α_k^n 은 비감소이며, ∑α_k^n=∞, ∑(α_k^n)^2<∞(Assumption 4)를 만족한다. 또한, 모든 에이전트의 단계 크기 비율이 상수 κ 이하가 되도록 하는 가정 5가 추가되어, 서로 다른 업데이트 속도 간의 불균형이 수렴에 악영향을 주지 않도록 설계되었다. 수렴 증명은 크게 두 부분으로 전개된다. 첫 번째는 팔로워들의 서브그라디언트 업데이트가 확률적 근사법의 표준 결과에 따라 거의 확실히(almost sure) 및 평균제곱(mean‑square) 의미에서 고정점에 수렴함을 보인다. 여기서는 라그랑지안 승수와 KKT 조건을 이용해 일반화 나시 균형(GNE) 정의와 일치함을 확인한다. 두 번째는 리더의 비정기적 업데이트가 팔로워의 수렴에 미치는 영향을 분석한다. 리더가 깨어나는 시점이 유한한 간격으로 보장되므로, 팔로워는 리더 전략이 고정된 구간 동안 충분히 수렴할 수 있다. Lyapunov 함수와 마르코프 체인 혼합을 이용해 전체 시스템이 유일한 GNE (x*ᴺ, y*) 로 수렴함을 증명한다. 본 논문의 주요 기여는 다음과 같다. 1. 로컬 집합 구조와 리더‑팔로워 계층을 결합한 새로운 NA​G 모델 제시. 2. 통신·활성화의 확률적 프레임워크를 도입해 Gossip 등 다양한 네트워크 프로토콜을 포괄. 3. 투사 서브그라디언트 기반 분산 알고리즘을 설계하고, 거의 확실히와 평균제곱 의미에서 유일한 GNE로의 수렴을 엄격히 증명. 4. 강한 볼록성, Lipschitz 연속성, 최소 활성화 확률 등 현실적인 가정을 통해 실제 사이버‑물리 시스템(전력망, 스마트 그리드, 사물인터넷 등)에 적용 가능성을 확보. 시뮬레이션 결과(논문 본문에 포함)는 제안된 알고리즘이 다양한 확률적 통신 환경에서도 빠르게 수렴하고, 리더와 팔로워 간의 상호작용이 효율적으로 조정됨을 보여준다. 전체적으로 이 연구는 제한된 통신 자원과 비동기적 의사결정이 일반적인 분산 제어 시스템에 적용될 수 있는 이론적 토대를 제공한다.