On the Omnipresence of Spurious Local Minima in Certain Neural Network Training Problems
This reveals fundamental limitations in neural network training, affecting all researchers and practitioners in machine learning, but is incremental as it builds on prior landscape analyses.
The paper demonstrates that deep neural networks with certain activation functions and hidden layer widths possess a continuum of spurious local minima for all non-affine target functions, regardless of sampling or parameterization regimes, and links this to the universal approximation theorem and ill-posedness in approximation problems.
We study the loss landscape of training problems for deep artificial neural networks with a one-dimensional real output whose activation functions contain an affine segment and whose hidden layers have width at least two. It is shown that such problems possess a continuum of spurious (i.e., not globally optimal) local minima for all target functions that are not affine. In contrast to previous works, our analysis covers all sampling and parameterization regimes, general differentiable loss functions, arbitrary continuous nonpolynomial activation functions, and both the finite- and infinite-dimensional setting. It is further shown that the appearance of the spurious local minima in the considered training problems is a direct consequence of the universal approximation theorem and that the underlying mechanisms also cause, e.g., $L^p$-best approximation problems to be ill-posed in the sense of Hadamard for all networks that do not have a dense image. The latter result also holds without the assumption of local affine linearity and without any conditions on the hidden layers.