Search papers, labs, and topics across Lattice.
This paper introduces a unified layer equation for graph neural networks (GNNs) that clarifies the shared computations and structural differences across various architectures. By delineating seven key components鈥攕uch as the propagation bank and message maps鈥攖he authors provide a framework that organizes over 200 GNN architectures, facilitating component-wise comparisons and the generation of consistent designs. The findings reveal critical theoretical insights into operator support and the implications of different propagation choices on issues like oversmoothing and expressivity in GNNs.
A unified layer equation for GNNs reveals how over 200 architectures can be systematically compared and optimized for performance.
Graph neural networks are commonly described through family-specific equations whose notation obscures shared computations and structural differences. We introduce a common layer equation that represents covered architectures through seven components: an update domain, channel set, propagation bank, per-channel message maps, channel-fusion operator, ego/residual map, and update map. The central factorization separates where information moves, encoded by the propagation bank, from what moves, encoded by the message maps. Function-valued fillings extend the same equation across local message passing, attention, spectral filtering, global communication, relation-specific channels, higher-order domains, and geometric messages. We make this unification explicit and checkable through worked reductions of canonical layers and component assignments spanning seven nonexclusive architectural families. A fixed slot discipline assigns operations by computational role and defines the framework's coverage boundary. The decomposition also yields component-level theoretical insights: under endpoint-local messages and node-local updates, operator support bounds one-layer dependencies, and one-layer global mixing requires a full effective operator row under the stated hypotheses. The resulting framework organizes more than 200 architectures in a common design space, enables component-wise comparison and generation of structurally consistent architectures, and connects propagation choices to oversmoothing, oversquashing, heterophily, and expressivity. It further exposes the empirical inverse problem of mapping measurable graph and task properties to validated component choices.
