[论文解读] Homomorphism-Distinguishing Closedness for Graphs of Bounded Tree-Width

Daniel Neuen|arXiv (Cornell University)|Apr 14, 2023

Graph Labeling and Dimension Problems被引用 3

一句话总结

本文通過已知的同態不可區分性特徵化與非同構圖的構造，驗證了 Roberson 的猜想：對於所有 k ≥ 1，樹寬至多為 k 的圖類別是同態可區分封閉的。作為關鍵應用，本文完全描述了 k 維 Weisfeiler-Leman 算法所檢測的子圖計數：當且僅當子圖的遺傳樹寬至多為 k 時，該子圖計數是 k-WL 不變的。

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].

研究动机与目标

• 驗證 Roberson 的猜想：所有對極小化和不相交併封閉的圖類別均為同態可區分封閉，專注於樹寬至多為 k 的圖類 Tk。
• 解決一個關於 k 維 Weisfeiler-Leman (k-WL) 算法所檢測哪些子圖計數的開放問題。
• 利用遺傳樹寬的概念，對子圖計數的 k-WL 不變性建立完整特徵化。
• 將 Tk 上的同態不可區分性與 k-WL 算法的表達能力相連接，提供邏輯與代數特徵化。

提出的方法

• 利用已知的 Tk 上同態不可區分性的特徵化，依賴於 [5, 6, 9] 的結果，這些結果將 k-WL 可區分性與樹寬 ≤ k 的圖上的同態不可區分性聯繫起來。
• 將定理 1.2（Tk 的同態可區分封閉性）作為關鍵結構假設，用以證明主要結果。
• 使用 [3] 中的線性代數框架，將子圖計數表達為給定圖的同態像上同態計數的線性組合。
• 應用 [15] 的引理 5.5，以證明若同態計數的線性組合在 ≡Tk 下不變，則所有組成圖必須屬於 Tk。
• 結合 Tk 的同態可區分封閉性與子圖計數的分解，推導出 k-WL 不變性的必要與充分條件。
• 採用遺傳樹寬（hdtw(F)）作為核心不變量，定義為 F 的所有同態像中樹寬的最大值。

实验结果

研究问题

• RQ1 對於所有 k ≥ 1，樹寬至多為 k 的圖類 Tk 是否為同態可區分封閉？
• RQ2 哪些子圖計數在 k 維 Weisfeiler-Leman 算法下不變？
• RQ3 條件 hdtw(F) ≤ k 對於子圖計數為 k-WL 不變是否既必要又充分？
• RQ4 k-WL 的表達能力能否完全以有界樹寬圖上的同態計數來特徵化？

主要发现

• 對於所有 k ≥ 1，樹寬至多為 k 的圖類 Tk 是同態可區分封閉的，驗證了 Roberson 對此類別的猜想。
• 子圖計數 sub(F, ·) 是 k-WL 不變的，當且僅當 F 的遺傳樹寬至多為 k，提供了完整的分類。
• 向後方向（hdtw(F) ≤ k ⇒ k-WL 不變性）此前已知；本研究透過對任意滿足 hdtw(F) > k 的 F 建立反例，確立了向前方向。
• 證明依賴於將子圖計數表達為 F 的同態像上同態計數的線性組合，並應用 Tk 的同態可區分封閉性。
• 該結果解決了 Arvind 等人（2020）提出的關於 k-WL 不變子圖計數完整特徵化的開放問題。
• 該框架表明，k-WL 的表達能力完全由樹寬至多為 k 的圖上的同態不可區分性所捕捉。