✗ Failed on benchmark 2026

Neural Koopman Power-Iteration Latent Space

Implementation & benchmark of arXiv:2608.26943 — Data-driven Koopman mode approximation: A neural power iteration algorithm

Usefulness7/10
Difficulty5/10
Novelty7/10

Source paper: Data-driven Koopman mode approximation: A neural power iteration algorithm arXiv:2608.26943 ⓘ · analyzed Aug 29, 2026

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

Idea description

Add a latent mode bank whose coordinates are learned by neural power iteration on observed state transitions rather than by jointly fitting an unconstrained latent dynamics model. Each mode is repeatedly regressed toward its one-step pushforward, normalized under the data distribution, and deflated against previously learned modes. The resulting latent coordinates are constrained to have approximately linear, diagonal dynamics, which should improve long-horizon prediction and make the representation less dependent on arbitrary dictionary features.

Formulas

$$x^{+}=F(x),\qquad (\mathcal{K}f)(x)=f(F(x))$$
$$\widetilde{f}_{r+1}(x_i)=f_r(y_i)-\sum_{j<r}\left\langle f_r\circ F,f_j\right\rangle_\mu f_j(x_i),\qquad y_i=F(x_i)$$
$$f_{r+1}=\frac{\widetilde{f}_{r+1}}{\|\widetilde{f}_{r+1}\|_\mu+\varepsilon},\qquad \|g\|_\mu=\left(\frac{1}{N}\sum_{i=1}^{N}g(x_i)^2\right)^{1/2}$$
$$\lambda_r=\frac{\langle f_r,\mathcal{K}f_r\rangle_\mu}{\langle f_r,f_r\rangle_\mu}=\frac{\sum_i f_r(x_i)f_r(y_i)}{\sum_i f_r(x_i)^2}$$

Mathematical statement

The paper starts from the nonlinear state transition $x^{+}=F(x)$ and the Koopman operator $(\mathcal{K}f)(x)=f(F(x))$, which is linear in the observable $f$ even when $F$ is nonlinear. For samples $x_i$ and $y_i=F(x_i)$, define the empirical inner product $\langle f,g\rangle_\mu=N^{-1}\sum_{i=1}^{N}f(x_i)g(x_i)$ and norm $\|f\|_\mu=\sqrt{\langle f,f\rangle_\mu}$. The implementable power step is $f_{r+1}\approx \mathcal{K}f_r/\|\mathcal{K}f_r\|_\mu$, learned by minimizing $N^{-1}\sum_i[f_{r+1,\theta}(x_i)-f_r(y_i)]^2$. To prevent convergence to the constant mode and to obtain multiple modes, center every observable and project away previously learned modes: $\widetilde{f}_{r+1}=\mathcal{K}f_r-\sum_{j<r}\langle \mathcal{K}f_r,f_j\rangle_\mu f_j$, followed by $f_{r+1}=\widetilde{f}_{r+1}/(\|\widetilde{f}_{r+1}\|_\mu+\varepsilon)$. The associated empirical Koopman eigenvalue estimate is $\lambda_r=\langle f_r,\mathcal{K}f_r\rangle_\mu/\langle f_r,f_r\rangle_\mu$. The mathematical assumptions being exploited are that the Koopman operator is linear on functions and that normalized power iteration preferentially amplifies dominant spectral components; in practice, approximate regression and finite-sample inner products replace exact operator application.

Implementation notes

(1) Integration point: use an encoder with a mode bank $z_r=f_{r,\theta_r}(x)$ before a small latent dynamics module. For an image world model, $x$ is the encoder feature or observation embedding; for a state-space model, it is the current hidden state. Train the mode bank on batches of paired transitions $(x_i,y_i)$, where $y_i$ is the next state or next embedding. Keep the downstream predictor simple, initially $\widehat z_{t+1,r}=\lambda_r z_{t,r}$, and optionally add a learned small matrix after the diagonal baseline. (2) Pseudocode: initialize an empty list of mode outputs. For mode $r=1,\ldots,R$, compute $u_i=f_{r-1}(y_i)$, subtract its empirical mean, and set $u_i\leftarrow u_i-\sum_{j<r}(N^{-1}\sum_i u_i f_j(x_i))f_j(x_i)$. Normalize $u$ by $s=(N^{-1}\sum_i u_i^2+\varepsilon)^{1/2}$. Update neural parameters $\theta_r$ for several minibatch epochs using $L_r=N^{-1}\sum_i[f_{r,\theta_r}(x_i)-u_i/s]^2$, while adding $\rho(N^{-1}\sum_i f_{r,\theta_r}(x_i))^2$ for centering and $\eta\sum_{j<r}(N^{-1}\sum_i f_{r,\theta_r}(x_i)f_j(x_i))^2$ for orthogonality. Recompute $\lambda_r$ with the Rayleigh quotient above. (3) The formulas determine normalization, deflation, and eigenvalue estimation; empirically estimate all inner products from minibatches and use an exponential moving average to reduce noise. Stop a mode if its residual regression error is high or its post-deflation norm is below a threshold. (4) First experiment: compare a GRU, an unconstrained MLP latent transition, and this $R=16$-mode model on a small Lorenz-63 or MuJoCo trajectory dataset. Train all models for equal parameter count and one-step loss, then evaluate 10-, 50-, and 100-step rollout MSE. Success is lower long-horizon error, slower latent norm growth, and a stable estimated spectrum across random seeds; a useful initial target is at least 20% lower 50-step MSE than the unconstrained latent baseline at equal one-step error.

