Exact Generalisation Error for GNNs

• The paper rigorously characterizes the exact generalisation error of one-hidden-layer GNNs by linking prediction accuracy to graph structure, feature space, and architecture.
• It employs tensor initialization and accelerated gradient descent to achieve linear convergence for regression and statistically consistent recovery for classification.
• The analysis explicitly relates sample complexity to graph properties, ensuring actionable insights for parameter recovery and practical performance across diverse structures.

Graph neural networks (GNNs) provide a framework for learning representations from graph-structured data. The exact generalisation error for GNNs quantifies their ability to make accurate predictions on unseen data, directly linking GNN performance to properties of the graph, the feature space, the chosen architecture, and the learning algorithm. Recent advances have moved beyond classical loose upper bounds to precise, model- and data-dependent characterisations. In particular, exact generalisation error analysis for GNNs with one hidden layer—under conditions where a ground-truth model exists—offers the first rigorous and practically meaningful theoretical guarantees for parameter recovery and prediction.

1. Theoretical Setting and Model Assumptions

The framework focuses on one-hidden-layer GNNs for both regression and binary classification, assuming the existence of a ground-truth model such that the optimal parameters $W^*$ yield zero generalisation error in the population risk for regression. The key assumptions are:

• Node features are i.i.d. standard Gaussian vectors.
• Labels are generated via a ground-truth GNN, aggregating node features using a normalized adjacency matrix $A$ reflecting graph structure (with maximum degree $\delta$, average degree $\delta_{\text{ave}}$, and largest singular value $\sigma_1(A)$).
• The GNN consists of $K$ filters, with nonlinear activations: ReLU for regression, sigmoid for classification.
• The risk functions considered are empirical and population risks over the training sample $\Omega$ and the feature-label generating distribution; for regression, $$f(W) = \frac{1}{2|\Omega|}\sum_{n\in\Omega} |y_n - g(W; x_n)|^2$$.

This setup emphasizes the joint statistical coupling between node features, the aggregation structure imposed by the graph, and the task-specific generation of outputs. Importantly, analysis is local to a strongly convex neighborhood of the optimum $W^*$, enabled by strong convexity of the Hessian near $W^*$ under suitably accurate initialization.

2. Learning Algorithm: Tensor Initialization and Accelerated Optimization

The learning algorithm addressing the exact generalisation error problem is a two-stage procedure:

• Tensor Initialization: Initial parameter estimates are constructed via tensor methods. Specifically, tensors $A$0 (for scaling) and $A$1 (for direction) are computed by taking expectations of combinations of node features, labels, and the nonlinearity, reflecting the GNN’s neighbor aggregation structure. The third-order tensor $A$2 is used to recover the directions of the true weights via tensor decomposition, after a projection informed by $A$3 (a second-order statistic). Once directions and magnitudes are recovered, initial weights are formed as $A$4.
• Accelerated Gradient Descent (AGD): With a well-initialized $A$5, accelerated updates using the heavy-ball method (with step size $A$6 and momentum $A$7) are performed:

$A$8

Here, the gradient is computed over a fresh subsample $A$9 at each iteration. Setting $\delta$0 recovers standard (vanilla) gradient descent.

For regression, these procedures guarantee exact recovery of $\delta$1; for binary classification, the algorithm converges to a statistically consistent estimator within $\delta$2 of $\delta$3.

3. Convergence Guarantees and Generalisation Error

Rigorous convergence results are established under the aforementioned assumptions. For regression:

• Linear convergence to $\delta$4 is guaranteed with a rate depending on algorithmic and graph parameters:

$\delta$5

The contraction factor for vanilla GD is $\delta$6, with $\delta$7 (condition number), $\delta$8 a product of singular values, and $\delta$9 the number of filters. For optimal acceleration, $\delta_{\text{ave}}$0.

For binary classification:

• The estimator converges to a critical point $\delta_{\text{ave}}$1 satisfying

$\delta_{\text{ave}}$2

Thus, by enlarging the training sample size $\delta_{\text{ave}}$3, the statistical error becomes arbitrarily small.

