Unverified 2026

Range-Space Projected Learning for Noisy Iterations

Implementation & benchmark of arXiv:2608.09084 — On Controlling the Effect of Error Growth in Unlimited Encrypted Iterative Learning Control

Usefulness6/10
Difficulty6/10
Novelty7/10

Source paper: On Controlling the Effect of Error Growth in Unlimited Encrypted Iterative Learning Control arXiv:2608.09084 ⓘ · analyzed Sep 1, 2026

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

Idea description

For a model trained over repeated trajectories, project each parameter update onto directions that have a measurable first-order effect on the predicted outputs, rather than allowing updates in output-null directions. This transfers the paper's range-space decomposition: perturbations caused by finite precision, encryption-like arithmetic, quantization, or stochastic gradients are prevented from accumulating in directions invisible to the task but persistent across trials.

Formulas

$$J_i=\frac{\partial}{\partial\theta}\begin{bmatrix}f_\theta(x_0,0)\\ f_\theta(x_1,1)\\ \vdots\\ f_\theta(x_{T-1},T-1)\end{bmatrix}\in\mathbb{R}^{Tp\times d},\qquad J_i=U\Sigma V^{\mathsf T},\qquad P_r=V_{1:r}V_{1:r}^{\mathsf T}.$$
$$\theta_{i+1}=\theta_i-\eta P_r(g_i+\xi_i),\qquad P_r\xi_i=0\quad\text{for }\xi_i\in\operatorname{Null}(J_i).$$
$$\mathbb{E}\left\|J_i\sum_{j=0}^{i-1}P_r\xi_j\right\|_2^2=i\,\operatorname{tr}\left(J_iP_r\Sigma_\xi P_rJ_i^{\mathsf T}\right).$$
$$P_\lambda=J_i^{\mathsf T}(J_iJ_i^{\mathsf T}+\lambda I_{Tp})^{-1}J_i,\qquad 0\preceq P_\lambda\preceq I_d.$$

Mathematical statement

Let θ∈R^d be network parameters, y(θ)∈R^(Tp) be the concatenated outputs over a repeated horizon of length T, and J(θ)=∂y/∂θ∈R^(Tp×d) be the output sensitivity Jacobian. The effective update space is Range(J^T), while Null(J) contains first-order parameter changes that do not alter the trajectory. Define the rank-r projector P_r=V_rV_r^T, where V_r contains the top r right singular vectors of J. Update parameters by θ_(i+1)=θ_i−ηP_rg_i, with gradient g_i and step size η. If ξ_i is independent perturbation noise with covariance Σ_ξ, the projected perturbation covariance is P_rΣ_ξP_r. For a null-space perturbation ξ_i∈Null(J), JP_rξ_i=0, so it has no first-order output effect. A damped alternative is P_λ=J^T(JJ^T+λI)^−1J, with damping λ>0.

Implementation notes

1. Integration point: insert the projection immediately before the optimizer applies an update to a recurrent network, state-space model, neural ODE, or any model trained on a fixed repeated horizon. Compute the Jacobian of the concatenated horizon outputs with respect to parameters, not merely the Jacobian of the final loss. For large models, use Jacobian-vector products and vector-Jacobian products with 1–3 power iterations to estimate the dominant right singular subspace; do not materialize the full Jacobian. 2. Pseudocode: collect a trajectory with current parameters; estimate V_r from JVP/VJP products; compute g=∇_θL; set g_proj=V_r(V_r^Tg); optionally add measured perturbation ξ; update θ←θ−ηg_proj. Recompute the subspace every M optimizer steps and use an exponential moving average of the subspace to reduce cost. 3. The transferred mechanism is the paper's range-space/null-space separation and suppression of repeated perturbations. The Jacobian, rank r, singular values, and noise covariance are estimated empirically. 4. First cheap experiment: train a two-layer tanh RNN on a fixed sine-wave sequence for 1,000 repeated trials using Adam, projected Adam, and an unprojected baseline, while injecting Gaussian parameter noise or simulated quantization after every update. Sweep rank fraction r/d∈{0.1,0.25,0.5,1.0} and measure trajectory error and parameter displacement. The quantitative prediction is that unprojected output perturbation variance grows approximately linearly with trial count i, while projection reduces its slope by the ratio tr(JP_rΣ_ξP_rJ^T)/tr(JΣ_ξJ^T). For a deliberately redundant network with a large Jacobian null space, this slope should fall by at least 2×. Increasing noise magnitude should also produce a later divergence boundary for projected training.

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.