Verification

Failed on benchmark

Stage 1 · Toy mechanism gate: Passed ✓

Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗

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 a reproducible Koopman power-iteration MVP with empirical normalization, sequential deflation, Rayleigh-style diagonal latent dynamics, and a Lorenz-63 rollout comparison. The exact toy sweep confirmed the quantitative predictions: one-mode error ratios matched the dominant non-leading eigenvalue modulus (observed 0.3499/0.5000/0.8000/0.9504 versus predicted 0.35/0.5/0.8/0.95), normalization stayed within 3.3e-16, and deflated residual ratios matched 0.1/0.3/0.6/0.9 within about 0.002. In the small Lorenz comparison, the idea was worse at 10 steps and one-step MSE, but much better at 50 and 100 steps, so the long-horizon stability signal is real though not a uniformly better predictor.

Agent confidence
8/10
Baseline
Lorenz rollout MSE: 10-step 0.1189, 50-step 3.5973, 100-step 52.4610; one-step MSE 0.00461.
Idea
Lorenz rollout MSE: 10-step 0.1849, 50-step 1.5814, 100-step 1.9615; one-step MSE 0.01024; estimated eigenvalues [0.9621, 0.9726, 0.9400]. Toy mechanism: normalized power iteration matched predicted contraction ratios and deflation matched predicted residual ratios.

Limitations: The downstream MVP is a linear observed-state analogue rather than a neural encoder with minibatch training, and uses only one fixed Lorenz dataset/seed. It does not test GRUs, image observations, equal parameter counts, multiple random seeds, noisy transitions, or GPU execution.

How to run: python3 koopman_experiment.py

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

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

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0011
Idea mean
0.0028
Effect (Δ)
0.0018 (+169.4%; negative = idea better)
Wins
0 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
±46.3%
Mechanism
Not confirmed ✗
Practical effect
Hurts
Baseline tuning
swept over 3 configs
Limitations:

Only the built-in dynamics track was tested; no vision, sequence, or custom track was evaluated. The intervention uses a small matched GRU and a batch-empirical diagonal consistency/deflation loss rather than a separately pretrained neural power-iteration mode bank with explicit multi-step rollout evaluation. The experiment used 800 training and 300 test examples and 10 epochs per setting.

How to run: python3 stage2_koopman_bench.py

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

Stage 2 — Benchmark latest Failed ✗

Agent confidence: 10/10

Implemented the Neural Koopman Power-Iteration intervention as a local matched-GRU training modification on the structurally appropriate actuated-pendulum dynamics track. The full 8-seed protocol with baseline sweep and three idea settings found the idea significantly worse: baseline MSE 0.001054 versus idea MSE 0.002839, paired delta +0.001786, permutation p=0.0081. The stage-1 stability prediction was also not confirmed at neural-network scale: normalized latent norm ratio was 0.00632 for baseline versus 0.03620 for the idea.

Baseline
8-seed test MSE mean 0.00105384, std 0.00023515; best sweep lr=0.009, epochs=10
Idea
8-seed test MSE mean 0.00283940, std 0.00048402; best idea setting strength=0.05, lr=0.009, epochs=10; delta +0.00178556, permutation p=0.0081; 0/8 paired wins
Mechanism signature
Predicted lower long-horizon latent norm growth was not observed: baseline mean norm10/norm1=0.00631694, idea=0.03620475, confirmed=false

Benchmark result

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

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0011
Idea mean
0.0028
Effect (Δ)
0.0018 (+169.4%; negative = idea better)
Wins
0 / 8 paired seeds
p-value
0.0081 (permutation test, 20 000 shuffles)
Smallest detectable effect
±46.3%
Mechanism
Not confirmed ✗
Practical effect
Hurts
Baseline tuning
swept over 3 configs
Limitations:

Only the built-in dynamics track was tested; no vision, sequence, or custom track was evaluated. The intervention uses a small matched GRU and a batch-empirical diagonal consistency/deflation loss rather than a separately pretrained neural power-iteration mode bank with explicit multi-step rollout evaluation. The experiment used 800 training and 300 test examples and 10 epochs per setting.

How to run: python3 stage2_koopman_bench.py

Artifacts

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