The Geometry of ReLU Networks through the ReLU Transition Graph
Sahil Rajesh Dhayalkar
TL;DR
The paper introduces the ReLU Transition Graph (RTG), a graph whose nodes are activation-induced linear regions and edges connect regions differing by a single ReLU flip, to study the global geometry of ReLU networks. It establishes a theoretical framework linking RTG size, connectivity, entropy, and diameter to expressivity and generalization, including a VC-dimension bound via RTG diameter and a sparsity-driven compression theorem. The authors prove key results (Theorem 1, Theorem 2, Theorem 3, Theorem 4) and validate them through unified experiments on fully connected ReLU MLPs with synthetic 2D data, demonstrating region counting scaling, adjacency correctness, connectivity, entropy behavior, and practical pruning with bounded error. The RTG framework offers a graph-theoretic lens for understanding ReLU networks, enabling principled compression, regularization, and potential extensions to convolutional, residual, and attention-based architectures with real data.
Abstract
We develop a novel theoretical framework for analyzing ReLU neural networks through the lens of a combinatorial object we term the ReLU Transition Graph (RTG). In this graph, each node corresponds to a linear region induced by the network's activation patterns, and edges connect regions that differ by a single neuron flip. Building on this structure, we derive a suite of new theoretical results connecting RTG geometry to expressivity, generalization, and robustness. Our contributions include tight combinatorial bounds on RTG size and diameter, a proof of RTG connectivity, and graph-theoretic interpretations of VC-dimension. We also relate entropy and average degree of the RTG to generalization error. Each theoretical result is rigorously validated via carefully controlled experiments across varied network depths, widths, and data regimes. This work provides the first unified treatment of ReLU network structure via graph theory and opens new avenues for compression, regularization, and complexity control rooted in RTG analysis.
