[論文レビュー] 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

ひとこと要約

本稿は、1次元Weisfeiler-Leman（1-WL）アルゴリズムに対して不変である部分グラフパターンおよびグラフ性質の完全な特徴付けを提供し、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の色強化プロセスを基本とし、グラフの安定色分けにおける頂点の色分けの安定性およびセル分割を分析する。
• グラフのアメニタビリティの概念を用いて、特に頂点数が有界で特定の部分グラフを含まないグラフに注目し、1-WL不変な部分グラフパターンを特徴付ける。
• 安定分割およびグラフ間のセルを尊重する同型写像を分析する構造的グラフ分解技術を用いる。
• Dell, Grohe, Rattanのホモモーティズムプロファイルに関する結果を活用し、treewidthが最大kであるグラフからのホモモーティズムカウントとk-WL同値性の関係を確立する。
• 禁止部分グラフクラス（例：$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 既知の例（長さ≤6のサイクルなど）を超えて、2-WL不変な部分グラフカウントのクラスをどのように拡張できるか？
• RQ5 どのような構造的条件下でグラフがアメニタブルとなるか？ また、アメニタビリティは1-WL不変性の部分グラフカウントとどのように関係するか？

主な発見

• 本稿は、1-WLに対して不変なすべての部分グラフパターンの完全な特徴付けを提供している。これらは、安定色分け分割の意味でアメニタブルであるパターンにちょうど一致する。
• 2-WLにおいては、既知の不変性結果を拡張し、すべての$s \leq 6$に対して$s$-サイクルの数が不変であることを示している。また、風車型グラフ$K_1*(K_3 + sK_1)$のような新たなクラスが2-WL不変であることを同定している。
• 6頂点以下のすべてのグラフ（$2C_3$および$C_6$を除く）がアメニタブルであり、したがってその部分グラフカウントは1-WL不変であることを証明している。
• 本稿は、$2\text{-}\mathrm{WL}$-同値なグラフは互いにコスペクトルであり、同じ数の生成森を持つことを確立しており、これにより先行研究を確認・拡張している。
• グラフ性質の1-WL不変性が、安定色分けによって誘導されるセルを尊重する同型写像に対して不変であることに等しいことを示している。
• 著者らは、$(P_3 + 2P_2)$-フリーまたは$2P_3$-フリーなグラフが、$2C_3$および$C_6$を除いてすべてアメニタブルであることを証明しており、これらのクラスにおいては、唯一非アメニタブルなグラフは$2C_3$および$C_6$である。