다층 네트워크 동형성 이론

초록

이 논문은 그래프 동형 개념을 일반화하여 다층 네트워크(다중 측면)를 위한 다양한 동형 관계를 정의하고, 이를 기존 그래프 동형 문제로 선형 크기 변환하여 해결할 수 있음을 보인다.

상세 분석

본 연구는 다층 네트워크의 구조적 동등성을 판단하기 위한 형식적 틀을 제시한다. 먼저 다층 네트워크를 정점 집합 V, 정점‑레이어 튜플 집합 Vᴹ, 에지 집합 Eᴹ, 그리고 각 측면별 레이어 집합 L₁,…,L_d 로 정의한다. 이때 레이어는 d개의 ‘측면(aspect)’의 조합으로 이루어지며, 정점은 여러 레이어에 동시에 존재할 수 있다. 논문은 이러한 구조 위에 세 종류의 동형성을 도입한다. (1) 정점 동형(vertex‑isomorphism) 은 정점 라벨만 재배치하고 레이어 라벨은 고정한다; (2) 레이어 동형(layer‑isomorphism) 은 레이어 라벨만 재배치하고 정점 라벨은 고정한다; (3) 정점‑레이어 동형(vertex‑layer‑isomorphism) 은 정점과 레이어를 동시에 재배치한다. 레이어 재배치는 부분 레이어 맵(특정 측면만 교환)과 전체 레이어 맵(모든 측면 교환)으로 구분되며, 이를 통해 시간 순서만 보존하거나 특정 차원만 무시하는 등 다양한 비교 기준을 설정할 수 있다.

동형성 정의를 군론적 관점에서 정리하면, 정점 동형은 정점 집합 V 위의 전치군 S_V, 레이어 동형은 레이어 집합 ˆL 위의 전치군 S_ˆL, 그리고 정점‑레이어 동형은 두 군의 직접곱 S_V × S_ˆL 로 표현된다. 이때 자동동형(automorphism) 군은 해당 네트워크가 자체적으로 갖는 대칭성을 나타내며, 다층 구조가 추가됨에 따라 전통적인 그래프 자동동형보다 훨씬 풍부한 대칭 패턴이 나타날 수 있다.

핵심 기여는 모든 다층 동형 문제를 정점 색상 그래프(vertex‑colored graph) 로 선형 시간에 변환하는 알고리즘이다. 변환 과정에서 각 정점‑레이어 튜플을 새로운 정점으로, 레이어와 정점의 매핑 정보를 색으로 부여한다. 이렇게 만든 색상 그래프의 동형성을 기존의 그래프 동형 솔버(예: Nauty, Bliss)로 검사하면 원래 다층 네트워크의 동형성을 판정할 수 있다. 변환 후 그래프의 크기는 원래 다층 네트워크의 정점‑레이어 튜플 수와 에지 수에 비례하므로, 복잡도는 그래프 동형 문제와 동일한 NP‑intermediate 클래스에 머문다.

이론적 결과는 다중 네트워크(멀티플렉스), 시간 네트워크, 상호 연결 네트워크 등 다양한 특수 케이스에 바로 적용 가능하다. 예를 들어, 멀티플렉스 네트워크는 레이어가 ‘색상’ 역할을 하므로 레이어‑동형을 무시하고 정점‑동형만 고려하면 색상 무시 동형을 얻는다. 시간 네트워크에서는 레이어를 시간 스탬프로 해석해 레이어‑동형을 부분적으로 허용함으로써 순서만 보존하는 동형을 정의한다.

마지막으로, 자동동형 군을 이용한 대칭 분석이 다층 전염병 모델이나 퍼콜레이션 현상 등 복합 시스템의 거시적 행동을 이해하는 데 활용될 수 있음을 제시한다. 전체적으로 이 논문은 다층 네트워크 분석에 필요한 기본적인 동형 개념을 체계화하고, 실용적인 계산 방법을 제공함으로써 향후 모티프 탐색, 그래프렛 분석, 구조적 역할 부여, 네트워크 정렬 등 다양한 분야에 확장 가능성을 열어준다.