REVIEW 6 minor 155 references
Fixed-size networks with elementary activations can approximate Hölder functions to any accuracy, with an explicit bound on how large the weights must grow.
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 · grok-4.5
2026-07-10 21:26 UTC pith:2FG3PLHD
load-bearing objection First explicit non-asymptotic parameter-magnitude bounds for fixed elementary super-expressive nets; CRT encoding is the real novelty, constants are huge but the scaling is clean.
On Explicit Super-Expressive Approximation for Neural 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
Any function in C^{r,γ}_A([0,1]^D) can be approximated to accuracy ε by a network of fixed width max{2D,D+5N+1} and fixed depth r+9 that uses only floor, RePU and reciprocal activations, and whose largest parameter satisfies log_{2} P = O(ε^{-2D/(r+γ)} log(1/ε)). The Lipschitz case (r=0,γ=1) reduces to width max{D,4} and depth 5 with the corresponding exponent −2D.
What carries the argument
Chinese Remainder Theorem encoding of grid indices and rational coefficients: pairwise-coprime moduli p_i = 1 + i(J+1)(M^D)! convert a finite table of quantized values (or local Taylor coefficients) into a single integer K that a fixed-size network recovers by modular arithmetic realized with floor, reciprocal and ReQU multiplications.
Load-bearing premise
The moduli are built from the classical factorial construction that guarantees pairwise coprimality; any substantially smaller family of coprime integers would immediately improve the stated weight bound, yet the paper treats this encoding as given.
What would settle it
Compute the CRT integer K for a concrete low-dimensional Lipschitz or Hölder function and a sequence of shrinking ε; if the measured bit length of K grows strictly slower than the claimed O(ε^{-2D/(r+γ)} log(1/ε)), the quantitative bound is false.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs fixed-architecture neural networks with elementary activations (floor, RePU, reciprocal) that approximate Lipschitz and Hölder-smooth functions on [0,1]^D to arbitrary accuracy ε, with fully explicit non-asymptotic bounds on parameter magnitude. For f ∈ Lip_A([0,1]^D), Theorem 1 gives a network of width max{D,4} and depth 5 whose largest parameter P satisfies log_{2} P ≤ O(ε^{-2D} log(1/ε)). For f ∈ C^{r,γ}_A([0,1]^D), Theorem 2 gives width max{2D, D+5N+1} and depth r+9 with log_{2} P = O(ε^{-2D/(r+γ)} log(1/ε)), N = binom(D+r,r). The mechanism is a uniform grid partition, quantization (or rationalized local Taylor polynomials), Gödel-style pairwise-coprime moduli (Lemma 8), CRT recovery of the grid labels/coefficients, and exact ReQU monomial evaluation (Lemma 14). Layer-wise width/depth accounting appears in Tables 1–2.
Significance. The work supplies the first quantitative, non-asymptotic parameter-magnitude bounds for fixed-architecture super-expressive approximation with elementary activations. Prior results either left the parameter growth uncharacterized or made the activation itself error-dependent. The dual viewpoint (architecture fixed, parameters grow with ε) cleanly complements the classical architecture-unbounded literature. Strengths include fully constructive proofs, explicit constants (M_ε, J_ε, F_ε, C_{D,r,γ,A,B}), and transparent layer accounting. The enormous size of the CRT integer K is acknowledged by the authors and only affects the leading constant inside the O-notation; the scaling exponent itself is new and useful.
minor comments (6)
- Abstract and Theorem 1: the displayed bound is written as an exact product over moduli, while the abstract claims an O-notation; a short sentence equating the two would avoid any impression of inconsistency.
- Section 3.1, Step 3 and Lemma 8: the factorial (M^D)! produces astronomically large moduli. A brief remark that any pairwise-coprime sequence larger than J would suffice (and that the present choice is only for explicitness) would help readers who worry about practicality.
- Figure 3: the axis labels appear as Unicode escape sequences rather than readable mathematics; regenerating the figure with proper LaTeX labels would improve clarity.
- Table 2, rows 8…7+r: the layer indexing is slightly ambiguous (does the monomial stage begin at layer 8?). A one-line clarification of the cumulative depth would remove any residual doubt.
- Definition 7 and Eq. (10): the reciprocal activation is defined as 2-t for t<1; a short note that this choice is only needed for numerical stability outside the relevant range [1,∞) would be useful.
- References: a few arXiv e-prints (e.g., Hon & Yang 2021) could be updated to their published versions if available.
Circularity Check
No significant circularity: pure constructive existence proofs with all constants defined from ε and known function norms
full rationale
Theorems 1 and 2 are fully constructive existence results. Every quantity used in the parameter bounds (M_ε = ⌈2A/ε⌉ or the Hölder analogue, J_ε, the CRT integer K bounded by the product of the Gödel-style moduli p_i = 1 + i(J+1)(M^D)!, the rational bit length F_ε from Lemma 11, and the Taylor remainder constant C_{D,r,γ}A) is defined directly from the target accuracy ε and the a-priori Lipschitz/Hölder constants of f; none is fitted to data or defined in terms of the final log_{2}P bound it is supposed to establish. The layer-wise width/depth accounting (Tables 1–2), the pairwise-coprimality argument (Lemma 8), the signed-residue recovery (Lemmas 12–13), and the exact monomial evaluation via Mult (Lemma 14) are self-contained elementary constructions that do not rely on self-citation chains, uniqueness theorems imported from the authors, or ansatzes smuggled via prior work. The dual scaling law is therefore an independent consequence of the CRT encoding plus standard approximation estimates, not a restatement of its inputs.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Chinese Remainder Theorem for pairwise coprime moduli (Lemma 9)
- standard math Taylor theorem with integral remainder for C^{r,γ} functions
- domain assumption Existence of elementary activations floor, RePU_s and reciprocal that realize exact modular arithmetic and multiplication
read the original abstract
In this work, we investigate the fixed-architecture neural network approximation with explicit parameter bounds and elementary activations. While prior work demonstrated super-expressive approximation using fixed-size networks, they lack quantitative and non-asymptotic characterizations of parameter magnitude with respect to the approximation error. We resolve this issue by introducing the Chinese Remainder Theorem as a constructive encoding mechanism. For Lipschitz continuous functions on $[0,1]^D$, we construct a width-$\max\{D,4\}$, depth-$5$ network with explicit parameter-error trade-offs. For H\"older-smooth functions in $C^{r,\gamma}_A\left([0,1]^D\right)$, our fixed network of width $\max\{2D,\ D+5N+1\}$ and depth $r + 9$ achieves the parameter magnitude $\mathcal{P}$ bounded by $\log_2 \mathcal{P}=\mathcal{O}\bigl(\varepsilon^{-2D/(r+\gamma)}\log(1/\varepsilon)\bigr)$. This is the dual result compared to those in the parameter-bounded and architecture-unbounded paradigm.
Figures
Reference graph
Works this paper leans on
-
[1]
Babaiee, Z., Kiasari, P. M., Rus, D., and Grosu, R. (2025). The master key filters hypothesis: Deep filters are general. In Proceedings of the AAAI Conference on Artificial Intelligence , volume 39, pages 1809--1816
work page 2025
-
[2]
Barron, A. R. (1993). Universal approximation bounds for superpositions of a sigmoidal function. IEEE Transactions on Information Theory , 39(3):930--945
work page 1993
-
[3]
Beknazaryan, A. (2022). Neural networks with superexpressive activations and integer weights. In Science and Information Conference , pages 445--451. Springer
work page 2022
-
[4]
Blanchard, M. and Bennouna, M. A. (2022). Shallow and deep networks are near-optimal approximators of korobov functions. In The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022 . OpenReview.net
work page 2022
-
[5]
Boull \'e , N., Nakatsukasa, Y., and Townsend, A. (2020). Rational neural networks. In Advances in Neural Information Processing Systems , volume 33, pages 14243--14253
work page 2020
-
[6]
Bournez, O., Cohen, J., and Wurm, A. (2025). A universal uniform approximation theorem for neural networks. In 50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025) , volume 345 of Leibniz International Proceedings in Informatics (LIPIcs) , pages 29:1--29:20
work page 2025
-
[7]
Ciarlet, P. G. (2002). The Finite Element Method for Elliptic Problems , volume 40 of Classics in Applied Mathematics . SIAM
work page 2002
-
[8]
Cybenko, G. (1989). Approximation by superpositions of a sigmoidal function. Mathematics of Control, Signals and Systems , 2(4):303--314
work page 1989
-
[9]
Esser, P., Kulal, S., Blattmann, A., Entezari, R., M\" u ller, J., Saini, H., Levi, Y., Lorenz, D., Sauer, A., Boesel, F., Podell, D., Dockhorn, T., English, Z., and Rombach, R. (2024). Scaling rectified flow transformers for high-resolution image synthesis. In Salakhutdinov, R., Kolter, Z., Heller, K., Weller, A., Oliver, N., Scarlett, J., and Berkenkamp...
work page 2024
-
[10]
Gicic, A., Donko, D., and Subasi, A. (2024). Time sequence deep learning model for ubiquitous tabular data with unique 3d tensors manipulation. Entropy , 26(9)
work page 2024
-
[11]
G \"o del, K. (1931). \"U ber formal unentscheidbare s \"a tze der principia mathematica und verwandter systeme i. Monatshefte f \"u r Mathematik und Physik , 38:173--198
work page 1931
-
[12]
Guliyev, N. J. and Ismailov, V. E. (2016). A single hidden layer feedforward network with only one neuron in the hidden layer can approximate any univariate function. Neural Computation , 28(7):1289--1304
work page 2016
-
[13]
Guliyev, N. J. and Ismailov, V. E. (2018a). Approximation capability of two hidden layer feedforward neural networks with fixed weights. Neurocomputing , 316:262--269
-
[14]
Guliyev, N. J. and Ismailov, V. E. (2018b). On the approximation by single hidden layer feedforward neural networks with fixed weights. Neural Networks , 98:296--304
-
[15]
Simultaneous Neural Network Approximation for Smooth Functions
Hon, S. and Yang, H. (2021). Simultaneous neural network approximations in S obolev spaces. arXiv e-prints , page arXiv:2109.00161
work page internal anchor Pith review Pith/arXiv arXiv 2021
-
[16]
Hornik, K. (1991). Approximation capabilities of multilayer feedforward networks. Neural Networks , 4(2):251--257
work page 1991
-
[17]
Hornik, K., Stinchcombe, M., and White, H. (1989). Multilayer feedforward networks are universal approximators. Neural Networks , 2(5):359--366
work page 1989
-
[18]
Igelnik, B. and Parikh, N. (2003). Kolmogorov's spline network. IEEE Transactions on Neural Networks , 14(4):725--733
work page 2003
-
[19]
Ismailov, V. E. (2014). On the approximation by neural networks with bounded number of neurons in hidden layers. Journal of Mathematical Analysis and Applications , 417(2):963--969
work page 2014
-
[20]
Kolmogorov, A. N. (1957). On the representation of continuous functions of many variables by superposition of continuous functions of one variable and addition. Doklady Akademii Nauk SSSR , 114(5):953--956
work page 1957
-
[21]
Kůrková, V. (1991). Kolmogorov's theorem is relevant. Neural Computation , 3(4):617--622
work page 1991
-
[22]
Kůrková, V. (1992). Kolmogorov's theorem and multilayer neural networks. Neural Networks , 5(3):501--506
work page 1992
-
[23]
Y., Pinkus, A., and Schocken, S
Leshno, M., Lin, V. Y., Pinkus, A., and Schocken, S. (1993). Multilayer feedforward networks with a nonpolynomial activation function can approximate any function. Neural Networks , 6(6):861--867
work page 1993
-
[24]
Li, B., Tang, S., and Yu, H. (2020). PowerNet : Efficient representations of polynomials and smooth functions by deep neural networks with rectified power units. Journal of Mathematical Study , 53(2):159--191
work page 2020
-
[25]
Li, Q., Lin, T., and Shen, Z. (2023). Deep learning via dynamical systems: An approximation perspective. Journal of the European Mathematical Society , 25(5):1671--1709
work page 2023
-
[26]
Li, Q., Lin, T., and Shen, Z. (2025). On the universal approximation property of deep fully convolutional neural networks. SIAM Journal on Mathematical Analysis , 57(5):5275--5302
work page 2025
-
[27]
Li, Q., Tai, C., and E, W. (2019). Stochastic modified equations and dynamics of stochastic gradient algorithms i: Mathematical foundations. Journal of Machine Learning Research , 20(40):1--47
work page 2019
-
[28]
Lin, H. and Jegelka, S. (2018). Resnet with one-neuron hidden layers is a universal approximator. In Bengio, S., Wallach, H., Larochelle, H., Grauman, K., Cesa-Bianchi, N., and Garnett, R., editors, Advances in Neural Information Processing Systems , volume 31. Curran Associates, Inc
work page 2018
-
[29]
Lu, J., Shen, Z., Yang, H., and Zhang, S. (2021). Deep network approximation for smooth functions. SIAM Journal on Mathematical Analysis , 53(5):5465--5506
work page 2021
-
[30]
Maiorov, V. and Pinkus, A. (1999). Lower bounds for approximation by MLP neural networks. Neurocomputing , 25(1--3):81--91
work page 1999
-
[31]
Petersen, P. and Voigtlaender, F. (2018). Optimal approximation of piecewise smooth functions using deep ReLU neural networks. Neural Networks , 108:296--330
work page 2018
-
[32]
Reddy, J. N. and Gartling, D. K. (2010). The Finite Element Method in Heat Transfer and Fluid Dynamics . CRC Press, 3 edition
work page 2010
-
[33]
Schrijver, A. (1986). Theory of Linear and Integer Programming . John Wiley & Sons, New York, NY
work page 1986
-
[34]
Shen, G., Jiao, Y., Lin, Y., and Huang, J. (2023). Differentiable neural networks with RePU activation: with applications to score estimation and isotonic regression
work page 2023
-
[35]
Shen, Z., Yang, H., and Zhang, S. (2020). Deep network approximation characterized by number of neurons. Communications in Computational Physics , 28(5):1768--1811
work page 2020
-
[36]
Shen, Z., Yang, H., and Zhang, S. (2021a). Deep network with approximation error being reciprocal of width to power of square root of depth. Neural Computation , 33(4):1005--1036
-
[37]
Shen, Z., Yang, H., and Zhang, S. (2021b). Neural network approximation: Three hidden layers are enough. Neural Networks , 141:160--173
-
[38]
Shen, Z., Yang, H., and Zhang, S. (2022). Optimal approximation rate of ReLU networks in terms of width and depth. Journal de Mathématiques Pures et Appliquées , 157:101--135
work page 2022
-
[39]
Siegel, J. W. (2023). Optimal approximation rates for deep ReLU neural networks on sobolev and besov spaces. Journal of Machine Learning Research , 24(357):1--52
work page 2023
-
[40]
Smith, P. (2013). An Introduction to G \"o del's Theorems . Cambridge University Press, 2 edition
work page 2013
-
[41]
Wang, Q., Zhang, S., Zeng, D., Xie, Z., Guo, H., Zeng, T., and Fan, F.-L. (2025). Don't fear peculiar activation functions: EUAF and beyond. Neural Networks , 186:107258
work page 2025
-
[42]
Wu, O. and Yao, R. (2025). Data optimization in deep learning: A survey. IEEE Transactions on Knowledge and Data Engineering , 37(5):2356--2375
work page 2025
- [43]
-
[44]
Yarotsky, D. (2017). Error bounds for approximations with deep ReLU networks. Neural Networks , 94:103--114
work page 2017
-
[45]
Yarotsky, D. (2018). Optimal approximation of continuous functions by very deep ReLU networks. In Bubeck, S., Perchet, V., and Rigollet, P., editors, Proceedings of the 31st Conference On Learning Theory , volume 75 of Proceedings of Machine Learning Research , pages 639--649. PMLR
work page 2018
-
[46]
Yarotsky, D. (2021). Elementary superexpressive activations. In Meila, M. and Zhang, T., editors, Proceedings of the 38th International Conference on Machine Learning , volume 139 of Proceedings of Machine Learning Research , pages 11932--11940. PMLR
work page 2021
-
[47]
Yarotsky, D. and Zhevnerchuk, A. (2020). The phase diagram of approximation rates for deep neural networks. In Advances in Neural Information Processing Systems , volume 33
work page 2020
-
[48]
Yu, Z. and Zhou, D.-X. (2023). Deep learning theory of distribution regression with cnns. Advances in Computational Mathematics , 49(4):51
work page 2023
-
[49]
Yun, C., Bhojanapalli, S., Rawat, A. S., Reddi, S. J., and Kumar, S. (2020). Are transformers universal approximators of sequence-to-sequence functions? In International Conference on Learning Representations
work page 2020
-
[50]
Zhang, S., Shen, Z., and Yang, H. (2022). Deep network approximation: Achieving arbitrary accuracy with fixed number of neurons. Journal of Machine Learning Research , 23(276):1--60
work page 2022
-
[51]
Zhou, D.-X. (2020a). Theory of deep convolutional neural networks: Downsampling. Neural Networks , 124:319--327
-
[52]
Zhou, D.-X. (2020b). Universality of deep convolutional neural networks. Applied and Computational Harmonic Analysis , 48(2):787--794
- [53]
-
[54]
Peter Smith , title =
- [55]
-
[56]
Mathematics of Control, Signals and Systems , volume =
George Cybenko , title =. Mathematics of Control, Signals and Systems , volume =. 1989 , doi =
work page 1989
-
[57]
Hava T. Siegelmann and Eduardo D. Sontag , title =. Journal of Computer and System Sciences , volume =. 1995 , doi =
work page 1995
-
[58]
Vitaly Maiorov and Allan Pinkus , title =. Neurocomputing , volume =. 1999 , doi =
work page 1999
-
[59]
Shen, Zuowei and Yang, Haizhao and Zhang, Shijun , title =. Neural Computation , volume =. 2021 , doi =
work page 2021
-
[60]
Journal of Machine Learning Research , volume =
Quasi-Equivalence between Width and Depth of Neural Networks , author =. Journal of Machine Learning Research , volume =. 2023 , url =
work page 2023
-
[61]
International Conference on Learning Representations , year =
Yukun Ding and Jinglan Liu and Jinjun Xiong and Yiyu Shi , title =. International Conference on Learning Representations , year =
-
[62]
Bartlett and Nick Harvey and Chris Liaw and Abbas Mehrabian , title =
Peter L. Bartlett and Nick Harvey and Chris Liaw and Abbas Mehrabian , title =. Journal of Machine Learning Research , volume =. 2019 , url =
work page 2019
-
[63]
Pierre Baldi and Roman Vershynin , title =. Neural Networks , volume =. 2019 , doi =
work page 2019
-
[64]
Journal of Computational Mathematics , volume=
ReLU Deep Neural Networks and Linear Finite Elements , author=. Journal of Computational Mathematics , volume=. 2020 , doi=
work page 2020
-
[65]
Advances in Neural Information Processing Systems , volume =
Chulhee Yun and Suvrit Sra and Ali Jadbabaie , title =. Advances in Neural Information Processing Systems , volume =. 2019 , url =
work page 2019
-
[66]
International Conference on Learning Representations , year =
Jesse Johnson , title =. International Conference on Learning Representations , year =
-
[67]
Advances in Neural Information Processing Systems , volume =
Dmitry Yarotsky and Anton Zhevnerchuk , title =. Advances in Neural Information Processing Systems , volume =. 2020 , url =
work page 2020
-
[68]
Communications in Computational Physics , volume =
Jinchao Xu , title =. Communications in Computational Physics , volume =. 2020 , doi =
work page 2020
-
[69]
Journal of Mathematical Study , volume =
Bo Li and Shanshan Tang and Haijun Yu , title =. Journal of Mathematical Study , volume =. 2020 , doi =
work page 2020
-
[70]
C. Sinan G. Approximation of Functions with One-Bit Neural Networks , year =. doi:10.48550/arXiv.2112.09181 , url =. 2112.09181 , archivePrefix =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2112.09181
-
[71]
The Finite Element Method for Elliptic Problems , author =. 2002 , series =
work page 2002
-
[72]
The Mathematical Theory of Finite Element Methods , author =. 2008 , doi =
work page 2008
-
[73]
The Finite Element Method in Heat Transfer and Fluid Dynamics , author =. 2010 , doi =
work page 2010
-
[74]
Journal of Machine Learning Research , volume =
Shijun Zhang and Zuowei Shen and Haizhao Yang , title =. Journal of Machine Learning Research , volume =. 2022 , url =
work page 2022
-
[75]
A General Approximation Lower Bound in
El Mehdi Achour and Armand Foucault and S. A General Approximation Lower Bound in. Advances in Neural Information Processing Systems , volume =. 2022 , url =
work page 2022
-
[76]
Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets
Alethea Power and Yuri Burda and Harri Edwards and Igor Babuschkin and Vedant Misra , title =. 2022 , eprint =. doi:10.48550/arXiv.2201.02177 , url =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2201.02177 2022
-
[77]
Proceedings of the 40th International Conference on Machine Learning , series =
Li'ang Li and Yifei Duan and Guanghua Ji and Yongqiang Cai , title =. Proceedings of the 40th International Conference on Machine Learning , series =. 2023 , publisher =
work page 2023
-
[78]
Journal of Machine Learning Research , volume =
Changhoon Song and Geonho Hwang and Junho Lee and Myungjoo Kang , title =. Journal of Machine Learning Research , volume =. 2023 , url =
work page 2023
-
[79]
Guohao Shen and Yuling Jiao and Yuanyuan Lin and Jian Huang , title =. 2023 , eprint =. doi:10.48550/arXiv.2305.00608 , url =
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.2305.00608 2023
-
[80]
Illinois Journal of Mathematics , volume =
Approximate formulas for some functions of prime numbers , author =. Illinois Journal of Mathematics , volume =. 1962 , doi =
work page 1962
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.