Unverified 2026

Singularly Perturbed Hierarchical Training

Implementation & benchmark of arXiv:2607.10869 — Singular perturbations and hierarchical learning in two-layer neural networks

Usefulness6/10
Difficulty4/10
Novelty5/10

Source paper: Singular perturbations and hierarchical learning in two-layer neural networks arXiv:2607.10869 ⓘ · analyzed Aug 30, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Train the output layer on a fast timescale and the hidden feature layer on a slow timescale, so output coefficients first fit the components representable by the current features before hidden directions move. Use residual plateaus to detect when the fast subsystem has approximately equilibrated, then increase the hidden-layer learning rate to begin the next feature-learning stage.

Formulas

$$y=\varphi(\langle u_{*},x\rangle),$$
$$f(x,a,u)=\frac{1}{m}\sum_{i=1}^{m}a_i\sigma(\langle u_i,x\rangle),\qquad a_i\in\mathbb{R},\quad u_i\in\mathbb{S}^{d-1},$$
$$L(a,u)=\frac12\mathbb{E}_{x}\left[\left(f(x,a,u)-\varphi(\langle u_{*},x\rangle)\right)^2\right],$$
$$\dot a_i=-\nabla_{a_i}L,\qquad \dot u_i=-\varepsilon(I-u_i u_i^{\top})\nabla_{u_i}L,\qquad 0<\varepsilon\ll 1,$$

Mathematical statement

The paper studies the target model y = varphi(<u_*, x>), where x is a d-dimensional random vector with independent standard-normal entries, u_* is an unknown unit vector in R^d, and varphi is an unknown scalar link function. The network is f(x,a,u) = (1/m) sum_i a_i sigma(<u_i,x>), where a_i are output coefficients, u_i are hidden directions, m is width, and sigma is the activation. Define the population squared loss L(a,u) = (1/2) E_x[(f(x,a,u) - varphi(<u_*,x>))^2]. The singularly perturbed gradient flow uses da_i/dt = -partial L/partial a_i and du_i/dt = -epsilon (I - u_i u_i^T) partial L/partial u_i, with 0 < epsilon << 1 controlling the hidden-layer speed relative to the output layer. For fixed hidden parameters u, the fast output variables approximately relax toward the constraint manifold partial L/partial a = 0; the slow hidden variables then evolve based on the residual after this relaxation. The practical optimizer analogue is eta_u = epsilon eta_a, optionally with stage transitions triggered by a loss plateau. The projection I - u_i u_i^T preserves the unit-sphere constraint when hidden directions are normalized.

Implementation notes

Integrate the method into the optimizer step of a width-m two-layer MLP, modifying the learning rates of the output coefficients and hidden weights. Let eta_a be the base output learning rate and initialize the hidden rate as eta_u = epsilon times eta_a, with epsilon tested at 1e-1, 1e-2, and 1e-3. On every minibatch, compute the loss, backpropagate once, update output parameters using a_a <- a_a - eta_a g_a, and update hidden parameters using theta_u <- theta_u - eta_u g_u. If the experiment explicitly stores each hidden direction as a unit vector u_i, replace its gradient by (I - u_i u_i^T) g_u_i and renormalize after the update; for ordinary unconstrained MLP weights, omit this projection. Maintain an exponential moving average Lbar_t = beta Lbar_{t-1} + (1-beta)L_t. Every K steps, calculate the relative plateau measure r_t = abs(Lbar_t - Lbar_{t-K}) / (abs(Lbar_{t-K}) + 1e-8). If r_t remains below a threshold tau for q consecutive checks, multiply epsilon by 2, up to a maximum of 1, thereby allowing the hidden layer to enter the next learning stage. The paper determines the fast/slow structure and constraint-manifold interpretation; epsilon, beta, K, tau, q, and the maximum rate are empirical choices. First test a width-256 ReLU network on Gaussian single-index regression with targets y = c1 z + c2(z^2 - 1), z = <u_*,x>, using 10,000 training and 10,000 test samples. Compare equal learning rates, AdamW, and fixed epsilon values against the adaptive schedule at equal optimizer steps and FLOPs. Measure total test MSE, separate errors from linear and quadratic target components, cosine alignment between learned hidden directions and u_*, and gradient norms. Success means faster initial loss descent, a clear plateau followed by improved quadratic-component learning, and no loss spike when epsilon increases.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.