Demystifying Oversmoothing in Attention-Based Graph Neural Networks
Xinyi Wu, Amir Ajorlou, Zihui Wu, Ali Jadbabaie
TL;DR
This work resolves the open question of whether graph attention can prevent oversmoothing by modeling attention-based GNNs as nonlinear time-varying dynamical systems and analyzing long-horizon dynamics via products of inhomogeneous matrices and the joint spectral radius. It proves that oversmoothing occurs exponentially for a broad class of attention-based architectures, including GATs and graph transformers, under general nonlinear activations such as ReLU, LeakyReLU, GELU, and SiLU. The contributions include establishing a common connectivity structure across layers, proving ergodicity of matrix products, and deriving explicit exponential convergence rates for node representations. The findings have significant implications for designing deeper GNNs and motivate connectivity-altering methods to mitigate oversmoothing in practical applications.
Abstract
Oversmoothing in Graph Neural Networks (GNNs) refers to the phenomenon where increasing network depth leads to homogeneous node representations. While previous work has established that Graph Convolutional Networks (GCNs) exponentially lose expressive power, it remains controversial whether the graph attention mechanism can mitigate oversmoothing. In this work, we provide a definitive answer to this question through a rigorous mathematical analysis, by viewing attention-based GNNs as nonlinear time-varying dynamical systems and incorporating tools and techniques from the theory of products of inhomogeneous matrices and the joint spectral radius. We establish that, contrary to popular belief, the graph attention mechanism cannot prevent oversmoothing and loses expressive power exponentially. The proposed framework extends the existing results on oversmoothing for symmetric GCNs to a significantly broader class of GNN models, including random walk GCNs, Graph Attention Networks (GATs) and (graph) transformers. In particular, our analysis accounts for asymmetric, state-dependent and time-varying aggregation operators and a wide range of common nonlinear activation functions, such as ReLU, LeakyReLU, GELU and SiLU.
