Beurling–Kato Polynomial Stability Regularizer
Implementation & benchmark of arXiv:2607.10507 — Beurling--Kato theory, Hardy--Sobolev calculus and Ritt operators
Source paper: Beurling--Kato theory, Hardy--Sobolev calculus and Ritt operators arXiv:2607.10507 ⓘ · analyzed Aug 30, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Add a functional-calculus regularizer to the transition operator of an RNN, linear state-space model, or deep-equilibrium layer. The regularizer uses polynomial probes to detect non-normal transient amplification that ordinary eigenvalue-radius penalties can miss.
Formulas
Mathematical statement
The paper recalls the Beurling–Kato polynomial criterion: if there exists a polynomial w such that limsup_{t\downarrow 0} ||w(e^{-tA})|| < ||w||_infty, where A is the generator of a bounded semigroup, e^{-tA} is its time-t operator, ||·|| is the operator norm, and ||w||_infty := sup_{|z|=1}|w(z)| is the polynomial boundary norm, then the semigroup is holomorphic. The simpler zero–two criterion is limsup_{t\downarrow 0} ||I-e^{-tA}||<2. For an ML transition matrix T, use a finite-step discrete analogue: choose polynomials w_j(z)=sum_{k=0}^{K_j} a_{jk}z^k, evaluate q_j(T)=w_j(T)=sum_{k=0}^{K_j}a_{jk}T^k, estimate its spectral norm ||q_j(T)||_2, and penalize violation of ||q_j(T)||_2 <= (1-delta)||w_j||_infty. Here T is the learned d-by-d transition matrix and delta>0 is a chosen margin. Also penalize excessive sampled powers ||T^n||_2 to control finite-horizon transient growth. The transferable property is an operator-polynomial norm condition that is sensitive to non-normal dynamics, not only eigenvalue magnitude.
Implementation notes
Integrate the regularizer into the recurrent transition or SSM state-update matrix, rather than the input or output projections. For an RNN with h_{t+1}=phi(T h_t+B x_t), apply it to T. For a residual or deep-equilibrium block, apply it to the linear transition reused during iteration. Begin with three fixed real probes: w_1(z)=1-z, w_2(z)=1+z, and w_3(z)=1-z^2. Estimate each ||w_j||_infty by evaluating the polynomial on a dense unit-circle grid z_m=exp(2 pi i m/M), using max_m |w_j(z_m)|. During each optimizer step, construct P_0=I and P_k=P_{k-1}T, then form q_j(T)=sum_k a_{jk}P_k. Estimate ||q_j(T)||_2 with one or two differentiable power iterations: initialize a random vector v, compute u=Mv/(||Mv||_2+epsilon), then v=M^T u/(||M^T u||_2+epsilon), and use ||Mv||_2 as the estimate. Add L_BK to the task loss with a small coefficient, using the hinge-square penalty in the displayed formula. Every 100 steps, separately measure ||T^n||_2 for n in {1,2,4,8,16}; these measurements may initially be detached from backpropagation. The polynomial bank, margin delta, horizon set, and bound B are empirical choices; the mathematical ingredients are the polynomial operator evaluation and norm-gap target. First test a one-layer tanh RNN and a two-layer linear SSM on sequential MNIST and the Adding Problem. Compare no regularizer, spectral-radius regularization, and this method at equal hidden size and FLOPs. Record validation accuracy, training loss, gradient norms, maximum sampled power norm, and exploding or vanishing-gradient frequency. A successful result is reduced transient amplification and fewer long-sequence failures at equal or better accuracy, with less than 10 percent training overhead.
Verification
This idea has not been verified yet.
Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.
Artifacts
Artifacts unavailable.