Jacobian Tube Training
Implementation & benchmark of arXiv:2608.02530 — Safe and robust tube-based path-following for robot navigation
Source paper: Safe and robust tube-based path-following for robot navigation arXiv:2608.02530 ⓘ · analyzed Aug 31, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Wrap the nominal forward or optimization dynamics of a neural network in a propagated uncertainty tube representing bounded disturbances in activations, gradients, or parameters. Penalize or reject updates whenever the tube radius exceeds an allowed task-dependent margin, thereby converting the paper's robust path-following construction into a contraction-aware training rule.
Formulas
Mathematical statement
Let the nominal discrete neural dynamics be $z_{k+1}=F_k(z_k,\theta_k)$, with perturbed dynamics $\tilde z_{k+1}=F_k(\tilde z_k,\theta_k)+d_k$, where $\|d_k\|_2\leq\delta_k$. Define the error $e_k=\tilde z_k-z_k$, the local Jacobian gain $L_k=\sup_{z\in\mathcal T_k}\|\partial F_k/\partial z\|_2$, and a scalar tube radius $r_k\geq\|e_k\|_2$. The robust tube recursion is $r_{k+1}=L_k r_k+\delta_k$. If $L_k\leq L<1$ and $\delta_k\leq\delta$, then $r_k\leq L^k r_0+\delta(1-L^k)/(1-L)$ and the asymptotic radius is $r_\infty=\delta/(1-L)$. Use a task margin $m_k$ and require $r_k<m_k$; a differentiable penalty is $\operatorname{softplus}(r_k-m_k)^2$. The mechanism doing the work is contraction of the nominal dynamics, which prevents bounded disturbances from expanding without limit.
Implementation notes
Integrate this at the activation level of a recurrent network, state-space model, or transformer unrolled over depth. The nominal state is the hidden activation $z_k$ at layer or recurrent step $k$; the disturbance bound represents quantization error, dropout perturbation, bounded gradient noise, or a measured adversarial activation perturbation. First run the nominal model to cache activations. Estimate $L_k$ with one or two power iterations through Jacobian-vector products, rather than forming the full Jacobian. Set $\delta_k$ from a calibrated perturbation experiment: inject Gaussian, uniform, or quantization noise and use the 99th percentile of the resulting one-step residual. Initialize $r_0$ from the input perturbation radius and recursively compute $r_{k+1}=L_k r_k+\delta_k$. Add $\mathcal L_{\mathrm{tube}}$ to the task loss, or use it as a gate that clips the learning rate when $r_k>m_k$. Pseudocode is: forward and cache $z_k$; estimate $L_k$; update $r\leftarrow L_k r+\delta_k$; accumulate the barrier and gain penalties; backpropagate; then update parameters. The paper-derived components are nominal-plus-tube decomposition and bounded-disturbance propagation; Jacobian estimates, disturbance quantiles, and margins are empirical. The first cheap experiment should use a 4-layer MLP on MNIST, compare SGD, spectral normalization, and this method under activation noise. Sweep a global gain multiplier and predict a sharp stability boundary near $L_{\mathrm{eff}}=1$: for $L_{\mathrm{eff}}<1$, measured radii should converge to $\delta/(1-L_{\mathrm{eff}})$, while for $L_{\mathrm{eff}}>1$ they should grow exponentially with depth. Test whether the measured boundary agrees within 20 percent.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗
Stage 2 · Practical benchmark result: Significant win ✓
Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works
How to read this: The implementation beat the baseline, but the claimed mechanism did not reproduce at benchmark scale. The gain may come from another effect; treat the cause as unresolved.
Stage 1 — Mechanism check agent confidence 9/10
Built and ran Jacobian Tube Training with scalar tube-recursion verification and a 4-layer noisy-digits MLP comparison against SGD and spectral normalization. The mechanism manifested: the observed stability boundary was effective gain 0.949 versus the predicted 1.0 (5.1% error), the asymptotic-radius formula had maximum relative error 1.37e-7, and radius-versus-disturbance scaling matched the predicted slope exactly. In the MLP, the tube penalty reduced maximum hidden spectral gain from 3.176 to 2.329 and maintained noisy accuracy at 0.960 versus 0.962 baseline, but did not improve task accuracy; this validates the stability mechanism, not a clear accuracy win.
- Agent confidence
- 9/10
- Baseline
- SGD: clean accuracy 0.9667, activation-noise accuracy 0.9622, maximum hidden spectral gain 3.1757
- Idea
- Tube penalty: clean accuracy 0.9600, activation-noise accuracy 0.9600, maximum hidden spectral gain 2.3293; toy boundary predicted 1.0000 versus observed 0.9492; maximum asymptotic-radius relative error 1.37e-7; delta-scaling slope predicted 3.3333 versus observed 3.3333
- Spectral normalization
- Clean accuracy 0.8867, activation-noise accuracy 0.8556, maximum hidden spectral gain 1.1782
Limitations: The neural experiment used one fixed seed, a small sklearn digits dataset rather than MNIST, and a conservative spectral-norm proxy instead of true Jacobian-vector-product supremum estimates. Disturbances were fixed Gaussian activation noise rather than empirically calibrated 99th-percentile residuals; no multi-seed, FLOP-matched, adversarial, recurrent, or large-scale evaluation was performed.
How to run: python3 jacobian_tube_experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.02530)
Beats the tuned baseline by 63.8% (p=0.0081, wins 8 / 8 paired seeds; metric: lower is better).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0005
- Idea mean
- 0.0002
- Effect (Δ)
- -0.0003 (−63.8%; negative = idea better)
- Wins
- 8 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- n/a
- Mechanism
- Not confirmed ✗
- Practical effect
- Helps
- Baseline tuning
- swept over 3 configs
The experiment used the small built-in actuated-pendulum dynamics dataset, 800 training examples, 300 test examples, 12 epochs, and a conservative recurrent-weight spectral-norm proxy rather than exact GRU Jacobian supremum estimates. Activation disturbances were not calibrated with a 99th-percentile residual experiment, and robustness under explicit noisy or adversarial rollout perturbations was not evaluated.
How to run: python3 jacobian_tube_bench.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Worked ✓
Agent confidence: 8/10
Implemented Jacobian Tube Training on the structurally matched dynamics track using the shared rnn_small architecture and a tube-recursion plus recurrent-gain penalty during training. Across 8 paired seeds, the idea achieved lower test MSE than the tuned Adam baseline: 0.0001882 versus 0.0005195, with delta_mean=-0.0003313 and permutation p=0.0081. The scalar tube math check was accurate, but the stronger trained-model gain-to-output sensitivity prediction was not quantitatively confirmed.
- Baseline
- rnn_small Adam, best lr=0.006: test MSE mean 0.0005194859514, std 0.0001693891078
- Delta mean
- -0.0003312543976790039
- Idea
- Jacobian Tube Training, lr=0.006, lambda=0.01: test MSE mean 0.0001882315537, std 0.0000452651280
- Idea wins
- 8
- N pairs
- 8
- P value
- 0.0081
Benchmark result
Beats the tuned baseline by 63.8% (p=0.0081, wins 8 / 8 paired seeds; metric: lower is better).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0005
- Idea mean
- 0.0002
- Effect (Δ)
- -0.0003 (−63.8%; negative = idea better)
- Wins
- 8 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- n/a
- Mechanism
- Not confirmed ✗
- Practical effect
- Helps
- Baseline tuning
- swept over 3 configs
The experiment used the small built-in actuated-pendulum dynamics dataset, 800 training examples, 300 test examples, 12 epochs, and a conservative recurrent-weight spectral-norm proxy rather than exact GRU Jacobian supremum estimates. Activation disturbances were not calibrated with a 99th-percentile residual experiment, and robustness under explicit noisy or adversarial rollout perturbations was not evaluated.
How to run: python3 jacobian_tube_bench.py
Artifacts
- bench_report.json 4.4 KB View Raw
- jacobian_tube_bench.py 7.1 KB View Raw
- jacobian_tube_experiment.py 5.9 KB View Raw
- report.md 1.9 KB View
- report_bench_2026-08-31T173018.md 4.3 KB View
- results.json 12.0 KB View Raw