✗ Mechanism failed 2026

Nested-Cone Latent Dynamics

Implementation & benchmark of arXiv:2607.14668 — Stability for boundary actions of cocompact lattices in Euclidean buildings

Usefulness7/10
Difficulty6/10
Novelty7/10

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

$$\overline{\rho(\alpha)W(z_2)}\subset W(z_1),\qquad S_n=\rho(\alpha_1\cdots\alpha_n)\overline{W(z_n)},\qquad S_{n+1}\subseteq S_n.$$
$$\bigcap_{n=1}^{\infty}S_n\neq\varnothing,\qquad \operatorname{diam}(S_n)\leq \rho^n\operatorname{diam}(S_0),\quad 0\leq\rho<1.$$
$$F_\theta(E_{t+1},u_t)\subseteq E_t\ominus m_tB_2,\qquad m_t=\operatorname{dist}\left(F_\theta(E_{t+1},u_t),\mathbb{R}^d\setminus E_t\right),$$
$$\|h_t-\widetilde h_t\|\leq \rho^t\|h_0-\widetilde h_0\|+\frac{L_u\varepsilon_u+L_\theta\varepsilon_\theta}{1-\rho},$$

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

Mechanism failed

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

Implementation overview ⬇ Download all as ZIP 3 files · code, reports and structured results