Unverified 2026

Jensen-Gap Regularization for Temporal Cascades

Implementation & benchmark of arXiv:2608.15214 — Gain of Entrainment in Nonlinear Cascades

Usefulness6/10
Difficulty4/10
Novelty7/10

Source paper: Gain of Entrainment in Nonlinear Cascades arXiv:2608.15214 ⓘ · analyzed Sep 1, 2026

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

Idea description

Add a mean-preserving periodic-input consistency penalty to a stacked leaky recurrent or state-space network. The penalty suppresses output shifts caused purely by hidden-state fluctuations and nonlinear curvature, improving invariance to temporal modulation while preserving the average input signal.

Formulas

$$\tau_i\dot{x}_i(t)=-x_i(t)+\phi_i(x_{i-1}(t)),\qquad x_0(t)=u(t),\qquad \langle z\rangle=\frac{1}{T}\int_0^Tz(t)\,dt.$$
$$J_i=\left\langle\phi_i(x_{i-1})\right\rangle-\phi_i(m_{i-1}),\qquad m_i=\left\langle x_i\right\rangle,$$
$$\delta_i:=m_i-c_i=a_i\delta_{i-1}+J_i,\quad a_i=\frac{\phi_i(m_{i-1})-\phi_i(c_{i-1})}{m_{i-1}-c_{i-1}},\quad \delta_n=\sum_{i=1}^{n}J_i\prod_{j=i+1}^{n}a_j,$$
$$J_i\approx \frac{1}{2}\phi_i''(\mu_{i-1})\operatorname{Var}(x_{i-1}),\qquad \mu_{i-1}=m_{i-1}.$$

Mathematical statement

For a scalar n-stage cascade, let the input be x_0(t)=u(t), let each stage obey \(\tau_i\dot{x}_i=-x_i+\phi_i(x_{i-1})\), and define \(m_i=\langle x_i\rangle\), where \(\langle z\rangle=T^{-1}\int_0^Tz(t)\,dt\). Let \(\bar u=\langle u\rangle\) and define the constant-input equilibrium recursively by \(c_0=\bar u\), \(c_i=\phi_i(c_{i-1})\). The local Jensen gap is \(J_i=\langle\phi_i(x_{i-1})\rangle-\phi_i(m_{i-1})\). Averaging the filter dynamics gives \(m_i=\langle\phi_i(x_{i-1})\rangle\), hence \(\delta_i:=m_i-c_i=a_i\delta_{i-1}+J_i\), where \(a_i=[\phi_i(m_{i-1})-\phi_i(c_{i-1})]/(m_{i-1}-c_{i-1})\) is the downstream incremental gain and is defined by \(a_i=\phi_i'(c_{i-1})\) when the denominator is zero. Since \(\delta_0=0\), the exact terminal shift is \(\delta_n=\sum_{i=1}^nJ_i\prod_{j=i+1}^na_j\). For small fluctuations around \(\mu_{i-1}=m_{i-1}\), \(J_i\approx\tfrac12\phi_i''(\mu_{i-1})\operatorname{Var}(x_{i-1})\), making curvature, fluctuation energy, and downstream gains explicit.

Implementation notes

Integrate this at the hidden-state dynamics of a stacked scalar- or channelwise-leaky RNN/SSM, not at the final classifier alone. For each training batch, take an input sequence u[0:L-1], construct a mean-preserving periodic perturbation u_per[t]=u[t]+A sin(2 pi t/P) or use a random zero-mean Fourier perturbation, and run the network on both the original and perturbed sequences. Also run a counterfactual constant-input cascade whose input is the temporal mean of u_per. Use the final-period hidden states after burn-in to estimate m_i and the terminal mean output. Pseudocode: (1) compute x_i[t] with x_i[t+1]=(1-alpha_i)x_i[t]+alpha_i phi_i(x_{i-1}[t]); (2) estimate m_i=mean_t x_i[t] over the last K steps; (3) compute c_0=mean_t u_per[t], then c_i=phi_i(c_{i-1}); (4) compute J_i=mean_t phi_i(x_{i-1}[t])-phi_i(m_{i-1}); (5) compute a_i as the divided difference in the formula above; (6) form delta_decomp=sum_i J_i product_{j>i} a_j; (7) add L_JG=lambda*(mean(y_per)-mean(y_const)-stopgrad(delta_decomp))^2 plus lambda_abs*delta_decomp^2 when invariance is desired. The network output y may be a learned readout of x_n. The simulation supplies m_i and J_i; a_i is computed directly from activations, while the second-order approximation uses empirical variance and automatic differentiation for phi_i''. Start with a 3-layer leaky tanh RNN on a synthetic sequence-regression task where the target depends on the mean of a slowly varying signal but training inputs contain random sinusoidal modulation. Compare a standard RNN, ordinary temporal augmentation, and this regularizer at equal parameter count. Success means a lower terminal mean shift under unseen frequencies and amplitudes, reduced prediction error under modulation, and no more than a small clean-input accuracy loss. A useful diagnostic is whether the measured shift agrees with the weighted sum of local J_i; poor agreement indicates vector interactions or insufficient burn-in.

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.