[논문 리뷰] Weisfeiler-Leman, Graph Spectra, and Random Walks

Gaurav Rattan, Tim Seppelt|arXiv (Cornell University)|2021. 01. 01.

Graph theory and applications참고 문헌 24인용 수 1

한 줄 요약

이 논문은 2-위즈페일러-울먼(2-WL) 알고리즘의 표현력을 스펙트럼적 성질을 통해 특징짓는 일반화된 라플라시안—특정 행렬 군집—을 도입한다. 2-WL 간선 색상이 랜덤 워크에서의 공명 거리(commute distance)를 결정함을 증명하여, WL과 그래프 확산 과정 사이의 스펙트럼적 연결 고리를 확립한다.

ABSTRACT

The Weisfeiler--Leman algorithm is a ubiquitous tool for the Graph Isomorphism Problem with various characterisations in e.g. descriptive complexity and convex optimisation. It is known that graphs that are not distinguished by the two-dimensional variant have cospectral adjacency matrices. We tackle a converse problem by proposing a set of matrices called Generalised Laplacians that characterises the expressiveness of WL in terms of spectra. As an application to random walks, we show using Generalised Laplacians that the edge colours produced by 2-WL determine commute distances.

연구 동기 및 목표

• 기존 결과인 2-WL이 공스펙트럼 인접 행렬을 가진 비이sov모르픽 그래프를 구분할 수 없다는 사실의 역을 다루기 위함.
• 새로운 행렬 클래스의 스펙트럼적 성질을 이용해 2-WL 알고리즘의 표현력을 특징짓기 위함.
• 2-WL의 간선 색상과 랜덤 워크 기반 그래프 메트릭(예: 공명 거리) 사이의 연결 고리를 수립하기 위함.

제안 방법

• 2-WL 색상 정보를 반영하도록 설계된 표준 그래프 라플라시안을 일반화한 행렬 군집인 일반화된 라플라시안을 제안함.
• 일반화된 라플라시안의 스펙트럼 분석을 통해 2-WL에 의해 구분 불가능한 그래프를 특징짓기.
• 2-WL 간선 색상과 이러한 행렬의 구조 사이의 대응 관계를 수립하여, 2-WL 표현력의 스펙트럼적 특징을 가능하게 함.
• 랜덤 워크에 대한 스펙트럼 프레임워크를 적용하여, 2-WL 간선 색상이 공명 거리를 정확히 계산하는 데 충분한 정보를 포함함을 보임.
• 행렬 이론과 그래프 이론을 활용하여 일반화된 라플라시안의 스펙트럼이 2-WL 불변량을 포괄함을 증명함.

실험 결과

연구 질문

• RQ1 2-WL 알고리즘의 표현력은 특정 행렬 군집의 스펙트럼을 통해 특징지을 수 있는가?
• RQ2 2-WL 간선 색상과 그래프 행렬의 스펙트럼적 성질 사이의 관계는 무엇인가?
• RQ3 2-WL 간선 색상을 사용하여 랜덤 워크에서의 공명 거리를 계산할 수 있는가?
• RQ4 일반화된 라플라시안은 2-WL 동치 클래스를 스펙트럼적으로 특징지울 수 있는가?

주요 결과

• 일반화된 라플라시안은 그 스펙트럼이 2-WL 알고리즘의 표현력을 완전히 특징지우도록 구성됨.
• 2-WL에 의해 구분 불가능한 그래프는 일반화된 라플라시안 구축 하에서 동일한 스펙트럼을 가짐.
• 2-WL이 생성하는 간선 색상은 그래프의 모든 정점 쌍 간의 공명 거리를 유일하게 결정함.
• 일반화된 라플라시안을 통한 스펙트럼 프레임워크는 2-WL 불변량을 분석하기 위한 새로운 대수적 도구를 제공함.