Loop-memory optimizer
Implementation & benchmark of arXiv:2608.07448 — Active movement of foraging sea turtles generates anomalous looping
Source paper: Active movement of foraging sea turtles generates anomalous looping arXiv:2608.07448 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace independent optimizer noise with a generalized-Langevin memory state and a slowly rotating active force. The memory state preserves useful gradient correlations, while the rotational force creates bounded parameter-space loops that can escape shallow basins without producing unbounded random walks. Apply the mechanism either to parameter updates or to the latent state of a diffusion sampler.
Formulas
Mathematical statement
Represent the generalized-Langevin mechanism with velocity v(t), mass m, damping gamma, memory kernel K(t), deterministic force F(x,t), and colored noise xi(t): m times dv/dt equals minus gamma v minus the convolution of K with v plus F plus xi. Approximate the kernel by K(t) = sum over k of (c_k divided by tau_k) times exp(-t divided by tau_k), where c_k is a nonnegative friction weight and tau_k is a positive memory time. Introduce auxiliary states h_k satisfying dh_k/dt = -h_k divided by tau_k plus v divided by tau_k, so the memory friction becomes sum over k of c_k h_k. For neural optimization, x is the parameter vector, F is minus the gradient of the loss, and an active two-dimensional force a evolves according to da/dt = omega J a minus lambda a plus sigma_a times Gaussian white noise. Here J is the two-dimensional rotation matrix, omega is angular frequency, lambda is active-force decay, and sigma_a is noise intensity. The augmented linearized discrete update is stable when every eigenvalue of its transition matrix has modulus below one; the loop regime is identified by a complex-conjugate pair with nonzero imaginary part. The predicted search signature is an intermediate-time mean-square displacement proportional to Delta raised to alpha, with 1 less than alpha less than 2, followed by bounded or ordinary diffusive growth.
Implementation notes
First, integrate the mechanism into an SGD or momentum-SGD replacement. For a cheap prototype, apply it independently to two-dimensional parameter blocks, while preserving the full gradient as the deterministic force. Maintain one memory variable h_k per selected time scale and a two-dimensional active state a for each block, or use one shared active state across all blocks in the first experiment. At each minibatch, compute gradient g. For each memory state, update h_k using h_k <- exp(-dt/tau_k) h_k + (1 - exp(-dt/tau_k)) v. Update the active force with a <- exp(-lambda dt) R(omega dt) a + sigma_a sqrt(dt) epsilon, where R is the two-dimensional rotation matrix and epsilon is standard two-dimensional Gaussian noise. Then update v <- v + dt times [-(gamma/m)v - sum_k(c_k/m)h_k - g/m + a/m], followed by x <- x + dt v. Estimate the memory coefficients c_k and time constants tau_k by fitting a nonnegative sum of exponentials to the velocity autocorrelation from ordinary optimizer runs. Estimate omega from the dominant nonzero spectral peak and select lambda from the desired loop lifetime. Estimate the largest eigenvalues of the local Hessian with Hessian-vector products, construct the corresponding augmented linearized transition matrix, and reduce dt or gamma whenever its spectral radius approaches one. The first cheap experiment should train an MLP on MNIST using SGD, momentum SGD, and this optimizer at matched parameter-update norms and compute. Log loss, parameter-displacement mean-square displacement, velocity autocorrelation, and the largest estimated spectral radius. The quantitative prediction is that useful settings exhibit an intermediate log-log MSD slope alpha greater than one and an oscillatory or negative velocity-autocorrelation lobe near lag pi divided by twice omega. Divergence should begin when the measured spectral radius crosses one, with the observed boundary matching the linear prediction within 20 percent. Ablate memory and rotation separately to verify that the effect requires the proposed combination.
Verification
Stage 1 · Toy mechanism gate: Passed ✓
Stage 2 · Mechanism transferred to benchmark: Confirmed ✓
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 7/10
Built a generalized-Langevin loop-memory optimizer prototype with exponential memory states and rotating active-force states, together with numerical checks and a small CUDA MLP experiment. The active-state modulus and angle matched prediction exactly, the measured stability boundary matched the spectral-radius boundary at dt≈1.011, and rotating memory produced intermediate MSD scaling alpha≈1.20 versus ≈1.98 without rotation, with a negative autocorrelation lobe. The mechanism manifested in toy dynamics, but it did not beat momentum SGD on two-moons: final loss was 0.292 for loop versus 0.214 for momentum.
- Agent confidence
- 7/10
- Baseline
- SGD final full loss 0.2916; momentum SGD 0.2145; mean step MSD 2.77e-7 and 1.29e-6 respectively.
- Idea
- Loop optimizer final full loss 0.2923; mean step MSD 1.56e-7. No-memory ablation loss 0.2890 and alpha≈1.28; rotating-memory alpha≈1.20 versus nonrotating-memory alpha≈1.98, with negative-lobe lag 54.
Limitations: The neural test used a small noisy two-moons MLP rather than MNIST, one seed, and did not rigorously match optimizer update norms or FLOPs. The stability boundary comparison uses the same discrete transition matrix for prediction and rollout, so it validates implementation consistency more than an independent empirical boundary; no Hessian-vector-product estimation or fitted autocorrelation kernel was performed.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.07448)
Significantly WORSE than the tuned baseline (+363.5%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Tabular regression (Friedman)
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 5.4289
- Idea mean
- 25.1623
- Effect (Δ)
- 19.7333 (+363.5%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±36.9%
- Mechanism
- Confirmed ✓
- Practical effect
- Hurts
- Baseline tuning
- swept over 6 configs
Only the registered tabular optimizer track was tested. The loop hyperparameters were hand selected rather than fitted from autocorrelation data, and the signature measured parameter-displacement MSD slope but not a full velocity-autocorrelation lobe or Hessian-based stability boundary.
How to run: python3 bench_run.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Stage 2 — Benchmark latest Failed ✗
Agent confidence: 10/10
The generalized-Langevin loop-memory optimizer was implemented for the registered tabular Friedman#1 benchmark with the shared mlp_tiny architecture. Adam achieved mean test MSE 5.42893 versus 25.16228 for the best idea setting; paired delta_mean=+19.73335 and permutation p=0.0081, so the idea was significantly worse. A trained-model displacement MSD slope of 1.976 fell within the predicted 1-to-2 interval, but this mechanism signature did not produce a task-metric win.
- Baseline
- Adam best configuration lr=0.006, wd=0.0001; 8-seed mean test MSE 5.42892998456955.
- Idea
- Loop-memory best configuration lr=0.006, c=0.08, tau=3.0, gamma=0.75, omega=0.35, lam=0.08, noise=0.002; 8-seed mean test MSE 25.162276029586792.
Benchmark result
Significantly WORSE than the tuned baseline (+363.5%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Tabular regression (Friedman)
- Model
- mlp_tiny
- Paired seeds
- 8
- Baseline mean
- 5.4289
- Idea mean
- 25.1623
- Effect (Δ)
- 19.7333 (+363.5%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±36.9%
- Mechanism
- Confirmed ✓
- Practical effect
- Hurts
- Baseline tuning
- swept over 6 configs
Only the registered tabular optimizer track was tested. The loop hyperparameters were hand selected rather than fitted from autocorrelation data, and the signature measured parameter-displacement MSD slope but not a full velocity-autocorrelation lobe or Hessian-based stability boundary.
How to run: python3 bench_run.py
Artifacts
- bench_report.json 4.0 KB View Raw
- bench_run.py 6.7 KB View Raw
- bench_stdout.json 4.0 KB View Raw
- experiment.py 7.8 KB View Raw
- report.md 1.6 KB View
- report_bench_2026-09-01T021306.md 4.2 KB View
- results.json 2.9 KB View Raw