SOTAVerified

Fine-Grained Expressive Power of Weisfeiler-Leman: A Homomorphism Counting Perspective

2024-10-04Code Available0· sign in to hype

Junru Zhou, Muhan Zhang

Code Available — Be the first to reproduce this paper.

Reproduce

Code

Abstract

The ability of graph neural networks (GNNs) to count homomorphisms has recently been proposed as a practical and fine-grained measure of their expressive power. Although several existing works have investigated the homomorphism counting power of certain GNN families, a simple and unified framework for analyzing the problem is absent. In this paper, we first propose generalized folklore Weisfeiler-Leman (GFWL) algorithms as a flexible design basis for expressive GNNs, and then provide a theoretical framework to algorithmically determine the homomorphism counting power of an arbitrary class of GNN within the GFWL design space. As the considered design space is large enough to accommodate almost all known powerful GNNs, our result greatly extends all existing works, and may find its application in the automation of GNN model design.

Reproductions