✗ Failed on benchmark 2026

Bifurcation-Calibrated Stale-Gradient Controller

Implementation & benchmark of arXiv:2608.10581 — Hopf-like bifurcations induced by hysteresis and time-delay near monodromic tangential singularities

Usefulness7/10
Difficulty6/10
Novelty8/10

Source paper: Hopf-like bifurcations induced by hysteresis and time-delay near monodromic tangential singularities arXiv:2608.10581 ⓘ · analyzed Sep 1, 2026

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

Idea description

Represent training near a switching condition as two locally smooth optimizer modes, such as low- and high-momentum updates or two preconditioners, with a delayed gate. Estimate the leading return-map coefficient and use the paper's scaling law to cap the delay or hysteresis width before an attracting optimization oscillation becomes large. The controller can also intentionally permit a small predicted cycle near saddles or plateaus, then remove the delay as soon as the measured cycle amplitude exceeds its target.

Formulas

D_td(mu,y) = V_2n y^(2n) + delta kappa_td mu / y^(2|k_R-k_L|) + O(y^(2n+1)) + O(mu y^(1-2|k_R-k_L|)) + O(mu^2).
M = 2(n + |k_R-k_L|), and |y_star| approximately equals (|kappa_td| / |V_2n|)^(1/M) mu^(1/M) when V_2n < 0.
mu = nu^M, y = nu z, and D_scaled(nu,z) = z^(2|k_R-k_L|) D_td(nu^M, nu z) / nu^(2n), with D_scaled(0,z) = V_2n z^M + |kappa_td|.
mu_max = r^M |V_2n| / |kappa_td|.

Mathematical statement

Let X^L and X^R be continuous-time parameter-space vector fields generated by two optimizer modes, and let y be a signed scalar coordinate on a local switching section, for example y = u^T(theta - theta_star), with unit vector u. Let k_L and k_R be the orders of tangency of the two modes to that section, V_2n the first nonzero even Lyapunov coefficient of the zero-delay return map, n at least 1, and delta in {-1, 1} the orientation sign. For time delay mu greater than 0, the displacement map has leading form D_td(mu,y) = V_2n y^(2n) + delta kappa_td mu divided by y^(2|k_R-k_L|), plus higher-order terms. Define M = 2(n + |k_R-k_L|). When V_2n is negative, the delayed system has a locally attracting cycle with section amplitude approximately equal to (|kappa_td|/|V_2n|)^(1/M) mu^(1/M). The key engineering signatures are a sign change in the return-map displacement at the cycle and the measurable power law amplitude proportional to mu^(1/M).

Implementation notes

Integration point: train a small MLP or ResNet with an optimizer having two modes. Mode L can use Adam with momentum beta_L, while mode R uses a larger-step SGD update or a different diagonal preconditioner. Define a scalar gate s_t = u^T(theta_t - theta_ref), where u is a fixed random unit vector or the normalized recent parameter displacement and theta_ref is an exponential moving average of parameters. Apply the gate using a delayed value s_(t-d). Alternatively, use hysteresis: switch to mode R when s_t exceeds h and switch back to mode L only when s_t falls below -h. Set mu equal to d times the base learning rate for delay experiments, or use the normalized hysteresis width h as the perturbation parameter. Pseudocode: initialize a ring buffer of scalar sections; at step t read s_gate = buffer[t-d]; choose mode R if s_gate > 0 and mode L otherwise; compute the minibatch gradient g_t; apply theta_(t+1) = theta_t - eta P_mode g_t; append s_(t+1). Every K steps, collect local section-return pairs (y_i, y_next_i) and fit the displacement D_i = y_next_i - y_i to c1 y_i^(2n) + c2 mu / (abs(y_i)^(2q) + epsilon), where q = |k_R-k_L| and epsilon only prevents numerical overflow. Set V_hat = c1 and kappa_hat = abs(c2). Predict y_hat_star = (kappa_hat mu / abs(V_hat))^(1/(2(n+q))) when V_hat is negative. If y_hat_star exceeds a prescribed radius r, reduce delay d or hysteresis h; if exploration is desired, permit the cycle only while y_hat_star is below r and then anneal mu toward zero. Directly computed quantities are gradients, parameters, section coordinates, delay, and return pairs. V_2n, kappa_td, n, and effective tangency orders are estimated from short trajectories; n can be selected by comparing regressions for n = 1, 2, and 3. The first cheap experiment is a two-layer MLP on two-moons or MNIST, comparing Adam, switched updates with delays d in {1, 2, 4, 8, 16}, and the same switched updates with no delay. Measure return-map displacement, cycle radius, validation loss, and gradient norm. The falsifiable prediction is a log-log slope d log(abs(y_star)) divided by d log(mu) near 1/M, with measured amplitude within 20 percent of the fitted prediction. Increasing delay should produce a larger cycle according to this power law, and the displacement should change sign at y_star. The predicted safety boundary is mu_max = r^M abs(V_hat) / abs(kappa_hat); runs below this boundary should remain inside radius r, while runs above it should show either a larger cycle or instability.

