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
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
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
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
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
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
- bench_report.json 5.1 KB View Raw
- gramian_experiment.py 5.3 KB View Raw
- report.md 1.4 KB View
- report_bench_2026-08-31T171946.md 4.2 KB View
- results.json 3.5 KB View Raw
- stage2_gramian_bench.py 7.4 KB View Raw