Standard-Shadowing Regularizer for Neural ODEs
Implementation & benchmark of arXiv:2608.12165 — Shadowing in the presence of singularities: oriented versus standard shadowing, entropy and the structure of recurrent sets
Source paper: Shadowing in the presence of singularities: oriented versus standard shadowing, entropy and the structure of recurrent sets arXiv:2608.12165 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Train a continuous-depth or latent-state neural ODE to be robust not only to spatial perturbations but also to small distortions of elapsed time. Compare nominal trajectories with perturbed pseudo-trajectories under reparametrizations whose secant slopes lie in [1-epsilon,1+epsilon], and penalize failures of a single near-identity time map to track the perturbed path. This targets the paper's distinction between oriented and standard shadowing, which becomes important when the vector field contains very slow regions or near-singular latent states.
Formulas
Mathematical statement
Let phi_t^theta(x) be the flow generated by dz/dt=f_theta(z), with state z in R^d and parameters theta. A time reparametrization is an increasing homeomorphism h:R->R with h(0)=0. Oriented shadowing allows arbitrary h, whereas standard shadowing requires h in Rep(epsilon), defined by |(h(t)-h(s))/(t-s)-1| <= epsilon for every s != t. For a pseudo-trajectory z_tilde(t) with defect ||dz_tilde/dt-f_theta(z_tilde(t))|| <= delta, standard shadowing seeks x and h in Rep(epsilon) such that sup over |t|<=T of ||z_tilde(t)-phi_{h(t)}^theta(x)|| <= rho. The neural loss enforces this relation over sampled perturbations and estimates the smallest spatial tracking radius.
Implementation notes
Integrate this at the latent rollout loss of a neural ODE, continuous-depth ResNet, or state-space model. Use a nominal initial state z0 and construct pseudo-trajectories by Euler or solver-step perturbations: z_tilde_{i+1}=z_tilde_i+Delta t_i f_theta(z_tilde_i)+xi_i, with bounded Gaussian or adversarial noise ||xi_i|| <= delta Delta t_i. Parameterize a monotone piecewise-linear h by positive slopes a_i=1+epsilon tanh(u_i), or directly project every slope into [1-epsilon,1+epsilon], and compare z_tilde_i to a dense interpolation of the nominal rollout at h(t_i). Add the hinge loss in the formula to the task loss; retain the slope penalty as a diagnostic rather than allowing arbitrary time warps. The paper supplies the exact secant-slope constraint and the distinction between oriented and standard shadowing. Estimate L_f, trajectory speed, and the actual tracking radius empirically from Jacobian-vector products and rollout errors. First test on a 2D neural ODE trained to model a damped oscillator, then on a small latent ODE for permuted-MNIST, comparing ordinary consistency training, oriented-shadowing consistency, and standard-shadowing regularization. Sweep epsilon and horizon T. The quantitative prediction is a degradation boundary: when epsilon falls below the empirical epsilon_crit approximately equal to rho divided by T L_f sup||f_theta||, standard-shadowing error should increase rapidly, while unrestricted monotone h should continue to give low oriented-shadowing error. Increasing T should move the boundary approximately as 1/T.
Verification
Stage 1 · Toy mechanism gate: Failed ✗
Stage 2 · Mechanism transferred to benchmark: Not tested
Stage 2 · Practical benchmark result: Not run
Methodology: Toy-system gate first; the benchmark stage runs only after a pass. How verification works
Stage 1 — Mechanism check agent confidence 9/10
Built a bounded-slope standard-shadowing toy verifier and a small neural-ODE comparison. Standard tracking error decreased monotonically with epsilon and reached zero at the exact affine threshold epsilon=a=0.08, while unrestricted oriented tracking was zero throughout; secant and defect checks passed. However, the proposed epsilon_crit≈rho/(T L_f sup||f||) scaling failed badly, with observed/predicted ratios from 0.24 to 58.26, and the neural regularizer slightly worsened task RMSE.
- Agent confidence
- 9/10
- Baseline
- Neural ODE clean RMSE 0.02333; timing-perturbed RMSE 0.02432; mean tracking error 0.00635.
- Idea
- Neural ODE standard-shadowing loss: clean RMSE 0.02592; timing-perturbed RMSE 0.02609; mean tracking error 0.00614. Toy standard error decreased from 0.13457 at epsilon=0 to 0 at epsilon=0.08; oriented error was 0.0. Claimed critical-epsilon formula predicted 0.00135–0.18097 versus observed 0.04403–0.07885.
Limitations: Only a 2D affine-flow toy and one small damped-oscillator neural ODE were tested; no long-horizon latent ODE, permuted-MNIST, adversarial perturbations, learned time maps, FLOP-normalized sweep, or statistical repeats were run. The neural experiment used Euler rollouts and fixed epsilon/rho.
How to run: python3 standard_shadowing_toy.py && /home/maxwelhelp/main/bin/python3 neural_ode_compare.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- neural_ode_compare.py 2.8 KB View Raw
- neural_ode_results.json 0.4 KB View Raw
- report.md 1.7 KB View
- standard_shadowing_toy.py 3.4 KB View Raw
- toy_results.json 4.4 KB View Raw