✗ Failed on benchmark 2026

Gramian-Regularized Latent State Models

Implementation & benchmark of arXiv:2607.24134 — Sensor-Limited Observability and Carrier-Induced Reachability of Low-Order Rotor-Coupled NVH in Production Electric Drives: A Magnetic Co-Energy, Gramian, and Active Projection Framework for Production-Signal Feasibility Analysis

Usefulness7/10
Difficulty6/10
Novelty6/10

Source paper: Sensor-Limited Observability and Carrier-Induced Reachability of Low-Order Rotor-Coupled NVH in Production Electric Drives: A Magnetic Co-Energy, Gramian, and Active Projection Framework for Production-Signal Feasibility Analysis arXiv:2607.24134 ⓘ · analyzed Aug 30, 2026

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

Idea description

Add finite-horizon observability and reachability objectives to a recurrent or state-space neural model so that its latent modes are both inferable from outputs and influenceable by available inputs. This directly penalizes the failure mode identified in the paper: a large latent perturbation with nearly zero first-order output projection.

Formulas

$$W_o(t_0,t_1)=\int_{t_0}^{t_1}\Phi(t,t_0)^T C(t)^T C(t)\Phi(t,t_0)\,dt,$$
$$W_r(t_0,t_1)=\int_{t_0}^{t_1}\Phi(t_1,\tau)B(\tau)B(\tau)^T\Phi(t_1,\tau)^T\,d\tau,$$
$$\mathcal{L}=\mathcal{L}_{task}+\lambda_o\max\!\left(0,\epsilon-\frac{\lambda_{\min}(W_o)}{\operatorname{tr}(W_o)/n}\right)+\lambda_r\max\!\left(0,\epsilon-\frac{\lambda_{\min}(W_r)}{\operatorname{tr}(W_r)/n}\right).$$

Mathematical statement

Let the learned latent dynamics be $\dot z=A(t)z+B(t)u$ and measurements be $y=C(t)z$, where $z\in\mathbb{R}^{n}$ is the latent state, $u\in\mathbb{R}^{m}$ is the input, $y\in\mathbb{R}^{p}$ is the output, and $\Phi(t,\tau)$ is the state-transition matrix satisfying $\partial_t\Phi(t,\tau)=A(t)\Phi(t,\tau)$ and $\Phi(\tau,\tau)=I$. The finite-time observability Gramian is $W_o=\int_{t_0}^{t_1}\Phi(t,t_0)^TC(t)^TC(t)\Phi(t,t_0)\,dt$, and the reachability Gramian is $W_r=\int_{t_0}^{t_1}\Phi(t_1,\tau)B(\tau)B(\tau)^T\Phi(t_1,\tau)^T\,d\tau$. The smallest eigenvalues quantify hidden and unreachable latent directions. Use penalties $\max(0,\epsilon-\lambda_{\min}(W_o))$ and $\max(0,\epsilon-\lambda_{\min}(W_r))$, with trace normalization to control scale.

Implementation notes

Integrate this into a GRU, continuous-time neural ODE, or state-space model with latent state $z_t$. For each training window, linearize the transition and readout around the current rollout: compute $A_t=\partial f_\theta/\partial z$, $B_t=\partial f_\theta/\partial u$, and $C_t=\partial h_\theta/\partial z$. Initialize $\Phi=I$, $W_o=0$, and $W_r=0$. For each timestep, update $\Phi_{t+1}=(I+\Delta t A_t)\Phi_t$ and accumulate $W_o\mathrel{+}=\Delta t\,\Phi_t^TC_t^TC_t\Phi_t$. Use backward transition propagation $\Psi_t=\Psi_{t+1}(I+\Delta t A_t)$ to accumulate $W_r\mathrel{+}=\Delta t\,\Psi_{t+1}B_tB_t^T\Psi_{t+1}^T$. Estimate minimum eigenvalues with 5--10 Lanczos or power iterations instead of a full eigendecomposition. Add the normalized penalties to the task loss and clip gradients from the Gramian term. The paper supplies the finite-time Gramian mechanism; neural Jacobians and finite-window approximations are estimated from minibatch rollouts. First experiment: compare a 32-dimensional GRU with and without the penalties on permuted-MNIST and a synthetic delayed-copy task. Sweep $\lambda_o$ and $\lambda_r$. The predicted signature is a sharp performance degradation when normalized $\lambda_{\min}(W_o)$ falls below approximately $\epsilon=0.05$; regularization should prevent this collapse. Near the weak-observability boundary, latent reconstruction error should scale approximately as $1/\lambda_{\min}(W_o)$.

