다중스케일 커뮤니티 탐지를 위한 마코프 시간 스위핑과 맵 방정식

본 논문은 네트워크 커뮤니티 탐지를 정보 이론적 코딩 관점에서 재조명하고, 기존 맵 방정식(Map equation)의 구조적 한계를 분석한다. 맵 방정식은 무작위 보행자의 한 단계 전이를 두 종류의 코드북(커뮤니티 내부 코드와 커뮤니티 간 전이 코드)으로 압축해, 전체 코딩 길이 LM을 최소화하는 파티션을 찾는다. 저자들은 이 과정이 실제 마코프 과정의 전체 동역학을 반영하지 못하고, 블록 평균화와 한 단계 전이에 국한된다는 점을 지적한다. 구체적으로, 같은 정지 분포 π와 탈출 확률 qαy를 가진 서로 다른 내부 연결 구조를 가진 그래프가 동일한 LM을 갖게 되며, 이는 내부 구조를 무시하는 블록‑averaging의 결과이다. 이러한 블록‑averaging은 두 가지 중요한 현상을 초래한다. 첫째, “필드‑오브‑뷰(field‑of‑view) 한계”가 존재한다. 즉, 맵 방정식은 클리크‑형(완전 연결) 커뮤니티를 잘 탐지하지만, 링, 트리, 혹은 장거리 연결된 모듈과 같은 비클리크형 구조에서는 과도하게 세분화(over‑partition)한다. 둘째, 코딩 효율성 측면에서 압축 갭 δ = (LM − h)/h 가 크게 나타난다. 여기서 h 는 마코프 과정의 엔트로피율이며, 이론적으로 가장 짧은 코딩 길이이다. δ가 크면 LM이 h에 비해 비효율적이라는 뜻이며, 이는 맵 방정식이 실제 동역학을 충분히 활용하지 못한다는 증거이다. 이 문제를 해결하기 위해 저자들은 “마코프 시간 스위핑(Markov time sweeping)”이라는 동적 접근을 제안한다. 기본 아이디어는 마코프 시간 t 에 따라 다중 단계 전이 행렬 M(t) = M^t (또는 연속 시간 경우 e^{tL})를 계산하고, 이를 가중치화한 인접 행렬 W(t) 에 기존 맵 방정식을 적용하는 것이다. t 가 작을 때는 한 단계 전이에 가까워져 기존 Infomap과 동일한 결과를 낸다. t 가 커짐에 따라 보행자는 더 멀리까지 확산되므로, 커뮤니티 내부의 미세한 구조는 흐려지고 더 큰 스케일의 모듈이 드러난다. 즉, 마코프 시간은 네트워크를 “동적으로 줌인·줌아웃”하는 매개체가 된다. 각 t 값에 대해 최적 파티션을 찾고, 해당 파티션의 압축 갭 δ(t) 를 계산한다. δ(t) 가 최소가 되는 구간은 해당 스케일에서 커뮤니티 구조가 가장 잘 포착된다는 의미이며, 이를 “신뢰할 수 있는 스케일”으로 정의한다. 저자들은 이 방법을 다양한 합성 및 실세계 네트워크에 적용하였다. 1. **합성 베치마크**: 클리크‑오브‑클리크 그래프에서는 기존 Infomap과 동일한 파티션을 얻으며, δ가 거의 0에 가깝다. 반면 링‑오브‑링 그래프에서는 기존 Infomap이 각 링을 과도하게 분할하지만, 마코프 시간 스위핑은 적절한 t 값에서 전체 링을 하나의 커뮤니티로 묶어 δ를 크게 감소시킨다. 2. **실제 네트워크**: 사회적 네트워크(예: 대학 내 협업 네트워크), 생물학적 네트워크(예: 단백질‑단백질 상호작용) 등에 적용했을 때, 여러 t 값에서 서로 다른 스케일의 커뮤니티가 나타난다. 특히, 저밀도 연결이 많은 부분에서는 큰 t 에서만 의미 있는 커뮤니티가 드러나며, 압축 갭이 최소가 되는 구간이 명확히 구분된다. 3. **압축 갭 활용**: δ가 작을수록 파티션이 실제 동역학을 잘 반영한다는 해석을 바탕으로, 저자는 δ를 “품질 지표”로 제시한다. 이는 기존 모듈러리티나 NMI와 달리, 코딩 효율성에 직접 연결된 정량적 척도이다. 결과적으로, 마코프 시간 스위핑은 기존 맵 방정식이 갖는 “클리크‑편향”과 “필드‑오브‑뷰 제한”을 극복하고, 네트워크의 다중 스케일 구조를 자동으로 탐지한다. 또한, 압축 갭 δ를 통해 파티션의 신뢰성을 평가할 수 있어, 실용적인 커뮤니티 탐지 도구로서의 가치를 제공한다.