[論文レビュー] Weisfeiler-Leman, Graph Spectra, and Random Walks

Gaurav Rattan, Tim Seppelt|arXiv (Cornell University)|Jan 1, 2021

Graph theory and applications参考文献 24被引用数 1

ひとこと要約

この論文は、2-Weisfeiler-Leman（2-WL）アルゴリズムの表現力の特徴づけをスペクトル的性質を通じて行う一般化ラプラシアンと呼ばれる行列族を導入する。2-WLの辺色分けがランダムウォークにおける通達距離を決定することを証明し、WLとグラフ拡散過程との間のスペクトル的関係を確立する。

ABSTRACT

The Weisfeiler--Leman algorithm is a ubiquitous tool for the Graph Isomorphism Problem with various characterisations in e.g. descriptive complexity and convex optimisation. It is known that graphs that are not distinguished by the two-dimensional variant have cospectral adjacency matrices. We tackle a converse problem by proposing a set of matrices called Generalised Laplacians that characterises the expressiveness of WL in terms of spectra. As an application to random walks, we show using Generalised Laplacians that the edge colours produced by 2-WL determine commute distances.

研究の動機と目的

• 2-WLが同型でないグラフの同スペクトル隣接行列を区別できないという既知の結果の逆を扱うこと。
• 2-WLアルゴリズムの表現力を、新規の行列クラスのスペクトル的性質を用いて特徴づけること。
• 2-WLの辺色分けとランダムウォークに基づくグラフ指標（例：通達距離）との間の関係を確立すること。

提案手法

• 2-WL色分け情報を反映するように設計された、標準的グラフラプラシアンを一般化する行列族「一般化ラプラシアン」を提案する。
• 一般化ラプラシアンのスペクトル解析を用いて、2-WLで区別できないグラフを特徴づける。
• 2-WLの辺色分けとこれらの行列の構造との対応関係を確立し、2-WL表現力のスペクトル的特徴づけを可能にする。
• ランダムウォークへの応用として、2-WLの辺色分けが通達距離を正確に計算するのに十分な情報を保持していることを示す。
• 行列理論とグラフ理論を活用して、一般化ラプラシアンのスペクトルが2-WL不変量を捉えていることを証明する。

実験結果

リサーチクエスチョン

• RQ1 2-WLアルゴリズムの表現力は、特定の行列クラスのスペクトルを通じて特徴づけられるか？
• RQ2 2-WLの辺色分けとグラフ行列のスペクトル的性質との間にはどのような関係があるか？
• RQ3 2-WLの辺色分けを用いてランダムウォークにおける通達距離を計算できるか？
• RQ4 一般化ラプラシアンは2-WL同値類のスペクトル的特徴づけを提供するか？

主な発見

• 一般化ラプラシアンは、そのスペクトルが2-WLアルゴリズムの表現力を完全に特徴づけるように構築されている。
• 2-WLで区別できないグラフは、一般化ラプラシアンの下で同一のスペクトルを持つ。
• 2-WLが生成する辺色分けは、グラフ内のすべての頂点ペア間の通達距離を一意に決定する。
• 一般化ラプラシアンを用いて確立されたスペクトル枠組みは、2-WL不変量を分析するための新しい代数的ツールを提供する。