Energy-Gradient Neural Flow
Implementation & benchmark of arXiv:2608.21681 — An Elegant Analytical Resolution of the Sprott-Zeraoulia Conjecture for Three-Dimensional Quadratic Differential Systems with Symmetric Jacobian Matrices
Source paper: An Elegant Analytical Resolution of the Sprott-Zeraoulia Conjecture for Three-Dimensional Quadratic Differential Systems with Symmetric Jacobian Matrices arXiv:2608.21681 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace an unconstrained neural ODE or recurrent update field with the negative gradient of a learned scalar energy \(E_\theta(z,t)\). The resulting hidden-state dynamics have an exact Lyapunov certificate: energy decreases continuously, bounded trajectories cannot exhibit nonstationary recurrence, and the Łojasiewicz mechanism predicts convergence to a single equilibrium rather than persistent oscillation or chaos.
Formulas
Mathematical statement
Let \(z(t)\in\mathbb{R}^d\) be the hidden state and let \(E_\theta:\mathbb{R}^d\to\mathbb{R}\) be a continuously differentiable scalar neural energy. Define \(\dot z=-\nabla_zE_\theta(z)\). Its Jacobian is \(Df(z)=-\nabla_z^2E_\theta(z)\), hence symmetric, transferring the paper's symmetric-Jacobian-to-gradient mechanism. Along every solution, \(dE_\theta(z(t))/dt=-\|\nabla E_\theta(z(t))\|_2^2\leq0\). If the trajectory remains in a compact sublevel set and the energy satisfies the Łojasiewicz inequality near an equilibrium \(z_*\), \(|E(z)-E(z_*)|^{1-\alpha}\leq C\|\nabla E(z)\|\), with \(C>0\) and \(\alpha\in(0,1/2]\), then the trajectory has finite length and converges to one equilibrium. For explicit Euler, if \(\nabla E\) is locally \(L\)-Lipschitz, then \(E(z_{k+1})\leq E(z_k)-\eta(1-\eta L/2)\|\nabla E(z_k)\|^2\), giving the sufficient descent boundary \(0<\eta<2/L\).
Implementation notes
Use this as a replacement for the vector field in a neural ODE, continuous-depth residual block, recurrent state-space model, or iterative refinement module. Let an MLP receive the current state \(z\) and optional fixed conditioning vector \(c\), but output a scalar energy \(E_\theta(z,c)\); compute the vector field by automatic differentiation with respect to \(z\), rather than predicting its coordinates independently. Add a coercive term \(\mu\|z\|^2/2\), with \(\mu\geq0\), or apply bounded-state normalization to encourage compact sublevel sets. The update is: E = energy(z,c); g = grad(E,z); Lhat = power_iteration_hessian_norm(E,z); eta = gamma*2/(Lhat+eps); z_next = z - eta*g; use \(\gamma\in[0.2,0.8]\). During training, log \(E_k\), \(\|g_k\|\), state norm, and cumulative path length; optionally add relu(E_next-E)^2 as a numerical-descent penalty. The paper supplies the gradient structure, exact continuous-time dissipation, and convergence implication; estimate the local Lipschitz constant \(L\), boundedness, and the Łojasiewicz exponent empirically. First test on MNIST denoising or CIFAR-10 fixed-point refinement against an unconstrained residual MLP with matched parameters and depth. Sweep \(\eta\). The quantitative prediction is a practical instability or monotonicity boundary near \(\eta_c=2/L\): below it energy decreases, while above it energy increases or trajectories diverge. Stable trajectories should have finite cumulative path length, vanishing gradient norm, and no sustained energy oscillation.
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 9/10
Built an energy-gradient flow and verified the mechanism on a quadratic energy. The observed Euler transition occurred at gamma=1.00 (eta*L=2): energy was monotone for gamma<=1, increased above 1, and strongly diverged for gamma>=1.2; measured contraction factors exactly matched |1-eta*lambda|, and the normalized descent coefficient was invariant across lambda_max. In the small denoising experiment, the idea preserved monotonic energy and reduced gradient norm, but its 12-step MSE (0.4641) was worse than the residual baseline (0.4081), so the stability mechanism worked without an accuracy win.
- Agent confidence
- 9/10
- Baseline
- 12-step denoising MSE 0.4081426; 4-step training loss 0.2311514
- Idea
- 12-step denoising MSE 0.4640646; 4-step training loss 0.2209387; energy nonincreasing fraction 1.0; gradient norm 1.1651 -> 0.4993; cumulative path length 2.3558; Euler boundary observed gamma=1.00, predicted gamma=1.00; contraction prediction matched exactly
Limitations: The learned-flow comparison used a tiny synthetic fixed-point denoising task rather than MNIST/CIFAR, only one seed, and a fixed step size rather than a full eta/Lhat sweep for the learned neural energy. Łojasiewicz convergence, compact sublevel-set assumptions, wall-clock speed, and large-scale accuracy were not tested.
How to run: python3 experiment.py
Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.21681)
Significantly WORSE than the tuned baseline (+329.5%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0002
- Idea mean
- 0.0007
- Effect (Δ)
- 0.0005 (+329.5%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±28.2%
- Mechanism
- Confirmed ✓
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the built-in dynamics rollout task was tested. The local Hessian Lipschitz constant and empirical Euler instability boundary were not estimated; the mechanism signature evaluated one trained idea model on a 64-example test subset. Wall-clock speed, longer horizons, alternative energy parameterizations, and larger models were not tested.
How to run: python3 energy_gradient_bench.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 Energy-Gradient Neural Flow on the structurally matched dynamics track with 8 paired seeds, a shared learning-rate union, and equal 18-epoch budgets. The trained energy-gradient model showed monotone energy on the evaluated rollout (fraction 1.0) and reduced gradient norm, confirming the qualitative mechanism, but its test MSE was significantly worse than the matched unconstrained recurrent vector-field baseline. Therefore the stability effect is real in this benchmark, but there is no task-performance win.
- Baseline
- Matched VectorCell baseline: test MSE mean 0.0001647120, std 0.0000448917; best lr 0.002; 8 seeds.
- Idea
- Energy-gradient recurrent model: test MSE mean 0.0007074636, std 0.0000586212; best lr 0.003; 8 seeds; energy nonincreasing fraction 1.0; energy mean -2.29325 -> -3.06860; gradient norm 1.05077 -> 0.85472.
- Paired comparison
- Idea minus baseline MSE delta +0.0005427515; 0/8 idea wins; permutation p=0.0081; verdict idea worse (significant).
Benchmark result
Significantly WORSE than the tuned baseline (+329.5%, p=0.0081, wins 0 / 8 paired seeds).
- Benchmark
- Dynamics forecasting
- Model
- rnn_small
- Paired seeds
- 8
- Baseline mean
- 0.0002
- Idea mean
- 0.0007
- Effect (Δ)
- 0.0005 (+329.5%; negative = idea better)
- Wins
- 0 / 8 paired seeds
- p-value
- 0.0081 (permutation test, 20 000 shuffles)
- Smallest detectable effect
- ±28.2%
- Mechanism
- Confirmed ✓
- Practical effect
- Hurts
- Baseline tuning
- swept over 3 configs
Only the built-in dynamics rollout task was tested. The local Hessian Lipschitz constant and empirical Euler instability boundary were not estimated; the mechanism signature evaluated one trained idea model on a 64-example test subset. Wall-clock speed, longer horizons, alternative energy parameterizations, and larger models were not tested.
How to run: python3 energy_gradient_bench.py
Artifacts
- bench_report.json 3.0 KB View Raw
- energy_gradient_bench.py 6.6 KB View Raw
- experiment.py 5.9 KB View Raw
- report.md 1.5 KB View
- report_bench_2026-09-01T191432.md 4.7 KB View
- results.json 4.3 KB View Raw