Davis–Wielandt Shell Constraint for Heterogeneous SSMs
Implementation & benchmark of arXiv:2608.21984 — Impacts of Heterogeneous Grid-Forming Devices on Power System Dynamics Quantified by DW Shells
Source paper: Impacts of Heterogeneous Grid-Forming Devices on Power System Dynamics Quantified by DW Shells arXiv:2608.21984 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Build a recurrent or state-space network from heterogeneous dynamical modules and characterize each module through sampled frequency-response passivity and Davis–Wielandt shell bounds. Constrain inter-module coupling so that the composed frequency response retains a positive passivity margin, providing a model-based alternative to blindly shrinking all recurrent weights.
Formulas
Mathematical statement
For an operator or frequency-response matrix G(jω), its Davis–Wielandt shell is the set of pairs (z,q) generated by unit vectors x, where z=x*Gx is the numerical-range response and q=||Gx||² is squared amplification. Define the local passivity index p(G) as the minimum Hermitian-part eigenvalue over frequencies and the gain index g(G) as the maximum singular value over frequencies. For feedback coupling u=-Ky, use the conservative compositional certificate p_comp ≥ p_blocks - ||K||₂ g_blocks²; enforce p_comp>0. Here G is a module transfer matrix, ω is angular frequency, x is a unit complex vector, K is the inter-module coupling matrix, and ||·||₂ is the spectral norm.
Implementation notes
1. Integration point: use a heterogeneous recurrent or state-space model with modules indexed by r. Each module has local dynamics x⁽ʳ⁾_{t+1}=A_r x⁽ʳ⁾_t+B_r u⁽ʳ⁾_t and output y⁽ʳ⁾_t=C_r x⁽ʳ⁾_t+D_r u⁽ʳ⁾_t; couple outputs through u=-Ky+B_u v_t. Apply the constraint during optimizer steps or as a periodic projection of K. 2. Pseudocode: every M updates, freeze parameters and collect representative hidden states; linearize each nonlinear module around those states; evaluate G_r(e^{jω}) on a logarithmic grid using the displayed transfer formula; compute p_r=minω λ_min((G_r+G_r*)/2) and g_r=maxω σ_max(G_r); set p_blocks=min_r p_r and g_blocks=max_r g_r; calculate p_bound=p_blocks-||K||₂g_blocks². If p_bound<ε, scale K by α=min(1,(p_blocks-ε)/(||K||₂g_blocks²)) or reject the update. 3. The paper-derived quantities are shell coordinates, passivity margins, gain estimates, and the compositional inequality. The minibatch linearization, finite frequency grid, and frequency cutoff are empirical approximations. 4. First cheap experiment: compare a 2–4 block gated SSM or GRU on sequential MNIST and copy-memory against unconstrained coupling and spectral normalization. Sweep coupling scale α and record p_bound, hidden-state norm, Jacobian amplification, and long-horizon error. The quantitative prediction is a degradation boundary near p_bound=0: positive-margin runs should have bounded rollout amplification, while negative-margin runs should exhibit rapidly increasing hidden-state norms or prediction error. The measured critical coupling should be within 20% of ||K||₂=p_blocks/g_blocks².
Verification
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 heterogeneous two-module discrete-time SSM toy with frequency-response indices, Davis–Wielandt shell verification, conservative coupling projection, and rollout sweeps. The shell identity error was 2.7e-15 and the certificate scaled exactly with slope -g^2 (relative error 1.8e-16); the predicted certificate crossing was observed at 0.00347. However, actual dynamical instability occurred near coupling 0.240, about 69x larger than the certified boundary, so the claimed degradation boundary within 20% was not confirmed. The mechanism is mathematically valid but substantially conservative in this setup.
- Agent confidence
- 9/10
- Baseline
- Unconstrained feedback: instability near alpha=0.240; at alpha=0.5, spectral radius/final norm were 1.642/1.25e12; at alpha=1.0 they were 51.12/6.31e12.
- Idea
- Projected coupling alpha<=0.00343 maintained p_bound>=0.00133, maximum spectral radius 0.80005, and final rollout norm about 1.06e-29 over 300 steps; exact shell and certificate-slope checks passed.
Limitations: Only a small linear two-module toy was tested; there was no GRU/SSM training task, sequential MNIST or copy-memory evaluation, optimizer integration, nonlinear linearization, FLOP/speed measurement, or comparison against spectral normalization. The finite frequency grid and scalar/diagonal module construction also do not establish usefulness for general heterogeneous neural SSMs.
How to run: python3 dw_experiment.py
Verdict computed by deterministic test code from paired-seed statistics — not by the language model.
Artifacts
- dw_experiment.py 5.4 KB View Raw
- report.md 1.7 KB View
- results.json 42.6 KB View Raw