Averaged Contractive State-Space Network
Implementation & benchmark of arXiv:2608.09319 — Averaging Principle and Pullback Attractor Convergence for McKean--Vlasov Stochastic Reaction--Diffusion Equations
Source paper: Averaging Principle and Pullback Attractor Convergence for McKean--Vlasov Stochastic Reaction--Diffusion Equations arXiv:2608.09319 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Construct a continuous-time SSM or neural ODE whose hidden-state dynamics use rapidly varying periodic parameters while enforcing contraction of the instantaneous Jacobian. In the high-frequency regime, replace the expensive oscillatory dynamics with an averaged SSM during long-horizon rollout; the averaging principle predicts finite-horizon trajectory convergence, while contraction predicts stable long-time behavior.
Formulas
Mathematical statement
Let $h(t)\in\mathbb{R}^{n}$ be the hidden state, $x(t)$ the input, $\varepsilon>0$ the fast time scale, and $F(s,h,x)$ a vector field periodic in phase $s$ with period $T$. The oscillatory system is $\dot h_{\varepsilon}=F(t/\varepsilon,h_{\varepsilon},x(t))$. Its averaged system is $\dot{\bar h}=\bar F(\bar h,x)$ with $\bar F(h,x)=T^{-1}\int_0^T F(s,h,x)\,ds$. The averaging result predicts $\sup_{0\leq t\leq L}\mathbb{E}\|h_{\varepsilon}(t)-\bar h(t)\|^2\to0$ for every fixed horizon $L$. A contraction certificate is $\mu_2(\partial_hF)\leq-\alpha<0$, where $\mu_2(J)=\lambda_{\max}((J+J^{\mathsf T})/2)$; this gives exponential forgetting of initial conditions at rate at least $\alpha$ and supports convergence of pullback attractors.
Implementation notes
Integrate this mechanism at the hidden-state transition of a continuous-time SSM, neural ODE, or liquid RNN. Use a phase-dependent parameterization such as $F(s,h,x)=A(s)h+\phi(B(s)h+Cx+b(s))$, with phase $s=t/\varepsilon$ and period $T=1$. During training, approximate the averaged vector field with quadrature: sample phases $s_j=j/M$ and compute $\bar F(h,x)\approx M^{-1}\sum_{j=0}^{M-1}F(s_j,h,x)$. Enforce contraction with spectral normalization or the penalty $[\mu_2(\partial_hF)+\alpha]_+^2$; estimate $\mu_2$ using automatic differentiation and a few power iterations. Run the fast model with phase updates at every solver step and the averaged model with one fixed transition. The first cheap experiment should use a width-64 neural ODE or linear-plus-tanh SSM on sequential MNIST, the copy-memory task, and a forced-sine long-horizon prediction task. Sweep $\varepsilon\in\{1,1/2,1/4,1/8,1/16\}$ and compare synchronized trajectories. The prediction is that fixed-horizon mean-square trajectory error decreases as $\varepsilon$ decreases, while perturbation errors decay with fitted log-slope no greater than $-\alpha$. After long warmup, the diameter of states from multiple initial conditions should decay approximately as $e^{-\alpha t}$; when the empirical matrix measure becomes positive, long-horizon equivalence should fail.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗
Stage 2 · Practical benchmark result: Significantly worse ✗
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built and numerically verified a periodically modulated contractive state-space ODE with its exact averaged counterpart. Averaging error decreased nearly linearly with epsilon (log-log slope 0.928), the measured contraction boundary matched the predicted q=alpha=1.2 exactly, and perturbation decay matched the predicted -alpha slope to within 2e-7. The averaged rollout was 14.4x faster at epsilon=0.0625, confirming the mechanism in the toy setting, though not yet in a trained neural SSM.
- Agent confidence
- 9/10
- Baseline
- Phase-resolved oscillatory rollout: max trajectory errors for epsilon=[0.5,0.25,0.125,0.0625,0.03125] were [0.09089,0.05055,0.02678,0.01377,0.00699]; median runtime 0.7832 s.
- Idea
- Exact averaged rollout: median runtime 0.05431 s, 14.42x speedup; observed averaging-error log-log slope 0.9276; contraction boundary observed exactly at q=1.2; late perturbation slopes ranged from -1.2000000 to -1.2000002.
Limitations: This is a 2D linear toy ODE rather than a trained width-64 neural SSM or neural ODE. It uses an analytically known average, constant input, deterministic trajectories, and does not test sequential MNIST, copy-memory, learned parameters, stochastic inputs, non-symmetric Jacobians, or batched GPU inference.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.09319)
Significantly WORSE than the tuned baseline (+3050.1%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0095
- Idea mean
- 0.2998
- Effect (Δ)
- 0.2903 (+3050.1%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±683.7%
- Mechanism
- Not confirmed ✗
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the matched built-in dynamics track was tested; sequential and vision/tabular tracks were not run. The benchmark was reduced to n_train=400, n_test=160, and 5 epochs to fit the time budget after the initial larger run timed out. The implementation uses a discrete Euler recurrence and a simplified phase-modulated diagonal drift rather than a full continuous-time neural ODE solver.
How to run: python3 bench_stage2.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Failed ✗
Agent confidence: 9/10
Implemented an averaged contractive state-space recurrent model and compared it end-to-end against the matched bench rnn_small GRU on the structurally appropriate dynamics track. Across 8 paired seeds, the idea had MSE 0.29984 versus baseline 0.00952, with paired delta +0.29033 and permutation p=0.0081, so it was significantly worse. The trained-model mechanism signature observed negative matrix measure but only a noisy slope of 0.258 rather than the predicted approximately 1.0, and was therefore not confirmed.
- Baseline
- dynamics/rnn_small; best lr=0.01 from sweep [0.001, 0.003, 0.01]; 8-seed test MSE mean=0.0095184, std=0.0041543
- Idea
- averaged contractive Euler recurrence; best tested lr=0.01; 8-seed test MSE mean=0.2998441, std=0.0752087; paired delta=+0.2903256; permutation p=0.0081; observed trained-model averaging slope=0.2579; observed max mu2=-1.5681; mechanism confirmed=false
Benchmark result
Significantly WORSE than the tuned baseline (+3050.1%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0095
- Idea mean
- 0.2998
- Effect (Δ)
- 0.2903 (+3050.1%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±683.7%
- Mechanism
- Not confirmed ✗
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the matched built-in dynamics track was tested; sequential and vision/tabular tracks were not run. The benchmark was reduced to n_train=400, n_test=160, and 5 epochs to fit the time budget after the initial larger run timed out. The implementation uses a discrete Euler recurrence and a simplified phase-modulated diagonal drift rather than a full continuous-time neural ODE solver.
How to run: python3 bench_stage2.py
Artifacts
- bench_report.json 3.7 KB View Raw
- bench_stage2.py 5.2 KB View Raw
- experiment.py 5.4 KB View Raw
- report.md 1.5 KB View
- report_bench_2026-09-01T101854.md 4.7 KB View
- results.json 2.9 KB View Raw