[论文解读] On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties

V. Arvind, Frank Fuhlbrück+2 more|arXiv (Cornell University)|Nov 9, 2018

Advanced Graph Theory Research参考文献 42被引用 5

一句话总结

本文對一維 Weisfeiler-Leman（1-WL）算法下不變的子圖模式與圖性質提供了完整的特徵化，並顯著擴展了已知的二維 Weisfeiler-Leman（2-WL）不變性結果。論文證明，1-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 顏色精煉過程為基礎，分析圖在穩定顏色分配下的頂點顏色穩定性與細胞劃分。
• 應用圖的可容許性（amenability）概念來特徵化 1-WL-不變的子圖模式，特別著重於頂點數有限且具有特定禁止子圖的圖。
• 採用結構圖分解技術，包括對穩定劃分與圖之間保持細胞的雙射關係的分析。
• 利用同態輪廓（homomorphism profiles）的成果（Dell, Grohe, Rattan），將 k-WL 等價性與從 treewidth 至多為 k 的圖出發的同態計數聯繫起來。
• 對禁止子圖類別（例如 $P_3 + 2P_2$、$2P_3$）進行案例分析，以證明可容許性，進而證明 1-WL 不變性。
• 運用組合論證與基於度數的不變量（例如 $d(X,Y)$）來證明，保持細胞的同構關係在 1-WL 等價下會保持子圖結構。

实验结果

研究问题

• RQ1 哪些子圖模式的計數在 1-WL 算法下保持不變？
• RQ2 哪些圖性質（例如環的數量、直徑、生成樹）在 1-WL 與 2-WL 等價下被保留？
• RQ3 在 1-WL 下，其計數保持不變的子圖模式的完整集合為何？它們與圖結構有何關係？
• RQ4 如何將 2-WL-不變子圖計數的類別擴展至已知案例（如長度 ≤6 的環）之外？
• RQ5 在何種結構條件下圖是可容許的？可容許性與子圖計數的 1-WL 不變性有何關係？

主要发现

• 本文提供了所有在 1-WL 下計數不變的子圖模式的完整特徵化：這些正是穩定顏色劃分意義下的可容許模式。
• 對於 2-WL，本文擴展了已知的不變性結果，證明所有長度 $s \leq 6$ 的 $s$-環的數量均不變，並識別出新的類別，如風車圖 $K_1*(K_3 + sK_1)$ 為 2-WL-不變。
• 論文證明，除 $2C_3$ 和 $C_6$ 外，所有最多含 6 個頂點的圖均為可容許圖，因此其子圖計數為 1-WL-不變。
• 本文確立了 $2\text{-}\mathrm{WL}$-等價圖具有相同的譜與相同數量的生成樹，確認並擴展了先前的結果。
• 論文證明，圖性質的 $1\text{-}\mathrm{WL}$-不變性等價於該性質在穩定顏色所誘導的保持細胞的同構下不變。
• 作者證明，所有 $(P_3 + 2P_2)$-自由或 $2P_3$-自由的圖均為可容許圖，除非其為 $2C_3$ 或 $C_6$，而這兩者是此類中唯一的非可容許圖。