[논문 리뷰] On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties

V. Arvind, Frank Fuhlbrück외 2명|arXiv (Cornell University)|2018. 11. 09.

Advanced Graph Theory Research참고 문헌 42인용 수 5

한 줄 요약

이 논문은 1차원 Weisfeiler-Leman (1-WL) 알고리즘에 대해 불변인 부분그래프 패턴과 그래프 성질을 완전히 특성화하며, 2-WL 불변성에 대해 알려진 결과를 크게 확장한다. 1-WL의 경우, 모든 패턴에 대해 부분그래프 수와 구조적 성질이 완전히 포괄됨을 증명한다. 반면 2-WL의 경우, 순환 구조(길이 6 이하)와 특정한 미니어처형 구조를 포함한 새로운 부분그래프 유형의 수가 유지됨을 규명한다.

ABSTRACT

The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a fruitful approach to the Graph Isomorphism problem. 2-WL corresponds to the original algorithm suggested by Weisfeiler and Leman over 50 years ago. 1-WL is the classical color refinement routine. Indistinguishability by $k$-WL is an equivalence relation on graphs that is of fundamental importance for isomorphism testing, descriptive complexity theory, and graph similarity testing which is also of some relevance in artificial intelligence. Focusing on dimensions $k=1,2$, we investigate subgraph patterns whose counts are $k$-WL invariant, and whose occurrence is $k$-WL invariant. We achieve a complete description of all such patterns for dimension $k=1$ and considerably extend the previous results known for $k=2$.

연구 동기 및 목표

• 1차원 Weisfeiler-Leman (1-WL) 알고리즘에 대해 불변인 모든 부분그래프 패턴과 그래프 성질을 완전히 특성화하는 것.
• 2차원 Weisfeiler-Leman (2-WL) 알고리즘에 대해 불변인 부분그래프 패턴의 수가 유지되는 기존 클래스를 확장하는 것.
• k-WL이 조합적 그래프 파라미터와 구조적 불변성을 얼마나 잘 포괄하는지 표현 능력을 명확히 하는 것.
• k-WL이 이소모르피즘 테스트 및 그래프 유사도 학습에서 가지는 한계와 능력을 더 깊이 이해하는 것.
• k-WL 불변성, 동형도 프로파일, 고정된 미니어를 배제하는 구조적 그래프 클래스 등과의 연결 고리를 설정하는 것.

제안 방법

• 1-WL 색상 조정 과정을 기본으로 삼아, 그래프의 안정된 색상 부여에서의 정점 색상 안정성과 셀 분할을 분석한다.
• 그래프의 애너빌란스 개념을 활용하여, 특히 정점 수가 제한되고 특정한 부분그래프가 금지된 경우의 1-WL 불변 부분그래프 패턴을 특성화한다.
• 안정된 분할과 그래프 간의 셀을 존중하는 전단사 사상 분석을 포함한 구조적 그래프 분해 기법을 적용한다.
• Dell, Grohe, Rattan의 동형도 프로파일 결과를 활용하여, k-WL 동치성과 트리폭이 최대 k인 그래프로부터의 동형도 수와의 관계를 규명한다.
• 금지된 부분그래프 클래스(예: $P_3 + 2P_2$, $2P_3$)에 대한 케이스 분석을 통해 애너빌란스를 증명하고, 이를 통해 1-WL 불변성을 입증한다.
• 조합론적 추론과 차수 기반 불변성(예: $d(X,Y)$)을 활용하여, 셀을 존중하는 이so모르피즘 구조가 1-WL 동치성 하에서 부분그래프 구조를 유지함을 보여준다.

실험 결과

연구 질문

• RQ1 어떤 부분그래프 패턴의 수가 1-WL 알고리즘에 대해 불변인가?
• RQ2 어떤 그래프 성질(예: 순환 수, 지름, 스패닝 트리 수 등)이 1-WL 및 2-WL 동치성 하에서 유지되는가?
• RQ3 1-WL에 대해 불변인 부분그래프 패턴의 전체 집합은 무엇이며, 이는 그래프의 구조와 어떻게 관련되는가?
• RQ4 기존의 예인 길이 ≤6인 순환 구조 외에 2-WL 불변 부분그래프 수의 클래스를 어떻게 확장할 수 있는가?
• RQ5 어떤 구조적 조건에서 그래프가 애너빌란스를 가지며, 이는 부분그래프 수의 1-WL 불변성과 어떻게 관련되는가?

주요 결과

• 논문은 1-WL에 대해 불변인 모든 부분그래프 패턴을 완전히 특성화한다: 이러한 패턴들은 안정된 색상 분할의 의미에서 애너빌란스를 가지는 것과 정확히 일치한다.
• 2-WL의 경우, 길이 $s$의 순환 수가 모든 $s \leq 6$에 대해 불변임을 증명하며, 새로운 유형의 부분그래프 패턴인 미니어처형 구조인 $K_1*(K_3 + sK_1)$도 2-WL 불변임을 규명한다.
• 6개 이하의 정점을 가진 모든 그래프 중 $2C_3$와 $C_6$를 제외한 나머지는 애너빌란스를 가지며, 따라서 그들의 부분그래프 수는 1-WL 불변이다.
• 논문은 $2\text{-}\mathrm{WL}$-동치인 그래프들이 같은 스펙트럼을 가지며, 스패닝 트리 수가 동일함을 증명하여 이전 결과를 확인하고 확장한다.
• 어떤 그래프 성질이 $1\text{-}\mathrm{WL}$-불변임은, 그 성질이 안정된 색상에 의해 유도된 셀을 존중하는 이소모르피즘에 대해 불변임과 정확히 동치임을 입증한다.
• 저자들은 $(P_3 + 2P_2)$-free 또는 $2P_3$-free인 그래프가 $2C_3$ 또는 $C_6$가 아니면 항상 애너빌란스를 가지며, 이러한 클래스 내에서 유일하게 비-애너빌란스인 그래프는 $2C_3$와 $C_6$임을 증명한다.