The generalisation error is therefore precisely quantified—not as an abstract bound, but as an explicit function of the initialization accuracy, graph properties, and optimization hyperparameters.

4. Sample Complexity and Graph Structural Dependencies

A salient feature is the explicit sample complexity required for exact or near-exact recovery of the ground-truth GNN parameters. For regression with a guaranteed convergence neighborhood, it suffices to take

$\delta_{\text{ave}}$4

where $\delta_{\text{ave}}$5 is the input feature dimension, $\delta_{\text{ave}}$6 is the total number of nodes, and $\delta_{\text{ave}}$7 is the risk accuracy.

Key consequences:

• Required samples scale linearly with $\delta_{\text{ave}}$8, polynomially with $\delta_{\text{ave}}$9, and only logarithmically with $\sigma_1(A)$0.
• The dependence on $\sigma_1(A)$1 highlights the role of the graph: denser graphs (large $\sigma_1(A)$2 or large $\sigma_1(A)$3) increase sample complexity, reflecting more challenging neighbor-aggregation dependencies.

This structural dependence provides a precise quantification of the inherent difficulty of GNN learning as a function of graph connectivity, completing an important theoretical gap unaddressed in prior analyses.

5. Numerical Validation and Performance Assessment

Empirical studies are conducted on synthetic graphs of varying topology (cycles, grids, random regular graphs, and graphs with bounded degree) and feature dimensionalities. Key observations include:

• For both regression and classification, convergence is linear as predicted. AGD consistently requires fewer iterations to achieve a specified error threshold than vanilla GD, confirming theoretical acceleration.
• The empirical success rate for exact recovery aligns with the predicted sample complexity: as maximum degree $\sigma_1(A)$4 or feature dimension $\sigma_1(A)$5 increases, more samples are needed to recover $\sigma_1(A)$6 accurately.
• In classification, the empirical distance to $\sigma_1(A)$7 decays as $\sigma_1(A)$8, in line with statistical theory and indicating that generalisation improves with sample size even if $\sigma_1(A)$9 is not a global minimizer for the (nonconvex) cross-entropy loss.

These findings show that the derived guarantees not only apply in theory but are effective for a variety of graph structures and GNN tasks.

6. Implementation Considerations and Practical Trade-offs

Implementing the exact generalisation error guarantees involves several considerations:

• Computational complexity: Tensor initialization requires constructing and decomposing high-order moment tensors, with computational cost depending on $K$0 and $K$1. For moderate graph and feature sizes, algorithms such as those proposed in the referenced tensor decomposition literature (e.g., KCL15) are tractable.
• Algorithm robustness: The AGD update (especially with a large momentum parameter) is sensitive to the conditioning of the local loss landscape; accurate tensor initialization is essential to remain within the strongly convex neighborhood of $K$2.
• Sample size: In practice, exact recovery is feasible only when the sample size $K$3 is sufficiently large to dominate graph-induced dependencies (i.e., high $K$4 or large $K$5 require more data), otherwise convergence is restricted or statistical error dominates.
• Choice of nonlinearity: While the analysis accommodates nonsmooth activations (e.g., ReLU), further generalizations to deeper or more complex nonlinear architectures may require additional conditions or alternative initialization strategies.

A practical implementation of the reported algorithmic scheme in a modern machine learning framework would involve batch computation of statistics for tensor initialization, followed by AGD updates, potentially leveraging standard acceleration techniques.

7. Summary and Impact

This line of analysis provides the first theoretically precise and practically relevant characterisation of the exact generalisation error for one-hidden-layer GNNs in both regression and binary classification. The performance guarantees—linear convergence and explicit generalisation error as a function of graph and model parameters—are obtained using tensor-based initialization and accelerated optimization, with sample complexity explicitly tied to graph structure. Numerical verification supports the theoretical predictions, reinforcing the utility of the derived methods for real-world GNN learning tasks where rigorous generalizability is paramount. This framework closes a critical gap in the literature and provides actionable insights for algorithm and architecture design in graph-based learning systems.