불규칙 그래프와 유향 그래프 샘플링을 위한 스위치 마코프 체인

초록

본 논문은 주어진 차수열을 갖는 무방향 및 유향 그래프 집합에서 균등하게 샘플링하기 위한 스위치 마코프 체인의 혼합 시간을 분석한다. 최소 차수가 1 이상이고 최대 차수가 전체 차수 합의 √에 비례하는 범위(무방향: 3 ≤ d_max ≤ ⅓√M, 유향: 2 ≤ r_max ≤ ¼√m) 내에 있을 때, 체인은 빠르게 혼합함을 보이며, 무방향 경우는 정규 그래프 대비 n 배, 유향 경우는 m² 배 정도의 상수만큼 더 큰 혼합 시간 상한을 얻는다.

상세 분석

이 연구는 그래프와 유향 그래프의 차수열을 고정한 상태 공간 Ω(d)·Ω(𝑑̃)에서 전이 확률이 대칭인 스위치 마코프 체인 M(d)·M(𝑑̃)를 정의하고, 그 혼합 속도를 다중통로 흐름(multicommodity flow) 기법을 이용해 상한을 구한다. 핵심은 “크리티컬 레마”라 불리는 카운팅 보조정리를 일반화하여, 정규 그래프에서만 성립하던 최대 부하(maximum load) 추정식을 비정규 차수열에도 적용할 수 있게 만든 점이다. 무방향 경우, 최소 차수가 1 이상이고 최대 차수가 M의 1/3√ 이하인 그래프는 충분히 희소하거나 중간 밀도이며, 이때 M(d)의 전이 그래프는 충분히 연결되어 있어 흐름을 균등하게 분산시킬 수 있다. 흐름 길이는 O(M)이며, 각 간선에 흐르는 부하는 O(d_max⁴·M⁻¹·log M) 수준으로 제한된다. 따라서 혼합 시간 τ ≤ ρ·ℓ·(log 1/π* + log ε⁻¹) 형태의 일반적인 경계식에 대입하면, 제시된 상한 τ ≤ d_max¹⁴·M⁹·(½ M log M + log ε⁻¹) 가 도출된다.

유향 그래프에서는 입·출 차수가 모두 양수이고 최대 반차수가 m의 ¼√ 이하이며, 전체 차수열이 스위치 체인에 대해 비가역적(irreducible)인 경우에 한해 동일한 흐름 분석을 수행한다. 여기서는 무방향 경우와 달리 두 종류의 스위치(입·출 교환)와 방향성을 고려해야 하므로, 흐름 길이가 O(m)이고 부하가 O(r_max¹⁶·m⁻¹·log m) 로 증가한다. 결과적으로 τ ≤ (¼ r_max¹⁶·m¹¹)·(m log m + log ε⁻¹) 라는 상한을 얻으며, 이는 정규 유향 그래프(τ ≈ 50 d²⁵ n⁹) 대비 m² 배 정도 느리지만 여전히 다항식 시간 내에 수렴한다.

이 논문은 기존 연구에서 정규성에 의존하던 증명을 비정규 차수열에 확장함으로써, 파워‑법칙(γ > 5/2) 그래프, 평균 차수가 상수이면서 최대 차수가 √n 수준인 희소 그래프, 그리고 평균 차수가 Θ(n)인 밀집 그래프 등 다양한 실제 네트워크 모델에 적용 가능함을 보인다. 또한, 스위치 체인의 빠른 혼합을 보장하는 조건을 명시적으로 제시함으로써, 실무에서 무작위 그래프 생성 알고리즘을 설계할 때 차수 제한을 검증하는 간단한 기준을 제공한다.