Verification

Failed on benchmark

Stage 1 · Toy mechanism gate: Passed ✓

Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗

Stage 2 · Practical benchmark result: Inconclusive

Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works

Stage 1 — Mechanism check agent confidence 8/10

Built a reusable bifurcation-calibrated delayed two-mode controller with return-map coefficient fitting and analytical delay capping. The toy mechanism manifested strongly: amplitude scaled as mu^0.24998 versus predicted mu^0.25, kappa scaling was 0.25000 versus 0.25, sign changes were observed at every root, and the safety boundary separated inside/outside-radius cases exactly. In the MLP experiment, delay changed mode occupancy and modestly improved switched-update loss as delay increased, but Adam remained substantially better, so this is a mechanism-level win rather than an optimizer-performance win.

Agent confidence
8/10
Baseline
Adam on two-moons: validation loss 0.1162, accuracy 95.83%.
Idea
Switched delayed SGD: delay 0 validation loss 0.3047 and accuracy 88.06%; delay 16 validation loss 0.2845 and accuracy 88.89%, with R-mode fraction decreasing from 0.697 to 0.427. Toy predicted versus observed: mu slope 0.25 versus 0.24998; kappa slope 0.25 versus 0.25000; fitted V=-2.0, kappa=0.75, M=4, mu_max=0.0042667; the radius-boundary sweep was inside at 0.25x-1x and outside at 2x.

Limitations: The MLP experiment used full-batch two-moons training, one seed, a fixed section direction, and only 300 steps; it did not estimate return-map coefficients from genuine learned trajectories or test hysteresis, multiple seeds, minibatch noise, wall-clock speed, larger models, or generalization beyond two-moons.

How to run: python3 run_experiment.py && /home/maxwelhelp/main/bin/python3 verify_controller.py

Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.10581)

No significant difference vs. the tuned baseline (+790.7%, p=0.1486, wins 2 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0021
Idea mean
0.0186
Effect (Δ)
0.0165 (+790.7%; negative = idea better)
Wins
2 / 8 paired seeds
p-value
0.1486 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Not confirmed ✗
Practical effect
Inconclusive
Baseline tuning
swept over 3 configs
Limitations:

Only the registered dynamics track with rnn_small, 12 epochs, 400 training examples, 400 test examples, and delays {0,2,4} were tested. Online return-map coefficient fitting, adaptive safety capping, hysteresis, larger models, wall-clock speed, and other tracks were not tested.

How to run: python3 bench_experiment.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 registered dynamics/rnn_small benchmark used eight paired seeds and a tuned Adam baseline sweep. Adam at lr=0.006 achieved mean test MSE 0.0020863, while the selected delayed two-mode SGD controller at lr=0.006 and delay=4 achieved 0.0185836; paired delta was +0.0164973 with permutation p=0.1486, so the idea did not win. The trained-model signature was also not confirmed: observed delay-amplitude slope -0.0009415 versus predicted 0.25.

Baseline
Adam on registered dynamics/rnn_small; sweep lr={0.001,0.003,0.006}; best lr=0.006, mean MSE 0.0020863087.
Idea
Delayed two-mode SGD, lr=0.006, delay=4; mean MSE 0.0185835635, paired delta +0.0164972548, p=0.1486, 2/8 wins.

Benchmark result

No significant difference vs. the tuned baseline (+790.7%, p=0.1486, wins 2 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0021
Idea mean
0.0186
Effect (Δ)
0.0165 (+790.7%; negative = idea better)
Wins
2 / 8 paired seeds
p-value
0.1486 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Not confirmed ✗
Practical effect
Inconclusive
Baseline tuning
swept over 3 configs
Limitations:

Only the registered dynamics track with rnn_small, 12 epochs, 400 training examples, 400 test examples, and delays {0,2,4} were tested. Online return-map coefficient fitting, adaptive safety capping, hysteresis, larger models, wall-clock speed, and other tracks were not tested.

How to run: python3 bench_experiment.py

Artifacts

Implementation overview ⬇ Download all as ZIP 9 files · code, reports and structured results