Unverified 2026

Sector-Parametrized Neural Operator

Implementation & benchmark of arXiv:2609.03403 — Hyperpositive functions, sector bounded functions and a trace formula

Usefulness6/10
Difficulty5/10
Novelty6/10

Source paper: Hyperpositive functions, sector bounded functions and a trace formula arXiv:2609.03403 · analyzed Sep 4, 2026

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

Idea description

Replace a recurrent, SSM, or residual linear operator W by an exact affine image of a contractive matrix sigma. The resulting W lies in a prescribed matrix ball and, for the positive-real choice of parameters, satisfies a sector inequality such as W+W^* >= 0. This gives an anisotropic, learnable alternative to plain spectral normalization: the allowable operator set is convex and its center and left/right radii can encode known directional scales.

Formulas

$$\begin{pmatrix}F(z)&I_m\end{pmatrix}M\begin{pmatrix}F(z)^*\\ I_m\end{pmatrix}\geq 0,$$
$$F(z)+F(z)^*\geq 0\quad\text{and}\quad I_m-F(z)F(z)^*\geq 0,$$
$$F(z)=T^{-1}+(T^{-1}+tT)^{1/2}\,\sigma(z)\,T^{-1/2},\qquad T=T^*>0,\quad T^{-1}+tT>0,$$
$$W(\theta)=T^{-1}+(T^{-1}+tT)^{1/2}\,B(I+B^*B)^{-1/2}\,T^{-1/2}.$$

Mathematical statement

The paper defines the matrix inequality [F(z) I_m] M [F(z)^*; I_m] >= 0, with M=M^* in C^{2m x 2m}; M=[[0,I_m],[I_m,0]] gives the positive-real condition F+F^* >= 0, while M=[[-I_m,0],[0,I_m]] gives contractivity I_m-FF^* >= 0. For T=T^*>0 and real t satisfying A^2=T^{-1}+tT>0, Corollary 3.2 states F(z)=T^{-1}+A sigma(z)T^{-1/2}. Theorem 4.5 states that F belongs to the paper's class HP_{T,t} if and only if sigma is bounded/contractive. Thus every admissible sigma produces an F in the matrix ball with center T^{-1}, left radius A, and right radius T^{-1/2}. In the scalar case T=beta, the center and radius are C(beta)=1/beta and R(beta)=sqrt(t+1/beta^2), with C(beta)^2-R(beta)^2=-t. Here m is the feature dimension, T controls anisotropic scaling, t controls the sector width, A is the principal positive-definite square root, and sigma is the learned contractive core.

Implementation notes

(1) Integration point: use this parameterization for the recurrent transition matrix in a small RNN, the state matrix of a linear/nonlinear SSM, or the linear map inside a residual block. Let the feature width be m. Start with fixed diagonal T=diag(exp(q_i)) and fixed t<0 satisfying T^{-1}+tT>0; do not apply the transform to the nonlinear activation or bias. (2) Pseudocode: sample unconstrained B from trainable parameters; compute C=B^T B+epsilon I; compute R=C^{-1/2} by eigendecomposition or 5--10 Newton--Schulz iterations; set sigma=B R; set A=(T^{-1}+tT)^{1/2}; set W=T^{-1}+A sigma T^{-1/2}; run h_next=phi(W h+x U+b), or use W as the SSM transition. The singular values of sigma are s/sqrt(1+s^2)<1, so the contraction condition is enforced without clipping. (3) The paper supplies the affine map and the exact admissibility condition. The contraction construction, inverse-square-root approximation, and optional real-valued transpose implementation are engineering adaptations. Estimate the largest singular value of W empirically with 5-step power iteration, and monitor the minimum eigenvalue of W+W^T when positive-real behavior is desired. (4) First experiment: compare vanilla RNN, spectral-normalized RNN, and this layer on permuted-MNIST or sequential CIFAR-10 using equal hidden width and FLOPs. Train at learning rates where the vanilla model becomes unstable, and record gradient norms, exploding-state frequency, validation accuracy, and loss versus update count. A successful result is no divergence at larger learning rates, lower Jacobian products over long sequences, and equal-or-better accuracy without per-step projection.

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.