Qualitative neural network approximation over R and C: Elementary proofs for analytic and polynomial activation
In this article, we prove approximation theorems in classes of deep and shallow neural networks with analytic activation functions by elementary arguments. We prove for both real and complex networks with non-polynomial activation that the closure of the class of neural networks coincides with the closure of the space of polynomials. The closure can further be characterized by the Stone-Weierstrass theorem (in the real case) and Mergelyan's theorem (in the complex case). In the real case, we further prove approximation results for networks with higher-dimensional harmonic activation and orthogonally projected linear maps. We further show that fully connected and residual networks of large depth with polynomial activation functions can approximate any polynomial under certain width requirements. All proofs are entirely elementary.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translating proofs written in natural language i…
Mathematical ProofsSemantic ParsingAutomated Planning Techniques for Elementary Proofs in Abstract Algebra
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and computer programs to construct mathematica…
Abstract AlgebraAutomated Theorem ProvingMathematical ProofsA New Approach to Drifting Games, Based on Asymptotically Optimal Potentials
We develop a new approach to drifting games, a class of two-person games with many applications to boosting and online learning settings. Our approach involves (a) guessing an asymptotically optimal potential by solving …
A Linear Approximation to the chi^2 Kernel with Geometric Convergence
We propose a new analytical approximation to the $\chi^2$ kernel that converges geometrically. The analytical approximation is derived with elementary methods and adapts to the input distribution for optimal convergence …
General Classificationimage-classificationImage ClassificationSegmentation+1On the Analysis of Qualitative Nyquist Plots
A powerful tool in control and systems engineering is represented by Nyquist plots, for which a qualitative representation often gives a clearer visualization of the frequency response function that is typically not give…