Semi-Supervised Learning on Graphs using Graph Neural Networks
Organizations: School of Mathematical Sciences, Xiamen University · Department of Statistics, University of Chicago · ESSEC Business School · Department of Applied Mathematics, University of Twente
Abstract
Graph neural networks (GNNs) work remarkably well in semi-supervised node regression, yet a rigorous theory explaining when and why they succeed remains lacking. To address this gap, we study an aggregate-and-readout model that encompasses several common message passing architectures: node features are first propagated over the graph then mapped to responses via a nonlinear function. For least-squares estimation over GNNs with linear graph convolutions and a deep ReLU readout, we prove a sharp non-asymptotic risk bound that separates approximation, stochastic, and optimization errors. The bound makes explicit how performance scales with the fraction of labeled nodes and graph-induced dependence. Approximation guarantees are further derived for graph-smoothing followed by smooth nonlinear readouts, yielding convergence rates that recover classical nonparametric behavior under full supervision while characterizing performance when labels are scarce. Numerical experiments validate our theory, providing a systematic framework for understanding GNN performance and limitations.
Figures & tables
Appendix figures & tables1 asset
Supplementary material from the paper’s appendix.
Appendix
| Architecture | Covered? | Notes / Why (not) |
|---|---|---|
| GCN ( Kipf and Welling, 2017 ) / SGC | ✓ | Linear propagation with a fixed graph operator (e.g., Laplacian) followed by a learned readout. |
| Polynomial GNNs | ✓ | Propagation is a polynomial in a fixed operator; fits and related forms. |
| APPNP / Diffusion | ✓ | Personalized PageRank-style diffusion is linear in features (fixed operator), followed by an MLP readout. |
| Skip-connected GCN | ✓ | Directly covered by weighted sums of multiple propagation depths. |
| GraphSAGE (mean) | partial | Mean aggregation is linear if aggregator weights are fixed; feature-dependent gating falls outside the scope. |
| GAT (Attention) | ✗ | Attention makes the propagation operator data-dependent, violating the fixed-operator assumption. |