REVIEW 3 major objections 7 minor 28 references
Paths explain how deep ReLU networks carve input space and build functions
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · glm-5.2
2026-07-09 21:13 UTC pith:LWVVJA2C
load-bearing objection Geometric theory of deep ReLU networks via paths and piecewise linear manifolds; post-hoc explanation of training solutions is descriptive, not predictive the 3 major comments →
On the Principles of Deep Feedforward ReLU Networks
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The key mechanism is that a path — the unique chain of activated units defining each region of the input-space partition — carries both the partition geometry and the output function simultaneously. Adjacent paths differ in one unit, and the output functions on adjacent regions satisfy the recurrence s_ν(x) = s_{ν-1}(x) + λ_ν σ(w_ν^T x + b_ν). In deep networks, a single unit can generate a piecewise linear manifold rather than a single hyperplane, because shallower-layer units can alter the normal vector of a knot generated by a deeper unit (Theorem 1, Corollary 5). This, combined with multiple strict partial orders of knots and the continuity-restriction principle (Theorem 21), is claimed —
What carries the argument
Path (Definition 2): a subset of units plus their connecting links, uniquely corresponding to one region of the input-space partition. Adjacent paths differ in exactly one unit. The recurrence s_ν(x) = s_{ν-1}(x) + λ_ν σ(w_ν^T x + b_ν) (Theorem 13) links linear functions on adjacent regions. The influence coefficient vector α (Definition 11) = W_{ν+2} W_{ν+3} ... w_{Φ+1} determines whether a unit's output weight can simultaneously produce a desired function increment λ and a desired knot modification β (Theorems 14, 15). The continuity-restriction principle (Theorem 21): if linear functions on two non-parallel boundaries of a region are realized, the function on the region itself is forced.
Load-bearing premise
The framework relies on an unstated-but-assumed structural premise: that when you build a solution piece by piece, each new unit can be added so that the resulting path stays adjacent to the previous one, its influence coefficient vector is nonzero, and previously created knots are not destroyed. The paper acknowledges this is tacitly assumed without proving it holds for arbitrary network configurations or for solutions that gradient descent actually finds.
What would settle it
Find a continuous piecewise linear function and a partition of the input space such that no setting of deep ReLU network parameters can realize both simultaneously under the path-adjacency constraint, or exhibit a training solution from backpropagation whose knot structure and parameter values cannot be decomposed into the recurrence formula, strict partial orders, and continuity-restriction principle described in the paper.
If this is right
- If the path-based framework is complete, one could manually construct network parameters for a given function or dataset instead of training by gradient descent, yielding interpretable and potentially more parameter-efficient solutions.
- The piecewise-linear-manifold partitioning mechanism suggests that deeper networks fit data geometry more flexibly than shallow ones not because of raw capacity but because bent decision boundaries track curvature in the data more naturally.
- The continuity-restriction principle implies that a substantial fraction of linear pieces in a trained network's output are not independently parameterized but are forced by neighboring pieces, which could explain apparent parameter redundancy and over-parameterization effects.
- The algorithm for drawing knots (Section 8.2) provides a practical tool for visualizing what a trained ReLU network has actually learned, applicable to any input dimensionality.
Where Pith is reading between the lines
- If the adjacent-path assumption could be relaxed or proven to hold generically for trained networks, the framework would extend from constructive solutions to analytical characterization of all solutions reachable by gradient descent.
- The observation that solution complexity is independent of input dimensionality (Section 9.2) suggests that the practical difficulty of training deep networks stems from path-adjacency constraints rather than from the dimensionality of the input space, which would redirect optimization research toward maintaining path adjacency during training.
- The framework predicts that networks trained on data with piecewise-linear structure should converge faster than those trained on smooth functions, because the partition geometry would align with the data geometry without requiring manifold-bending corrections.
- The knot-drawing algorithm could be turned into a diagnostic: comparing the knot structure of a trained network against the known geometry of the target function would reveal whether the network has found a natural or degenerate solution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper extends the author's prior work on two-layer ReLU networks (Huang 2024) to deep feedforward ReLU networks with multiple hidden layers. The central conceptual tool is the 'path'—a subset of units activated by a given region of the input space—and the relationships between adjacent paths. The paper develops a framework in which: (1) hidden-layer units produce piecewise linear manifolds (rather than hyperplanes) that partition the input space (Section 2, Theorems 1–2, Corollaries 4–5); (2) continuous piecewise linear functions are constructed via a recurrence formula s_ν(x) = s_{ν-1}(x) + λ_ν σ(w_ν^T x + b_ν) over adjacent regions (Section 3, Theorem 13); (3) the principles of strict partial orders of knots, continuity restriction, and two-sided solutions are generalized from the two-layer case (Sections 3–4, Theorems 21–26, 32). Section 8 provides two examples of trained networks whose knot structures are reverse-engineered using the proposed principles. The paper claims that the combination of these basic principles 'can yield complicated instantiations including the training solutions' obtained by backpropagation.
Significance. The paper tackles an important problem: providing a deductive, mechanistic understanding of deep ReLU networks rather than purely empirical or approximation-theoretic results. The path-based framework and the concept of influence coefficient vectors (Definition 11, Eq. 3.17) offer a useful language for reasoning about how parameters in shallower layers affect both partition geometry and output functions in deeper layers. The observation that a single unit can produce a piecewise linear manifold rather than a single hyperplane (Corollaries 4–5, Theorem 1) is a genuine structural insight. The knot-drawing algorithm (Algorithm 1, Proposition 10–11) is a practical tool. The framework is internally developed with definitions, lemmas, theorems, and corollaries in a systematic manner.
major comments (3)
- Section 8, Figures 4–5: The central empirical claim is that the proposed principles 'can yield complicated instantiations including the training solutions' (abstract; Section 8). However, the two examples in Section 8 are purely descriptive: the trained network's knots are drawn via Algorithm 1, and the resulting partition is then annotated with strict partial orders, continuity-restriction arrows, and two-sided solution labels. No actual parameter values are constructed and compared against the trained weights. Since Theorem 10 proves any ReLU network outputs a continuous piecewise linear function, and Theorems 23/32 show the framework can represent any such function over any partition, the framework can always post-hoc describe any training solution. What is missing is either (a) a quantitative comparison between manually constructed parameters and trained parameters, or (b) a falsific
- Assumption 1 (Section 4, p. 23): The adjacent-path assumption is described as 'tacitly assumed to be true in section 4' and is required for Theorem 23 (Theorem 32's condition (b) explicitly references it). The assumption bundles three conditions: path adjacency, nonzero influence coefficient vector, and preservation of existing knots during parameter setting. Theorems 6 and 16 provide partial resolutions for the first condition, and Section 3.4 addresses the second, but the third condition (knot preservation) is deferred to 'the methods of section 2.3' and 'concrete examples of section 8.3' without a general guarantee. Since Theorem 23 is load-bearing for Theorem 32 and for the spline-construction framework as a whole, the assumption needs either a theorem showing it is generically satisfiable, or a clear statement of the measure-zero or degenerate conditions under which it fails.
- Theorems 24–26 (Section 4): The constructive proofs for two-sided solutions involve cascading parameter resets across layers (e.g., Theorem 24's four-step process, Theorem 25's equation 4.11, Theorem 26's equation 4.13). The feasibility of each step depends on solving systems like Eq. 4.9, 4.11, or 4.13, which require the associated coefficient matrices to have sufficient rank. The proofs state that solutions exist 'provided that' these systems are solvable, but the conditions ensuring solvability (e.g., that the vectors α'_j, α'_{ji}, α'_{j,i-1} in Eq. 4.13 are linearly independent) are not established. This leaves the scope of two-sided solutions unclear: for which network configurations and knot orderings do they actually exist?
minor comments (7)
- The paper is almost entirely self-referential for its foundational results: Huang (2024) is cited for definitions 3, 6, 15, 17, 21, 22, lemmas 3, 4, 6, theorems 7, 9, 10, and proposition 2. A reader without access to Huang (2024) will find many proofs and definitions incomplete. At minimum, the key definitions (strict partial order of knots, continuity restriction in the two-layer case) should be briefly restated.
- Equation 2.1: The notation N = ∏_{i=1}^Φ m_i 1' uses a prime on the output layer symbol, but the meaning of the prime is only explained in Definition 1 as 'different type of output-layer units.' This is unclear; does it mean linear vs. ReLU? Clarify.
- Figure 2: The subfigure captions (a) and (b) reference theorems and corollaries, but the figure labels (K, k1, k2, s2, A, B, etc.) are small and difficult to parse. The dashed knot k'_2 in panel (a) is mentioned in the text but barely visible.
- Theorem 6, Eq. 2.21: The argmin notation is unusual—argmin over an intersection of sets defined by inequalities. This should be clarified, perhaps by rewriting as a feasibility condition.
- Section 8.3: The notation S^{(k)}_j for tracking solution updates across two-sided operations is introduced informally and becomes hard to follow when multiple orders are updated simultaneously (e.g., 'S^{(5)}_1, S^{(4)}_2, S^{(3)}_3, S^{(2)}_4, S^{(5)}_1' at the end of Section 8.3.2).
- Proposition 8 (Section 6.1) and Theorem 30: The 'trivial solution' where all knots are in the last hidden layer is acknowledged as the worst case. It would help to state upfront that the unit count lower bounds (Eqs. 6.3, 6.4, 7.4) are achieved by this trivial solution, so the reader understands these are not tight for non-trivial deep solutions.
- Several references have future dates (e.g., Simon et al. 2026, Bengio et al. 2025, Hendrycks 2025). Verify these are correct preprints or forthcoming works.
Circularity Check
No significant circularity; self-citations provide foundational lemmas that are genuinely extended, and Section 8 is descriptively weak but not formally circular.
full rationale
The paper's core derivation chain is largely self-contained. The key new results—piecewise linear manifolds (Theorem 1, Corollary 5), the path-based recurrence formula (Theorem 13), adjacent-path conditions (Theorems 8–9), and influence coefficient vectors (Theorems 18–20)—are derived from the network structure directly, not from self-citation. The self-citations to Huang (2024) provide foundational lemmas (lemma 3 for linear-algebra facts about rank-n+1 matrices, lemma 4 for hyperplane construction) that are standard results used as building blocks, and two results are directly imported: Theorem 21 (continuity restriction) explicitly states 'there's no substantial difference between deep and two-layer ReLU networks (Huang (2024)'s theorem 9),' and Theorem 32 condition (3) references 'Huang (2024)'s theorem 7' conditions. However, these are genuine generalizations from two-layer to deep networks, not circular definitions—the deep-network extension requires the new path machinery (Theorems 8–17) that is independently proven here. The Section 8 'explanation' of training solutions is post-hoc and descriptive: since Theorem 10 proves any ReLU output is continuous piecewise linear and Theorems 23/32 prove the framework can represent any such function, showing that specific trained solutions fit the framework is nearly tautological. But the paper does not claim to predict which solutions backpropagation finds; it claims to describe their structure, which is a weakness in falsifiability rather than formal circularity. No step in the derivation chain reduces to its own inputs by construction in the strict sense required for a high circularity score.
Axiom & Free-Parameter Ledger
free parameters (4)
- Network architecture parameters (depth Φ, layer widths m_i) =
Φ=3, m_i=6 in experiments
- Learning rate c=0.05, iterations N=5000 =
c=0.05, N=5000
- Discretization step Δx=0.002 for Algorithm 1 =
0.002
- Threshold ε for region adjacency (Theorem 6) =
Not specified numerically
axioms (5)
- ad hoc to paper Adjacent-path assumption (Assumption 1)
- standard math ReLU activation function σ(x)=max{x,0}
- domain assumption Input space U=[0,1]^n
- domain assumption Fully connected feedforward architecture without skip connections
- domain assumption Results from Huang (2024) for two-layer ReLU networks
invented entities (5)
-
Path (of a deep ReLU network)
no independent evidence
-
Knot
no independent evidence
-
Influence coefficient vector α
no independent evidence
-
Strict partial order of knots
no independent evidence
-
Order tree T
no independent evidence
read the original abstract
The architecture of deep feedforward neural networks is ubiquitous in deep learning, either as a whole system or as a subnetwork of other architectures, and thus its mechanism is a key ingredient of the black box of neural networks. On the basis of the simplest two-layer ReLU network, this paper systematically studies the mechanism of deep feedforward ReLU networks with multiple hidden layers and successfully explains the training solution obtained by the back-propagation algorithm. The concept of a path, especially in terms of the relationships between paths, plays a central role in uncovering the mystery of the black box. It is shown that a unit of a deep ReLU network can form a piecewise linear manifold to divide the input space, instead of a hyperplane of the two-layer case. How to efficiently use the hidden-layer units to produce both linear functions and partitions of the input space is also a central problem. The principles of a two-layer ReLU network can be generalized to the deeper case to a large extent, such as multiple strict partial orders and continuity restriction. The combination of the basic and simple principles proposed can yield complicated instantiations including the training solutions, and in this sense the black box of deep feedforward ReLU networks is revealed.
Figures
Reference graph
Works this paper leans on
-
[1]
Argerich, M. F. & Pati\ n o-Mart\' i nez, M. (2024). Measuring and improving the energy efficiency of large language models inference. IEEE Access, 12, 80194--80207
work page 2024
-
[2]
Bengio Y. (2009). Learning deep architectures for AI. Foundations and Trends in Machine Learning, 2(1), 1--127
work page 2009
-
[3]
Bengio, Y., Mindermann, S., Privitera, D., Besiroglu, T., Bommasani, R., Casper, S., & Zeng, Y. (2025). International ai safety report. arXiv:2501.17805
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[4]
Bunge, M. (1973). Philosophy of Physics. D. Reidel Publishing Company
work page 1973
-
[5]
Daubechies, I., DeVore, R., Foucart, S., Hanin, B., & Petrova, G. (2022). Nonlinear approximation and (deep) ReLU networks. Constructive Approximation, 55(1), 127-172
work page 2022
-
[6]
DeVore, R., Hanin, B., & Petrova, G. (2021). Neural network approximation. Acta Numerica, 327--444
work page 2021
-
[7]
Du, K. L., Leung, C. S., Mow, W. H., & Swamy, M. N. S. (2022). Perceptron: Learning, generalization, model selection, fault tolerance, and role in the deep learning era. Mathematics, 10(24), p.4730
work page 2022
-
[8]
Erhan, D., Courville, A., Bengio, Y., & Vincent, P. (2010). Why does unsupervised pre-training help deep learning?. In proceedings of the 13th international conference on artificial intelligence and statistics (AISTATS), 201--208
work page 2010
-
[9]
Gauch, H. G. (2003). Scientific method in practice. Cambridge University Press, 269--326
work page 2003
-
[10]
Dynamical variational autoencoders: A comprehensive review
Girin, L., Leglaive, S., Bie, X., Diard, J., Hueber, T., & Alameda-Pineda, X., (2022). Dynamical variational autoencoders: A comprehensive review. Foundations and Trends in Machine Learning, 15(1-2), 1--175
work page 2022
-
[11]
Glorot, X & Bengio, Y. (2010). Understanding the difficulty of training deep feedforward neural networks. In proceedings of the 13th international conference on artificial intelligence and statistics (AISTATS), 249--256
work page 2010
-
[12]
Guth, F., M\' e nard, B., Rochette, G., & Mallat, S. (2024). A rainbow in deep network black boxes. Journal of Machine Learning Research, 25(350), 1--59
work page 2024
-
[13]
Haykin, S. (2009). Neural networks and learning machines (3rd ed.). Pearson Prentice Hall, 122--221
work page 2009
-
[14]
Hendrycks, D. (2025). Introduction to AI safety, ethics, and society. CRC Press
work page 2025
-
[15]
Huang, C. (2020). ReLU networks are universal approximators via piecewise linear or constant functions. Neural Computation, 32(11), 2249--2278
work page 2020
-
[16]
Huang, C. (2024). On the principles of ReLU networks with one-hidden layer. arXiv:2411.06728
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[17]
D., Kawaguchi, K., & Karniadakis, G
Jagtap, A. D., Kawaguchi, K., & Karniadakis, G. E. (2020). Adaptive activation functions accelerate convergence in deep and physics-informed neural networks. Journal of Computational Physics, 404, 109--136
work page 2020
-
[18]
Kandel, E. R., Koester, J. D., Mack, S. H., & Siegelbaum, S. A. (Eds.). (2021). Principles of neural science (6th ed.). New York: McGraw-hill, 84--88
work page 2021
-
[19]
Ramanujan, V., Wortsman, M., Kembhavi, A., Farhadi, A., & Rastegari, M. (2020). What's hidden in a randomly weighted neural network?. In proceedings of the IEEE/CVF conference on computer vision and pattern recognition (CVPR), 11893--11902
work page 2020
-
[20]
Raissi, M., Perdikaris, P., & Karniadakis, G. E. (2019). Physics-informed neural networks: A deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. Journal of Computational physics, 378, 686--707
work page 2019
-
[21]
Rumelhart, D. E., Hinton, G. E., & Williams, R. J. (1986). Learning representations by back-propagating errors. Nature, 323, 533--536
work page 1986
-
[22]
Shen, Z., Yang, H., & Zhang, S. (2021). Deep network with approximation error being reciprocal of width to power of square root of depth. Neural Computation, 33(4), 1005--1036
work page 2021
-
[23]
There Will Be a Scientific Theory of Deep Learning
Simon, J., Kunin, D., Atanasov, A., Boix-Adser\` a , E., Bordelon, B., Cohen, J., Ghosh, N., Guth, F., Jacot, A., Kamb, M., Karkada, D., Michaud, E. J., Ottlik, B., & Turnbull, J. 2026. There will be a scientific theory of deep learning. arXiv:2604.21691
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[24]
Strubell, E., Ganesh, A., & McCallum, A. (2019). Energy and policy considerations for deep learning in NLP. In proceedings of the 57th annual meeting of the association for computational linguistics, 3645--3650
work page 2019
-
[25]
Vaswani, A., Shazeer, N., Parmar, N., Uszkoreit, J., Jones, L., Gomez, A. N., & Kaiser, L. (2017). Attention is all you need. In proceedings of advances in neural information processing systems (NIPS)
work page 2017
- [26]
-
[27]
Yarotsky, D. (2017). Error bounds for approximations with deep ReLU networks. Neural Networks, 94, 103--114
work page 2017
-
[28]
Understanding deep learning requires rethinking generalization
Zhang, C., Bengio, S., Hardt, M., Recht, B. & Vinyals, O. (2016). Understanding deep learning requires rethinking generalization. arXiv:1611.03530
work page internal anchor Pith review Pith/arXiv arXiv 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.