[논문 리뷰] Homomorphism-Distinguishing Closedness for Graphs of Bounded Tree-Width

Daniel Neuen|arXiv (Cornell University)|2023. 04. 14.

Graph Labeling and Dimension Problems인용 수 3

한 줄 요약

이 논문은 알려진 homomorphism indistinguishability의 특성과 비이sov모르픽 그래프의 구성에 기반하여, 모든 k ≥ 1에 대해 트리너비가 최대 k인 그래프의 클래스가 Roberson의 추측을 확인한다. 즉, 이 클래스는 homomorphism-distinguishing closed이다. 주요 응용으로, k차원 Weisfeiler-Leman 알고리즘에 의해 탐지되는 부분그래프 수를 완전히 특성화한다: 부분그래프 수가 k-WL 불변임은 그 부분그래프의 유전적 트리너비가 최대 k일 때이고, 그 때에만 성립한다.

ABSTRACT

Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$ denotes the number of homomorphisms from $F$ to $G$. A classical result of Lovász shows that isomorphism between graphs is equivalent to homomorphism indistinguishability over the class of all graphs. More recently, there has been a series of works giving natural algebraic and/or logical characterizations for homomorphism indistinguishability over certain restricted graph classes. A class of graphs $\mathcal{F}$ is homomorphism-distinguishing closed if, for every $F otin \mathcal{F}$, there are graphs $G$ and $H$ such that $G \equiv_{\mathcal{F}} H$ and $\operatorname{hom}(F,G) eq \operatorname{hom}(F,H)$. Roberson conjectured that every class closed under taking minors and disjoint unions is homomorphism-distinguishing closed which implies that every such class defines a distinct equivalence relation between graphs. In this note, we confirm this conjecture for the classes $\mathcal{T}_k$, $k \geq 1$, containing all graphs of tree-width at most $k$. As an application of this result, we also characterize which subgraph counts are detected by the $k$-dimensional Weisfeiler-Leman algorithm. This answers an open question from [Arvind et al., J. Comput. Syst. Sci., 2020].

연구 동기 및 목표

• 트리너비가 최대 k인 그래프의 클래스 Tk에 대해, 모든 k ≥ 1에 대해 homomorphism-distinguishing closed임을 확인함으로써 Roberson의 추측을 검증한다.
• k차원 Weisfeiler-Leman (k-WL) 알고리즘에 의해 탐지되는 부분그래프 수에 관한 열린 문제를 해결한다.
• hereditary tree-width 개념을 사용하여 부분그래프 수의 k-WL 불변성에 대한 완전한 특성화를 수립한다.
• Tk 위에서의 homomorphism indistinguishability와 k-WL 알고리즘의 표현력을 연결하여, 논리적이고 대수적 특성화를 제공한다.

제안 방법

• Tk 위에서의 homomorphism indistinguishability에 대한 알려진 특성화를 활용하며, [5, 6, 9]의 결과에 기반하여 k-WL 구별 가능성과 트리너비 ≤ k인 그래프 위에서의 homomorphism indistinguishability를 연결한다.
• 주요 결과를 증명하기 위해 핵심적인 구조적 가정으로서 Theorem 1.2( Tk의 homomorphism-distinguishing closedness)를 적용한다.
• 서로 다른 그래프의 homomorphism 수를 선형 조합으로 표현하기 위해 [3]의 선형 대수적 프레임워크를 사용한다.
• [15]의 Lemma 5.5를 적용하여, homomorphism 수의 선형 조합이 ≡Tk에 대해 불변이라면, 그 구성 요소가 모두 Tk에 속해야 한다는 것을 보인다.
• Tk의 homomorphism-distinguishing closedness와 부분그래프 수 분해를 조합하여, k-WL 불변성의 필요 및 충분 조건을 유도한다.
• 핵심 불변량으로서 hereditary tree-width (hdtw(F))를 정의한다. 이는 F의 모든 homomorphic 이미지 중에서 트리너비의 최댓값으로 정의된다.

실험 결과

연구 질문

• RQ1 모든 k ≥ 1에 대해 트리너비가 최대 k인 그래프의 클래스 Tk는 homomorphism-distinguishing closed인가?
• RQ2 k차원 Weisfeiler-Leman 알고리즘에 의해 불변인 부분그래프 수는 무엇인가?
• RQ3 hdtw(F) ≤ k 조건이 부분그래프 수가 k-WL 불변이 되기 위해 필수적이고 충분한가?
• RQ4 k-WL의 표현력은 트리너비가 최대 k인 그래프 위에서의 homomorphism 수에 의해 완전히 특성화될 수 있는가?

주요 결과

• 모든 k ≥ 1에 대해 트리너비가 최대 k인 그래프의 클래스 Tk는 homomorphism-distinguishing closed이며, 이는 Roberson의 추측을 이 클래스에 대해 확인한 것이다.
• 부분그래프 수 sub(F, ·)가 k-WL 불변임은 F의 hereditary tree-width가 최대 k일 때이고, 그 때에만 성립하며, 이는 완전한 분류를 제공한다.
• 역방향(hdtw(F) ≤ k ⇒ k-WL 불변성)은 이전에 알려져 있었으나, 본 연구에서는 hdtw(F) > k인 F에 대해 반례를 구성함으로써 정방향을 확립한다.
• 증명은 F의 homomorphic 이미지 위에서의 homomorphism 수의 선형 조합으로 부분그래프 수를 표현하고, Tk의 homomorphism-distinguishing closedness를 적용함으로써 이루어진다.
• 이 결과는 Arvind 등(2020)이 제기한 k-WL 불변 부분그래프 수의 완전한 특성화에 관한 열린 문제를 해결한다.
• 이 프레임워크는 k-WL의 표현력이 트리너비가 최대 k인 그래프 위에서의 homomorphism indistinguishability에 의해 완전히 기술된다는 것을 보여준다.