Fourier-Collocation Loss for Quasiperiodic Latent States
Implementation & benchmark of arXiv:2607.03498 — Numerical Computation of Quasiperiodic Reducible Saddle-Node Bifurcations: a Parameterization Method Approach
Source paper: Numerical Computation of Quasiperiodic Reducible Saddle-Node Bifurcations: a Parameterization Method Approach arXiv:2607.03498 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace long unrolled trajectory losses with a direct invariance loss on a Fourier parameterization of a quasiperiodic latent torus. The network is trained to make its vector field tangent to the learned torus at every phase, providing a compact global constraint that can stabilize neural ODEs intended to model oscillatory or quasiperiodic dynamics.
Formulas
Mathematical statement
Let \(f_\phi:\mathbb{R}^n\to\mathbb{R}^n\) be a neural vector field and let \(K_\alpha(\theta)\) be a Fourier-parameterized embedding with coefficients \(\alpha\), mapping the phase torus \(\mathbb T^d\) into latent state space. Prescribed internal dynamics are the rigid rotation \(\dot\theta=\omega\), so exact invariance requires \(f_\phi(K_\alpha(\theta))=DK_\alpha(\theta)\omega\). The residual \(R_{\phi,\alpha}(\theta)\) can be minimized jointly with data loss. If a normal frame \(N(\theta)\in\mathbb R^{n\times(n-d)}\) and normal rate matrix \(\Lambda(\theta)\) are included, normal reducibility is enforced by \(D_xf_\phi(K)N-DN\omega-N\Lambda\approx0\), which makes transverse growth rates explicit. In Fourier coordinates, differentiation along the torus is diagonal: \(\widehat{DK\omega}_k=i(k\cdot\omega)\hat K_k\). Fixing a Diophantine irrational \(\omega\) avoids exact resonances, while truncation to finite \(\mathcal K\) makes the loss computationally finite.
Implementation notes
Attach the method to a latent neural ODE used for sequence prediction. The exact integration point is the vector-field evaluation: in every training step, generate a fixed phase grid \(\Theta=\{\theta_\ell\}_{\ell=1}^{L^d}\), evaluate the Fourier embedding \(K_\alpha(\theta_\ell)\) and its analytic directional derivative, then evaluate the neural field on those latent states. Use FFTs when \(L^d\) is large; for a first MVP, explicitly construct the Fourier basis. Pseudocode: initialize Fourier coefficients \(\alpha\) and neural weights \(\phi\); for each minibatch compute the ordinary trajectory loss \(\mathcal L_{data}\); compute \(X=K_\alpha(\Theta)\); compute \(V=f_\phi(X)\); compute \(T=DK_\alpha(\Theta)\omega\) using coefficient multiplication by \(i(k\cdot\omega)\); set \(L_T=\mathrm{mean}\|V-T\|^2\); backpropagate \(L_{data}+\lambda_TL_T+\lambda_A\|\alpha\|^2\); periodically increase \(M\) from 2 to 8. The paper's mathematical contribution is the invariant-torus residual and normal-frame equation; autodiff estimates all neural Jacobians, while Fourier derivatives are exact. To prevent trivial constant embeddings, add a gauge loss enforcing phase variance and approximate orthogonality of \(\partial_{\theta_j}K\). First test on a synthetic two-frequency oscillator with noisy short trajectories, comparing a standard neural ODE against the same model with the torus loss. Evaluate long-horizon phase drift, one-step error, Lyapunov/transverse stability, and training samples required. Success means substantially lower long-horizon drift and stable oscillations after trajectory lengths much shorter than one full quasiperiodic beat period, without increasing inference cost.
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 Fourier-torus MVP with analytic Fourier directional derivatives, fixed-grid collocation loss, gauge regularization, and a matched neural-field experiment. The derivative check passed with finite-difference maximum error 2.35e-4, but the proposed loss worsened long-horizon behavior: RMSE increased from 0.732 to 3.747, final error from 1.67 to 13.04, and maximum radius deviation from 0.592 to 12.24. The claimed stabilization and accuracy effect was therefore not observed in this toy test despite a low collocation residual.
- Agent confidence
- 9/10
- Baseline
- 3-seed mean: long_horizon_RMSE=0.7316, final_error=1.6726, max_radius_deviation=0.5921, one_step_field_RMSE=0.00617
- Idea
- 3-seed mean: long_horizon_RMSE=3.7468, final_error=13.0367, max_radius_deviation=12.2442, one_step_field_RMSE=0.00909, collocation_RMSE=0.00975
Limitations: Only a small synthetic two-frequency oscillator was tested, using a fixed exact Fourier embedding initialized near the true torus, short noisy vector-field supervision, one collocation weight, and 1400 optimization steps. The normal-frame reducibility term, FFT implementation, curriculum over Fourier modes, latent encoder, trajectory data loss, and broader hyperparameter searches were not tested.
How to run: python3 experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- experiment.py 5.5 KB View Raw
- report.md 1.5 KB View
- results.json 1.9 KB View Raw