Alignment-Section Floquet Training for Recurrent Dynamics
Implementation & benchmark of arXiv:2609.01585 — Families of relative periodic orbits in the planar three-body problem via consecutive alignments
Source paper: Families of relative periodic orbits in the planar three-body problem via consecutive alignments arXiv:2609.01585 ⓘ · analyzed Sep 2, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Train a recurrent neural network or state-space model using a Poincare-style event loss: identify two consecutive latent alignment events and require the latent position and velocity at the second event to equal a transformed version of the first. Evaluate the Jacobian of this return map and penalize unstable non-neutral Floquet multipliers, producing long-horizon trajectories that are both periodic or symmetry-periodic and locally stable.
Formulas
Mathematical statement
Let the learned continuous-time or discretized latent dynamics be $\dot z=f_\theta(z,u)$ or $z_{k+1}=F_\theta(z_k,u_k)$, with latent state $z\in\mathbb{R}^d$. Let $h(z)=0$ define an event section, such as an alignment condition, and let $\tau(z)$ be the first positive event time after leaving the section. The event return map is $P_\theta(z)=S_\alpha\Phi_\theta(\tau(z),z)$, where $\Phi_\theta$ is the model flow and $S_\alpha$ is a known or learned symmetry transformation parameterized by phase or rotation angle $\alpha$. A relative periodic orbit satisfies $P_\theta(z^*)=z^*$. Its local stability is determined by eigenvalues of $DP_\theta(z^*)$ restricted to the section; eigenvalues associated with time shift or continuous symmetry are neutral and should be projected out. The training mechanism is a return residual plus a spectral penalty on the remaining Floquet multipliers: $\rho_{\mathrm{nonneutral}}=\max_i|\lambda_i|<1$ predicts exponential decay of perturbations at successive events.
Implementation notes
1. Integration point: use a GRU, neural ODE, or diagonal state-space model whose latent state is $z_k$ and whose output is predicted from $z_k$. Add the return loss to the ordinary next-step prediction loss. For a discrete model, define an event by a scalar observable $h(z_k)$ changing sign; for a cheap first version use $h(z)=z_1-c$ and linearly interpolate the crossing time between adjacent steps. Let $z_1$ and $z_2$ be two consecutive crossings, estimate the event-to-event map by unrolling the network, and use either a fixed symmetry $S_\alpha$ or learn $\alpha$ as a scalar constrained to $[0,2\pi]$. 2. Pseudocode: initialize $z$; unroll until $h(z)$ crosses zero twice; save $z_1,z_2$; compute $r=S_\alpha z_2-z_1$; add $\|r\|^2$ to the prediction loss; periodically compute Jacobian-vector products of the event map with autodiff; estimate its leading eigenvalues with 5--10 power or Arnoldi iterations; exclude the known phase direction and penalize $\max(0,|\lambda|-1+\varepsilon)^2$. Backpropagate through the unroll for the return residual and update parameters. 3. Computed versus estimated: the paper supplies the event matching and rotated-monodromy mechanism; the neural Jacobian, event time, and Floquet multipliers are estimated numerically from autodiff and finite event interpolation. 4. First experiment: train a 2-layer GRU on noisy trajectories generated by a planar harmonic oscillator or a two-dimensional rotating limit-cycle system, comparing ordinary teacher forcing against prediction loss plus the return and Floquet terms. Sweep the return-loss coefficient and latent spectral radius. The quantitative prediction is that free-running error after $n$ events scales approximately as $\rho_{\mathrm{nonneutral}}^n$; models with measured $\rho_{\mathrm{nonneutral}}<1$ should show geometric error decay, while long-horizon divergence should begin near the empirical boundary $\rho_{\mathrm{nonneutral}}=1$ within roughly 20%.
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.