CFL-Optimized Palindromic Residual Block
Implementation & benchmark of arXiv:2608.22315 — Sharp CFL stability and temporal-dispersion optimization of symmetric splitting schemes for time-domain Maxwell equations
Source paper: Sharp CFL stability and temporal-dispersion optimization of symmetric splitting schemes for time-domain Maxwell equations arXiv:2608.22315 ⓘ · analyzed Aug 29, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace an explicit Euler residual update for a skew-coupled hidden state with a five-stage palindromic composition of exact shear maps. Use a=1/4, the unique real coefficient maximizing the analyzed spectral CFL interval, and adapt the step size from an estimate of the learned coupling operator's spectral norm.
Formulas
Mathematical statement
The paper scales Maxwell evolution to the skew block operator \(\mathcal A=\nu\begin{bmatrix}0&-\nabla\times\\\nabla\times&0\end{bmatrix}\), which preserves the energy \(\|h\|^2+\|e\|^2\). Split it as \(\mathcal A=A_H+A_E\), with \(A_H=\nu\begin{bmatrix}0&-C\\0&0\end{bmatrix}\) and \(A_E=\nu\begin{bmatrix}0&0\\C&0\end{bmatrix}\), where C is the discrete curl. Since \(A_H^2=A_E^2=0\), their exponentials are exact shears. The palindromic family is \(S_a(\Delta t)=e^{a\Delta t A_H}e^{(\Delta t/2)A_E}e^{(1-2a)\Delta t A_H}e^{(\Delta t/2)A_E}e^{a\Delta t A_H}\), with \(g_2=a(1-2a)/2\). The paper proves that real \(a=1/4\) uniquely maximizes the spectral CFL threshold \(s_*=12/(7\sqrt d)\), where d is the spatial dimension. Transfer this by replacing \(\nu C\) with a learned coupling W and conservatively enforcing \(\Delta t\|W\|_2\leq12/(7\sqrt d)\).
Implementation notes
Integrate this at the state-transition operation of a Hamiltonian RNN, linear or nonlinear SSM, or antisymmetric residual network. Represent the hidden state as two equal-width tensors h and e, and parameterize the coupling as W=R-R^T for a dense layer, or as a convolution paired with its adjoint. Do not materialize matrix exponentials: each exponential is a shear and requires one application of W. Set a=0.25 and execute the six assignments in the final formula. For nonlinear models, initially evaluate W at the current stage state only after validating the exactly linear version, so the stability mechanism is isolated. Estimate the operator norm every K optimizer steps with 3 to 5 power iterations: initialize a unit vector v, repeatedly compute v <- W^T W v / ||W^T W v||, and set L_hat=||Wv||. Use delta_t=min(delta_t_max, eta*12/(7*sqrt(d)*L_hat+epsilon)) with eta between 0.5 and 0.9. This is a conservative neural transfer of the paper's CFL bound, not a theorem for arbitrary W. First test a two-dimensional linear oscillatory sequence task with W=R-R^T, comparing Euler, standard leapfrog, and the palindromic block at equal W-application counts. Then test sequential MNIST or copy-memory with a small SSM. Record maximum stable step size, hidden-state norm drift over 10000 unforced steps, gradient norms, training loss versus operator calls, and long-horizon validation error. Success means a larger stable step and lower long-horizon error at equal compute; failure is no gain after accounting for the five W applications.
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 the five-shear palindromic block and verified nilpotent shears, reversibility, and approximately third-order one-step error with slope 3.00. However, with W=R-R^T and identical W in both off-diagonal equations, the full generator is symmetric rather than skew and is unstable. A corrected energy-preserving test showed lower equal-application error and norm drift than leapfrog, but this does not validate the stated transfer or establish a neural-network win.
- Agent confidence
- 9/10
- Baseline
- Leapfrog: relative error 1.6303e-4; 10,000-step norm drift 1.1040e-2; normalized spectral threshold at least 2.0.
- Idea
- Palindromic a=0.25: relative error 1.1321e-4; 10,000-step norm drift 6.5707e-4; normalized spectral threshold at least 4.0 in the corrected test, while the literal skew-W formulation diverged.
Limitations: Only small linear dense operators were tested. No learned RNN/SSM, nonlinear stages, adaptive power-iteration sizing, CUDA benchmark, sequential task, gradient measurement, or neural training experiment was evaluated.
How to run: python3 experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- experiment.py 4.5 KB View Raw
- report.md 1.3 KB View
- results.json 1.5 KB View Raw