✗ Mechanism failed 2026

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

Usefulness7/10
Difficulty5/10
Novelty6/10

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

$$\mathcal A=\nu\begin{bmatrix}0&-\nabla\times\\\nabla\times&0\end{bmatrix},\qquad \frac{d}{dt}\begin{bmatrix}h\\e\end{bmatrix}=\mathcal A\begin{bmatrix}h\\e\end{bmatrix}.$$
$$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},\qquad g_2=\frac{a(1-2a)}{2}.$$
$$a=\frac14,\qquad g_2=\frac1{16},\qquad s_* = \frac{12}{7\sqrt d}.$$
$$h_1=h-a\Delta t\,We,\quad e_1=e+\frac{\Delta t}{2}Wh_1,\quad h_2=h_1-(1-2a)\Delta t\,We_1,\quad e_2=e_1+\frac{\Delta t}{2}Wh_2,\quad h_+=h_2-a\Delta t\,We_2,\quad e_+=e_2.$$

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

Mechanism failed

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

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