Rank-One SRB Latent Dynamics
Implementation & benchmark of arXiv:2608.13021 — The Bosch and Simó conjecture on the Shilnikov-Hopf bifurcation
Source paper: The Bosch and Simó conjecture on the Shilnikov-Hopf bifurcation arXiv:2608.13021 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Replace an unconstrained recurrent latent transition with a map having one deliberately expanding angular coordinate and strongly contracting transverse coordinates. The construction should produce a bounded chaotic attractor with a reproducible stationary distribution while preventing uncontrolled expansion in the remaining hidden dimensions.
Formulas
Mathematical statement
Use latent state $z=(\theta,r,y)\in\mathbb{S}^{1}\times\mathbb{R}\times\mathbb{R}^{d-2}$, where $\theta$ is an angular coordinate, $r$ is radial, and $y$ contains transverse coordinates. The adapted rank-one map is $\theta_{t+1}=\theta_t+\Omega+K\sin(\theta_t)+u_t\pmod{2\pi}$, $r_{t+1}=\rho r_t+(1-\rho)g_r(\theta_t,x_t)$, and $y_{t+1}=By_t+(1-\|B\|)g_y(\theta_t,r_t,x_t)$. Here $x_t$ is an input, $K$ is angular gain, $\Omega$ is angular drift, $u_t$ is an optional learned input coupling, $0<\rho<1$ is radial contraction, $B$ is the transverse linear operator, and $g_r,g_y$ are bounded learned functions. The rank-one regime requires strong transverse contraction, $\|B\|<1$, and positive average angular Lyapunov exponent $\lambda_\theta=\mathbb{E}_{\mu}[\log|1+K\cos\theta|]>0$, where $\mu$ is the invariant distribution. A useful target is positive largest exponent with negative transverse exponents. Stable periodic windows occur when an $m$-periodic point $\theta^*$ satisfies $|(f^m)'(\theta^*)|<1$, where $f(\theta)=\theta+\Omega+K\sin\theta$.
Implementation notes
1. Integration point: implement this transition as the recurrent latent update in a world model, sequence autoencoder, or recurrent generator. Represent the angular state to the decoder as $(\cos\theta,\sin\theta)$, while retaining the scalar angle for derivative calculations. Use small spectrally normalized MLPs for $g_r$ and $g_y$. Parameterize $\rho=\operatorname{sigmoid}(a_\rho)$ and initially set $B=\tanh(a_B)I$, or project a learned $B$ after every update so that its spectral norm is below a chosen ceiling. 2. Pseudocode: initialize $(\theta,r,y)$; for each input $x_t$, calculate $\theta'=(\theta+\Omega+K\sin\theta+u_t)\bmod 2\pi$, $r'=\rho r+(1-\rho)g_r(\theta,x_t)$, and $y'=By+(1-\|B\|)g_y(\theta,r,x_t)$; decode $(\cos\theta',\sin\theta',r',y')$; add the task loss and optionally a weak penalty if the estimated angular exponent is outside a target interval. Estimate Lyapunov exponents by propagating Jacobian-vector products and applying QR reorthogonalization every few steps. 3. Computed directly from the mechanism: $\|B\|$, $\rho$, the angular derivative $1+K\cos\theta$, and finite-time exponent estimates. Estimated empirically: the invariant distribution, boundedness, mixing, and periodic windows. 4. First cheap experiment: compare this model with a GRU of equal parameter count on Lorenz-63 one-step prediction and 100-step rollout. Sweep $K\in[0,3]$ and $\rho\in\{0.8,0.9,0.98\}$, using the same optimizer and training budget. The quantitative prediction is a transition near the measured condition $\lambda_\theta=0$: above it, the largest exponent should become positive while transverse exponents remain negative; below it, trajectories should settle into periodic or quasiperiodic behavior. In periodic windows, $|(f^m)'(\theta^*)|<1$ should coincide with a negative largest exponent and a period-$m$ autocorrelation peak. Reject the mechanism if these transitions fail to align within approximately 20% with the exponent estimates or if latent norms are not bounded.
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.