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
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
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
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
- REPORT.md 2.9 KB View
- hill_floquet_experiment.py 6.4 KB View Raw
- report.md 1.4 KB View
- results.json 1.8 KB View Raw