aiqbench analysis
This paper establishes a rigorous theoretical framework for determining when increasing network depth improves generalization by analyzing the metric entropy of composed hidden layers. It provides concrete bounds showing that estimation error remains stable under contraction or nilpotent structures, while deriving optimal depths for specific architectures like Deep ReLU networks and chain-of-thought reasoning. The work is notable for being fully machine-checked in Lean 4, offering a formal guarantee on the trade-offs between approximation power and statistical cost in deep learning models.
Why and When Deep is Better than Shallow: Implementation-Agnostic State-Transition Model of Deep Learning
arXiv:2505.15064v5 Announce Type: replace Abstract: We ask when adding hidden layers improves generalization, in a model that keeps the layers fixed and varies only their number. A hidden layer is a self-map of a state space, a depth-$k$ network composes at most $k$ hidden layers with an output layer, and depth is compared within the nested family $H_0\subset H_1\subset\cdots$ built from one class $F$ of hidden layers; this compares a deep network with shallower networks built from the same layers, not with wider ones. Our message is that the statistical cost of depth is the metric entropy of the set $B(k,F)$ of compositions. The estimation error is bounded by an entropy integral over $B(k,F)$ with constants that do not depend on the depth, and the bound is matched from below when the output layer can see the hidden states. For Lipschitz layers on a bounded state space this entropy grows at most polynomially in $k$, and it stays bounded, or grows only like $\log k$, under contraction, equicontinuity, or nilpotent structure. Balanced against the approximation error, this gives depths $k^\ast(n)$ that grow with the sample size, and it separates the models whose estimation error is independent of the depth from those whose estimation error grows with it. Deep ReLU networks, unrolled solvers, and chain-of-thought computation are worked out; for the last two the number of steps is derived rather than assumed. All statements are machine-checked in Lean~4; the formalization and its blueprint are available at https://shosonoda.github.io/lean-deepgen/ .
Abstract:We ask when adding hidden layers improves generalization, in a model that keeps the layers fixed and varies only their number. A hidden layer is a self-map of a state space, a depth-$k$ network composes at most $k$ hidden layers with an output layer, and depth is compared within the nested family $H_0\subset H_1\subset\cdots$ built from one class $F$ of hidden layers; this compares a deep network with shallower networks built from the same layers, not with wider ones. Our message is that the statistical cost of depth is the metric entropy of the set $B(k,F)$ of compositions. The estimation error is bounded by an entropy integral over $B(k,F)$ with constants that do not depend on the depth, and the bound is matched from below when the output layer can see the hidden states. For Lipschitz layers on a bounded state space this entropy grows at most polynomially in $k$, and it stays bounded, or grows only like $\log k$, under contraction, equicontinuity, or nilpotent structure. Balanced against the approximation error, this gives depths $k^\ast(n)$ that grow with the sample size, and it separates the models whose estimation error is independent of the depth from those whose estimation error grows with it. Deep ReLU networks, unrolled solvers, and chain-of-thought computation are worked out; for the last two the number of steps is derived rather than assumed. All statements are machine-checked in Lean~4; the formalization and its blueprint are available at this https URL .
Machine Learning (cs.LG); Dynamical Systems (math.DS); Machine Learning (stat.ML)
arXiv:2505.15064 [cs.LG]
(or arXiv:2505.15064v5 [cs.LG] for this version)
https://doi.org/10.48550/arXiv.2505.15064 Focus to learn more arXiv-issued DOI via DataCite
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 342 words
Related coverage

Jev: System One models for Prod, not God — with Diogo Almeida, CEO, TypeSafe AI
Latent Space · Sep 21, 2026
State of Pandemic Early Warning
LessWrong · Sep 24, 2026
ServiceNow AI Control Tower: Selling a penthouse while building the frame
SiliconANGLE · Oct 17, 2026

NISQ, What Noisy Intermediate-Scale Quantum Means
Quantum Zeitgeist · Aug 30, 2026