✗ Mechanism failed 2026

Hill-Floquet Regularization for Periodic RNNs

Implementation & benchmark of arXiv:2607.17339 — Koopman-based stability analysis of differential-algebraic equations with applications to frictional multibody systems

Usefulness7/10
Difficulty6/10
Novelty8/10

Source paper: Koopman-based stability analysis of differential-algebraic equations with applications to frictional multibody systems arXiv:2607.17339 ⓘ · analyzed Aug 30, 2026

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

Idea description

Train a recurrent or state-space network together with a periodic hidden-state trajectory, then use the Fourier-domain Hill operator of its linearized dynamics to penalize positive Floquet growth rates. The method can retain algebraic hidden-state constraints, avoiding the inaccurate practice of treating a singular descriptor matrix as invertible.

Formulas

$$A\dot{\delta x}(t)=J(t)\delta x(t),\qquad J(t)=\sum_{k=-\infty}^{\infty}J_k e^{ik\omega t},\qquad \omega=\frac{2\pi}{T}.$$
$$\left[H_N(\mu)\right]_{n\ell}=J_{n-\ell}-(\mu+i\ell\omega)A\,\delta_{n\ell},\qquad n,\ell\in\{-N,\ldots,N\},$$
$$\mathcal{L}_{\mathrm{Hill}}=\operatorname{softplus}\!\left(\max_j\operatorname{Re}\mu_j+\varepsilon\right)^2,\qquad \rho_F=\exp\!\left(T\max_j\operatorname{Re}\mu_j\right).$$

Mathematical statement

Let the hidden dynamics near a period-T orbit be the descriptor system A dot(delta x)(t) = J(t) delta x(t), where x(t) is the hidden state, A is a constant possibly singular descriptor matrix, and J(t) is the Jacobian along the periodic orbit. Write J(t) = sum_k J_k exp(i k omega t), with omega = 2 pi/T. For the perturbation delta x(t) = exp(mu t) sum_n p_n exp(i n omega t), the truncated generalized Hill problem is H_N(mu)p = 0, where p stacks Fourier coefficients, mu is a Floquet exponent, and the block entry is [H_N(mu)]_{n ell} = J_{n-ell} - (mu + i ell omega) A delta_{n ell}. Differential, constraint-consistent stability requires the largest real Floquet exponent to be negative; neutral phase modes may have zero real part. For singular A, algebraic modes must be removed with a consistency projector or Drazin inverse A^D rather than A^{-1}.

Implementation notes

Use this after each optimizer step, or every 100 steps, for an RNN or SSM trained on a periodically repeated sequence with period T. First obtain a periodic hidden trajectory x_*(t_m) by unrolling one period and requiring x_*(T) to approximately equal x_*(0), or by applying a short shooting correction. If the architecture has constrained states, express it as A dot(x) = f(t,x) with a singular diagonal mask A; for an unconstrained model use A = I. Sample M at least 4N+1 time points, compute J_m = partial f(t_m,x_*(t_m))/partial x with autodiff or Jacobian-vector products, and FFT every Jacobian entry to estimate J_k. Assemble H_N(mu), solve the truncated generalized eigenvalue problem, and obtain the dominant Floquet exponents. For singular A, discard eigenvectors with large algebraic-constraint residuals and use the Drazin-inverse or consistency projector when constructing tangent evolution. Add beta times L_Hill to the task loss; if eigenvalues are poorly separated, stop-gradient through the monitor and use it to reduce the learning rate. The paper supplies the Hill construction and stability criterion; the orbit, Fourier coefficients, Jacobians, and truncation error are estimated numerically. First experiment: compare a 32-unit tanh GRU and diagonal SSM on periodically forced sine prediction, with T = 2 pi, M = 128, N = 8, Adam baseline, and Adam plus the penalty. Independently propagate tangent vectors for one period to estimate the monodromy multiplier. The prediction is decay for rho_F < 1 and divergence for rho_F > 1, with the measured boundary within 20% of the Hill prediction and less than 10% change in the dominant exponent when N is increased from 4 to 8.

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 a self-contained Fourier Hill-matrix MVP with independent monodromy integration and a toy regularization comparison. The exact offset-scaling prediction passed with slope 1.0, and true Floquet modes had Hill residuals below 6e-8, but the raw truncated Hill maximum produced a persistent spurious positive exponent and shifted the stability boundary by about 0.00816. Therefore the proposed practical largest-real-eigenvalue penalty was not reliable in this test and is not counted as a win.

Agent confidence
9/10
Baseline
At gamma=0.2: raw Hill mu_max=0.205914, rho=3.647; task-only baseline remains at the unstable target.
Idea
Penalty optimization moved gamma to 0.062724, raw Hill mu_max=0.068638, rho=1.539, but true stability was not established; exact boundary gamma=0.002251 versus raw Hill boundary gamma=-0.005914.

Limitations: This is a 2D smooth linear toy rather than a trained GRU/SSM on sine prediction. Singular descriptor matrices, autodiff Jacobians, periodic-orbit shooting, GPU execution, and robust physical-mode continuation or structure-preserving Hill discretization were not tested.

How to run: python3 hill_floquet_experiment.py

Verdict computed by deterministic test code from paired-seed statistics — not by the language model.

Artifacts

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