Verification

Failed on benchmark

Stage 1 · Toy mechanism gate: Passed ✓

Stage 2 · Mechanism transferred to benchmark: Not reproduced ✗

Stage 2 · Practical benchmark result: No measurable effect

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 and numerically verified finite-horizon observability/reachability Gramian penalties in a differentiable 2D linear state-space model. The predicted normalized minimum-eigenvalue scaling matched exactly, continuous-time quadrature agreed with analytic integrals, and reconstruction MSE scaled as lambda_min^-0.954, close to the predicted inverse law. In the tiny training comparison, regularization improved normalized reachability but did not improve observability or task loss, so the mechanism is confirmed while a practical accuracy win was not observed.

Agent confidence
8/10
Baseline
task MSE 3.24e-06; normalized observability 0.00163; normalized reachability 0.0284
Idea
task MSE 1.83e-05; normalized observability 0.000291; normalized reachability 0.0802; Gramian scaling maximum absolute error 1.1e-16; inverse-noise log-log slope -0.954

Limitations: Only a 2D linear SSM and synthetic finite-window task were tested; no GRU, neural ODE, permuted-MNIST, hyperparameter sweep, minibatch Jacobian linearization, Lanczos approximation, or larger-scale accuracy/generalization evaluation was performed.

How to run: python3 gramian_experiment.py

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

Ahead of the baseline (−0.2%) but not statistically significant (p=0.5437, wins 4 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0067
Idea mean
0.0067
Effect (Δ)
-0 (−0.2%; negative = idea better)
Wins
4 / 8 paired seeds
p-value
0.5437 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Not confirmed ✗
Practical effect
No effect
Baseline tuning
swept over 6 configs
Limitations:

The exact higher-order GRU Jacobian implementation exceeded the time budget, so the final run used a differentiable gate-matrix local-linearization proxy. Only the registered dynamics track was tested; the model-derived signature did not confirm simultaneous observability and reachability improvement.

How to run: python3 stage2_gramian_bench.py

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

Stage 2 — Benchmark latest Failed ✗

Agent confidence: 9/10

Gramian regularization was tested on the structurally matched registered dynamics track with rnn_small under identical task, architecture, and paired-seed budget. Baseline MSE was 0.0067402332 and idea MSE was 0.0067282456, but delta_mean=-0.0000119877 and permutation p=0.5437, so there was no significant win.

Baseline
mean=0.0067402332, std=0.0039325375, best_cfg={lr:0.003, weight_decay:0.0001}
Idea
mean=0.0067282456, std=0.0039155327, best_cfg={lr:0.003, weight_decay:0.0001, reg:0.1}, 4/8 paired wins

Benchmark result

Ahead of the baseline (−0.2%) but not statistically significant (p=0.5437, wins 4 / 8 paired seeds).

Benchmark
Dynamics forecasting
Model
rnn_small
Paired seeds
8
Baseline mean
0.0067
Idea mean
0.0067
Effect (Δ)
-0 (−0.2%; negative = idea better)
Wins
4 / 8 paired seeds
p-value
0.5437 (permutation test, 20 000 shuffles)
Smallest detectable effect
n/a
Mechanism
Not confirmed ✗
Practical effect
No effect
Baseline tuning
swept over 6 configs
Limitations:

The exact higher-order GRU Jacobian implementation exceeded the time budget, so the final run used a differentiable gate-matrix local-linearization proxy. Only the registered dynamics track was tested; the model-derived signature did not confirm simultaneous observability and reachability improvement.

How to run: python3 stage2_gramian_bench.py

Artifacts

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