Nested-Cone Latent Dynamics
Implementation & benchmark of arXiv:2607.14668 — Stability for boundary actions of cocompact lattices in Euclidean buildings
Source paper: Stability for boundary actions of cocompact lattices in Euclidean buildings arXiv:2607.14668 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Augment an RNN or state-space model with a region-valued latent state, such as an ellipsoid or polytope, rather than propagating only a point estimate. Train every transition to map the successor region inside the predecessor-compatible region with a positive margin; this creates a neural version of the paper’s nested coder and makes long-horizon predictions robust to small parameter and input perturbations. A point prediction is decoded from the intersection of the propagated regions, while the region radius provides a calibrated uncertainty or stability monitor.
Formulas
Mathematical statement
The paper uses a coder graph whose edge labeled by \(\rho(\alpha)\) satisfies \(\overline{\rho(\alpha)W(z_2)}\subset W(z_1)\), where \(W(z_i)\) is the region associated with vertex \(z_i)\). For an infinite path with labels \(\alpha_1,\alpha_2,\ldots\), the sets \(S_n=\rho(\alpha_1\cdots\alpha_n)\overline{W(z_n)}\) are nested, so compactness gives \(\bigcap_{n\geq1}S_n\neq\varnothing\); strict contraction can make this intersection a singleton. Adapt this to latent regions \(E_t\subset\mathbb{R}^d\), transition maps \(F_\theta(\cdot,u_t)\), and target-compatible regions \(W_\theta(h_t,u_t)\). Require \(F_\theta(E_{t+1},u_t)\subseteq E_t\) with margin \(m_t>0\). If the induced Hausdorff contraction factor is at most \(\rho<1\), perturbations of size \(\varepsilon\) accumulate as \(O(\varepsilon/(1-\rho))\), while loss of positive margin predicts a stability boundary.
Implementation notes
Integrate this into a small latent state-space model or GRU. Represent each hidden state by an ellipsoid \(E_t=\{c_t+P_tv:\|v\|_2\leq1\}\), where \(c_t\) is the center and \(P_t\) is a diagonal positive radius matrix. The network receives \((c_t,P_t,u_t)\) and proposes the next center and radius. For each training sequence, sample boundary points \(x_i=c_{t+1}+P_{t+1}v_i\), propagate them through the transition \(F_\theta(x_i,u_t)\), and penalize predecessor-inclusion violations with \(\max(0,\|F_\theta(x_i,u_t)-c_t\|_{P_t^{-1}}-1+m)\), where \(m>0\) is a chosen margin and \(\|x\|_{P^{-1}}=\|P^{-1}x\|_2\). Add a contraction penalty \(\max(0,\|P_{t+1}\|_2/\|P_t\|_2-\rho)\), targeting \(\rho<1\). The training loop is: encode \(E_0\); propose \(E_{t+1}\); sample ellipsoid boundary points; propagate them; compute inclusion and contraction penalties; decode the center; backpropagate. The paper supplies the nested-set mechanism; empirical estimation supplies \(\rho\), inclusion margins, and local Lipschitz constants. The first cheap experiment should use a 2D nonlinear pendulum or Lorenz forecasting task with a GRU baseline, comparing one-step and 100-step rollouts under Gaussian input noise and random weight perturbations. Estimate \(r_t=\operatorname{diam}(E_{t+1})/\operatorname{diam}(E_t)\). The prediction is \(\operatorname{diam}(E_t)\approx\rho^t\operatorname{diam}(E_0)\) when the inclusion margin is positive, with a sharp increase in rollout error when the measured contraction ratio crosses \(r=1\) or when \(\min_t m_t\leq0\). Test whether perturbation error agrees within 20 percent with \((L_u\varepsilon_u+L_\theta\varepsilon_\theta)/(1-r)\).
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 region-valued latent-dynamics MVP with diagonal-radius ellipsoids, sampled boundary inclusion loss, contraction regularization, analytic nested-set checks, and a nonlinear forecasting comparison. The toy math confirmed the predicted radius ratios, perturbation limit eta/(1-rho), and the stability boundary at gain 1. However, the learned region model had negative validation inclusion margin (-0.625), worse one-step RMSE (0.332 vs 0.051), and worse noisy rollout RMSE (0.797 vs 0.038), so the practical mechanism did not produce a win.
- Agent confidence
- 9/10
- Baseline
- One-step RMSE 0.0512; noisy rollout RMSE 0.0380.
- Idea
- One-step RMSE 0.3323; noisy rollout RMSE 0.7969; learned q 0.0546; validation minimum inclusion margin -0.6246.
- Nested radius decay
- Observed ratios [0.20, 0.50, 0.80, 0.95] exactly matched predictions.
- Perturbation bound
- Observed steady-state errors [0.0125, 0.0200, 0.0500, 0.19999] matched eta/(1-rho) within 0.004%.
- Stability boundary
- The predicted critical gain gamma*Lambda=1 was supported: gains 1.10 and 1.25 produced final radii 4.10 and 79237, while subcritical gain 0.80 ended at 0.0005.
Limitations: The forecasting task is a small synthetic stable system rather than pendulum or Lorenz; only diagonal ellipsoids and eight boundary samples were used. The region objective was not extensively tuned, no calibrated uncertainty or FLOP-matched evaluation was performed, and the toy boundary sweep uses a scalar recurrence rather than a learned neural transition.
How to run: python3 nested_cone_experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- nested_cone_experiment.py 6.8 KB View Raw
- report.md 1.8 KB View
- results.json 3.1 KB View Raw