Schur-Stable Second-Order Optimizer
Implementation & benchmark of arXiv:2607.24696 — Long-time Stability and Convergence of Particle Swarm Optimization
Source paper: Long-time Stability and Convergence of Particle Swarm Optimization arXiv:2607.24696 ⓘ · analyzed Aug 31, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace ordinary momentum SGD with a two-state position/velocity update whose damping and gradient coupling are explicitly constrained by the discrete Schur-stability region identified for the paper's linearized PSO dynamics. Estimate a conservative local maximum curvature and choose the effective gradient step so that the largest Hessian mode remains inside the stability triangle, allowing more aggressive steps without the loss spikes commonly caused by momentum overshoot.
Formulas
Mathematical statement
The paper studies a discrete linearized second-order system with damping parameter \(\gamma\), attraction or curvature parameter \(\lambda\), and time step \(\Delta t\). For the algorithmically relevant unit step, Proposition 1 gives the Schur-stable region \(0<\gamma<2\) and \(0<\lambda<4-2\gamma\); Schur stability means every eigenvalue of the transition matrix has modulus strictly below one. We transfer this by interpreting \(\lambda=\eta h\), where \(\eta\) is the optimizer learning rate and \(h\) is a Hessian eigenvalue. The adapted optimizer uses \(v_{k+1}=(1-\gamma)v_k-\eta g_k\) and \(\theta_{k+1}=\theta_k+v_{k+1}\), so on a quadratic direction with curvature \(h\), the state \((\theta_k-\theta^*,v_k)\) follows the paper's damped second-order map with \(\lambda=\eta h\). If \(h_{\max}\) is an upper estimate of the relevant Hessian spectrum, selecting \(\eta h_{\max}<4-2\gamma\) is a conservative stability rule. The paper's mean-field result also motivates monitoring a population error functional: \(\mathrm{Err}(\overline{X}_n,\overline{V}_n)\leq\max\{(1-\mu/2)^n\mathrm{Err}(\overline{X}_0,\overline{V}_0),\varepsilon\}\), where \(\mu>0\) is a contraction parameter and \(\varepsilon\) is the noise-floor tolerance. This bound is not assumed to hold for neural loss landscapes, but it supplies the target behavior of geometric decay until a stochastic-error floor.
Implementation notes
Integrate this at the optimizer-update level, maintaining one velocity tensor \(v\) for every trainable parameter tensor \(\theta\). Use \(\Delta t=1\), compute the minibatch gradient \(g\), and update with the paper-inspired semi-implicit ordering: first update velocity, then parameters. A concrete implementation is: (1) initialize \(v=0\), choose damping \(\gamma\in[0.2,1.5]\), and set a safety factor \(s\in[0.5,0.9]\); (2) every \(K\) optimizer steps, estimate a global curvature proxy \(h_{\max}\) using one or two Hessian-vector products with a random vector, \(h_{\max}\approx\|Hq\|/\|q\|\), optionally taking an exponential moving maximum across layers; (3) set \(\eta=s(4-2\gamma)/(h_{\max}+\delta)\), clipped to a user-specified upper bound, so the estimated largest mode satisfies the Schur condition; (4) compute \(v\leftarrow(1-\gamma)v-\eta g\), then \(\theta\leftarrow\theta+v\); and (5) optionally apply decoupled weight decay after the state update. For noisy minibatch training, estimate the error floor empirically from a moving average of loss variance and stop increasing \(\eta\) when the loss reaches a stable plateau. The stability region and geometric-decay expression come from the paper; the Hessian estimate, safety factor, and layerwise aggregation are engineering choices. First test on a 6-layer transformer or 3-layer MLP on CIFAR-10, comparing this optimizer with momentum SGD at matched wall-clock and AdamW at matched parameter-update count. Measure training loss per FLOP, gradient-norm explosions, learning-rate oscillations, and final validation accuracy. A useful success signal is stable training at an effective step size at least 1.5 times the momentum-SGD baseline, with faster loss reduction at equal FLOPs and no increase in validation loss.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.