グラフニューラルネットワーク(GNN)は、グラフ処理のための幅広いクラスのコネクショニストモデルです。それらは、各ノードとその隣接ノードで反復メッセージパッシング操作を実行して、分類/クラスタリングタスクを解決します---一部のノードまたはグラフ全体で---順序に関係なく、そのようなメッセージをすべて収集します。このクラスに属するさまざまなモデル間の違いにもかかわらず、それらのほとんどは、ローカル集約メカニズムに基づく同じ計算スキームを採用しており、直感的には、ローカル計算フレームワークが主にGNNの表現力を担っています。この論文では、Weisfeiler--Lehman検定が、元のGNNモデルで定義された展開等価性に正確に対応する等価関係をグラフノードに誘導することを証明します。したがって、元のGNNの表現力に関する結果は、一般的なGNNに拡張できます。一般的なGNNは、穏やかな条件下で、展開の同等性を尊重するグラフ上の任意の関数を、確率で、任意の精度で近似できることが証明できます。
Graph Neural Networks (GNNs) are a wide class of connectionist models for graph processing. They perform an iterative message passing operation on each node and its neighbors, to solve classification/ clustering tasks --- on some nodes or on the whole graph --- collecting all such messages, regardless of their order. Despite the differences among the various models belonging to this class, most of them adopt the same computation scheme, based on a local aggregation mechanism and, intuitively, the local computation framework is mainly responsible for the expressive power of GNNs. In this paper, we prove that the Weisfeiler--Lehman test induces an equivalence relationship on the graph nodes that exactly corresponds to the unfolding equivalence, defined on the original GNN model. Therefore, the results on the expressive power of the original GNNs can be extended to general GNNs which, under mild conditions, can be proved capable of approximating, in probability and up to any precision, any function on graphs that respects the unfolding equivalence.