△ Mechanism confirmed, baseline not beaten 2026

Forward-Intersection Spectral Latent Dynamics

Implementation & benchmark of arXiv:2608.02661 — Beyond Invariant Dictionary: Data-Driven Koopman Spectral Recovery with Filtered Extended Dynamic Mode Decomposition

Usefulness7/10
Difficulty5/10
Novelty7/10

Source paper: Beyond Invariant Dictionary: Data-Driven Koopman Spectral Recovery with Filtered Extended Dynamic Mode Decomposition arXiv:2608.02661 ⓘ · analyzed Aug 31, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace the raw transition matrix of a Koopman-inspired latent model or linear state-space model by its restriction to a data-derived forward-compatible subspace. The subspace is obtained by repeatedly intersecting the current latent dictionary with its image under the learned dynamics, suppressing directions that generate spurious or unsupported eigenmodes while retaining nonzero Koopman modes represented by the dictionary.

Formulas

$$\mathcal{S}_{0}:=\mathcal{G},\qquad \mathcal{S}_{j+1}:=\mathcal{S}_{j}\cap K\mathcal{S}_{j}.$$
$$A_j:=Q_j^{\top}A Q_j,\qquad z_{t+1}=Q_jA_jQ_j^{\top}z_t,$$
$$\mathcal{S}_{j+1}=\operatorname{range}(Q_j)\cap\operatorname{range}(AQ_j),\qquad [Q_j\; -AQ_j]\begin{bmatrix}u\\v\end{bmatrix}=0,$$
$$\widehat A=Y X^{\dagger},\qquad X=[\phi(x_0),\ldots,\phi(x_{T-1})],\quad Y=[\phi(x_1),\ldots,\phi(x_T)].$$

Mathematical statement

The paper defines the forward-intersection chain by S_0 := G and S_{j+1} := S_j ∩ K S_j, where G is the finite-dimensional dictionary subspace, K is the Koopman action, and S_j is the level-j compatible subspace. The spaces are nested, so each additional level requires a latent direction to be both in the current representation and reachable as the image of another represented direction. For a learned finite-dimensional transition matrix A acting on coefficient space R^d, use the adapted projected operator A_j := Q_j^T A Q_j, where Q_j in R^{d×r_j} has orthonormal columns spanning S_j; the actual latent update is z_{t+1} = Q_j A_j Q_j^T z_t. Numerically, if Q_j spans S_j, compute S_{j+1} from the intersection range(Q_j) ∩ range(A Q_j). A basis can be extracted from the nullspace of [Q_j, -A Q_j]: for [u;v] in ker([Q_j, -A Q_j]), the vector Q_j u lies in the intersection. The paper's preservation claim is that represented Koopman eigenpairs with nonzero eigenvalue are preserved by compatible filtered levels; in the neural adaptation this motivates checking whether useful eigenvalues of A remain unchanged while unsupported modes disappear. The coordinate projector uses the fixed coefficient-space Euclidean geometry and therefore needs no estimated feature Gram matrix, but it is basis-dependent.

Implementation notes

Integrate this at the transition layer of a latent world model or structured state-space model. Let an encoder produce z_t = phi_theta(x_t) in R^d, and learn a matrix A such that z_{t+1} approximately equals A z_t. Construct X and Y from a rolling buffer of consecutive latent states and estimate the transition with either the trainable A or the least-squares estimate \widehat A = YX^\dagger. Every N optimizer steps, freeze A and compute the compatible subspace. Start with Q_0 = I_d. For level j, form M = [Q_j, -A Q_j], compute an SVD M = U Sigma V^T, retain right-singular vectors associated with singular values below tolerance tau, and map their first r_j coordinates through Q_j to obtain candidate intersection vectors. More robustly under noise, compute principal angles between range(Q_j) and range(AQ_j), retain directions whose angles are below tau, and orthonormalize them with QR to obtain Q_{j+1}. Stop when r_{j+1}=r_j or after J levels. During subsequent forward passes use z_next = Q_j(Q_j^T A Q_j)Q_j^T z rather than Az. Add the usual one-step and multi-step reconstruction losses; optionally add a penalty ||(I-Q_jQ_j^T)Az_t||^2 so the learned transition respects the selected subspace. Recompute Q periodically and initially stop gradients through the SVD basis. The paper supplies the intersection construction and projected operator; tau, refresh period N, rollout horizon, and penalty weight are empirical. First test a 2-layer MLP encoder on Lorenz-63 or nonlinear pendulum trajectories with d=32, comparing j=0, 1, and 2 against the unfiltered baseline for 1-, 10-, and 100-step prediction. Success means lower long-horizon error, fewer transition eigenvalues with modulus above one, and less rollout drift at equal parameter count.

