In this paper we approach the problem of unique and stable identifiability of generic deep artificial neural networks with pyramidal shape and smooth activation functions from a finite number of input-output samples. More specifically we introduce the so-called entangled weights, which compose weights of successive layers intertwined with suitable diagonal and invertible matrices depending on the activation functions and their shifts. We prove that entangled weights are completely and stably approximated by an efficient and robust algorithm as soon as $\mathcal O(D^2 \times m)$ nonadaptive input-output samples of the network are collected, where $D$ is the input dimension and $m$ is the number of neurons of the network. Moreover, we empirically observe that the approach applies to networks with up to $\mathcal O(D \times m_L)$ neurons, where $m_L$ is the number of output neurons at layer $L$. Provided knowledge of layer assignments of entangled weights and of remaining scaling and shift parameters, which may be further heuristically obtained by least squares, the entangled weights identify the network completely and uniquely. To highlight the relevance of the theoretical result of stable recovery of entangled weights, we present numerical experiments, which demonstrate that multilayered networks with generic weights can be robustly identified and therefore uniformly approximated by the presented algorithmic pipeline. In contrast backpropagation cannot generalize stably very well in this setting, being always limited by relatively large uniform error. In terms of practical impact, our study shows that we can relate input-output information uniquely and stably to network parameters, providing a form of explainability. Moreover, our method paves the way for compression of overparametrized networks and for the training of minimal complexity networks.
翻译:在本文中,我们处理的是具有金字塔形状和从数量有限的输入输出样本中平稳激活功能的通用深层人工神经网络的独特和稳定可辨识性问题。 更具体地说, 我们引入了所谓的纠缠加权, 由相串层的重量组成, 依激活功能和变化而定, 与适当的对角和不可倒置的矩阵交织。 我们证明, 缠绕的重量完全和稳定地被一个高效和稳健的算法所近似。 一旦收集到网络中数量有限的输入输出量和平稳的输入量样本, 美元不能成为输入量, 更具体地说, 直径的输入量和移动的参数不能成为输入量的任意值。 此外, 我们从经验中观察到, 该方法适用于以$mathalal O (D\ times m_L) 的网络, 其中, $m_L$是显示输出量在层值的最小值, 因此, 以直径直径直径直的比值计算, 直径直径的计算, 直径直径直径的网络中, 直径直的计算出, 直径直径直径直径的网络中, 直的重量的重量的重量的重量可以更能以直地显示我们平直的计算出。