Möbius-compressed circular latent states
Implementation & benchmark of arXiv:2608.24453 — Unstable Manifolds for the Kuramoto Model: Convergence to the Ott-Antonsen Manifold
Source paper: Unstable Manifolds for the Kuramoto Model: Convergence to the Ott-Antonsen Manifold arXiv:2608.24453 ⓘ · analyzed Aug 29, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent a population of N circular latent states using a three-parameter Möbius transformation applied to fixed uniform reference phases, rather than learning N unrelated angles. The resulting states remain on the circle by construction and can model concentrated or nearly uniform phase populations through a single concentration parameter.
Formulas
Mathematical statement
The paper uses the Kuramoto phase dynamics \(\dot{\theta}_i=\omega_i+\frac{K}{N}\sum_{j=1}^N a_{ij}\sin(\theta_j-\theta_i)\), where \(\theta_i\in\mathbb S^1\) is oscillator phase, \(\omega_i\) its intrinsic frequency, \(K>0\) the coupling, and \(a_{ij}\) adjacency weights. Its explicit phase ansatz is \(\phi(\alpha,\beta,A,\xi)=2\arctan\!\left(\frac{1-\beta}{1+\beta}\tan(\pi\xi+A)\right)-\alpha+2\pi k\), where \(\alpha\in[-\pi,\pi]\) is a global rotation, \(\beta\in[0,1)\) controls concentration, \(A\in\mathbb R\) is a phase offset, \(\xi\in[0,1]\) is a reference coordinate, and the integer \(k\) selects the branch so that \(\pi\xi+A\in[\pi(k-1/2),\pi(k+1/2)]\). This circle-preserving Möbius action determines all N output phases from only \((\alpha,\beta,A)\), while varying \(\beta\) moves between dispersed and concentrated configurations. The transferable property is exact low-dimensional parameterization with an intrinsic circular constraint.
Implementation notes
Integrate this at a circular embedding or latent-state layer that currently stores a tensor of N trainable angles per example, token group, graph node set, or attention head. Fix reference coordinates \(\xi_i=i/N\). Store only three unconstrained parameters per population: \(u_\alpha\), \(u_\beta\), and \(u_A\), with \(\alpha=\pi\tanh(u_\alpha)\), \(\beta=(1-\epsilon)\sigma(u_\beta)\), and \(A=\pi\tanh(u_A)\). At each forward pass compute \(z_i=\pi\xi_i+A\) and generate \(\theta_i=\phi(\alpha,\beta,A,\xi_i)\). For numerical stability, do not directly evaluate a discontinuous \(\arctan(\tan z_i)\) implementation; instead use a wrapped angle or an equivalent complex-number circle map and represent the output as \([\cos\theta_i,\sin\theta_i]\). These features can be concatenated to node embeddings or used as attention biases \(b_{ij}=\tau\cos(\theta_i-\theta_j)\). Pseudocode: initialize \(u\); convert to \(\alpha,\beta,A\); generate all \(\theta_i\); form circular features or pairwise biases; run the ordinary network; backpropagate through the analytic map. The paper supplies the parameterization and constraint; estimate \(\lambda\), \(\tau\), and initialization empirically. First test a small graph neural network or synthetic circular-mixture classifier with N=64 phases. Compare against N independent learned angles and a Fourier positional embedding. Record parameter count, accuracy, loss curves, gradient norms, and discontinuity or NaN events. Success is at least 10x fewer phase parameters with no more than 1% absolute accuracy loss, or improved training stability at comparable accuracy.
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.