Verification

Mechanism confirmed, baseline not beaten

Stage 1 · Toy mechanism gate: Passed ✓

Stage 2 · Mechanism transferred to benchmark: Confirmed ✓

Stage 2 · Practical benchmark result: Significantly worse ✗

Methodology: 8 paired seeds, permutation test (p<0.05) against a learning-rate-tuned baseline. How verification works

Stage 1 — Mechanism check agent confidence 8/10

Built forward_intersection.py with SVD nullspace intersections and normalized principal-angle filtering, plus mini_experiment.py for noisy least-squares snapshots. The toy predictions matched: the finite-tolerance transition occurred at alpha=0.26536 predicted versus between 0.263 and 0.270 observed, supported eigenvalue error was 2.22e-16, and exact intersection dimensions were 4 at alpha=0 and 3 for nonzero leakage. In the noisy comparison, spectral radius fell from 1.29825 to 0.90145, while 10-step MSE only changed from 0.085465 to 0.085447, so stability filtering is real but an accuracy gain was not demonstrated.

Agent confidence
8/10
Baseline
Toy/noisy mean spectral radius 1.29825; 10-step rollout MSE 0.0854648; 30-step nuisance rollout norm 2619.996
Idea
Toy/noisy mean spectral radius 0.90145; 10-step rollout MSE 0.0854467; 30-step filtered rollout norm 0.04240; supported-eigenvalue error <=2.22e-16

Limitations: No neural encoder or learned nonlinear world model was trained; the experiment uses a hand-constructed linear toy with one unstable nuisance mode and a small noisy least-squares snapshot test. It does not test computational overhead, multi-level learned refresh schedules, Lorenz/pendulum data, or generalization beyond the supported-mode setup.

How to run: python3 forward_intersection.py && /home/maxwelhelp/main/bin/python3 mini_experiment.py

Stage 2 — Benchmark vs. tuned baseline (arXiv:2608.02661)

Significantly WORSE than the tuned baseline (+182029.1%, p=0.0081, wins 0 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0002
Idea mean
0.3719
Effect (Δ)
0.3717 (+182029.1%; negative = idea better)
Wins
0 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Confirmed ✓
Practical effect
Hurts
Baseline tuning
swept over 4 configs
Limitations:

Only the built-in actuated-pendulum dynamics track was tested; no Lorenz or learned encoder/world-model experiment, multi-refresh schedule, exact nullspace intersection, multi-step training loss, or alternative projection tolerances beyond the three tau settings was evaluated. The local intervention used a hidden-state SVD compatibility proxy rather than a full coefficient-space latent dictionary intersection.

How to run: python3 bench_runner.py > bench_output.json

Verdict computed by deterministic test code from paired-seed statistics — not by the language model.

Stage 2 — Benchmark latest Failed ✗

Agent confidence: 9/10

Built a local forward-intersection projection variant of the shared rnn_small dynamics model and evaluated it against the standard bench.train_model GRU under paired seeds. The trained-model signature confirmed substantial projection behavior (mean rank 1.75/64 and projection MSE 0.0142), but the idea's test MSE was 0.37190 versus 0.0002042 for the tuned baseline; paired delta was +0.37170 with permutation p=0.0081, a significant loss. The claimed stability-style mechanism appeared, but it destroyed predictive accuracy on this task.

Baseline
dynamics/rnn_small; tuned lr=0.01, weight_decay=0.0; 8-seed test MSE mean 0.0002041958, std 0.000109425
Idea
tau=0.15, levels=1, lr=0.01; 8-seed test MSE mean 0.3719000, std 0.1780352; delta +0.3716958, p=0.0081; mean trained-model projection MSE 0.0141751 and mean retained rank 1.75/64

Benchmark result

Significantly WORSE than the tuned baseline (+182029.1%, p=0.0081, wins 0 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0002
Idea mean
0.3719
Effect (Δ)
0.3717 (+182029.1%; negative = idea better)
Wins
0 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Confirmed ✓
Practical effect
Hurts
Baseline tuning
swept over 4 configs
Limitations:

Only the built-in actuated-pendulum dynamics track was tested; no Lorenz or learned encoder/world-model experiment, multi-refresh schedule, exact nullspace intersection, multi-step training loss, or alternative projection tolerances beyond the three tau settings was evaluated. The local intervention used a hidden-state SVD compatibility proxy rather than a full coefficient-space latent dictionary intersection.

How to run: python3 bench_runner.py > bench_output.json

Artifacts

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