1: \begin{definition}[Ideal particles]

2: \label{def:idealparticles} Given the initial positions $\btheta_N(0)$ of the particles in the DNN (sampled as in Assumption \ref{assump:initialization}), we define

3: \[

4: \bthetabar_N(t):= \parn{\thetabar^{(\ell)}_{i_\ell,i_{\ell+1}}(t)\,:\, \substack{\ell\in [0:L],\\ (i_\ell,i_{\ell+1})\in [1:N_\ell]\times [1:N_{\ell+1}]}}\quad t\in [0,T]

5: \]

6: as follows. Recalling the maps $\left\{F^{(\ell)},\,\ell\in[1:L-1]\right\}$ in Theorem \ref{thm:independencestructure}, we set for $0\leq t\leq T$:

7: \begin{align*}

8: \thetabar^{(0)}_{1,i_1}(t) :=& \theta^{(0)}_{1,i_1}(0),&& i_1\in [1:N];\\

9: \thetabar^{(1)}_{i_1,i_2}(t) :=& F^{(1)}\parn{\theta_{1,i_1}^{(0)}(0),\theta_{i_1,i_2}^{(1)}(0)}(t),&& (i_1,i_2)\in [1:N]^2;\\

10: \thetabar^{(\ell)}_{i_\ell,i_{\ell+1}}(t) :=& F^{(\ell)}\parn{\theta_{i_{\ell},i_{\ell+1}}^{(\ell)}(0)}(t),&& (i_\ell,i_{\ell+1})\in [1:N]^2,\,\ell\in [2:L-2];\\

11: \thetabar^{(L-1)}_{i_{L-1},i_{L}}(t) :=& F^{(L-1)}\parn{\theta^{(L-1)}_{i_{L-1},i_{L}}(0),\theta^{(L)}_{i_{L},1}(0)}(t),&& (i_{L-1},i_{L})\in [1:N]^2;\\

12: \thetabar^{(L)}_{i_L,1}(t) :=& \theta_{i_Ll,1}^{(L)}(0),&& i_L\in [1:N].

13: \end{align*}\end{definition}

14: