Mathematical methods are developed to characterize the asymptotics of recurrent neural networks (RNN) as the number of hidden units, data samples in the sequence, hidden state updates, and training steps simultaneously grow to infinity. In the case of an RNN with a simplified weight matrix, we prove the convergence of the RNN to the solution of an infinite-dimensional ODE coupled with the fixed point of a random algebraic equation. The analysis requires addressing several challenges which are unique to RNNs. In typical mean-field applications (e.g., feedforward neural networks), discrete updates are of magnitude $\mathcal{O}(\frac{1}{N})$ and the number of updates is $\mathcal{O}(N)$. Therefore, the system can be represented as an Euler approximation of an appropriate ODE/PDE, which it will converge to as $N \rightarrow \infty$. However, the RNN hidden layer updates are $\mathcal{O}(1)$. Therefore, RNNs cannot be represented as a discretization of an ODE/PDE and standard mean-field techniques cannot be applied. Instead, we develop a fixed point analysis for the evolution of the RNN memory states, with convergence estimates in terms of the number of update steps and the number of hidden units. The RNN hidden layer is studied as a function in a Sobolev space, whose evolution is governed by the data sequence (a Markov chain), the parameter updates, and its dependence on the RNN hidden layer at the previous time step. Due to the strong correlation between updates, a Poisson equation must be used to bound the fluctuations of the RNN around its limit equation. These mathematical methods give rise to the neural tangent kernel (NTK) limits for RNNs trained on data sequences as the number of data samples and size of the neural network grow to infinity.
翻译:数学方法被用于刻画循环神经网络(RNN)在隐藏单元数、序列数据样本数、隐藏状态更新次数以及训练步数同时趋于无穷大时的渐近行为。针对具有简化权重矩阵的RNN情景,我们证明了该网络收敛于一个无限维常微分方程的解,该方程与随机代数方程的不动点相耦合。这一分析需要应对RNN特有的若干挑战。在典型的平均场应用(例如前馈神经网络)中,离散更新的量级为$\mathcal{O}(\frac{1}{N})$,更新次数为$\mathcal{O}(N)$。因此,系统可表示为相应常/偏微分方程的欧拉近似,当$N \rightarrow \infty$时收敛于该方程。然而,RNN隐藏层更新的量级为$\mathcal{O}(1)$,故其无法表示为常/偏微分方程的离散化,标准平均场技术亦不适用。为此,我们针对RNN记忆状态的演化建立了不动点分析,并给出了关于更新步数与隐藏单元数的收敛性估计。将RNN隐藏层视为索伯列夫空间中的函数,其演化受数据序列(马尔可夫链)、参数更新及其对上一时间步RNN隐藏层的依赖性的共同支配。由于更新之间存在强相关性,必须使用泊松方程来约束RNN在其极限方程附近的波动。这些数学方法导出了RNN在数据样本数与神经网络规模同时趋于无穷时于数据序列上训练的神经正切核(NTK)极限。