스케일프리 네트워크의 차수 분포 안정성에 대한 엄밀한 증명

본 논문은 바라바시‑알버트(Barabási‑Albert, 이하 BA) 모델이 생성하는 스케일프리 네트워크의 차수 분포가 시간에 따라 안정적인 정규화된 형태로 수렴한다는 사실을 마코프 체인 이론을 기반으로 엄밀히 증명한다. 먼저, BA 모델의 핵심 가정인 “m Π 가설”(새 정점이 기존 정점 i에 연결될 확률이 m·k_i/∑_j k_j와 정확히 동일함)을 명시하고, 이를 비동질 마코프 연쇄로 모델링한다. 정점 i의 차수 k_i(t)는 시간 t에 따라 상태 공간 {m,…,m+t‑i}를 갖는 마코프 체인이며, 전이 확률은 (1)식에 제시된 바와 같이 차수가 1 증가할 확률이 k/(2t+N₀)·m, 그 외에는 차수가 변하지 않는다. 여기서 N₀는 초기 완전 그래프의 총 차수이다. 논문은 차수 분포의 존재와 구체적 형태를 증명하기 위해 네 가지 주요 절차를 수행한다. 1. **첫 통과 확률 정의 및 관계식 도출** 차수 k를 처음으로 달성하는 순간을 첫 통과(first‑pass) 사건으로 정의하고, 그 확률 f(k,i,s)를 P(k‑1,i,s‑1)와 연결하는 식 (2)를 얻는다. 이를 이용해 특정 정점 i가 시간 t까지 차수 k를 가질 확률 P(k,i,t)를 (3)식으로 전개한다. 2. **최소 차수 m에 대한 수렴 분석** P(m,t)를 직접 계산하면 식 (4)와 같이 t에 대한 합 형태가 된다. Stolz‑Cesàro 정리를 적용해 lim_{t→∞}P(m,t)=2/(m+2) 가 존재함을 보이며, 이는 초기 네트워크 구조와 무관하게 일정한 값으로 수렴한다는 것을 의미한다. 3. **재귀적 차수 전이 관계 구축** k>m에 대해 P(k,t)와 P(k‑1,t) 사이에 P(k)= (k‑1)/(k+2)·P(k‑1) 라는 재귀식 (5)을 도출한다. 이 식은 P(k‑1) 가 수렴하면 P(k) 역시 수렴한다는 점을 보장한다. 4. **수학적 귀납과 최종 해 도출** Lemma 2와 Lemma 3을 바탕으로 수학적 귀납법을 적용하면, 모든 k≥m에 대해 수렴값이 존재한다는 것을 증명한다. 재귀식을 반복 적용하면 최종적으로 \